772 search results - page 85 / 155 » Ontology Based Information Integration Using Logic Programmi... |
165
click to vote
CADE
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
131
click to vote
QSIC
2005
IEEE
15 years 8 months ago
2005
IEEE
Database application programs typically contain program units that use SQL statements to manipulate records in database instances. Testing the correctness of data manipulation by ...
111
click to vote
CAISE
1999
Springer
15 years 7 months ago
1999
Springer
In this paper, we describe the process specification language ConGolog and show how it can be used to model business processes for requirements analysis. In ConGolog, the effects...
161
click to vote
PLDI
2009
ACM
15 years 9 months ago
2009
ACM
This paper presents λI , a language for dynamic tracking of information flow across multiple, interdependent dimensions of information. Typical dimensions of interest are integr...
142
click to vote
BMCBI
2008
15 years 3 months ago
2008
Background: Integrating data from multiple global assays and curated databases is essential to understand the spatiotemporal interactions within cells. Different experiments measu...