10870 search results - page 2086 / 2174 » Model Checking Programs |
123
click to vote
ECCV
2008
Springer
16 years 3 months ago
2008
Springer
We present an efficient multi stage approach to detection of deformable objects in real, cluttered images given a single or few hand drawn examples as models. The method handles de...
115
click to vote
DAC
2004
ACM
16 years 2 months ago
2004
ACM
Efficient energy and performance estimation of embedded software is a critical part of any system-level design flow. Macromodeling based estimation is an attempt to speed up estim...
120
click to vote
DAC
2005
ACM
16 years 2 months ago
2005
ACM
We obtain analytically, the energy optimal speed profile of a generic multi-speed device with a discrete set of speeds, to execute a given task within a given time. Current implem...
140
click to vote
DAC
2005
ACM
16 years 2 months ago
2005
ACM
The challenge of verifying a modern microprocessor design is an overwhelming one: Increasingly complex micro-architectures combined with heavy time-to-market pressure have forced ...
137
click to vote
MICCAI
2006
Springer
16 years 2 months ago
2006
Springer
This paper presents a learning based method for automatic extraction of the major cortical sulci from MRI volumes or extracted surfaces. Instead of using a few pre-defined rules su...