8337 search results - page 1349 / 1668 » Reasoning With Characteristic Models |
148
click to vote
FOSSACS
2007
Springer
16 years 24 days ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
177
click to vote
ICMI
2007
Springer
16 years 24 days ago
2007
Springer
We address the problem of automatic interpretation of nonexaggerated human facial and body behaviours captured in video. We illustrate our approach by three examples. (1) We intro...
177
click to vote
PKDD
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Recent results on robust density-based clustering have indicated that the uncertainty associated with the actual measurements can be exploited to locate objects that are ...
185
click to vote
PROFES
2007
Springer
16 years 23 days ago
2007
Springer
Reference processes are supposed to be the basis for collaboration and mature cooperation in software development. Large business organizations need large and diverse reference pro...
194
click to vote
LICS
2006
IEEE
16 years 20 days ago
2006
IEEE
In this paper we show that the Stone representation theorem for Boolean algebras can be generalized to combinatory algebras. In every combinatory algebra there is a Boolean algebr...