Sciweavers

12 search results - page 2 / 3
» Hand Geometry Verification Using Time Series Representation
Sort
View
ISMS
2004
Springer
13 years 10 months ago
Real-Time Incision Simulation Using Discontinuous Free Form Deformation
Abstract. Surgical simulations with the aid of computers is a topic of increasingly extensive research. Realtime response and interactivity are crucial components of any such syste...
Guy Sela, Sagi Schein, Gershon Elber
JVCA
2006
206views more  JVCA 2006»
13 years 5 months ago
Realistic human hand deformation
d Abstract) Jieun Lee, Seung-Hyun Yoon, and Myunng-Soo Kim Seoul National University, KOREA We present a new approach to realistic hand modeling and deformation with real-time per...
Jieun Lee, Seung-Hyun Yoon, Myung-Soo Kim
ENTCS
2006
142views more  ENTCS 2006»
13 years 5 months ago
Predicate Diagrams for the Verification of Real-Time Systems
We propose a format of predicate diagrams for the verification of real-time systems. We consider systems that are defined as extended timed graphs, a format that combines timed au...
Eun-Young Kang, Stephan Merz
IJCAI
1993
13 years 6 months ago
A Model-Theoretic Approach to the Verification of Situated Reasoning Systems
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
Anand S. Rao, Michael P. Georgeff
3DIM
2005
IEEE
13 years 7 months ago
Spatio-Temporal Fusion of Multiple View Video Rate 3D Surfaces
We consider the problem of geometric integration and representation of multiple views of non-rigidly deforming 3D surface geometry captured at video rate. Instead of treating each...
Gordon Collins, Adrian Hilton