1157 search results - page 183 / 232 » Descriptive Complexity and Model Checking |
LAMAS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract Multi-agent systems (MASs) is an area of distributed artificial intelligence that emphasizes the joint behaviors of agents with some degree of autonomy and the complexiti...
LPNMR
2005
Springer
14 years 2 months ago
2005
Springer
Two approaches to logic programming with probabilities emerged over time: bayesian reasoning and probabilistic satisfiability (PSAT). The attractiveness of the former is in tying ...
VAST
2004
ACM
14 years 2 months ago
2004
ACM
We discuss a system for the digital capture of museum artefacts which are accumulated into a multimedia repository comprising 3D models, images, video and sound clips as well as t...
BIRTHDAY
2003
Springer
14 years 1 months ago
2003
Springer
Combinatorial optimization problems naturally arise in many application areas, including logistics, manufacturing, supplychain management, and resource allocation. They often give...
CVPR
2011
IEEE
13 years 13 days ago
2011
IEEE
This paper addresses the problem of automatic reconstruction of a 3D relief from a line drawing on top of a given base object. Reconstruction is challenging due to four reasons ...