Sciweavers

1829 search results - page 154 / 366
» aims 2008
Sort
View
TMI
2008
141views more  TMI 2008»
15 years 6 months ago
Fast Noise Reduction in Computed Tomography for Improved 3-D Visualization
Computed tomography (CT) has a trend towards higher resolution and higher noise. This development has increased the interest in anisotropic smoothing techniques for CT, which aim t...
Michiel Schaap, Arnold M. R. Schilham, Karel J. Zu...
246
Voted
CN
1999
128views more  CN 1999»
15 years 6 months ago
Intrusion detection systems as evidence
: Although the main aim of IDSs is to detect intrusions to prompt evasive measures, a further aim can be to supply evidence in criminal and civil legal proceedings. However the fea...
Peter Sommer
VSTTE
2010
Springer
15 years 4 months ago
Dafny Meets the Verification Benchmarks Challenge
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...
K. Rustan M. Leino, Rosemary Monahan
TEI
2010
ACM
156views Hardware» more  TEI 2010»
16 years 1 months ago
Captain electric and battery boy: prototypes for wearable power-generating artifacts
“Captain Electric and Battery Boy” refers to an ongoing research project that aims to develop electronic garments and wearable artifacts that harness power from the body and u...
Joanna Berzowska, Marc Beaulieu, Vincent Leclerc, ...
178
Voted
ESA
2009
Springer
90views Algorithms» more  ESA 2009»
16 years 1 months ago
Storing a Compressed Function with Constant Time Access
We consider the problem of representing, in a space-efficient way, a function f : S → Σ such that any function value can be computed in constant time on a RAM. Specifically, ou...
Jóhannes B. Hreinsson, Morten Krøyer...