Sciweavers

4595 search results - page 371 / 919
» Reasoning about Plans
Sort
View
JAISE
2010
192views Algorithms» more  JAISE 2010»
15 years 2 months ago
Activity recognition using temporal evidence theory
The ability to identify the behavior of people in a home is at the core of Smart Home functionality. Such environments are equipped with sensors that unobtrusively capture informat...
Susan McKeever, Juan Ye, Lorcan Coyle, Chris Bleak...

Book
545views
17 years 3 months ago
Artificial Intelligence: A Modern Approach
"Artificial Intelligence (AI) is a big field, and this is a big book. We have tried to explore the full breadth of the field, which encompasses logic, probability, and continu...
Stuart Russell and Peter Norvig
ICCBR
2007
Springer
16 years 1 months ago
Mining Large-Scale Knowledge Sources for Case Adaptation Knowledge
Abstract. Making case adaptation practical is a longstanding challenge for casebased reasoning. One of the impediments to widespread use of automated case adaptation is the adaptat...
David B. Leake, Jay H. Powell
AUSAI
2004
Springer
16 years 1 months ago
Embedding Memoization to the Semantic Tree Search for Deciding QBFs
Abstract. Quantified Boolean formulas (QBFs) play an important role in artificial intelligence subjects, specially in planning, knowledge representation and reasoning [20]. In th...
Mohammad GhasemZadeh, Volker Klotz, Christoph Mein...
GIS
1999
ACM
15 years 12 months ago
Integrating Geographic Information Systems, Spatial Digital Libraries and Information Spaces for Conducting Humanitarian Assista
The GeoWorlds system integrates geographic information systems, spatial digital libraries and other information analysis, retrieval and collaboration tools. It supports multiple a...
Vished Kumar, Alejandro Bugacov, Murilo Coutinho, ...