155 search results - page 29 / 31 » Compositional Predicate Abstraction from Game Semantics |
ECWEB
2005
Springer
14 years 6 days ago
2005
Springer
Abstract. Semantic Web Services can be seen as remote Problem Solving Methods offered via the Web through platform and language independent interfaces. They can be seamlessly inte...
WOLLIC
2009
Springer
14 years 1 months ago
2009
Springer
The paper provides a recipe for adequately representing a very inclusive class of finite-valued logics by way of tableaux. The only requisite for applying the method is that the o...
ECCV
2008
Springer
14 years 8 months ago
2008
Springer
Abstract. There is a huge diversity of definitions of "visually meaningful" image segments, ranging from simple uniformly colored segments, textured segments, through sym...
KI
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. Mobile intention recognition is the problem of inferring an agent's intentions from the spatio-temporal behavior she shows. We present a framework for mobile intenti...
ECEASST
2008
13 years 6 months ago
2008
Abstract: Reo is a language for coordinating autonomous components in distributed environments. Coordination in Reo is performed by circuit-like connectors, which are constructed f...