Sciweavers

7335 search results - page 876 / 1467
» Scene Based Reasoning
Sort
View
ATAL
2004
Springer
16 years 15 days ago
Mapping Mental States into Propositional Planning
Most BDI agent architectures rely on plan libraries in order to ensure bounded time for means-ends reasoning. Nevertheless, the usage of fast planning algorithms to provide the ag...
Felipe Rech Meneguzzi, Avelino F. Zorzo, Michael C...
EWCBR
2004
Springer
16 years 14 days ago
TempoExpress, a CBR Approach to Musical Tempo Transformations
Abstract. In this paper, we describe a CBR system for applying musically acceptable tempo transformations to monophonic audio recordings of musical performances. Within the tempo t...
Maarten Grachten, Josep Lluís Arcos, Ramon ...
LPNMR
2004
Springer
16 years 13 days ago
Planning with Sensing Actions and Incomplete Information Using Logic Programming
Abstract. We present a logic programming based conditional planner that is capable of generating both conditional and sequential conformant plans in the presence of sensing actions...
Tran Cao Son, Phan Huy Tu, Chitta Baral
OOPSLA
2004
Springer
16 years 13 days ago
Efficient data race and deadlock prevention in concurrent object-oriented programs
The main goal of this PhD thesis is to propose and implement a methodology for the construction of programs based on the SCOOP model, and for modular reasoning about their correct...
Piotr Nienaltowski
CCGRID
2003
IEEE
16 years 11 days ago
Magnetic Resonance Imaging (Mri) Simulation On A Grid Computing Architecture
In this paper, we present the implementation of a Magnetic Resonance Imaging (MRI) simulator on a GRID computing architecture. The simulation process is based on the resolution of...
Hugues Benoit-Cattin, F. Bellet, Johan Montagnat, ...