Sciweavers

550 search results - page 21 / 110
» Adaptive Hypermedia System Design: A Method From Practice
Sort
View
EH
2000
IEEE
84views Hardware» more  EH 2000»
15 years 5 months ago
Evolutionary Design of Single Electron Systems
The differences between electronics design through artificial evolution and through conventional methods have the consequence that evolved circuits may take unusual leverage from ...
Adrian Thompson, Christoph Wasshuber
AFP
2004
Springer
105views Formal Methods» more  AFP 2004»
15 years 7 months ago
Epigram: Practical Programming with Dependent Types
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
Conor McBride
SIGUCCS
2004
ACM
15 years 7 months ago
Research based methods for using powerpoint, animation, and video for instruction
This paper is a literature review on practical techniques and guidelines using PowerPoint, animation, and video effectively for instruction. The motivation to collect research bas...
Trevor Murphy
109
Voted
AAAI
2000
15 years 3 months ago
Adaptive User Interfaces through Dynamic Design Automation
The inherent difficulty in supporting human usability in large control systems--such as building environmental and security systems--derives from the large diversity of components...
Robin R. Penner, Erik S. Steinmetz, Christopher L....
SEE
1997
Springer
15 years 6 months ago
An environment for object-oriented real-time systems design
A concise object-oriented method for the development of real-time systems has been composed. Hardware components are modelled by (sofnuare) base objects; base objects are controll...
Rob L. W. van de Weg, Rolf Engmann, Raoul van de H...