2638 search results - page 279 / 528 » A Framework for Automatic Debugging |
203
click to vote
CAV
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. In formal verification of hybrid systems, a big challenge is to incorporate continuous flow dynamics in a discrete framework. Our previous work proposed to use nonstand...
189
click to vote
ASPLOS
2008
ACM
15 years 9 months ago
2008
ACM
In this paper we propose the Merge framework, a general purpose programming model for heterogeneous multi-core systems. The Merge framework replaces current ad hoc approaches to p...
220
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
Abstract. Many parallel scienti c applications have dynamic and irregular computational structure. However, most such applications exhibit persistence of computational load and com...
164
click to vote
ECCV
2008
Springer
15 years 9 months ago
2008
Springer
For many tasks in computer vision, it is very important to produce the groundtruth data. At present, this is mostly done manually. Manual data labeling is labor-intensive and prone...
199
click to vote
ICCV
2007
IEEE
16 years 9 months ago
2007
IEEE
In this paper, we take the human age and pose estimation problems as examples to study automatic designing regressor from training samples with uncertain nonnegative labels. First...