Sciweavers

2662 search results - page 432 / 533
» Tools Demonstrations
Sort
View
CORR
2010
Springer
143views Education» more  CORR 2010»
15 years 1 months ago
Cause Clue Clauses: Error Localization using Maximum Satisfiability
Much effort is spent everyday by programmers in trying to reduce long, failing execution traces to the cause of the error. We present a new algorithm for error cause localization ...
Manu Jose, Rupak Majumdar
145
Voted
PODS
2004
ACM
148views Database» more  PODS 2004»
16 years 4 months ago
Deterministic Wavelet Thresholding for Maximum-Error Metrics
Several studies have demonstrated the effectiveness of the wavelet decomposition as a tool for reducing large amounts of data down to compact wavelet synopses that can be used to ...
Minos N. Garofalakis, Amit Kumar
BMCBI
2007
218views more  BMCBI 2007»
15 years 4 months ago
Annotation and query of tissue microarray data using the NCI Thesaurus
Background: The Stanford Tissue Microarray Database (TMAD) is a repository of data serving a consortium of pathologists and biomedical researchers. The tissue samples in TMAD are ...
Nigam H. Shah, Daniel L. Rubin, Inigo Espinosa, Ke...
127
Voted
CCS
2003
ACM
15 years 9 months ago
Countering code-injection attacks with instruction-set randomization
We describe a new, general approach for safeguarding systems against any type of code-injection attack. We apply Kerckhoff’s principle, by creating process-specific randomized ...
Gaurav S. Kc, Angelos D. Keromytis, Vassilis Preve...
169
Voted
ANLP
2000
149views more  ANLP 2000»
15 years 5 months ago
Javox: A Toolkit for Building Speech-Enabled Applications
JAVOX provides a mechanism for the development of spoken-language systems from existing desktop applications. We present an architecture that allows existing Java1 programs to be ...
Michael S. Fulkerson, Alan W. Biermann