Sciweavers

5639 search results - page 654 / 1128
» Timed Abstract Non-interference
Sort
View
LATIN
2010
Springer
16 years 1 months ago
Visiting a Sequence of Points with a Bevel-Tip Needle
Abstract. Many surgical procedures could benefit from guiding a bevel-tip needle along circular arcs to multiple treatment points in a patient. At each treatment point, the needle...
Steven Bitner, Yam Ki Cheung, Atlas F. Cook, Ovidi...
WEA
2010
Springer
545views Algorithms» more  WEA 2010»
16 years 1 months ago
Experiments on Union-Find Algorithms for the Disjoint-Set Data Structure
Abstract. The disjoint-set data structure is used to maintain a collection of non-overlapping sets of elements from a finite universe. Algorithms that operate on this data structu...
Md. Mostofa Ali Patwary, Jean R. S. Blair, Fredrik...
DASFAA
2009
IEEE
203views Database» more  DASFAA 2009»
16 years 1 months ago
Adaptive Safe Regions for Continuous Spatial Queries over Moving Objects
Abstract. Continuous spatial queries retrieve a set of time-varying objects continuously during a given period of time. However, monitoring moving objects to maintain the correctne...
Yu-Ling Hsueh, Roger Zimmermann, Wei-Shinn Ku
ISQED
2009
IEEE
126views Hardware» more  ISQED 2009»
16 years 1 months ago
Robust differential asynchronous nanoelectronic circuits
Abstract — Nanoelectronic design faces unprecedented reliability challenges and must achieve noise immunity and delay insensitiveness in the presence of prevalent defects and sig...
Bao Liu
PERCOM
2009
ACM
16 years 1 months ago
uWave: Accelerometer-based Personalized Gesture Recognition and Its Applications
Abstract—The proliferation of accelerometers on consumer electronics has brought an opportunity for interaction based on gestures or physical manipulation of the devices. We pres...
Jiayang Liu, Zhen Wang, Lin Zhong, Jehan Wickramas...