813 search results - page 151 / 163 » Languages for Relational Databases over Interpreted Structur... |
AIM
2005
13 years 8 months ago
2005
Intelligent access to information requires semantic integration of structured databases with unstructured textual resources. While the semantic integration problem has been widely...
ISPW
1996
IEEE
14 years 17 days ago
1996
IEEE
A 1968 study of the software process led, inter alia, to the observation that the software process constitutes a feedback system. Attempts at its management and improvement must t...
ENTCS
2000
13 years 8 months ago
2000
Substitution plays an important role in Hoare Logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare Logic, it is therefore important...
ENTCS
2002
13 years 8 months ago
2002
In the quest for an elegant formulation of the notion of "polycategory" we develop a more symmetric counterpart to Burroni's notion of "T-category", where ...
KDD
2007
ACM
14 years 8 months ago
2007
ACM
The need for mining causality, beyond mere statistical correlations, for real world problems has been recognized widely. Many of these applications naturally involve temporal data...