3690 search results - page 459 / 738 » Computation with classical sequents |
187
click to vote
ACCV
2007
Springer
16 years 28 days ago
2007
Springer
Feature representation and classification are two major issues in facial expression analysis. In the past, most methods used either holistic or local representation for analysis. ...
232
click to vote
AIHC
2007
Springer
16 years 28 days ago
2007
Springer
This work addresses the problem of human action recognition by introducing a representation of a human action as a collection of short trajectories that are extracted in areas of ...
224
click to vote
ATC
2007
Springer
16 years 28 days ago
2007
Springer
Service-oriented architectures (SOA) and, in particular, Web Services designs are currently widely used for the development of open, large-scale interoperable systems. In those sys...
173
click to vote
B
2007
Springer
16 years 28 days ago
2007
Springer
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...
149
Voted
CP
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Empirical hardness models are a recent approach for studying NP-hard problems. They predict the runtime of an instance using efficiently computable features. Previous res...