12774 search results - page 2508 / 2555 » A Framework for Proof Systems |
KI
2001
Springer
14 years 1 months 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...
NEUROSCIENCE
2001
Springer
14 years 1 months ago
2001
Springer
We propose a theoretical framework for specification and analysis of a class of learning problems that arise in open-ended environments that contain multiple, distributed, dynamic...
VLDB
2001
ACM
14 years 1 months ago
2001
ACM
The proliferation of mobile and pervasive computing devices has brought energy constraints into the limelight, together with performance considerations. Energy-conscious design is...
ICNP
2000
IEEE
14 years 1 months ago
2000
IEEE
In order to detect violations of end-to-end service level agreements (SLA) and to isolate trouble links and nodes based on a unified framework, managers of a service provider net...
INFOCOM
2000
IEEE
14 years 1 months ago
2000
IEEE
—Allocating resources for multimedia traffic flows with real-time performance requirements is an important challenge for future packet networks. However, in large-scale networks,...