Sciweavers

6057 search results - page 942 / 1212
» A system architecture for pervasive computing
Sort
View
DNA
2007
Springer
106views Bioinformatics» more  DNA 2007»
15 years 10 months ago
Hardware Acceleration for Thermodynamic Constrained DNA Code Generation
Reliable DNA computing requires a large pool of oligonucleotides that do not produce cross-hybridize. In this paper, we present a transformed algorithm to calculate the maximum wei...
Qinru Qiu, Prakash Mukre, Morgan Bishop, Daniel J....
AI50
2006
15 years 10 months ago
AI in Locomotion: Challenges and Perspectives of Underactuated Robots
Abstract. This article discusses the issues of adaptive autonomous navigation as a challenge of artificial intelligence. We argue that, in order to enhance the dexterity and adapti...
Fumiya Iida, Rolf Pfeifer, André Seyfarth
CAV
2006
Springer
105views Hardware» more  CAV 2006»
15 years 10 months ago
FAST Extended Release
Fast is a tool designed for the analysis of counter systems, i.e. automata extended with unbounded integer variables. Despite the reachability set is not recursive in general, Fast...
Sébastien Bardin, Jérôme Lerou...
FPGA
2006
ACM
92views FPGA» more  FPGA 2006»
15 years 10 months ago
Embedded floating-point units in FPGAs
Due to their generic and highly programmable nature, FPGAs provide the ability to implement a wide range of applications. However, it is this nonspecific nature that has limited t...
Michael J. Beauchamp, Scott Hauck, Keith D. Underw...
AVI
2008
15 years 9 months ago
The multi-touch SoundScape renderer
In this paper, we introduce a direct manipulation tabletop multi-touch user interface for spatial audio scenes. Although spatial audio rendering existed for several decades now, m...
Katharina Bredies, Nick Alexander Mann, Jens Ahren...