Sciweavers

3444 search results - page 307 / 689
» A Theory of Object-Oriented Design
Sort
View
MHCI
2004
Springer
16 years 5 days ago
Tilt-Based Automatic Zooming and Scaling in Mobile Devices - A State-Space Implementation
Abstract. We provide a dynamic systems interpretation of the coupling of internal states involved in speed-dependent automatic zooming, and test our implementation on a text browse...
Parisa Eslambolchilar, Roderick Murray-Smith
NIME
2004
Springer
93views Music» more  NIME 2004»
16 years 4 days ago
On the Choice of Mappings Based On Geometric Properties
The choice of mapping strategies to effectively map controller variables to sound synthesis algorithms is examined. Specifically, we look at continuous mappings that have a geom...
Doug Van Nort, Marcelo M. Wanderley, Philippe Depa...
FMCO
2003
Springer
144views Formal Methods» more  FMCO 2003»
16 years 17 hour ago
Semantic Essence of AsmL
ract State Machine Language, AsmL, is a novel executable specification based on the theory of Abstract State Machines. AsmL is object-oriented, provides high-level mathematical d...
Yuri Gurevich, Benjamin Rossman, Wolfram Schulte
ICRA
2002
IEEE
131views Robotics» more  ICRA 2002»
15 years 11 months ago
Acquisition and Embodiment of Motion Elements in Closed Mimesis Loop
It is needed for humanoid to acquire not only just a trajectory but also aim of the behavior and symbolic information during behavior development. We have proposed the mimesis sys...
Tetsunari Inamura, Iwaki Toshima, Yoshihiko Nakamu...
MPC
2010
Springer
157views Mathematics» more  MPC 2010»
15 years 11 months ago
Formal Derivation of Concurrent Garbage Collectors
Concurrent garbage collectors are notoriously difficult to implement correctly. Previous approaches to the issue of producing correct collectors have mainly been based on posit-and...
Dusko Pavlovic, Peter Pepper, Douglas R. Smith