1715 search results - page 274 / 343 » Point Sample Rendering |
83
Voted
ISBI
2004
IEEE
16 years 1 months ago
2004
IEEE
Background: Impairment of arterial endothelial function is an early event in atherosclerosis and correlates with the major risk factors for cardiovascular disease. The most widely...
204
Voted
POPL
2004
ACM
16 years 1 months ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...
97
Voted
ICFP
2004
ACM
16 years 20 days ago
2004
ACM
Among slide-presentation systems, the dominant application offers lly no abstraction capability. Slideshow, an extension of PLT Scheme, represents our effort over the last several...
121
Voted
PERCOM
2006
ACM
16 years 9 days ago
2006
ACM
Typical packet traffic in a sensor network reveals pronouncedpatterns that allow an adversary analyzing packet traffic to deduce the location of a base station. Once discovered, t...
117
Voted
ASIACRYPT
2009
Springer
15 years 7 months ago
2009
Springer
Computational puzzles are mildly difficult computational problems that require resources (processor cycles, memory, or both) to solve. Puzzles have found a variety of uses in secu...