5962 search results - page 838 / 1193 » Working with Patterns and Code |
133
click to vote
IROS
2006
IEEE
15 years 11 months ago
2006
IEEE
— This paper introduces a novel robot which can run on the surface of water in a manner similar to basilisk lizards. Previous studies on the lizards themselves have characterized...
133
Voted
ISCAS
2006
IEEE
15 years 11 months ago
2006
IEEE
— All-solution Boolean satisfiability (SAT) solvers are engines employed to find all the possible solutions to a SAT problem. Their applications are found throughout the EDA in...
124
Voted
SEW
2006
IEEE
15 years 11 months ago
2006
IEEE
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
124
click to vote
SIBGRAPI
2006
IEEE
15 years 11 months ago
2006
IEEE
Statistical discrimination methods are suitable not only for classification but also for characterisation of differences between a reference group of patterns and the population u...
159
click to vote
SSDBM
2006
IEEE
15 years 11 months ago
2006
IEEE
With the recent progress of spatial information technologies and communication technologies, it has become easier to track positions of a large number of moving objects in real-ti...