531 search results - page 8 / 107 » Data structure repair using goal-directed reasoning |
SEBD
2003
13 years 8 months ago
2003
The Ambient Logic is a modal logic proposed to describe the structural and computational properties of distributed and mobile computations. The static part of the Ambient Logic is,...
LPNMR
2005
Springer
14 years 6 days ago
2005
Springer
We introduce a declarative approach for a coherent composition of autonomous databases. For this we use ID-logic, a formalism that extends classical logic with inductive definitio...
ISMB
1993
13 years 8 months ago
1993
Algorithmsbasedonprobability theorycanaddressissues of uncertainty directly throughtheir representational frameworkandtheir theoryfor data combination.In this paper, wediscuss the...
BMCBI
2008
13 years 6 months ago
2008
Background: With the abundant information produced by microarray technology, various approaches have been proposed to infer transcriptional regulatory networks. However, few appro...
ENTCS
2008
13 years 6 months ago
2008
The B+ tree is an ordered tree structure with a fringe list. It is the most widely used data structure for data organisation and searching in database systems specifically, and, p...