Sciweavers

6432 search results - page 239 / 1287
» Classic Mechanism Design
Sort
View
OWLED
2008
15 years 7 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,...
138
Voted
FUNGAMES
2008
15 years 6 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 5 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
JMM2
2007
105views more  JMM2 2007»
15 years 5 months ago
A Framework for Gesture Interface Design
— Gesture interfaces have long been pursued in the context of portable computing and immersive environments. However, such interfaces have been difficult to build, in part due t...
Zhenyao Mo, Ulrich Neumann
CG
2000
Springer
15 years 5 months ago
Light propagation visualization as a tool for 3D scene analysis in lighting design
This paper is devoted to a designer tool, which is an extension of particle tracing algorithm for analysis of scenes, artifacts, image ghosts, and ray tracing mechanism itself. Th...
Edward A. Kopylov, Kirill Dmitriev