Sciweavers

967 search results - page 21 / 194
» Automated benchmarking and analysis tool
Sort
View
CHI
2006
ACM
14 years 8 months ago
VACA: a tool for qualitative video analysis
In experimental research the job of analyzing data is an extremely slow and laborious process. In particular, video and audio data of human behavior are difficult to analyze, as t...
Brandon Burr
TCAD
2008
181views more  TCAD 2008»
13 years 7 months ago
A Survey of Automated Techniques for Formal Software Verification
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
Vijay D'Silva, Daniel Kroening, Georg Weissenbache...
SP
2008
IEEE
140views Security Privacy» more  SP 2008»
13 years 7 months ago
Knowledge support and automation for performance analysis with PerfExplorer 2.0
The integration of scalable performance analysis in parallel development tools is difficult. The potential size of data sets and the need to compare results from multiple experime...
Kevin A. Huck, Allen D. Malony, Sameer Shende, Ala...
IEEEVAST
2010
13 years 2 months ago
NetClinic: Interactive visualization to enhance automated fault diagnosis in enterprise networks
Diagnosing faults in an operational computer network is a frustrating, time-consuming exercise. Despite advances, automatic diagnostic tools are far from perfect: they occasionall...
Zhicheng Liu, Bongshin Lee, Srikanth Kandula, Ratu...
AIED
2005
Springer
14 years 1 months ago
Factors Influencing Effectiveness in Automated Essay Scoring with LSA
Abstract. This paper addresses the ongoing discussion on influencing factors of automatic essay scoring with latent semantic analysis (LSA). Throughout this paper, we contribute to...
Fridolin Wild, Christina Stahl, Gerald Stermsek, Y...