Sciweavers

2398 search results - page 339 / 480
» Knowledge Representation
Sort
View
ICCHP
2010
Springer
15 years 7 months ago
Mental Models of Menu Structures in Diabetes Assistants
Abstract. Demographic change in regard to an aging population with an increasing amount of diabetes patients will put a strain on health care rentability in all modern societies. E...
André Calero Valdez, Martina Ziefle, Firat ...
APN
2008
Springer
15 years 5 months ago
Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
Roland Bouroulet, Raymond R. Devillers, Hanna Klau...
WOTUG
2008
15 years 5 months ago
Visual Process-Oriented Programming for Robotics
When teaching concurrency, using a process-oriented language, it is often introduced through a visual representation of programs in the form of process network . These diagrams all...
Jonathan Simpson, Christian L. Jacobsen
FOIS
2006
15 years 5 months ago
PR-OWL: A Framework for Probabilistic Ontologies
Abstract. Across a wide range of domains, there is an urgent need for a wellfounded approach to incorporating uncertain and incomplete knowledge into formal domain ontologies. Alth...
Paulo Cesar G. da Costa, Kathryn B. Laskey
IJCAI
2001
15 years 5 months ago
Planning with Resources and Concurrency: A Forward Chaining Approach
Recently tremendous advances have been made in the performance of AI planning systems. However increased performance is only one of the prerequisites for bringing planning into th...
Fahiem Bacchus, Michael Ady