640 search results - page 24 / 128 » Reasoning About Web-Site Structure |
ECSQARU
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We introduce a modular framework for formalizing reasoning with incomplete and inconsistent information. This framework is composed of non-deterministic semantic structur...
GIS
1992
ACM
14 years 2 months ago
1992
ACM
A new approach to representing qualitative spatial knowledge and to spatial reasoning is presented. This approach is motivated by cognitive considerations and is based on relative ...
VMCAI
2010
Springer
14 years 7 months ago
2010
Springer
While temporal verification of programs is a topic with a long history, its traditional basis--semantics based on word languages--is illsuited for modular reasoning about procedura...
CHI
2009
ACM
14 years 10 months ago
2009
ACM
Nuno Tom?s Daniel Gon?alves With the growing volume of digital information users must deal with, management and retrieval tasks have become increasingly problematic. A popular way ...
CINQ
2004
Springer
14 years 3 months ago
2004
Springer
In this paper we present the application of the inductive database approach to two practical analytical case studies: Web usage mining in Web logs and financial data. As far as co...