Sciweavers

3481 search results - page 659 / 697
» A New Approach to Component Testing
Sort
View
SIGMOD
2011
ACM
249views Database» more  SIGMOD 2011»
14 years 4 months ago
FlexMin: a flexible tool for automatic bug isolation in DBMS software
Debugging a database engine is an arduous task due to the complexity of the query workloads and systems. The first step in isolating a bug involves identifying a sequence of step...
Kristi Morton, Nicolas Bruno
POPL
2012
ACM
13 years 9 months ago
Sound predictive race detection in polynomial time
Data races are among the most reliable indicators of programming errors in concurrent software. For at least two decades, Lamport’s happens-before (HB) relation has served as th...
Yannis Smaragdakis, Jacob Evans, Caitlin Sadowski,...
CVPR
1998
IEEE
16 years 4 months ago
Integrated Person Tracking Using Stereo, Color, and Pattern Detection
We present an approach to real-time person tracking in crowded and/or unknown environments using multi-modal integration. We combine stereo, color, and face detection modules into...
Trevor Darrell, Gaile G. Gordon, Michael Harville,...
CVPR
2007
IEEE
16 years 4 months ago
A Multi-Resolution Dynamic Model for Face Aging Simulation
In this paper we present a dynamic model for simulating face aging process. We adopt a high resolution grammatical face model[1] and augment it with age and hair features. This mo...
Jin-Li Suo, Feng Min, Song Chun Zhu, Shiguang Shan...
ECCV
2000
Springer
16 years 3 months ago
Model-Based Initialisation for Segmentation
The initialisation of segmentation methods aiming at the localisation of biological structures in medical imagery is frequently regarded as a given precondition. In practice, howev...
Christian Brechbühler, Gábor Szé...