Sciweavers

2229 search results - page 293 / 446
» On Reporting Fold Differences
Sort
View
PPOPP
2005
ACM
15 years 3 months ago
Scaling model checking of dataraces using dynamic information
Dataraces in multithreaded programs often indicate severe bugs and can cause unexpected behaviors when different thread interleavings are executed. Because dataraces are a cause f...
Ohad Shacham, Mooly Sagiv, Assaf Schuster
SIGDOC
2005
ACM
15 years 3 months ago
Co-generation of text and graphics
To reduce potential discrepancies between textual and graphical content in documentation, it is possible to produce both text and graphics from a single common source. One approac...
David G. Novick, Brian Lowe
SIGIR
2005
ACM
15 years 3 months ago
Using query term order for result summarisation
We report on two experiments performed to test the importance of Term Order in automatic summarisation. Experiment one was undertaken as part of DUC 2004 to which three systems we...
Shao Fen Liang, Siobhan Devlin, John Tait
TAPIA
2005
ACM
15 years 3 months ago
Towards a cross-platform microbenchmark suite for evaluating hardware performance counter data
As useful as performance counters are, the meaning of reported aggregate event counts is sometimes questionable. Questions arise due to unanticipated processor behavior, overhead ...
Roberto Araiza, Maria Gabriela Aguilera, Thientam ...
AIED
2005
Springer
15 years 3 months ago
Towards support in building qualitative knowledge models
Qualitative Reasoning (QR) formalisms provide ontological primitives for capturing conceptual knowledge. Recently QR-based diagrammatic tools are being developed to support learne...
Vania Bessa Machado, Roland Groen, Bert Bredeweg