Sciweavers

5393 search results - page 589 / 1079
» Spatial Computing with Labels
Sort
View
TACAS
2012
Springer
277views Algorithms» more  TACAS 2012»
14 years 3 months ago
Proving Reachability Using FShell - (Competition Contribution)
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
Andreas Holzer, Daniel Kroening, Christian Schallh...
WMCSA
2003
IEEE
16 years 26 days ago
Proximity Mining: Finding Proximity using Sensor Data History
Emerging ubiquitous and pervasive computing applications often need to know where things are physically located. To meet this need, many locationsensing systems have been develope...
Toshihiro Takada, Satoshi Kurihara, Toshio Hirotsu...
CVPR
2009
IEEE
1561views Computer Vision» more  CVPR 2009»
17 years 2 months ago
SURFTrac: Efficient Tracking and Continuous Object Recognition using Local Feature Descriptors
We present an efficient algorithm for continuous image recognition and feature descriptor tracking in video which operates by reducing the search space of possible interest poin...
Duy-Nguyen Ta (Georgia Institute of Technology), W...
CVPR
2009
IEEE
17 years 2 months ago
Global Connectivity Potentials for Random Field Models
Markov random field (MRF, CRF) models are popular in computer vision. However, in order to be computationally tractable they are limited to incorporate only local interactions a...
Sebastian Nowozin, Christoph H. Lampert
CVPR
1999
IEEE
16 years 9 months ago
Statistical Color Models with Application to Skin Detection
The existence of large image datasets such as the set of photos on the World Wide Web make it possible to build powerful generic models for low-level image attributes like color u...
Michael J. Jones, James M. Rehg