13917 search results - page 2586 / 2784 » Abstraction of Probabilistic Systems |
201
click to vote
ICWE
2004
Springer
16 years 15 days ago
2004
Springer
Abstract. Adaptive hypermedia constitutes a pretty rich resource for developing web-based courses. With the aim of dynamically generating adaptive ecourses, we have developed the T...
208
click to vote
IFL
2004
Springer
16 years 15 days ago
2004
Springer
Abstract. Tracing a computation is a key method for program comprehension and debugging. Hat is a tracing system for Haskell 98 programs. During a computation a trace is recorded i...
181
click to vote
MHCI
2004
Springer
16 years 15 days ago
2004
Springer
Abstract. In this paper we describe a new method and user interface for interactive positioning of a mobile device. The key element of this method is a questionanswer style dialogu...
199
click to vote
PET
2004
Springer
16 years 15 days ago
2004
Springer
Abstract. In a Ubiquitous Computing environment, sensors are actively collecting data, much of which can be very sensitive. Data will often be streaming at high rates (video and au...
235
click to vote
UPP
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. Achieving real-time response to complex, ambiguous, highbandwidth data is impractical with conventional programming. Only the narrow class of compressible input-output ma...