Sciweavers

3071 search results - page 233 / 615
» Explanatory Design Theory
Sort
View
NIME
2004
Springer
93views Music» more  NIME 2004»
16 years 6 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 2 days 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
178
Voted
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...
183
Voted
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
ECAL
2001
Springer
15 years 11 months ago
Passing the ALife Test: Activity Statistics Classify Evolution in Geb as Unbounded
Bedau and Packard’s evolutionary activity statistics [1, 2] are used to classify the evolutionary dynamics in Geb [3, 4], a system designed to verify and extend theories behind t...
Alastair Channon