Sciweavers

828 search results - page 108 / 166
» Bounded Hairpin Completion
Sort
View
POPL
2002
ACM
14 years 10 months ago
Adaptive functional programming
An adaptive computation maintains the relationship between its input and output as the input changes. Although various techniques for adaptive computing have been proposed, they r...
Umut A. Acar, Guy E. Blelloch, Robert Harper
STOC
2007
ACM
101views Algorithms» more  STOC 2007»
14 years 10 months ago
Toward a general theory of quantum games
We study properties of quantum strategies, which are complete specifications of a given party's actions in any multiple-round interaction involving the exchange of quantum in...
Gus Gutoski, John Watrous
VLDB
2007
ACM
112views Database» more  VLDB 2007»
14 years 10 months ago
Stop-and-Restart Style Execution for Long Running Decision Support Queries
Long running decision support queries can be resource intensive and often lead to resource contention in data warehousing systems. Today, the only real option available to the DBA...
Surajit Chaudhuri, Raghav Kaushik, Ravishankar Ram...
SIGMOD
2007
ACM
232views Database» more  SIGMOD 2007»
14 years 10 months ago
BLINKS: ranked keyword searches on graphs
Query processing over graph-structured data is enjoying a growing number of applications. Keyword search on a graph finds a set of answers, each of which is a substructure of the ...
Haixun Wang, Hao He, Jun Yang 0001, Philip S. Yu
SIGMOD
2007
ACM
169views Database» more  SIGMOD 2007»
14 years 10 months ago
Scalable approximate query processing with the DBO engine
This paper describes query processing in the DBO database system. Like other database systems designed for ad-hoc, analytic processing, DBO is able to compute the exact answer to ...
Christopher M. Jermaine, Subramanian Arumugam, Abh...