3387 search results - page 603 / 678 » Model-Checking for Real-Time Systems |
ICIP
2009
IEEE
14 years 10 months ago
2009
IEEE
This paper proposes a novel framework for up-conversion of depth video resolution both in spatial and in time domain. Time-of-Flight (TOF) sensors are widely used in computer visi...
MICCAI
2002
Springer
14 years 9 months ago
2002
Springer
The most attractive feature of 2D B-mode ultrasound for intra-operative use is that it is both a real time and a highly interactive modality. Most 3D freehand reconstruction method...
KDD
2007
ACM
14 years 9 months ago
2007
ACM
Existing data-stream clustering algorithms such as CluStream are based on k-means. These clustering algorithms are incompetent to find clusters of arbitrary shapes and cannot hand...
CHI
2005
ACM
14 years 9 months ago
2005
ACM
There are a variety of digital tools for enabling people who are physically separated by time and space to communicate and collaborate. Widespread use of some of these tools, such...
EDBT
2002
ACM
14 years 9 months ago
2002
ACM
Existing work on multiway spatial joins focuses on the retrieval of all exact solutions with no time limit for query processing. Depending on the query and data properties, however...