Sciweavers

550 search results - page 18 / 110
» Adaptive Hypermedia System Design: A Method From Practice
Sort
View
CIE
2007
Springer
15 years 8 months ago
RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
Andrej Bauer, Christopher A. Stone
WSC
2004
15 years 3 months ago
Practical 3D Animation of Multiply Articulated Construction Equipment
This paper presents research that led to the design and implementation of practical 3D animation methods to visualize multiply-articulated construction equipment in 3D animations ...
Vineet R. Kamat, Julio C. Martínez
AHS
2007
IEEE
241views Hardware» more  AHS 2007»
15 years 8 months ago
Extreme Temperature Electronics - from Materials to Bio-inspired Adaptation
Biological systems have inherent mechanisms which ensure their adaptation and thus survival — preservation of functionality, despite extreme and varying environments. One such e...
Dragana Laketic, Pauline C. Haddow
232
Voted
RTAS
2011
IEEE
14 years 5 months ago
ARCH: Practical Channel Hopping for Reliable Home-Area Sensor Networks
Abstract—Home area networks (HANs) promise to enable sophisticated home automation applications such as smart energy usage and assisted living. However, recent empirical study of...
Mo Sha, Gregory Hackmann, Chenyang Lu
ICCAD
1996
IEEE
92views Hardware» more  ICCAD 1996»
15 years 6 months ago
Generation of BDDs from hardware algorithm descriptions
We propose a new method for generating BDDs from hardware algorithm descriptions written in a programming language. Our system can deal with control structures, such as conditiona...
Shin-ichi Minato