Sciweavers

4298 search results - page 276 / 860
» Measurable chromatic numbers
Sort
View
DAGM
2007
Springer
16 years 26 days ago
A Fast and Reliable Coin Recognition System
This paper presents a reliable coin recognition system that is based on a registration approach. To optimally align two coins we search for a rotation in order to reach a maximal n...
Marco Reisert, Olaf Ronneberger, Hans Burkhardt
ICARIS
2007
Springer
16 years 26 days ago
Immune and Evolutionary Approaches to Software Mutation Testing
We present an Immune Inspired Algorithm, based on CLONALG, for software test data evolution. Generated tests are evaluated using the mutation testing adequacy criteria, and used to...
Peter May, Jon Timmis, Keith Mander
ICRA
2006
IEEE
86views Robotics» more  ICRA 2006»
16 years 22 days ago
The Statistical Dynamics of Programmed Self-assembly
Abstract— We describe how a graph grammar program for robotic self-assembly, together with measurements of kinetic rate data yield a Markov Process model of the dynamics of progr...
Nils Napp, Samuel Burden, Eric Klavins
HIPC
2005
Springer
16 years 6 days ago
Sensor Selection Heuristic in Sensor Networks
We consider the problem of sensor selection so as to minimise error in estimated location of target. An algorithm based on selecting a sensor in a direction in which the error is ...
Vaishali P. Sadaphal, Bijendra N. Jain
IFL
2005
Springer
103views Formal Methods» more  IFL 2005»
16 years 6 days ago
Accurate Step Counting
Abstract Starting with an evaluator for a language, an abstract machine for the same language can be mechanically derived using successive program transformations. This has relevan...
Catherine Hope, Graham Hutton