3468 search results - page 503 / 694 » An open logical framework |
CVPR
2005
IEEE
15 years 5 days 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...
ICDE
2006
IEEE
14 years 11 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 ...
ICPR
2004
IEEE
14 years 11 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...
WWW
2005
ACM
14 years 10 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...
CADE
2009
Springer
14 years 10 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)...