1521 search results - page 185 / 305 » On Sampled Semantics of Timed Systems |
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Middleware technologies, often limit the way in which object classes may be used in distributed applications due to the fixed distribution policies imposed by the Middleware system...
JAPLL
2008
14 years 10 months ago
2008
We introduce a general framework for reasoning with prioritized propositional data by aggregation of distance functions. Our formalism is based on a possible world semantics, wher...
100
click to vote
KBSE
2005
IEEE
15 years 3 months ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
CVPR
2005
IEEE
16 years 22 hour ago
2005
IEEE
We present a method for training a similarity metric from data. The method can be used for recognition or verification applications where the number of categories is very large an...
101
click to vote
CSCW
2008
ACM
14 years 11 months ago
2008
ACM
Emotion is central to human interactions, and automatic detection could enhance our experience with technologies. We investigate the linguistic expression of fine-grained emotion ...