1059 search results - page 166 / 212 » Improving Semantic Query Answering |
CAV
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
CAISE
2003
Springer
14 years 3 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...
CORR
2007
Springer
13 years 10 months ago
2007
Springer
Wikipedia is a useful source of knowledge that has many applications in language processing and knowledge representation. The Wikipedia category graph can be compared with the clas...
IJOCI
2010
13 years 7 months ago
2010
We present a time-efficient approach to index objects moving on the plane to efficiently answer range queries about their future positions. Each object is moving with non small ve...
BMCBI
2006
13 years 10 months ago
2006
Background: This article addresses the problem of interoperation of heterogeneous bioinformatics databases. Results: We introduce BioWarehouse, an open source toolkit for construc...