Sciweavers

1677 search results - page 46 / 336
» An Interactive Fur Modeling Technique
Sort
View
IWPC
1997
IEEE
14 years 2 months ago
Using Knowledge Representation to Understand Interactive Systems
System migration presents a myriad of challenges in software maintenance. The user interfaces of interactive systems can undergo significant change during migration. Program unde...
Melody M. Moore, Spencer Rugaber
ICMCS
2005
IEEE
109views Multimedia» more  ICMCS 2005»
14 years 3 months ago
Tree Animation for A 3D Interactive Visualization System For Hurricane Impacts
This paper describes an implementation of vertex weighting for real-time animation of 3D trees as a result of wind force and direction. This method improves over similar technique...
Peter Singh, Na Zhao, Shu-Ching Chen, Keqi Zhang
FOCS
2008
IEEE
13 years 11 months ago
Quantum Multi Prover Interactive Proofs with Communicating Provers
We introduce another variant of Quantum MIP, where the provers do not share entanglement, the communication between the verifier and the provers is quantum, but the provers are u...
Michael Ben-Or, Avinatan Hassidim, Haran Pilpel
SPIN
2010
Springer
13 years 8 months ago
Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains
Abstract. We develop an algorithm to compute timed reachability probabilities for distributed models which are both probabilistic and nondeterministic. To obtain realistic results ...
Georgel Calin, Pepijn Crouzen, Pedro R. D'Argenio,...
SIGGRAPH
1997
ACM
14 years 2 months ago
Virtual voyage: interactive navigation in the human colon
Virtual colonoscopy is a non-invasive computerized medical procedure for examining the entire colon to detect polyps. We present an interactive virtual colonoscopy method, which u...
Lichan Hong, Shigeru Muraki, Arie E. Kaufman, Dirk...