4403 search results - page 131 / 881 » Galois Theory of Algorithms |
155
click to vote
ENTCS
2007
15 years 6 months ago
2007
We develop a sound and complete equational theory for the functional quantum programming language QML. The soundness and completeness of the theory are with respect to the previou...
196
click to vote
SAGT
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Bounding the price of stability of undirected network design games with fair cost allocation is a challenging open problem in the Algorithmic Game Theory research agenda....
166
click to vote
ICALP
2004
Springer
15 years 11 months ago
2004
Springer
We initiate the study of mechanisms with verification for one-parameter agents. We give an algorithmic characterization of such mechanisms and show that they are provably better ...
117
click to vote
ICIP
2002
IEEE
16 years 8 months ago
2002
IEEE
The state of the art for solving the phase retrieval problem in two dimensions relies heavily on the algorithms proposed by Gerchberg, Saxton, and Fienup. Despite the widespread u...
191
click to vote
FCS
2006
15 years 7 months ago
2006
: In this paper, functioning and interaction of distributed devices and concurrent algorithms are analyzed in the context of the theory of algorithms. Although different systems in...