Sciweavers

3771 search results - page 652 / 755
» Subobject Transformation Systems
Sort
View
164
Voted
SIGGRAPH
1998
ACM
15 years 6 months ago
Interactive Reflections on Curved Objects
Global view-dependent illumination phenomena, in particular reflections, greatly enhance the realism of computer-generated imagery. Current interactive rendering methods do not pr...
Eyal Ofek, Ari Rappoport
97
Voted
MICCAI
2000
Springer
15 years 6 months ago
Ultrasound/MRI Overlay with Image Warping for Neurosurgery
Performing a craniotomy will cause brain tissue to shift. As a result of the craniotomy, the accuracy of stereotactic localization techniques is reduced unless the brain shift can ...
David G. Gobbi, Roch M. Comeau, Terry M. Peters
129
Voted
CHI
1995
ACM
15 years 6 months ago
Applying Electric Field Sensing to Human-Computer Interfaces
A non-contact sensor based on the interaction of a person with electric fields for human-computer interface is investigated. Two sensing modes are explored: an external electric f...
Thomas G. Zimmerman, Joshua R. Smith, Joseph A. Pa...
124
Voted
UML
2000
Springer
15 years 6 months ago
Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML
In this paper, dynamic meta modeling is proposed as a new approach to the operational semantics of behavioral UML diagrams. The dynamic meta model extends the well-known static met...
Gregor Engels, Jan Hendrik Hausmann, Reiko Heckel,...
WFLP
2000
Springer
124views Algorithms» more  WFLP 2000»
15 years 6 months ago
A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...
Elvira Albert, Sergio Antoy, Germán Vidal