Sciweavers

1418 search results - page 82 / 284
» Schema polynomials and applications
Sort
View
COMBINATORICA
2011
14 years 6 months ago
A q-analogue of the FKG inequality and some applications
Let L be a finite distributive lattice and µ : L → R+ a logsupermodular function. For functions k : L → R+ let Eµ(k; q) def = x∈L k(x)µ(x)qrank(x) ∈ R+ [q]. We prove fo...
Anders Björner
LOPSTR
1997
Springer
15 years 10 months ago
Development of Correct Transformation Schemata for Prolog Programs
Schema-based program transformation [8] has been proposed as an effective technique for the optimisation of logic programs. Schemata are applied to a logic program, mapping ineffi...
Julian Richardson, Norbert E. Fuchs
EUROCAST
2007
Springer
122views Hardware» more  EUROCAST 2007»
15 years 10 months ago
Generation of Indexes for Compiling Efficient Parsers from Formal Specifications
abstract Parsing schemata [4] provide a formal, simple and uniform way to describe, analyze and compare different parsing algorithms. The notion of a parsing schema comes from cons...
Carlos Gómez-Rodríguez, Miguel A. Al...
ICDT
2010
ACM
163views Database» more  ICDT 2010»
15 years 5 months ago
Composing Local-As-View Mappings
Schema mapping composition is a fundamental operation in schema management and data exchange. The mapping composition problem has been extensively studied for a number of mapping ...
Patricia Arocena, Ariel Fuxman, Renee Miller
SIGMOD
2007
ACM
141views Database» more  SIGMOD 2007»
16 years 6 months ago
Assisted querying using instant-response interfaces
We demonstrate a novel query interface that enables users to construct a rich search query without any prior knowledge of the underlying schema or data. The interface, which is in...
Arnab Nandi, H. V. Jagadish