14190 search results - page 2498 / 2838 » Abstractions for hybrid systems |
148
click to vote
CAV
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. The problem of finding a small unsatisfiable core of an unsatisfiable CNF formula is addressed. The proposed algorithm, Trimmer, iterates over each internal node d in the...
233
click to vote
CCGRID
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract-- The development of high performance parallel applications for clusters is considered a complex task. This can happen because the influence of the execution environment a...
209
Voted
DSD
2004
IEEE
15 years 11 months ago
2004
IEEE
Validation of programmable architectures, consisting of processor cores, coprocessors, and memory subsystems, is one of the major bottlenecks in current Systemon-Chip design metho...
217
click to vote
CIG
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract-- Beside their stunning graphics, modern entertainment systems feature ever-higher levels of immersive userinteraction. Today, this is mostly achieved by virtual (VR) and ...
217
click to vote
CLOR
2006
15 years 11 months ago
2006
Abstract. We consider the problem of detecting a large number of different classes of objects in cluttered scenes. We present a learning procedure, based on boosted decision stumps...