Sciweavers

984 search results - page 127 / 197
» Dynamic Shape and Appearance Models
Sort
View
118
Voted
ILC
2007
Springer
15 years 7 months ago
Towards Model-Checking Programs with Lists
Abstract. We aim at checking safety and temporal properties over models representing the behavior of programs manipulating dynamic singly-linked lists. The properties we consider n...
Alain Finkel, Étienne Lozes, Arnaud Sangnie...
GCC
2005
Springer
15 years 6 months ago
A Conceptual Modeling Approach to Virtual Organizations in the Grid
One of the key problems with virtual organizations in the context of the (Semantic) Grid is we don’t know how to describe the components used in virtual organizations because the...
William Song, Xiaoming Li
127
Voted
AMFG
2005
IEEE
203views Biometrics» more  AMFG 2005»
15 years 6 months ago
Facial Expression Analysis Using Nonlinear Decomposable Generative Models
We present a new framework to represent and analyze dynamic facial motions using a decomposable generative model. In this paper, we consider facial expressions which lie on a one d...
Chan-Su Lee, Ahmed M. Elgammal
111
Voted
HYBRID
2001
Springer
15 years 5 months ago
Hybrid Modeling and Simulation of Biomolecular Networks
Abstract. In a biological cell, cellular functions and the genetic regulatory apparatus are implemented and controlled by a network of chemical reactions in which regulatory protei...
Rajeev Alur, Calin Belta, Franjo Ivancic
CIARP
2003
Springer
15 years 6 months ago
Online Handwritten Signature Verification Using Hidden Markov Models
Most people are used to signing documents and because of this, it is a trusted and natural method for user identity verification, reducing the cost of password maintenance and decr...
Juan J. Igarza, Iñaki Goirizelaia, Koldo Es...