Sciweavers

1834 search results - page 193 / 367
» PICTURE - A new Approach for Domain-Specific Process Modelli...
Sort
View
3DIM
2005
IEEE
15 years 10 months ago
Multi-Resolution Modeling and Locally Refined Collision Detection for Haptic Interaction
The computational cost of a collision detection (CD) algorithm on polygonal surfaces depends highly on the complexity of the models. A novel “locally refined” approach is intr...
Peiran Liu, Xiaojun Shen, Nicolas D. Georganas, Ge...
FGR
2004
IEEE
142views Biometrics» more  FGR 2004»
15 years 8 months ago
On Automated Model-Based Extraction and Analysis of Gait
We develop a new model-based extraction process guided by biomechanical analysis for walking people, and analyse its data for recognition capability. Hierarchies of shape and moti...
David K. Wagg, Mark S. Nixon
ICRA
2010
IEEE
170views Robotics» more  ICRA 2010»
15 years 3 months ago
Dynamic 3D scene analysis for acquiring articulated scene models
— In this paper we present a new system for a mobile robot to generate an articulated scene model by analyzing complex dynamic 3D scenes. The system extracts essential knowledge ...
Agnes Swadzba, Niklas Beuter, Sven Wachsmuth, Fran...
ER
1997
Springer
145views Database» more  ER 1997»
15 years 8 months ago
Enterprise Knowledge Management and Conceptual Modelling
Turbulence is in the nature of business environments. Changes brought about because of different requirements such as social, political, technical and economic, exert pressures on ...
Pericles Loucopoulos, Vagelio Kavakli
FM
2009
Springer
169views Formal Methods» more  FM 2009»
15 years 8 months ago
Model Checking Linearizability via Refinement
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
Yang Liu 0003, Wei Chen, Yanhong A. Liu, Jun Sun 0...