Sciweavers

8928 search results - page 559 / 1786
» Modeling Current Events
Sort
View
ISVC
2005
Springer
16 years 20 days ago
Simulating Complex Organ Interactions: Evaluation of a Soft Tissue Discrete Model
Abstract. Computer assisted procedures play a key role in the improvement of surgical operations. The current techniques in simulation potentially lead to more accuracy, more safet...
Maud Marchal, Emmanuel Promayon, Jocelyne Troccaz
DSOM
2004
Springer
16 years 17 days ago
A Formal Validation Model for the Netconf Protocol
Netconf is a protocol proposed by the IETF that defines a set of operations for network configuration. One of the main issues of Netconf is to define operations such as validate...
Sylvain Hallé, Rudy Deca, Omar Cherkaoui, R...
EWSA
2004
Springer
16 years 16 days ago
Model Checking for Software Architectures
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
Radu Mateescu
ISER
2004
Springer
142views Robotics» more  ISER 2004»
16 years 16 days ago
Design and Modeling of a Selective-Actuation XYZ Flexure Parallel Mechanism
This paper presents the design of a selective-actuation flexure parallel mechanism that can provide three independent translational motions. The mechanism can be used as an ultra p...
Huy-Hoang Pham, I-Ming Chen
SINOBIOMETRICS
2004
Springer
16 years 15 days ago
Pose Normalization Using Generic 3D Face Model as a Priori for Pose-Insensitive Face Recognition
Abrupt performance degradation caused by face pose variations has been one of the bottlenecks for practical face recognition applications. This paper presents a practical pose norm...
Xiujuan Chai, Shiguang Shan, Wen Gao, Xin Liu