Sciweavers

3164 search results - page 205 / 633
» On Granular Knowledge Structures
Sort
View
DICTA
2003
15 years 5 months ago
Towards Closed Form Solutions to the MultiView Constraints of Curves and Surfaces
In this paper we present the theoretical setting for the closed form solutions to the multiview constraints of curves and surfaces observed by the motion of a camera in a scene. We...
David N. R. McKinnon, Brian C. Lovell
IJDAR
2002
87views more  IJDAR 2002»
15 years 4 months ago
A hierarchical representation of form documents for identification and retrieval
Abstract. In this paper, we present a logical representation for form documents to be used for identification and retrieval. A hierarchical structure is proposed to represent the s...
Pinar Duygulu, Volkan Atalay
CORR
2008
Springer
116views Education» more  CORR 2008»
15 years 4 months ago
An Evidential Path Logic for Multi-Relational Networks
Multi-relational networks are used extensively to structure knowledge. Perhaps the most popular instance, due to the widespread adoption of the Semantic Web, is the Resource Descr...
Marko A. Rodriguez, Joe Geldart
ISDA
2009
IEEE
15 years 11 months ago
Extending Datatype Restrictions in Fuzzy Description Logics
Fuzzy Description Logics (DLs) are a family of logics which allow the representation of (and the reasoning within) structured knowledge affected by vagueness. Although a relativel...
Fernando Bobillo, Umberto Straccia
MTV
2006
IEEE
138views Hardware» more  MTV 2006»
15 years 10 months ago
Advanced SAT-Techniques for Bounded Model Checking of Blackbox Designs
In this paper we will present an optimized structural 01X-SAT-solver for bounded model checking of blackbox designs that exploits semantical knowledge regarding the node selection...
Marc Herbstritt, Bernd Becker, Christoph Scholl