Sciweavers

5170 search results - page 763 / 1034
» A Document-Oriented Approach to the Development of Knowledge...
Sort
View
IJVR
2007
204views more  IJVR 2007»
15 years 7 months ago
Modeling and Animating Virtual Humans
—We report on the workflow for the creation of realistic virtual anthropomorphic characters. 3D-models of human heads have been reconstructed from real people by following a stru...
Frank Hülsken, Christian Eckes, Roland Kuck, ...
AI
2000
Springer
15 years 7 months ago
Proving theorems by reuse
We investigate the improvement of theorem proving by reusing previously computed proofs. We have developed and implemented the PLAGIATOR system which proves theorems by mathematic...
Christoph Walther, Thomas Kolbe
SIGMOD
2011
ACM
189views Database» more  SIGMOD 2011»
14 years 10 months ago
We challenge you to certify your updates
Correctness of data residing in a database is vital. While integrity constraint enforcement can often ensure data consistency, it is inadequate to protect against updates that inv...
Su Chen, Xin Luna Dong, Laks V. S. Lakshmanan, Div...
WWW
2009
ACM
16 years 8 months ago
Personalized recommendation on dynamic content using predictive bilinear models
In Web-based services of dynamic content (such as news articles), recommender systems face the difficulty of timely identifying new items of high-quality and providing recommendat...
Wei Chu, Seung-Taek Park
SEMWEB
2009
Springer
16 years 1 months ago
MapPSO Results for OAEI 2009
Abstract. This paper presents and discusses the results of the latest developments of the MapPSO system, which is an ontology alignment approach that is based on discrete particle ...
Jürgen Bock, Peng Liu 0002, Jan Hettenhausen