396 search results - page 73 / 80 » Comparative Semantics for a Real-Time Programming Language w... |
CHI
2006
ACM
14 years 8 months ago
2006
ACM
Many users are familiar with the interesting but limited functionality of Data Detector interfaces like Microsoft's Smart Tags and Google's AutoLink. In this paper we si...
CIKM
1999
Springer
13 years 11 months ago
1999
Springer
We present the architecture and a performance assessment of an extensible query optimizer written in Venus. Venus is a general-purpose active-database rule language embedded in C+...
BMCBI
2007
13 years 7 months ago
2007
Background: Biomedical ontologies are critical for integration of data from diverse sources and for use by knowledge-based biomedical applications, especially natural language pro...
CAISE
2007
Springer
14 years 1 months ago
2007
Springer
Data cleaning is the process of correcting anomalies in a data source, that may for instance be due to typographical errors, or duplicate representations of an entity. It is a cruc...
CAV
1997
Springer
13 years 11 months ago
1997
Springer
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...