10910 search results - page 1759 / 2182 » Input modeling using a computer algebra system |
310
click to vote
ESOP
2004
Springer
16 years 1 months ago
2004
Springer
The Ambient calculus is a successful model of distributed, mobile computation, and has been the vehicle of new ideas for resource access control. Mobility types have been used to e...
182
click to vote
SG
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. This work introduces a new interaction framework for dynamic virtual environments. The proposed system is designed to deal with all possible interactions in a virtual wor...
164
click to vote
ICTAI
2003
IEEE
16 years 28 days ago
2003
IEEE
We are investigating computational models for humancomputer interaction based on a uniform, declarative, knowledge representation. We describe a new implementation of our work cal...
233
click to vote
GW
1999
Springer
15 years 12 months ago
1999
Springer
Abstract. The use of gesture as a natural interface serves as a motivating force for research in modeling, analyzing and recognition of gestures. In particular, human computer inte...
173
click to vote
MICCAI
1998
Springer
15 years 12 months ago
1998
Springer
In this study, a virtual reality vitrectomy simulator is being developed to assist Ophthalmolgy residents in correcting retinal detachments. To simulate this type of surgery, a thr...