605 search results - page 94 / 121 » A strategy for efficiently verifying requirements |
ICDE
2007
IEEE
14 years 10 months ago
2007
IEEE
A conventional materialized view blindly materializes and maintains all rows of a view, even rows that are never accessed. We propose a more flexible materialization strategy aime...
ICPR
2000
IEEE
14 years 10 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 ...
ICML
2005
IEEE
14 years 9 months ago
2005
IEEE
The detection of faces in images is fundamentally a rare event detection problem. Cascade classifiers provide an efficient computational solution, by leveraging the asymmetry in t...
KDD
2006
ACM
14 years 9 months ago
2006
ACM
Recent work has shown the feasibility and promise of templateindependent Web data extraction. However, existing approaches use decoupled strategies ? attempting to do data record ...
KDD
2003
ACM
14 years 9 months ago
2003
ACM
We are interested in finding natural communities in largescale linked networks. Our ultimate goal is to track changes over time in such communities. For such temporal tracking, we...