2145 search results - page 333 / 429 » Pattern-Based Query Answering |
IWPC
2003
IEEE
14 years 1 months ago
2003
IEEE
When computing program slices on all variables in a system, we observed that many of these slices are the same. This leads to the question: Are we looking at software clones? We d...
CAISE
2003
Springer
14 years 1 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...
GCC
2003
Springer
14 years 1 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,...
MKM
2009
Springer
14 years 17 days 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...
SGAI
2009
Springer
14 years 16 days 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...