3951 search results - page 183 / 791 » Automatic amortized analysis |
155
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
State of the art analyzers in the Logic Programming (LP) paradigm are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including terminat...
118
Voted
IEE
2008
15 years 5 months ago
2008
: Modularity is one of the most important principles in software engineering and a necessity for every practical software. Since the design space of software is generally quite lar...
178
click to vote
FGR
2011
IEEE
14 years 8 months ago
2011
IEEE
— Automatic Facial Expression Recognition and Analysis, in particular FACS Action Unit (AU) detection and discrete emotion detection, has been an active topic in computer science...
170
click to vote
ACCV
2007
Springer
15 years 11 months ago
2007
Springer
A novel kernel discriminant transformation (KDT) algorithm based on the concept of canonical differences is presented for automatic face recognition applications. For each individu...
149
click to vote
FGR
2006
IEEE
15 years 11 months ago
2006
IEEE
In this paper, a layered deformable model (LDM) is proposed for human body pose recovery in gait analysis. This model is inspired by the manually labeled silhouettes in [6] and it...