Sciweavers

2316 search results - page 55 / 464
» The many forms of hypercomputation
Sort
View
ECAL
2003
Springer
15 years 9 months ago
Evolving Aggregation Behaviors in a Swarm of Robots
In this paper, we study aggregation in a swarm of simple robots, called s-bots, having the capability to self-organize and selfassemble to form a robotic system, called a swarm-bot...
Vito Trianni, Roderich Groß, Thomas Halva La...
CHI
2000
ACM
15 years 8 months ago
Storytelling with digital photographs
Photographs play a central role in many types of informal storytelling. This paper describes an easy-to-use device that enables digital photos to be used in a manner similar to pr...
Marko Balabanovic, Lonny L. Chu, Gregory J. Wolff
DATE
1999
IEEE
105views Hardware» more  DATE 1999»
15 years 8 months ago
Identification and Exploitation of Symmetries in DSP Algorithms
In many algorithms, particularly those in the DSP domain, certain forms of symmetry can be observed. To efficiently implement such algorithms, it is often possible to exploit thes...
C. A. J. van Eijk, E. T. A. F. Jacobs, Bart Mesman...
125
Voted
ICMCS
1999
IEEE
148views Multimedia» more  ICMCS 1999»
15 years 8 months ago
A System for the Fast Prototyping of Multidimensional Image Retrieval
Multidimensional image retrieval (MIR) views an image as a multidimensional object, where each dimension is a channel for retrieval. MIR has the potential of putting at work toget...
Carlo Meghini, Fabrizio Sebastiani, Umberto Stracc...
ISMVL
1999
IEEE
90views Hardware» more  ISMVL 1999»
15 years 8 months ago
Transformations between Signed and Classical Clause Logic
In the last years two automated reasoning techniques for clause normal form arose in which the use of labels are prominently featured: signed logic and annotated logic programming...
Bernhard Beckert, Reiner Hähnle, Felip Many&a...