4298 search results - page 408 / 860 » Measurable chromatic numbers |
206
click to vote
MVA
1996
15 years 8 months ago
1996
Segmentation of range images using superquadric entities has been pointed out by a number of researchers as a powerful approach towards object recognition. Problems exist in findi...
176
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
A multi-agent VRP solver is presented in this paper. It utilizes the contract-net protocol based allocation and several improvement strategies. It provides the solution with the q...
194
click to vote
CADE
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Sledgehammer, a component of the interactive theorem prover Isabelle, finds proofs in higher-order logic by calling the automated provers for first-order logic E, SPASS a...
162
click to vote
CEC
2010
IEEE
15 years 8 months ago
2010
IEEE
In this paper we investigate the application of tree-adjunct grammars to grammatical evolution. The standard type of grammar used by grammatical evolution, context-free grammars, p...
171
click to vote
CHES
2010
Springer
15 years 8 months ago
2010
Springer
Random delays are often inserted in embedded software to protect against side-channel and fault attacks. At CHES 2009 a new method for generation of random delays was described tha...