573 search results - page 54 / 115 » Planning as Satisfiability with Preferences |
AAAI
2006
13 years 9 months ago
2006
LOCATE is workspace layout design software that also serves as a testbed for developing and refining principles of adaptive aiding. This demonstration illustrates LOCATE's ab...
IROS
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract— Assistive mobile robots that can navigate autonomously can greatly benefit people with mobility impairments. Since an assistive mobile robot transports a human user fr...
ICDCS
2010
IEEE
13 years 11 months ago
2010
IEEE
—Cloud computing is enabling groups of academic collaborators, groups of business partners, etc., to come together in an ad-hoc manner. This paper focuses on the group-based data...
ECAI
2006
Springer
13 years 9 months ago
2006
Springer
Propositional satisfiability (SAT) is a success story in Computer Science and Artificial Intelligence: SAT solvers are currently used to solve problems in many different applicati...
WSC
2004
13 years 9 months ago
2004
For newly designed or transformed business processes, accurately predicting business performances such as costs and customer services before actual deployment is very important. W...