972 search results - page 85 / 195 » Reasoning with Conditional Time-Intervals |
ACIVS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Prematurely born infants are observed at a Neonatal Intensive Care Unit (NICU) for medical treatment. Whereas vital body functions are continuously monitored, their incub...
LPNMR
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. In answer-set programming (ASP), many notions of program equivalence have been introduced and formally analysed. A particular line of research in this direction aims at s...
ICRA
2007
IEEE
14 years 2 months ago
2007
IEEE
— This paper introduces a model-based approach to estimating longitudinal wheel slip and detecting immobilized conditions of autonomous mobile robots operating on outdoor terrain...
EDUTAINMENT
2007
Springer
14 years 1 months ago
2007
Springer
In this paper, we mainly present the analysis on the haptic data transmission over real network conditions in a networked haptic collaboration environment. Since haptic data are pr...
CONCUR
1997
Springer
13 years 12 months ago
1997
Springer
Abstract. In a trace-based world, the modular speci cation, veri cation, and control of live systems require each module to be receptive that is, each module must be able to meet i...