Sciweavers

6581 search results - page 259 / 1317
» Formalizing Design Patterns
Sort
View
IFM
2000
Springer
15 years 7 months ago
A Process Compensation Language
This paper presents a formal language for the design of component-based enterprise system. The language (StAC) allows the usual parallel and sequential behaviours, but most signifi...
Michael J. Butler, Carla Ferreira
140
Voted
FLAIRS
2006
15 years 5 months ago
Evaluation of the q-matrix Method in Understanding Student Logic Proofs
In building intelligent tutoring systems, it is critical to be able to understand and diagnose student responses in interactive problem solving. We present a novel application of ...
Tiffany Barnes
CVPR
2003
IEEE
16 years 6 months ago
Polydioptric Camera Design and 3D Motion Estimation
Most cameras used in computer vision applications are still based on the pinhole principle inspired by our own eyes. It has been found though that this is not necessarily the opti...
Cornelia Fermüller, Jan Neumann, Yiannis Aloi...
ICCAD
2005
IEEE
104views Hardware» more  ICCAD 2005»
16 years 29 days ago
Design of DNA origami
— The generation of arbitrary patterns and shapes at very small scales is at the heart of our effort to miniaturize circuits and is fundamental to the development of nanotechnolo...
Paul W. K. Rothemund
INFOVIS
1998
IEEE
15 years 8 months ago
Geographic Visualization: Designing Manipulable Maps for Exploring Temporally Varying Georeferenced Statistics
Geographic Visualization, sometimes called cartographic visualization, is a form of information visualization in which principles from cartography, geographic information systems ...
Alan M. MacEachren, Francis P. Boscoe, Daniel Haug...