Sciweavers

394 search results - page 25 / 79
» An extensive math query language
Sort
View
SIGMOD
1993
ACM
140views Database» more  SIGMOD 1993»
15 years 6 months ago
Second-Order Signature: A Tool for Specifying Data Models, Query Processing, and Optimization
Abstract: We propose a framework for the specification of extensible database systems. A particular goal is to implement a software component for parsing and rule-based optimizatio...
Ralf Hartmut Güting
132
Voted
ADC
2008
Springer
146views Database» more  ADC 2008»
15 years 8 months ago
A Typed Higher-Order Calculus for Querying XML Databases
As the eXtensible Markup Language (XML) is about to emerge as a new standard for databases, the problem of providing solid logical grounds for XML query languages arises. For the ...
Qing Wang, Klaus-Dieter Schewe
128
Voted
SEMWEB
2009
Springer
15 years 8 months ago
Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling
An important issue for the Semantic Web is how to combine open-world ontology languages with closed-world (non-monotonic) rule paradigms. Several proposals for hybrid languages all...
José Júlio Alferes, Matthias Knorr, ...
142
Voted
ICDAR
2009
IEEE
14 years 11 months ago
Real-Time Retrieval for Images of Documents in Various Languages Using a Web Camera
We propose a real-time retrieval method for document images in various languages. In this method, queries are images of documents captured by a web-camera. The document images cor...
Tomohiro Nakai, Koichi Kise, Masakazu Iwamura
100
Voted
CORR
2010
Springer
136views Education» more  CORR 2010»
15 years 2 months ago
On the Implementation of the Probabilistic Logic Programming Language ProbLog
The past few years have seen a surge of interest in the field of probabilistic logic learning and statistical relational learning. In this endeavor, many probabilistic logics have...
Angelika Kimmig, Bart Demoen, Luc De Raedt, V&iacu...