27274 search results - page 5264 / 5455 » A framework for framework documentation |
167
click to vote
CRYPTO
2010
Springer
15 years 7 months ago
2010
Springer
Secure two-party authentication and key exchange are fundamental problems. Traditionally, the parties authenticate each other by means of their identities, using a public-key infr...
177
click to vote
CSL
2010
Springer
15 years 7 months ago
2010
Springer
This paper provides an induction rule that can be used to prove properties of data structures whose types are inductive, i.e., are carriers of initial algebras of functors. Our res...
221
click to vote
CIDR
2009
15 years 7 months ago
2009
High-volume, high-speed data streams may overwhelm the capabilities of stream processing systems; techniques such as data prioritization, avoidance of unnecessary processing and o...
178
click to vote
CIMAGING
2009
15 years 7 months ago
2009
Nonlinear image reconstruction based upon sparse representations of images has recently received widespread attention with the emerging framework of compressed sensing (CS). This ...
182
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Interval temporal logics formalize reasoning about interval structures over (usually) linearly ordered domains, where time intervals are the primitive ontological entitie...