Sciweavers

3979 search results - page 307 / 796
» Wild control operators
Sort
View
3DPVT
2004
IEEE
101views Visualization» more  3DPVT 2004»
15 years 10 months ago
Pyramid Coordinates for Morphing and Deformation
Many model editing operations, such as morphing, blending, and shape deformation, require the ability to interactively transform the surface of a model in response to some control...
Alla Sheffer, Vladislav Kraevoy
161
Voted
HASE
1998
IEEE
15 years 10 months ago
Design for Constraint Violation Detection in Safety-Critical Systems
In safety-critical systems, certain safety constraints must be satisfied before an operation can be performed. Such constraints typically depend on the state of the system at the ...
Satish Subramanian, Sanjai Rayadurgam, Wei-Tek Tsa...
SOSP
1997
ACM
15 years 8 months ago
Application Performance and Flexibility on Exokernel Systems
The exokernel operating system architecture safely gives untrusted software efficient control over hardware and software resources by separating management from protection. This ...
M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ga...
IJRR
2000
85views more  IJRR 2000»
15 years 6 months ago
Experiments in Fingertip Perception of Surface Discontinuities
In this paper we present the results of experiments that explore the ability of the human fingertip to detect haptically simulated first-order and second-order surface discontinui...
Steven C. Venema, Blake Hannaford
HF
2002
95views more  HF 2002»
15 years 6 months ago
Formal Verification of Human-Automation Interaction
This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machi...
Asaf Degani, Michael Heymann