1547 search results - page 103 / 310 » The Isabelle Collections Framework |
CVPR
2009
IEEE
15 years 4 months ago
2009
IEEE
We present a face recognition method based on sparse representation for recognizing 3D face meshes under expressions using low-level geometric features. First, to enable the applic...
ICLP
2010
Springer
14 years 2 months ago
2010
Springer
ProbLog is a probabilistic framework that extends Prolog with probabilistic facts. To compute the probability of a query, the complete SLD proof tree of the query is collected as a...
ICIAP
2009
ACM
14 years 10 months ago
2009
ACM
In a typical video surveillance framework, a single camera or a set of cameras monitor a scene in which human activities are carried out. In this paper, we propose a complementary ...
FASE
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. The availability of a model...
HPDC
2000
IEEE
14 years 1 months ago
2000
IEEE
Increased platform heterogeneity and varying resource availability in distributed systems motivates the design of resource-aware applications, which ensure a desired performance l...