4378 search results - page 625 / 876 » On the Complexity of Ordered Colourings |
202
click to vote
AAAI
2008
15 years 9 months ago
2008
In order to interact successfully in social situations, a robot must be able to observe others' actions and base its own behavior on its beliefs about their intentions. Many ...
173
click to vote
AAAI
2007
15 years 9 months ago
2007
AI problems such as autonomous robotic exploration, automatic diagnosis and activity recognition have in common the need for choosing among a set of informative but possibly expen...
148
click to vote
AAAI
2007
15 years 9 months ago
2007
We present a CNF to Tree-of-BDDs (ToB) compiler with complexity at most exponential in the tree width. We then present algorithms for interesting queries on ToB. Although some of ...
152
click to vote
AAAI
2008
15 years 9 months ago
2008
In this paper, we present a normal form for concept expressions in the description logic ALC which is based on a recently introduced notion of prime implicate for the modal logic ...
176
click to vote
MOBISYS
2007
ACM
15 years 9 months ago
2007
ACM
— Perhaps the most significant challenge in design of on-body sensors is the wearability concern. This concern requires that the size of the nodes (sensors, processing units and ...