6978 search results - page 1368 / 1396 » On Proofs in System P |
CF
2009
ACM
14 years 10 days ago
2009
ACM
Energy consumption and heat dissipation have become key considerations for modern high performance computer systems. In this paper, we focus on non-clairvoyant speed scaling to mi...
AIME
2009
Springer
14 years 9 days ago
2009
Springer
Abstract. Mechanical ventilation can cause severe lung damage by inadequate adjustment of the ventilator. We introduce a Machine Learning approach to predict the pressure-dependent...
AGENTS
2001
Springer
14 years 5 days ago
2001
Springer
The goal of this project is to develop a pedestrian mobility aid for the elderly. In order for this type of assistive technology to be useful and accepted by its intended user com...
ICSE
2001
IEEE-ACM
14 years 3 days ago
2001
IEEE-ACM
Dynamic analysis is based on collecting data as the program runs. However, raw traces tend to be too voluminous and too unstructured to be used directly for visualization and unde...
KI
2001
Springer
14 years 3 days ago
2001
Springer
The paper presents a new technique for extracting symbolic ground facts out of the sensor data stream in autonomous robots for use under hybrid control architectures, which compris...