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 6 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 11 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 5 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 5 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 5 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é...