Sciweavers

1759 search results - page 98 / 352
» A guide to membrane computing
Sort
View
ECTEL
2008
Springer
15 years 8 months ago
CoChemEx: Supporting Conceptual Chemistry Learning Via Computer-Mediated Collaboration Scripts
Chemistry students, like students in other disciplines, often learn to solve problems by applying well-practiced procedures. Such an approach, however, may hinder conceptual unders...
Dimitra Tsovaltzi, Nikol Rummel, Niels Pinkwart, A...
BCSHCI
1997
15 years 7 months ago
BUILD-IT: A Computer Vision-based Interaction Technique for a Planning Tool
In this article we wish to show a method to go beyond the established approaches of human-computer interaction. We first bring a serious critique of traditional interface types, sh...
Matthias Rauterberg, Morten Fjeld, Helmut Krueger,...
CG
2005
Springer
15 years 6 months ago
A controlled clothoid spline
A clothoid has the property that its curvature varies linearly with arclength. This is a useful feature for the path of a vehicle whose turning radius is controlled as a linear fu...
Desmond J. Walton, Dereck S. Meek
CHI
2009
ACM
16 years 6 months ago
Programming reality: from transitive materials to organic user interfaces
Over the past few years, a quiet revolution has been redefining our fundamental computing technologies. Flexible E-Ink, OLED displays, shape-changing materials, parametric design,...
Marcelo Coelho, Ivan Poupyrev, Sajid Sadi, Roel Ve...
SPIN
2007
Springer
16 years 13 days ago
Minimal Counterexample Generation for SPIN
We propose an algorithm to compute a counterexample of minimal size to some property in a finite state program, using the same space constraints than SPIN. This algorithm uses nes...
Paul Gastin, Pierre Moro