2488 search results - page 423 / 498 » An improvement in formal verification |
101
click to vote
CVPR
2008
IEEE
16 years 3 months ago
2008
IEEE
This paper describes a discriminatively trained, multiscale, deformable part model for object detection. Our system achieves a two-fold improvement in average precision over the b...
234
click to vote
ICDE
2009
IEEE
16 years 3 months ago
2009
IEEE
Mediator-based data integration systems resolve exploratory queries by joining data elements across sources. In the presence of uncertainties, such multiple expansions can quickly ...
217
click to vote
ICDE
2009
IEEE
16 years 3 months ago
2009
IEEE
Auditing the changes to a database is critical for identifying malicious behavior, maintaining data quality, and improving system performance. But an accurate audit log is a histor...
177
click to vote
ICDE
2005
IEEE
16 years 2 months ago
2005
IEEE
The query optimizer of a database system is confronted with two aspects when handling user-defined functions (UDFs) in query predicates: the vast differences in evaluation costs b...
117
click to vote
ICPR
2000
IEEE
16 years 2 months ago
2000
IEEE
This paper presents a cooperative strategy between volumetric registration and segmentation. The segmentation method is based on the level set formalism. Starting from an initial ...