3468 search results - page 503 / 694 » An open logical framework |
131
click to vote
CVPR
2005
IEEE
16 years 6 months ago
2005
IEEE
We address the issue of modelling facial expressions for realistic 3D avatar animation. We introduce a hierarchical decomposition of a human face into different components and mod...
222
click to vote
ICDE
2006
IEEE
16 years 5 months ago
2006
IEEE
Database views are extensively used to represent unmaterialized tables. Applications rarely distinguish between a materialized base table and a virtual view, thus, they may issue ...
113
click to vote
ICPR
2004
IEEE
16 years 5 months ago
2004
IEEE
This paper presents a novel extension of Hidden Markov Models (HMMs): type-2 fuzzy HMMs (type-2 FHMMs). The advantage of this extension is that it can handle both randomness and f...
146
click to vote
WWW
2005
ACM
16 years 4 months ago
2005
ACM
We exploit the recently proposed Concept Abduction inference service in Description Logics to solve Concept Covering problems. We propose a framework and polynomial greedy algorit...
150
click to vote
CADE
2009
Springer
16 years 4 months ago
2009
Springer
We present a new calculus for first-order theorem proving with equality, ME+Sup, which generalizes both the Superposition calculus and the Model Evolution calculus (with equality)...