Sciweavers

3597 search results - page 602 / 720
» Flexible Database Generators
Sort
View
TACAS
2012
Springer
277views Algorithms» more  TACAS 2012»
14 years 1 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...

Publication
244views
17 years 6 months ago
Phenomenon-aware Stream Query Processing
Spatio-temporal data streams that are generated from mobile stream sources (e.g., mobile sensors) experience similar environmental conditions that result in distinct phenomena. Sev...
M. H. Ali, Mohamed F. Mokbel, Walid G. Aref
CVPR
2009
IEEE
17 years 1 months ago
Recognition using Regions
This paper presents a unified framework for object detection, segmentation, and classification using regions. Region features are appealing in this context because: (1) they enco...
Chunhui Gu, Joseph J. Lim, Pablo Arbelaez, Jitendr...
CVPR
2001
IEEE
16 years 8 months ago
A Weighted Non-Negative Matrix Factorization for Local Representations
This paper presents an improvement of the classical Non-negative Matrix Factorization (NMF) approach, for dealing with local representations of image objects. NMF, when applied to...
David Guillamet, Jordi Vitrià, Marco Bressa...
CVPR
2001
IEEE
16 years 8 months ago
Adaptive Quasiconformal Kernel Metric for Image Retrieval
This paper presents a new approach to ranking relevant images for retrieval. Distance in the feature space associated with a kernel is used to rank relevant images. An adaptive qu...
Douglas R. Heisterkamp, Jing Peng, H. K. Dai