14190 search results - page 2641 / 2838 » Abstractions for hybrid systems |
209
click to vote
IFL
2004
Springer
16 years 18 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 18 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...
202
click to vote
PET
2004
Springer
16 years 18 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...
246
click to vote
PKDD
2004
Springer
16 years 18 days ago
2004
Springer
The next wave in search technology will be driven by the identification, extraction, and exploitation of real-world entities represented in unstructured textual sources. Search sy...
235
click to vote
UPP
2004
Springer
16 years 18 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...