Sciweavers

796 search results - page 45 / 160
» A Formalization of ODMG Queries
Sort
View
CAV
2005
Springer
110views Hardware» more  CAV 2005»
15 years 5 months ago
Extended Weighted Pushdown Systems
Recent work on weighted-pushdown systems shows how to generalize interprocedural-dataflow analysis to answer “stack-qualified queries”, which answer the question “what data...
Akash Lal, Thomas W. Reps, Gogul Balakrishnan
ECSQARU
1997
Springer
15 years 4 months ago
Assumption-Based Modeling Using ABEL
Abstract. Today, different formalisms exist to solve reasoning problems under uncertainty. For most of the known formalisms, corresponding computer implementations are available. ...
Bernhard Anrig, Rolf Haenni, Jürg Kohlas, Nor...
COLING
1990
15 years 1 months ago
The General Architecture of Generation in ACORD
This paper describes the general architecture of generation in the ACORDproject. The central module of this architecture is a planning component, which allows to plan single sente...
Dieter Kohl, Agnès Plainfossé, Clair...
TKDE
2012
253views Formal Methods» more  TKDE 2012»
13 years 2 months ago
Horizontal Aggregations in SQL to Prepare Data Sets for Data Mining Analysis
—Preparing a data set for analysis is generally the most time consuming task in a data mining project, requiring many complex SQL queries, joining tables and aggregating columns....
Carlos Ordonez, Zhibo Chen 0002
ICDE
2007
IEEE
178views Database» more  ICDE 2007»
16 years 1 months ago
Top-k Spatial Preference Queries
A spatial preference query ranks objects based on the qualities of features in their spatial neighborhood. For example, consider a real estate agency office that holds a database ...
Man Lung Yiu, Xiangyuan Dai, Nikos Mamoulis, Micha...