1296 search results - page 122 / 260 » The Number Field Sieve |
114
Voted
CADE
2008
Springer
16 years 1 months ago
2008
Springer
Specifications of programs use auxiliary symbols to encapsulate concepts for a variety of reasons: readability, reusability, structuring and, in particular, for writing recursive d...
121
click to vote
CADE
2007
Springer
16 years 1 months ago
2007
Springer
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...
105
click to vote
PERCOM
2007
ACM
16 years 13 days ago
2007
ACM
Near field communication (NFC) is a short-range wireless protocol that allows users to connect devices and access content and services by simply holding enabled devices near each ...
102
click to vote
EWSN
2004
Springer
16 years 13 days ago
2004
Springer
Sensor networks consist of a potentially huge number of very small and resource limited self-organizing devices. This paper presents the design of a general distributed service dir...
149
Voted
CVPR
2010
IEEE
15 years 9 months ago
2010
IEEE
We introduce a novel data-driven mean-shift belief propagation
(DDMSBP) method for non-Gaussian MRFs, which
often arise in computer vision applications. With the aid
of scale sp...