4403 search results - page 341 / 881 » Galois Theory of Algorithms |
284
click to vote
ITICSE
2005
ACM
16 years 10 days ago
2005
ACM
This paper describes the first version of P (read “P flat”), a collection of Prolog predicates that aims to provide a pedagogical implementation of concepts and algorithms t...
152
click to vote
WWW
2005
ACM
16 years 10 days ago
2005
ACM
: We believe that much novel insight into the worldwide web can be obtained from taking into account the important fact that it is created, used, and run by selfish optimizing agen...
192
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
— In this paper, we present a method for co-evolving structures and controller of biped walking robots. Currently, biped walking humanoid robots are designed manually on trial-an...
176
Voted
ICDT
2010
ACM
15 years 11 months ago
2010
ACM
We examine schema mappings from a type-theoretic perspective and aim to facilitate and formalize the reuse of mappings. Starting with the mapping language of Clio, we present a ty...
162
click to vote
STOC
2000
ACM
15 years 11 months ago
2000
ACM
We consider the design of self-testers for quantum gates. A self-tester for the gates F 1, . . . , F m is a procedure that, given any gates G1, . . . , Gm, decides with high probab...