Sciweavers

455 search results - page 32 / 91
» GLOSSER-RuG: in Support of Reading
Sort
View
DSN
2009
IEEE
15 years 5 months ago
Report generation for simulation traces with Traviando
Any model-based evaluation of the dependability of a system requires validation and verification to justify that its results are meaningful. Modern modeling frameworks enable us ...
Peter Kemper
85
Voted
ICASSP
2009
IEEE
15 years 5 months ago
CMOS compressed imaging by Random Convolution
We present a CMOS imager with built-in capability to perform Compressed Sensing coding by Random Convolution. It is achieved by a shift register set in a pseudo-random configurat...
Laurent Jacques, Pierre Vandergheynst, Alexandre B...
77
Voted
VL
2009
IEEE
164views Visual Languages» more  VL 2009»
15 years 5 months ago
QueryMarvel: A visual query language for temporal patterns using comic strips
In many domains, decision makers want to find and understand patterns of events as these patterns often give insight into the causal relationships among events. Current systems to...
Jing Jin, Pedro A. Szekely
NDSS
2009
IEEE
15 years 5 months ago
The Blind Stone Tablet: Outsourcing Durability to Untrusted Parties
We introduce a new paradigm for outsourcing the durability property of a multi-client transactional database to an untrusted service provider. Specifically, we enable untrusted s...
Peter Williams, Radu Sion, Dennis Shasha
67
Voted
ERCIMDL
2009
Springer
89views Education» more  ERCIMDL 2009»
15 years 5 months ago
Improving Annotations in Digital Documents
Annotation plays a major role in a user’s reading of a document: from elementary school students making notes on text books to professors marking up their latest research papers....
Jennifer Pearson, George Buchanan, Harold W. Thimb...