Sciweavers

412 search results - page 72 / 83
» Semantic Representation of Negation Using Focus Detection
Sort
View
FTWEB
2006
141views more  FTWEB 2006»
14 years 9 months ago
A Framework for Web Science
This text sets out a series of approaches to the analysis and synthesis of the World Wide Web, and other web-like information structures. A comprehensive set of research questions...
Tim Berners-Lee, Wendy Hall, James A. Hendler, Kie...
MST
2007
168views more  MST 2007»
14 years 9 months ago
Productivity of Edalat-Potts Exact Arithmetic in Constructive Type Theory
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Edalat–Potts in type theory. We choose the constructive type theory extended with coind...
Milad Niqui
SSD
1997
Springer
131views Database» more  SSD 1997»
15 years 1 months ago
Topological Error Correcting in GIS
It is agreed upon that topological relations ore of great importance regarding to GIS data sets consistency. A lot of errors that can be found in GIS data sets are coming from a l...
Thierry Ubeda, Max J. Egenhofer
ER
2010
Springer
154views Database» more  ER 2010»
14 years 8 months ago
Modelling Functional Requirements in Spatial Design
Abstract. We demonstrate the manner in which high-level design requirements, e.g., as they correspond to the commonsensical conceptualisation of expert designers, may be formally s...
Mehul Bhatt, Joana Hois, Oliver Kutz, Frank Dylla
CVPR
2010
IEEE
15 years 6 months ago
Automatic Discovery of Meaningful Object Parts with Latent CRFs
Object recognition is challenging due to high intra-class variability caused, e.g., by articulation, viewpoint changes, and partial occlusion. Successful methods need to strike a...
Paul Schnitzspan, Stefan Roth, Bernt Schiele