Sciweavers

394 search results - page 25 / 79
» An extensive math query language
Sort
View
SIGMOD
1993
ACM
140views Database» more  SIGMOD 1993»
15 years 8 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
ADC
2008
Springer
146views Database» more  ADC 2008»
15 years 10 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
SEMWEB
2009
Springer
15 years 10 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, ...
ICDAR
2009
IEEE
15 years 1 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
CORR
2010
Springer
136views Education» more  CORR 2010»
15 years 4 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...