Sciweavers

2210 search results - page 153 / 442
» Decision Support By Learning-On-Demand
Sort
View
AIPS
2000
15 years 7 months ago
Using AI Planning Technology for Army Small Unit Operations
In this paper, we outline the requirements of a planning and decision aid to support US Army small unit operations in urban terrain and show how AI planning technologies can be ex...
Austin Tate, John Levine, Peter Jarvis, Jeff Dalto...
BIRTHDAY
2010
Springer
15 years 7 months ago
Formal Semantics of a VDM Extension for Distributed Embedded Systems
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
Jozef Hooman, Marcel Verhoef
ECAI
2010
Springer
15 years 7 months ago
Semi-Automatic Revision of Formalized Knowledge
As the amount of available ontologies and their size grow, ontology reuse gains in importance. However, the online available formalized knowledge in many cases need a revision whic...
Nadejda Nikitina
CORR
2008
Springer
105views Education» more  CORR 2008»
15 years 6 months ago
Design Patterns for Complex Event Processing
Currently engineering efficient and successful event-driven applications based on the emerging Complex Event Processing (CEP) technology, is a laborious trial and error process. T...
Adrian Paschke
EOR
2002
85views more  EOR 2002»
15 years 6 months ago
Reasoning with contextual graphs
Decision trees allow the modeling of event-dependent reasoning, but do not consider the dynamics of contextual changes in reasoning. In the framework of the SART project, which ai...
Patrick Brézillon, Laurent Pasquier, Jean-C...