Sciweavers

5373 search results - page 689 / 1075
» Models and Motion Planning
Sort
View
PADL
2004
Springer
16 years 5 days ago
ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog
We present a system (ASP − PROLOG) which provides a tight and well-defined integration of Prolog and Answer Set Programming (ASP). The combined system enhances the expressive po...
Omar El-Khatib, Enrico Pontelli, Tran Cao Son
SG
2004
Springer
16 years 5 days ago
A Framework Supporting General Object Interactions for Dynamic Virtual Worlds
Abstract. This work introduces a new interaction framework for dynamic virtual environments. The proposed system is designed to deal with all possible interactions in a virtual wor...
Pieter Jorissen, Wim Lamotte
154
Voted
ECRTS
2002
IEEE
15 years 11 months ago
POSIX-Compatible Application-Defined Scheduling in MaRTE OS
Abstract: This paper presents an application program interface (API) that enables applications to use applicationdefined scheduling algorithms in a way compatible with the scheduli...
Mario Aldea Rivas, Michael González Harbour
148
Voted
AIME
1997
Springer
15 years 11 months ago
Developing a Decision-Theoretic Network for a Congenital Heart Disease
To support paediatric cardiologists in prognostic assessment and treatment planning, a decision-theoretic network for congenital heart disease is being constructed. The network is...
Niels Peek, Jaap Ottenkamp
ICLP
2010
Springer
15 years 10 months ago
Structured Interactive Musical Scores
Interactive Scores is a formalism for the design and performance of interactive scenarios that provides temporal relations (TRs) among the objects of the scenario. We can model TRs...
Mauricio Toro-Bermudez