1247 search results - page 203 / 250 » Reasoning about Function Objects |
123
Voted
ECAI
2006
Springer
15 years 4 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...
117
Voted
AAAI
2004
15 years 3 months ago
2004
Obtaining an accurate multiple alignment of protein sequences is a difficult computational problem for which many heuristic techniques sacrifice optimality to achieve reasonable r...
112
Voted
ECIS
2003
15 years 3 months ago
2003
This paper describes a web-based system that integrates knowledge management and decision-making features to enable short-term communities of practice develop manufacturing strate...
105
Voted
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
Dora the Explorer is a mobile robot with a sense of curiosity and a drive to explore its world. Given an incomplete tour of an indoor environment, Dora is driven by internal motiv...
129
click to vote
TII
2008
15 years 2 months ago
2008
Current systems for automatic identification of goods presume a single administrative domain. However, in supply chain management systems temporary cooperations of multiple compani...