Sciweavers

2450 search results - page 234 / 490
» On Application of Structural Decomposition for Process Model...
Sort
View
PREMI
2005
Springer
16 years 4 days ago
3D Facial Pose Tracking in Uncalibrated Videos
Abstract. This paper presents a method to recover the 3D configuration of a face in each frame of a video. The 3D configuration consists of the three translational parameters and...
Gaurav Aggarwal, Ashok Veeraraghavan, Rama Chellap...
PPOPP
2010
ACM
16 years 1 months ago
Thread to strand binding of parallel network applications in massive multi-threaded systems
In processors with several levels of hardware resource sharing, like CMPs in which each core is an SMT, the scheduling process becomes more complex than in processors with a singl...
Petar Radojkovic, Vladimir Cakarevic, Javier Verd&...
APN
2008
Springer
15 years 8 months ago
MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
Kais Klai, Denis Poitrenaud
EDOC
2006
IEEE
15 years 10 months ago
A conceptual framework for service modelling
This paper presents a conceptual framework for service modelling and refinement, called the COSMO (COnceptual Service MOdelling) framework. This framework provides concepts to mode...
Dick A. C. Quartel, Maarten W. A. Steen, Stanislav...
AMDO
2006
Springer
15 years 10 months ago
Acquisition of Articulated Human Body Models Using Multiple Cameras
Abstract. Motion capture is an important application in different areas such as biomechanics, computer animation, and human-computer interaction. Current motion capture methods typ...
Aravind Sundaresan, Rama Chellappa