Sciweavers

14084 search results - page 377 / 2817
» A Theory for Game Theories
Sort
View
DBPL
2007
Springer
102views Database» more  DBPL 2007»
16 years 1 months ago
A Theory of Stream Queries
Data streams are modeled as infinite or finite sequences of data elements coming from an arbitrary but fixed universe. The universe can have various built-in functions and predi...
Yuri Gurevich, Dirk Leinders, Jan Van den Bussche
DBPL
2007
Springer
115views Database» more  DBPL 2007»
16 years 1 months ago
XML Publishing: Bridging Theory and Practice
Transforming relational data into XML, as known as XML publishing, is often necessary when one wants to exchange data residing in databases or to create an XML interface of a tradi...
Wenfei Fan
ECSQARU
2007
Springer
16 years 1 months ago
Shared Ordered Binary Decision Diagrams for Dempster-Shafer Theory
The binary representation is widely used for representing focal sets of Dempster-Shafer belief functions because it allows to compute efficiently all relevant operations. However, ...
Norbert Lehmann
ESOP
2007
Springer
16 years 1 months ago
Abstract Predicates and Mutable ADTs in Hoare Type Theory
Aleksandar Nanevski, Amal Ahmed, Greg Morrisett, L...
GECCO
2007
Springer
134views Optimization» more  GECCO 2007»
16 years 1 months ago
Genetic programming theory
Riccardo Poli, William B. Langdon