Sciweavers

209 search results - page 23 / 42
» Biography as events in time and space
Sort
View
SSD
2007
Springer
116views Database» more  SSD 2007»
15 years 8 months ago
Continuous Constraint Query Evaluation for Spatiotemporal Streams
In this paper we study the evaluation of continuous constraint queries (CCQs) for spatiotemporal streams. A CCQ triggers an alert whenever a configuration of constraints between s...
Marios Hadjieleftheriou, Nikos Mamoulis, Yufei Tao
126
Voted
INTERACT
2003
15 years 3 months ago
Collaboration Meets Fitts' Law: Passing Virtual Objects with and without Haptic Force Feedback
: Handing over objects is a common event during collaboration in face-to-face interaction. We investigate how such an event can be supported when the interaction takes place in vir...
Eva-Lotta Sallnäs, Shumin Zhai
232
Voted
ICDE
2006
IEEE
156views Database» more  ICDE 2006»
16 years 3 months ago
What's Different: Distributed, Continuous Monitoring of Duplicate-Resilient Aggregates on Data Streams
Emerging applications in sensor systems and network-wide IP traffic analysis present many technical challenges. They need distributed monitoring and continuous tracking of events....
Graham Cormode, S. Muthukrishnan, Wei Zhuang
132
Voted
ICSE
2004
IEEE-ACM
16 years 1 months ago
Using Compressed Bytecode Traces for Slicing Java Programs
Dynamic slicing is a well-known program debugging technique. Given a program P and input I, it finds all program statements which directly/indirectly affect the values of some var...
Tao Wang, Abhik Roychoudhury
147
Voted
FMSD
2007
110views more  FMSD 2007»
15 years 1 months ago
Exploiting interleaving semantics in symbolic state-space generation
Symbolic techniques based on Binary Decision Diagrams (BDDs) are widely employed for reasoning about temporal properties of hardware circuits and synchronous controllers. However, ...
Gianfranco Ciardo, Gerald Lüttgen, Andrew S. ...