Sciweavers

12289 search results - page 187 / 2458
» computing 2006
Sort
View
118
Voted
ANTS
2006
Springer
118views Algorithms» more  ANTS 2006»
15 years 7 months ago
Computation of Locally Free Class Groups
We show that the locally free class group of an order in a semisimple algebra over a number field is isomorphic to a certain ray class group. This description is then used to prese...
Werner Bley, Robert Boltje
ECCC
2006
96views more  ECCC 2006»
15 years 3 months ago
An Unconditional Study of Computational Zero Knowledge
We prove a number of general theorems about ZK, the class of problems possessing (computational) zero knowledge proofs. Our results are unconditional, in contrast to most previous...
Salil P. Vadhan
MMS
2006
15 years 3 months ago
Mobile Computing im Bau- und Infrastrukturwesen
: In diesem Beitrag werden fachspezifische Aspekte des Mobile Computings im Bau- und Infrastrukturwesen, wie z.B. spezielle Hardwareanforderungen, ingenieurgerechte Arbeits- und Da...
Thomas Klauer
109
Voted
ANTS
2006
Springer
79views Algorithms» more  ANTS 2006»
15 years 7 months ago
Computing a Lower Bound for the Canonical Height on Elliptic Curves over Q
Let E be an elliptic curve over the rationals. A crucial step in determining a Mordell-Weil basis for E is to exhibit some positive lower bound > 0 for the canonical height ^h ...
John Cremona, Samir Siksek
111
Voted
ECAI
2006
Springer
15 years 7 months ago
A Logic-Based Framework to Compute Pareto Agreements in One-Shot Bilateral Negotiation
Abstract. We propose a logic-based approach to automated oneshot multi-issue bilateral negotiation. We use logic in two ways: (1) a logic theory to represent relations among issues...
Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciasc...