3379 search results - page 284 / 676 » Powers of Two |
184
click to vote
DAC
2001
ACM
16 years 7 months ago
2001
ACM
We describe two things. First, we present a uniform framework for object oriented specification and verification of hardware. For this purpose the object oriented language `e'...
154
click to vote
ICML
2006
IEEE
16 years 7 months ago
2006
IEEE
We present an efficient method for maximizing energy functions with first and second order potentials, suitable for MAP labeling estimation problems that arise in undirected graph...
196
click to vote
ICML
2003
IEEE
16 years 7 months ago
2003
IEEE
This paper is concerned with the question of how to online combine an ensemble of active learners so as to expedite the learning progress during a pool-based active learning sessi...
181
click to vote
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
In this paper, a new framework for brain warping via landmark matching is proposed using implicit representations or the level set method. We demonstrate this powerful technique b...
156
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
We develop a novel framework for the page-level template detection problem. Our framework is built on two main ideas. The first is the automatic generation of training data for a ...