Sciweavers

12597 search results - page 404 / 2520
» Complexity of Mechanism Design
Sort
View
ISER
2000
Springer
109views Robotics» more  ISER 2000»
15 years 10 months ago
Advancing Active Vision Systems by Improved Design and Control
Abstract: This paper presents the mechanical hardware and control software of a novel high-performance active vision system. It is the latest in an ongoing research effort to devel...
Orson Sutherland, Harley Truong, Sebastien Rougeau...
AISB
1995
Springer
15 years 10 months ago
The Ant Colony Metaphor for Searching Continuous Design Spaces
This paper describes a form of dynamical computational system--4he ant colony---and presents an ant colony model for continuous space optimisation problems. The ant colony metapho...
George Bilchev, Ian C. Parmee
OWLED
2008
15 years 8 months ago
The OWL in the CASL - Designing Ontologies Across Logics
Abstract. In this paper, we show how the web ontology language OWL can be accommodated within the larger framework of the heterogeneous common algebraic specification language HETC...
Oliver Kutz, Dominik Lücke, Till Mossakowski,...
FUNGAMES
2008
15 years 8 months ago
Rotational Dynamics for Design of Bidirectional Feedback during Manual Interaction
Abstract. Rotational dynamic system models can be used to enrich tightlycoupled embodied control of movement-sensitive mobile devices, and support a more bidirectional, negotiated ...
Roderick Murray-Smith, Steven Strachan
JFP
2006
91views more  JFP 2006»
15 years 6 months ago
A reflective functional language for hardware design and theorem proving
This paper introduces reFLect, a functional programming language with reflection features intended for applications in hardware design and verification. The reFLect language is st...
Jim Grundy, Thomas F. Melham, John W. O'Leary