Sciweavers

6794 search results - page 1123 / 1359
» Semantics of Visual Languages
Sort
View
123
Voted
STTT
2008
134views more  STTT 2008»
15 years 2 months ago
Automated verification of access control policies using a SAT solver
Abstract. Managing access control policies in modern computer systems can be challenging and error-prone. Combining multiple disparate access policies can introduce unintended cons...
Graham Hughes, Tevfik Bultan
116
Voted
AI
2002
Springer
15 years 2 months ago
QUANTUM: A Function-Based Question Answering System
Abstract In this paper, we describe our Question Answering (QA) system called QUANTUM. The goal of QUANTUM is to find the answer to a natural language question in a large document ...
Luc Plamondon, Leila Kosseim
135
Voted
COLING
2000
15 years 2 months ago
Processing Self Corrections in a speech to speech system
Speech repairs occur often in spontaneous spoken dialogues. The ability to detect and correct those repairs is necessary for any spoken language system. We present a framework to ...
Jörg Spilker, Martin Klarner, Günther G&...
109
Voted
COLING
2002
15 years 2 months ago
Interactive Paraphrasing Based on Linguistic Annotation
We propose a method "Interactive Paraphrasing" which enables users to interactively paraphrase words in a document by their definitions, making use of syntactic annotati...
Ryuichiro Higashinaka, Katashi Nagao
116
Voted
CORR
2000
Springer
133views Education» more  CORR 2000»
15 years 2 months ago
On Exponential-Time Completeness of the Circularity Problem for Attribute Grammars
Attribute grammars (AGs) are a formal technique for defining semantics of programming languages. Existing complexity proofs on the circularity problem of AGs are based on automata...
Pei-Chi Wu
« Prev « First page 1123 / 1359 Last » Next »