Sciweavers

713 search results - page 19 / 143
» Reasoning with Projected Contours
Sort
View
DLOG
2000
13 years 10 months ago
High Performance Reasoning with Very Large Knowledge Bases
In this contribution we present an empirical analysis of the performance of the ALCNHR+ description logic system RACE applied to TBoxes with a very large number of primitive conce...
Volker Haarslev, Ralf Möller
COLING
2002
13 years 8 months ago
Reasoning in Metaphor Understanding: The ATT-Meta Approach and System
A detailed approach has been developed for core aspects of the task of understanding a broad class of metaphorical utterances. The utterances in question are those that depend on ...
John A. Barnden, Sheila Glasbey, Mark G. Lee, Alan...
CHI
2005
ACM
14 years 9 months ago
Virtual rear projection: do shadows matter?
Rear projection of large-scale upright displays is often preferred over front projection because of the lack of shadows that occlude the projected image. However, rear projection ...
Jay Summet, Gregory D. Abowd, Gregory M. Corso, Ja...
ICLP
2009
Springer
14 years 3 months ago
An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems
Abstract. The FORCES project aims at providing robust and declarative formalisms for analyzing systems in the emerging areas of Security Protocols, Biological Systems and Multimedi...
Jesús Aranda, Gérard Assayag, Carlos...
ECCV
2004
Springer
14 years 10 months ago
Unlevel-Sets: Geometry and Prior-Based Segmentation
We present a novel variational approach to top-down image segmentation, which accounts for significant projective transformations between a single prior image and the image to be s...
Tammy Riklin-Raviv, Nahum Kiryati, Nir A. Sochen