Sciweavers

2229 search results - page 122 / 446
» On Reporting Fold Differences
Sort
View
CHI
1997
ACM
14 years 14 days ago
A Comparison of Reading Paper and On-Line Documents
We report on a laboratory study that compares reading from paper to reading on-line. Critical differences have to do with the major advantages paper offers in supporting annotatio...
Kenton O'Hara, Abigail Sellen
DSVIS
1997
Springer
14 years 13 days ago
DMVIS: Design, Modelling and Validation of Interactive Systems
Much of the work reported in the first three DSVIS conferences has concentrated on techniques and languages for specifying and developing interactive systems. In this paper, we ar...
Robert E. Fields, Nicholas A. Merriam, Andrew M. D...
PLDI
1993
ACM
14 years 11 days ago
Interprocedural Constant Propagation: A Study of Jump Function Implementations
An implementation of interprocedural constant propagation must model the transmission of values through each procedure. In the framework proposed by Callahan, Cooper, Kennedy, and...
Dan Grove, Linda Torczon
EXPCS
2007
14 years 5 days ago
Performance testing of combinatorial solvers with isomorph class instances
Combinatorial optimization problems expressed as Boolean constraint satisfaction problems (BCSPs) arise in several contexts, ranging from the classical unate set-packing problems ...
Franc Brglez, Jason A. Osborne
DAS
2006
Springer
13 years 12 months ago
A System for Converting PDF Documents into Structured XML Format
We present in this paper a system for converting PDF legacy documents into structured XML format. This conversion system first extracts the different streams contained in PDF files...
Hervé Déjean, Jean-Luc Meunier