Sciweavers

3856 search results - page 170 / 772
» Models for Automated Earthmoving
Sort
View
147
Voted
ICPR
2008
IEEE
16 years 7 months ago
Hand modeling and tracking from voxel data: An integrated framework with automatic initialization
We propose an integrated framework for automated hand model initialization and tracking using voxel data. Starting with an initial specific hand pose, the Laplacian Eigenspace (LE...
Cuong Tran, Mohan M. Trivedi
ISCAS
2007
IEEE
129views Hardware» more  ISCAS 2007»
16 years 15 days ago
Modeling of self-adaptive systems with SCADE
— An important property of embedded systems is dependability. Today this addresses mostly safety and reliability. Guaranteeing these properties is normally done by adding redunda...
Matthias Güdemann, Andreas Angerer, Frank Ort...
IEAAIE
2004
Springer
15 years 11 months ago
Natural Language Requirements Analysis and Class Model Generation Using UCDA
This paper presents a methodology to automate natural language requirements analysis and class model generation based on the Rational Unified Process (RUP). Use-case language schem...
Dong Liu, Kalaivani Subramaniam, Armin Eberlein, B...
LICS
2000
IEEE
15 years 10 months ago
Models for Name-Passing Processes: Interleaving and Causal
We study syntax-free models for name-passing processes. For interleaving semantics, we identify the indexing structure required of an early labelled transition system to support t...
Gian Luca Cattani, Peter Sewell
DAC
2005
ACM
15 years 8 months ago
Performance space modeling for hierarchical synthesis of analog integrated circuits
Automated analog sizing is becoming an unavoidable solution for increasing analog design productivity. The complexity of typical analog SoC subsystems however calls for efficient ...
Georges G. E. Gielen, Trent McConaghy, Tom Eeckela...