1536 search results - page 251 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
SAC
2002
ACM
13 years 7 months ago
2002
ACM
Designing realistic multi-agent systems is a complex process, which involves specifying not only the functionality of individual agents, but also the authority relationships and l...
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
Investigations of multi-robot systems often make implicit assumptions concerning the computational capabilities of the robots. Despite the lack of explicit attention to the comput...
SYNASC
2007
IEEE
14 years 1 months ago
2007
IEEE
In recent years several models have been proposed for text categorization. Within this, one of the widely applied models is the vector space model (VSM), where independence betwee...
MIRAGE
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In this paper we take a fresh look at the problem of extracting shape from contours of human faces. We focus on two key questions: how can we robustly fit a 3D face mode...
CIKM
2005
Springer
14 years 1 months ago
2005
Springer
There has recently been a significant increase in the number of community-based question and answer services on the Web where people answer other peoples’ questions. These serv...