660 search results - page 85 / 132 » The Implicit Calculus of Constructions |
SIGGRAPH
1991
ACM
14 years 11 days ago
1991
ACM
Smoothly blended articulated models are often difficult to construct using current techniques. Our solution in this paper is to extend the surfaces introduced by Blinn [Blinn 1982...
AAAI
2007
13 years 11 months ago
2007
Various tasks in decision making and decision support require selecting a preferred subset of items from a given set of feasible items. Recent work in this area considered methods...
ASWC
2008
Springer
13 years 11 months ago
2008
Springer
More and more RDF data have been published online to be consumed. Ordinary Web users also expect to experience more intelligent services promised by the Semantic Web, such as objec...
BIS
2008
13 years 10 months ago
2008
Abstract. Communities on the Web capture, represent, and evolve their knowledge using ontologies, either explicitly or implicitly. The Gene Ontology project is a typical and advanc...
NIPS
2007
13 years 10 months ago
2007
Many formal models of cognition implicitly use subjective probability distributions to capture the assumptions of human learners. Most applications of these models determine these...