2052 search results - page 262 / 411 » Direct Combination |
144
Voted
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
We present a method for learning a human understandable, executable model of an agent's behavior using observations of its interaction with the environment. By executable we ...
161
Voted
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
Generic representatives have been proposed for the effective combination of symmetry reduction and symbolic representation with BDDs in non-probabilistic model checking. This appro...
145
click to vote
CRV
2004
IEEE
15 years 7 months ago
2004
IEEE
We present a novel method for 3D shape recovery based on a combination of visual hull information and multi image stereo. We start from a coarse triangle mesh extracted from visua...
136
click to vote
CVPR
2004
IEEE
15 years 7 months ago
2004
IEEE
Multimedia retrieval is going to play an increasingly important role in the future. Since the availability of digital media seems ever rising, not only the retrieval performance i...
149
click to vote
DAC
2004
ACM
15 years 7 months ago
2004
ACM
In System on Chip (SoC) design, growing design complexity has esigners to start designs at higher abstraction levels. This paper proposes an SoC design methodology that makes full...