Sciweavers

835 search results - page 51 / 167
» Structural Recursion as a Query Language
Sort
View
CORR
2012
Springer
222views Education» more  CORR 2012»
12 years 4 months ago
A limit process for partial match queries in random quadtrees
We consider the problem of recovering items matching a partially specified pattern in multidimensional trees (quad trees and k-d trees). We assume the classical model where the d...
Nicolas Broutin, Ralph Neininger, Henning Sulzbach
DASFAA
1999
IEEE
118views Database» more  DASFAA 1999»
14 years 1 months ago
Design and Implementation of a CORBA Query Service Accessing EXPRESS-based Data
In this paper we describe the design and implementation of a CORBA Query Service targeted to access data that is defined by the EXPRESS data modeling language. EXPRESS is used pri...
Jürgen Sellentin, Bernhard Mitschang
JUCS
2008
116views more  JUCS 2008»
13 years 8 months ago
A Workflow Language for Web Automation
: Most today's web sources do not provide suitable interfaces for software programs to interact with them. Many researchers have proposed highly effective techniques to addres...
Paula Montoto, Alberto Pan, Juan Raposo, Jos&eacut...
JSYML
2010
107views more  JSYML 2010»
13 years 7 months ago
A proof of completeness for continuous first-order logic
Continuous first-order logic has found interest among model theorists who wish to extend the classical analysis of “algebraic” structures (such as fields, group, and graphs) ...
Arthur Paul Pedersen, Itay Ben-Yaacov
CAINE
2007
13 years 10 months ago
Wildcards in Math Search, Implementation Issues
Math search is a new area of research with many enabling technologies but also many challenges. Some of the enabling technologies include XML, XPath, XQuery, and MathML. Some of t...
Moody Ebrahem Altamimi, Abdou S. Youssef