Sciweavers

344 search results - page 52 / 69
» Automated Weld Tracking
Sort
View
DAC
2004
ACM
14 years 12 months ago
Adaptive data partitioning for ambient multimedia
In the near future, Ambient Intelligence (AmI) will become part of everyday life. Combining feature-rich multimedia with AmI (dubbed Ambient Multimedia for short) has the potentia...
Xiaoping Hu, Radu Marculescu
SIGSOFT
2005
ACM
14 years 11 months ago
CUTE: a concolic unit testing engine for C
In unit testing, a program is decomposed into units which are collections of functions. A part of unit can be tested by generating inputs for a single entry function. The entry fu...
Koushik Sen, Darko Marinov, Gul Agha
ICLP
2009
Springer
14 years 11 months ago
A Tabling Implementation Based on Variables with Multiple Bindings
Suspension-based tabling systems have to save and restore computation states belonging to OR branches. Stack freezing combined with (forward) trailing is among the better-known imp...
Pablo Chico de Guzmán, Manuel Carro, Manuel...
CHI
2004
ACM
14 years 11 months ago
What a to-do: studies of task management towards the design of a personal task list manager
This paper reports on the results of studies of task management to support the design of a task list manager. We examined the media used to record and organize to-dos and tracked ...
Victoria Bellotti, Brinda Dalal, Nathaniel Good, P...
MOBISYS
2003
ACM
14 years 10 months ago
Anonymous Usage of Location-Based Services Through Spatial and Temporal Cloaking
Advances in sensing and tracking technology enable location-based applications but they also create significant privacy risks. Anonymity can provide a high degree of privacy, save...
Marco Gruteser, Dirk Grunwald