Sciweavers

2911 search results - page 124 / 583
» A Theory of Expressiveness in Mechanisms
Sort
View
STOC
1993
ACM
134views Algorithms» more  STOC 1993»
15 years 10 months ago
Quantum complexity theory
In this paper we study quantum computation from a complexity theoretic viewpoint. Our first result is the existence of an efficient universal quantum Turing machine in Deutsch’s...
Ethan Bernstein, Umesh V. Vazirani
OOPSLA
2009
Springer
16 years 27 days ago
Self type constructors
Bruce and Foster proposed the language LOOJ, an extension of Java with the notion of MyType, which represents the type of a self reference and changes its meaning along with inher...
Chieri Saito, Atsushi Igarashi
BICOB
2010
Springer
15 years 11 months ago
Algebraic Theory of DNA Recombination
In this paper we investigate the structure and representation of n-ary algebras arising from DNA recombination, where n is a number of DNA segments participating in recombination. ...
Sergei R. Sverchkov
EOR
2008
112views more  EOR 2008»
15 years 6 months ago
DEA based auctions
We discuss the design of multi-dimensional tender and auction mechanisms that combine Data Envelopment Analysis (DEA) and auction theory. The mechanisms select an agent to perform...
Peter Bogetoft, Kurt Nielsen
DBPL
2005
Springer
135views Database» more  DBPL 2005»
15 years 12 months ago
Type-Based Optimization for Regular Patterns
Pattern matching mechanisms based on regular expressions feature in a number of recent languages for processing XML. The flexibility of these mechanisms demands novel approaches ...
Michael Y. Levin, Benjamin C. Pierce