2608 search results - page 389 / 522 » Inferring Answers to Queries |
151
click to vote
CAISE
2003
Springer
15 years 9 months ago
2003
Springer
This short paper is aimed to discuss the challenges for location-based services and proposes our framework, which makes it possible to obtain information from heterogeneous sources...
154
click to vote
GCC
2003
Springer
15 years 9 months ago
2003
Springer
Locating content efficiently and conveniently is the key issue in P2P systems. In this paper we present SemanticPeer, an Ontology-Based P2P lookup service, to address this problem,...
141
click to vote
MKM
2009
Springer
15 years 9 months ago
2009
Springer
Hilbert’s concept of formal proof is an ideal of rigour for mathematics which has important applications in mathematical logic, but seems irrelevant for the practice of mathemati...
147
click to vote
SGAI
2009
Springer
15 years 9 months ago
2009
Springer
Temporality and uncertainty are important features of many real world systems. Solving problems in such systems requires the use of formal mechanism such as logic systems, statisti...
120
Voted
ECSQARU
2001
Springer
15 years 9 months ago
2001
Springer
The term “changes in structure,” originating from work in econometrics, refers to structural modifications invoked by actions on a causal model. In this paper we formalize the...