Sciweavers

640 search results - page 19 / 128
» Reasoning About Web-Site Structure
Sort
View
AI
1999
Springer
14 years 11 months ago
Topological Inference of Teleology: Deriving Function from Structure via Evidential Reasoning
Reasoning about the physical world is a central human cognitive activity. One aspect of such reasoning is the inference of function from the structure of the artifacts one encount...
John O. Everett
WWW
2008
ACM
16 years 10 days ago
Structured objects in owl: representation and reasoning
Applications of semantic technologies often require the representation of and reasoning with structured objects--that is, objects composed of parts connected in complex ways. Alth...
Boris Motik, Bernardo Cuenca Grau, Ulrike Sattler
100
Voted
AIM
2004
14 years 11 months ago
Qualitative Spatial Reasoning Extracting and Reasoning with Spatial Aggregates
Reasoning about spatial data is a key task in many applications, including geographic information systems, meteorological and fluid flow analysis, computer-aided design, and prote...
Christopher Bailey-Kellogg, Feng Zhao
ATVA
2010
Springer
128views Hardware» more  ATVA 2010»
15 years 23 days ago
What's Decidable about Sequences?
Abstract. We present a first-order theory of (finite) sequences with integer elements, Presburger arithmetic, and regularity constraints, which can model significant properties of ...
Carlo A. Furia
WWW
2007
ACM
16 years 10 days ago
Web object retrieval
The primary function of current Web search engines is essentially relevance ranking at the document level. However, myriad structured information about real-world objects is embed...
Zaiqing Nie, Yunxiao Ma, Shuming Shi, Ji-Rong Wen,...