7891 search results - page 1103 / 1579 » A Distributed Scheduling Framework |
181
click to vote
CADE
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
197
click to vote
IMA
1997
Springer
15 years 11 months ago
1997
Springer
This paper proposes new protocols for two goals: authenticated key agreement and authenticated key agreement with key con rmation in the asymmetric public-key setting. A formalm...
176
click to vote
CISSE
2009
Springer
15 years 11 months ago
2009
Springer
: We show that estimating the complexity (mean and distribution) of the instances of a fixed size Constraint Satisfaction Problem (CSP) can be very hard. We deal with the main two ...
195
click to vote
CVPR
2009
IEEE
15 years 10 months ago
2009
IEEE
Establishing visual correspondences is an essential component of many computer vision problems, and is often done with robust, local feature-descriptors. Transmission and storage ...
200
click to vote
EDBTW
2004
Springer
15 years 10 months ago
2004
Springer
Research on recommender systems has primarily addressed centralized scenarios and largely ignored open, decentralized systems where remote information distribution prevails. Absenc...