972 search results - page 87 / 195 » Reasoning with Conditional Time-Intervals |
126
Voted
TLDI
2003
ACM
15 years 8 months ago
2003
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work has addresse...
123
Voted
LICS
2000
IEEE
15 years 7 months ago
2000
IEEE
We consider two-player games which are played on a finite state space for an infinite number of rounds. The games are concurrent, that is, in each round, the two players choose ...
121
Voted
SEMWEB
2007
Springer
15 years 9 months ago
2007
Springer
Several proposals have been put forward to support distributed agent cooperation in the Semantic Web, by allowing concepts and roles in one ontology be reused in another ontology. ...
120
Voted
IROS
2009
IEEE
15 years 9 months ago
2009
IEEE
— Autonomous systems situated in the real world often need to recognize, track, and reason about various types of physical objects. In order to allow reasoning at a symbolic leve...
134
Voted
HICSS
2006
IEEE
15 years 8 months ago
2006
IEEE
Bluetooth is a wireless communication technology, aimed at supporting connectivity among close proximity mobile devices. Bluetooth enables the design of low-power, low-cost, and s...