Sciweavers

4064 search results - page 180 / 813
» Animation: can it facilitate
Sort
View
ATAL
2004
Springer
14 years 1 months ago
Physicomimetics for Mobile Robot Formations
In prior work we established how physicomimetics can be used to self-organize hexagonal and square lattice formations of mobile robots. In this paper we extend the framework to mo...
William M. Spears, Rodney Heil, Diana F. Spears, D...
DATE
2003
IEEE
66views Hardware» more  DATE 2003»
14 years 1 months ago
Using RTL Statespace Information and State Encoding for Induction Based Property Checking
This paper focuses on checking safety properties for sequential circuits specified on the RT-level. We study how different state encodings can be used to create a gate-level repr...
Markus Wedler, Dominik Stoffel, Wolfgang Kunz
EH
2003
IEEE
129views Hardware» more  EH 2003»
14 years 1 months ago
The Importance of Reuse and Development in Evolvable Hardware
Reuse will become increasingly important as larger digital and analog circuits are created by the techniques of the field of evolvable hardware. This paper discusses the ways by w...
John R. Koza, Martin A. Keane, Matthew J. Streeter
GECCO
2003
Springer
14 years 1 months ago
Secret Agents Leave Big Footprints: How to Plant a Cryptographic Trapdoor, and Why You Might Not Get Away with It
This paper investigates whether optimisation techniques can be used to evolve artifacts of cryptographic significance which are apparently secure, but which have hidden properties...
John A. Clark, Jeremy L. Jacob, Susan Stepney
IV
2002
IEEE
87views Visualization» more  IV 2002»
14 years 28 days ago
Visualization of Document Co-Citation Counts
Visualization can facilitate the understanding of the structures of a collection of documents that are related to each other by links, such as citations in formal publications. We...
Steven Noel, Chee-Hung Henry Chu, Vijay Raghavan