Sciweavers

4985 search results - page 585 / 997
» Observation of String-Rewriting Systems
Sort
View
QEST
2010
IEEE
15 years 4 months ago
Automatic Compositional Reasoning for Probabilistic Model Checking of Hardware Designs
Adaptive techniques like voltage and frequency scaling, process variations and the randomness of input data contribute signi cantly to the statistical aspect of contemporary hardwa...
Jayanand Asok Kumar, Shobha Vasudevan
CVPR
1999
IEEE
16 years 8 months ago
Extracting Textured Vertical Facades From Controlled Close-Range Imagery
We are developing a system to extract geodetic, textured CAD models from thousands of initially uncontrolled, close-range ground and aerial images of urban scenes. Here we describ...
Satyan R. Coorg, Seth J. Teller
CVPR
2000
IEEE
16 years 8 months ago
Boosting Image Retrieval
Online photo sharing systems, such as Flickr and Picasa, provide a valuable source of human-annotated photos. Textual annotations are used not only to describe the visual content ...
Kinh Tieu, Paul A. Viola
CVPR
2003
IEEE
16 years 8 months ago
Recognising and Monitoring High-Level Behaviours in Complex Spatial Environments
The recognition of activities from sensory data is important in advanced surveillance systems to enable prediction of high-level goals and intentions of the target under surveilla...
Nam Thanh Nguyen, Hung Hai Bui, Svetha Venkatesh, ...
271
Voted
ICDE
1999
IEEE
94views Database» more  ICDE 1999»
16 years 8 months ago
Scalable Trigger Processing
Current database trigger systems have extremely limited scalability. This paper proposes a way to develop a truly scalable trigger system. Scalability to large numbers of trigger...
Eric N. Hanson, Chris Carnes, Lan Huang, Mohan Kon...