Sciweavers

2638 search results - page 268 / 528
» A Framework for Automatic Debugging
Sort
View
IWCM
2004
Springer
16 years 16 days ago
Tracking Complex Objects Using Graphical Object Models
We present a probabilistic framework for component-based automatic detection and tracking of objects in video. We represent objects as spatio-temporal two-layer graphical models, w...
Leonid Sigal, Ying Zhu, Dorin Comaniciu, Michael J...
MDAFA
2004
Springer
114views Hardware» more  MDAFA 2004»
16 years 15 days ago
Modeling in the Large and Modeling in the Small
Abstract. As part of the AMMA project (ATLAS Model Management Architecture), we are currently building several model management tools to support the tasks of modeling in the large ...
Jean Bézivin, Frédéric Jouaul...
EUROPAR
2008
Springer
15 years 9 months ago
Efficiently Building the Gated Single Assignment Form in Codes with Pointers in Modern Optimizing Compilers
Abstract. Understanding program behavior is at the foundation of program optimization. Techniques for automatic recognition of program constructs characterize the behavior of code ...
Manuel Arenaz, Pedro Amoedo, Juan Touriño
IJCV
2006
124views more  IJCV 2006»
15 years 7 months ago
Representation Analysis and Synthesis of Lip Images Using Dimensionality Reduction
Understanding facial expressions in image sequences is an easy task for humans. Some of us are capable of lipreading by interpreting the motion of the mouth. Automatic lipreading b...
Michal Aharon, Ron Kimmel
ENTCS
2007
88views more  ENTCS 2007»
15 years 7 months ago
Keeping Secrets in Resource Aware Components
We present a powerful and flexible method for automatically checking the secrecy of values inside components. In our framework an attacker may monitor the external communication ...
Tom Chothia, Jun Pang, Muhammad Torabi Dashti