640 search results - page 72 / 128 » Reasoning About Web-Site Structure |
VMCAI
2007
Springer
14 years 1 months ago
2007
Springer
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...
AOSE
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. One of the main challenges for the successful application of agentbased systems in mobile and embedded devices is enabling application developers to reconcile the needs o...
ATAL
2004
Springer
14 years 1 months ago
2004
Springer
One of the key problems in the study of multi agent systems in which the agents exhibit continuous behavior is the automatic recognition and analysis of intentional activities bas...
ICCV
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper describes an approach to recovering surface models of complex scenes from the quasi-sparse data returned by a feature based stereo system. The method can be used to mer...
AGENTCL
2003
Springer
14 years 28 days ago
2003
Springer
Abstract. This paper proposes a new model of communication in multiagent systems according to which the semantics of communication depends on their pragmatics. Since these pragmati...