Sciweavers

2087 search results - page 174 / 418
» Computation of class numbers of quadratic number fields
Sort
View
ECCC
2010
98views more  ECCC 2010»
15 years 5 months ago
Verifying Computations with Streaming Interactive Proofs
Applications based on outsourcing computation require guarantees to the data owner that the desired computation has been performed correctly by the service provider. Methods based...
Graham Cormode, Justin Thaler, Ke Yi
ICPR
2008
IEEE
16 years 7 months ago
Real-time camera position and posture estimation using a feature landmark database with priorities
In the field of computer vision, many kinds of camera parameter estimation methods have been proposed. As one of these methods, an extrinsic camera parameter estimation method tha...
Takafumi Taketomi, Tomokazu Sato, Naokazu Yokoya
CIE
2007
Springer
16 years 19 days ago
Computational Complexity of Constraint Satisfaction
Abstract. The input to a constraint satisfaction problem (CSP) consists of a set of variables, each with a domain, and constraints between these variables formulated by relations o...
Heribert Vollmer
SIGECOM
2006
ACM
143views ECommerce» more  SIGECOM 2006»
16 years 12 days ago
The computational complexity of nash equilibria in concisely represented games
Games may be represented in many different ways, and different representations of games affect the complexity of problems associated with games, such as finding a Nash equilib...
Grant Schoenebeck, Salil P. Vadhan
EUROCRYPT
2008
Springer
15 years 8 months ago
New Constructions for UC Secure Computation Using Tamper-Proof Hardware
The Universal Composability framework was introduced by Canetti to study the security of protocols which are concurrently executed with other protocols in a network environment. U...
Nishanth Chandran, Vipul Goyal, Amit Sahai