3238 search results - page 282 / 648 » On the Computational Interpretation of Negation |
159
click to vote
CGI
2004
IEEE
15 years 10 months ago
2004
IEEE
Facial movements play an important role in interpreting spoken conversations and emotions. There are several types of movements, such as conversational signals, emotion displays, ...
209
click to vote
REX
1991
15 years 10 months ago
1991
We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...
164
click to vote
FMOODS
2007
15 years 8 months ago
2007
We present the first tool that offers dynamic verification of extended traints on UML models. It translates a UML model into an Abstract State (ASM) which is transformed by an AS...
131
click to vote
BMVC
2000
15 years 8 months ago
2000
A man-made environment is characterized by a lot of parallel lines and a lot of orthogonal edges. In this article, a new method for detecting the three mutual orthogonal direction...
163
click to vote
CONCUR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We consider the problem of defining the information leakage in interactive systems where secrets and observables can alternate during the computation. We show that the in...