2048 search results - page 208 / 410 » The Tale of Two Projects - Abstract |
146
click to vote
VLSID
2000
IEEE
15 years 7 months ago
2000
IEEE
We address the problem of verifying the correctness of pre-silicon models of a microprocessor. We touch on the latest advances in this area by considering two different aspects of...
142
Voted
BMVC
2001
15 years 6 months ago
2001
In this paper, we propose a practical object recognition system which consists of two functional modules. The first is object extraction module using a range image, and the second...
118
click to vote
AIPS
2008
15 years 6 months ago
2008
High dimensionality of belief space in DEC-POMDPs is one of the major causes that makes the optimal joint policy computation intractable. The belief state for a given agent is a p...
156
click to vote
ICPR
2010
IEEE
15 years 5 months ago
2010
IEEE
A relationship between generalization error and training samples in kernel regressors is discussed in this paper. The generalization error can be decomposed into two components. On...
139
click to vote
CISSE
2008
Springer
15 years 5 months ago
2008
Springer
According to the software engineering perspective, grammars can be viewed as "Specifications for defining languages or compilers". They form the basics of languages and ...