3758 search results - page 211 / 752 » A Complete Subsumption Algorithm |
132
click to vote
ICCD
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract— This paper presents techniques that enhance automatically generated hardware assertion checkers to facilitate debugging within the assertion-based verification paradig...
119
click to vote
ICIP
2008
IEEE
15 years 8 months ago
2008
IEEE
Widely used SVD-based matrix factorization approaches to the recovery of 3D rigid structure from motion (SFM), require a set of feature points to be visible in a set of images. Wh...
110
click to vote
CEC
2007
IEEE
15 years 8 months ago
2007
IEEE
— We present an ant model that solves a discrete foraging problem. We describe simulations and provide a complete convergence analysis: we show that the ant population computes t...
108
click to vote
CIA
2007
Springer
15 years 8 months ago
2007
Springer
Coalitions are often required for multi-agent collaboration. In this research, we consider tasks that can only be completed with the combined efforts of multiple agents using appro...
ESWS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper presents a minimalist program for RDF, by showing how one can do without several predicates and keywords of the RDF Schema vocabulary, obtaining a simpler lang...