805 search results - page 133 / 161 » On the Semantics of Conditional Commitment |
134
click to vote
EMSOFT
2005
Springer
15 years 7 months ago
2005
Springer
Hybrid systems are an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. A simple extension, a network of comm...
116
click to vote
SCIA
2005
Springer
15 years 7 months ago
2005
Springer
We propose reliable outdoor object detection on mobile phone imagery from off-the-shelf devices. With the goal to provide both robust object detection and reduction of computation...
135
click to vote
VLDB
2005
ACM
15 years 7 months ago
2005
ACM
“W3QL: A Query Language for the WWW”, published in 1995, presented a language with several distinctive features. Employing existing indexes as access paths, it allowed the sel...
120
click to vote
CSFW
2003
IEEE
15 years 7 months ago
2003
IEEE
A policy describes the conditions under which an action is permitted or forbidden. We show that a fragment of (multi-sorted) first-order logic can be used to represent and reason...
112
click to vote
CP
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. This paper offers a critique of the framework of Constraint Satisfaction Problems. While this framework has been successful in studying search techniques, and has inspire...