Sciweavers

3527 search results - page 467 / 706
» Test Automation in Practice
Sort
View
IUI
2006
ACM
15 years 5 months ago
Enabling context-sensitive information seeking
1 Information seeking is an important but often difficult task especially when involving large and complex data sets. We hypothesize that a context-sensitive interaction paradigm c...
Michelle X. Zhou, Keith Houck, Shimei Pan, James S...
PLDI
2006
ACM
15 years 5 months ago
Correctness-preserving derivation of concurrent garbage collection algorithms
Constructing correct concurrent garbage collection algorithms is notoriously hard. Numerous such algorithms have been proposed, implemented, and deployed – and yet the relations...
Martin T. Vechev, Eran Yahav, David F. Bacon
CAMP
2005
IEEE
15 years 4 months ago
Virtual Astronomy, Information Technology, and the New Scientific Methodology
—All sciences, including astronomy, are now entering the era of information abundance. The exponentially increasing volume and complexity of modern data sets promises to transfor...
S. George Djorgovski
HICSS
2005
IEEE
99views Biometrics» more  HICSS 2005»
15 years 4 months ago
The Meaning of Arrows: Diagrams and Other Facets in System Sciences Literature
Understanding the use of diagrams and other components of scholarly systems-related papers may inform us about the papers, the field, and the way we think. We analyze 495 papers c...
Jeffrey V. Nickerson
ICDM
2005
IEEE
143views Data Mining» more  ICDM 2005»
15 years 4 months ago
A Computational Framework for Taxonomic Research: Diagnosing Body Shape within Fish Species Complexes
It is estimated that ninety percent of the world’s species have yet to be discovered and described. The main reason for the slow pace of new species description is that the scie...
Yixin Chen, Henry L. Bart Jr., Shuqing Huang, Huim...