Sciweavers

1008 search results - page 142 / 202
» Adaptive document layout
Sort
View
IFM
2010
Springer
205views Formal Methods» more  IFM 2010»
15 years 16 days ago
Adding Change Impact Analysis to the Formal Verification of C Programs
Handling changes to programs and specifications efficiently is a particular challenge in formal software verification. Change impact analysis is an approach to this challenge where...
Serge Autexier, Christoph Lüth
ICALT
2010
IEEE
15 years 3 months ago
Improve the Output from a MCQ Test Item Generator Using Statistical NLP
In this study I use statistical Natural Language Processing and adapted Controlled Language methods to preprocess individual documents before they are used as source documents for ...
Robert Michael Foster
144
Voted
CLEF
2011
Springer
14 years 2 months ago
Intrinsic Plagiarism Detection Using Character Trigram Distance Scores - Notebook for PAN at CLEF 2011
Abstract In this paper, we describe a novel approach to intrinsic plagiarism detection. Each suspicious document is divided into a series of consecutive, potentially overlapping â€...
Mike Kestemont, Kim Luyckx, Walter Daelemans
CHI
2008
ACM
16 years 3 months ago
Navigation techniques for dual-display e-book readers
Existing e-book readers do not do a good job supporting many reading tasks that people perform, as ethnographers report that when reading, people frequently read from multiple dis...
Cassandra Lewis, François Guimbretiè...
140
Voted
RIDE
1998
IEEE
15 years 6 months ago
On Periodic Resource Scheduling for Continuous Media Databases
The Enhanced Pay-Per-View (EPPV) model for providing continuous-media services associates with each continuous-media clip a display frequency that depends on the clip's popula...
Minos N. Garofalakis, Banu Özden, Abraham Sil...