Sciweavers

14084 search results - page 360 / 2817
» A Theory for Game Theories
Sort
View
VLDB
2007
ACM
97views Database» more  VLDB 2007»
16 years 7 months ago
XML retrieval: db/ir in theory, web in practice
Mariano P. Consens, Ricardo A. Baeza-Yates, Mounia...
PODS
2003
ACM
151views Database» more  PODS 2003»
16 years 7 months ago
Feasible itemset distributions in data mining: theory and application
Computing frequent itemsets and maximally frequent itemsets in a database are classic problems in data mining. The resource requirements of all extant algorithms for both problems...
Ganesh Ramesh, William Maniatty, Mohammed Javeed Z...
ICFP
2003
ACM
16 years 6 months ago
An effective theory of type refinements
We develop an explicit two level system that allows programmers to reason about the behavior of effectful programs. The first level is an ordinary ML-style type system, which conf...
Yitzhak Mandelbaum, David Walker, Robert Harper
PERCOM
2004
ACM
16 years 6 months ago
Towards a Theory of Context Spaces
This paper proposes initial steps towards a conceptual framework for context-aware systems. It is an attempt towards a general context model to aid thinking and describing context...
Amir Padovitz, Seng Wai Loke, Arkady B. Zaslavsky
ESOP
2010
Springer
16 years 4 months ago
A theory of speculative computation
Gérard Boudol, Gustavo Petri