564 search results - page 48 / 113 » Some Results on the Expressive Power and Complexity of LSCs |
101
click to vote
CP
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. In this paper, we present a major improvement in the search procedures in constraint programming. First, we integrate various search procedures from AI and OR. Second, we...
117
click to vote
ENTCS
2007
14 years 9 months ago
2007
We consider the non-orthodox proof rules of hybrid logic from the viewpoint of topological semantics. Topological semantics is more general than Kripke semantics. We show that the...
112
click to vote
ATAL
2010
Springer
14 years 11 months ago
2010
Springer
Combinatorial auctions have been studied by the multiagent systems community for some time, since these auctions are an effective mechanism for resource allocation when agents are...
PAKM
2004
14 years 11 months ago
2004
Abstract. The aim of our work is to develop a flexible and powerful Knowledge Acquisition framework that allows users to rapidly develop Natural Language Processing systems, includ...
104
click to vote
CVPR
2009
IEEE
16 years 5 months ago
2009
IEEE
Human activity analysis is an important problem in computer
vision with applications in surveillance and summarization
and indexing of consumer content. Complex human
activities...