Sciweavers

4880 search results - page 4 / 976
» Manuals as Structured Programs
Sort
View
ACSAC
2007
IEEE
14 years 4 months ago
Automated Security Debugging Using Program Structural Constraints
Understanding security bugs in a vulnerable program is a non-trivial task, even if the target program is known to be vulnerable. Though there exist debugging tools that facilitate...
Chongkyung Kil, Emre Can Sezer, Peng Ning, Xiaolan...
NAR
2011
253views Computer Vision» more  NAR 2011»
13 years 19 days ago
tRNADB-CE 2011: tRNA gene database curated manually by experts
We updated the tRNADB-CE by analyzing 939 complete and 1301 draft genomes of prokaryotes and eukaryotes, 171 complete virus genomes, 121 complete chloroplast genomes and approxima...
Takashi Abe, Toshimichi Ikemura, Junichi Sugahara,...

Book
515views
15 years 7 months ago
A Gentle Introduction to TEX: A Manual for Self-study
"First the bad news: TEX is a large and complicated program that goes to extraordinary lengths to produce attractive typeset material. This very complication can cause unexpe...
Michael Doob
ICIP
2002
IEEE
14 years 2 months ago
Evaluation of reproducibility for manual and semi-automated feature extraction in CT and MR images
Three methods for extraction and quantitative measurement of features in CT and MR images are examined: hand tracing, semi-automated tracing using the livewire graph search algori...
Edward A. Ashton, Larry Molinelli, Saara Totterman...
CHI
2003
ACM
14 years 10 months ago
Cellular phone manuals: users' benefit from spatial maps
Manuals of technical devices are often not very helpful to the user. This study investigates the influence of spatial instructions versus linear step-by-step manuals on inexperien...
Susanne Bay