Sciweavers

4229 search results - page 603 / 846
» On the Optimality of Spiral Search
Sort
View
VTS
2005
IEEE
89views Hardware» more  VTS 2005»
16 years 7 days ago
Synthesis of Low Power CED Circuits Based on Parity Codes
An automated design procedure is described for synthesizing circuits with low power concurrent error detection. It is based on pre-synthesis selection of a parity-check code follo...
Shalini Ghosh, Sugato Basu, Nur A. Touba
ASM
2005
ASM
16 years 6 days ago
State Exploration with Multiple State Groupings
Abstract. Exploration algorithms are relevant to the industrial practice of gentest cases from an abstract state machine whose runs define the predicted behavior of the software s...
Colin Campbell, Margus Veanes
CLEF
2005
Springer
16 years 6 days ago
Ad-Hoc Mono- and Bilingual Retrieval Experiments at the University of Hildesheim
This paper reports on our participation in CLEF 2005‘s ad-hoc multi-lingual retrieval track. The ad-hoc task introduced Bulgarian and Hungarian as new languages. Our experiments...
René Hackl, Thomas Mandl, Christa Womser-Ha...
176
Voted
EMMCVPR
2005
Springer
16 years 5 days ago
One-Shot Integral Invariant Shape Priors for Variational Segmentation
Abstract. We match shapes, even under severe deformations, via a smooth reparametrization of their integral invariant signatures. These robust signatures and correspondences are th...
Siddharth Manay, Daniel Cremers, Anthony J. Yezzi,...
EUROGP
2005
Springer
122views Optimization» more  EUROGP 2005»
16 years 5 days ago
Evolution of Robot Controller Using Cartesian Genetic Programming
Abstract. Cartesian Genetic Programming is a graph based representation that has many benefits over traditional tree based methods, including bloat free evolution and faster evolu...
Simon Harding, Julian F. Miller