7890 search results - page 1567 / 1578 » The MathSAT 3 System |
73
Voted
EUROPAR
2001
Springer
15 years 2 months ago
2001
Springer
This paper is on the construction of a server subsystem in a client/server system in an application context where the number of potential clients can be arbitrarily large. The imp...
KI
2001
Springer
15 years 2 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...
103
click to vote
NEUROSCIENCE
2001
Springer
15 years 2 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...
REFLECTION
2001
Springer
15 years 2 months ago
2001
Springer
, are to address what we perceive as the most pressing shortcomings of current reflective middleware platforms. First, performance: in the worst case, this needs to be on a par wit...
109
click to vote
RT
2001
Springer
15 years 2 months ago
2001
Springer
This paper presents a technique for representing and displaying high dynamic-range texture maps (HDRTMs) using current graphics hardware. Dynamic range in real-world environments o...