9405 search results - page 1256 / 1881 » Computing a Model of Set Theory |
172
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
227
click to vote
CVIU
2006
15 years 7 months ago
2006
In this paper we develop a system for human behaviour recognition in video sequences. Human behaviour is modelled as a stochastic sequence of actions. Actions are described by a f...
199
click to vote
JCB
2008
15 years 7 months ago
2008
The spatial clustering of genes across different genomes has been used to study important problems in comparative genomics, from identification of operons to detection of homologo...
222
click to vote
SOCO
1998
Springer
15 years 6 months ago
1998
Springer
The development of formal models of spatial relations is a topic of great importance in spatial reasoning, geographic information systems (GIS) and computer vision, and has gained ...
221
click to vote
CORR
2011
Springer
15 years 2 months ago
2011
Springer
A plausible definition of "reasoning" could be "algebraically manipulating previously acquired knowledge in order to answer a new question". This definition co...