3717 search results - page 164 / 744 » Representing Multiple Theories |
152
Voted
ANTS
1998
Springer
15 years 8 months ago
1998
Springer
In 1986, following the work of Schoof on counting points on elliptic curves over finite fields, new algorithms for primality proving emerged, due to Goldwasser and Kilian on the on...
138
Voted
WOODPECKER
2001
15 years 5 months ago
2001
Abstract. This paper presents an approach for formalizing the RM-ODP (Reference Model for Open Distributed Processing), an ISO and ITU standard. The goal of this formalization is t...
125
Voted
EOR
2008
15 years 3 months ago
2008
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...
111
click to vote
JCO
2008
15 years 3 months ago
2008
Abstract Group testing, sometimes called pooling design, has been applied to a variety of problems such as blood testing, multiple access communication, coding theory, among others...
118
Voted
ENTCS
2007
15 years 3 months ago
2007
We pursue the program of exposing the intrinsic mathematical structure of the “space of proofs” of a logical system [AJ94b]. We study the case of Multiplicative-Additive Linea...