4814 search results - page 356 / 963 » Combining abstract interpreters |
152
click to vote
SCIA
2005
Springer
16 years 7 days ago
2005
Springer
One of the key requirements for a cognitive vision system to support reasoning is the possession of an effective mechanism to exploit context both for scene interpretation and for...
155
click to vote
TACAS
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. The automatic synthesis of programs from their specifications has been a dream of many researchers for decades. If we restrict to open finite-state reactive systems, th...
191
click to vote
WINE
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. In this paper we present a cooperative game theoretic interpretation of the shortest path problem. We consider a buying agent who has a budget to go from a specified sou...
177
click to vote
CIA
2004
Springer
16 years 5 days ago
2004
Springer
Given a specification of communication rules in a multiagent system (in the form of protocols, ACL semantics, etc.), the question of how to design appropriate agents that can oper...
196
click to vote
CICLING
2004
Springer
16 years 5 days ago
2004
Springer
In this paper we present a plug and play dialogue system for smart environments. The environment description and its state are stored on a domain ontology. This ontology is formed ...