Sciweavers

3527 search results - page 266 / 706
» Test Automation in Practice
Sort
View
CCE
2004
15 years 5 months ago
Balanced random interval arithmetic
The results of experimental testing of balanced random interval arithmetic with typical mathematical test functions and practical problem are presented and discussed. The possibili...
Julius Zilinskas, Ian David Lockhart Bogle
SEMWEB
2010
Springer
15 years 3 months ago
Completeness Guarantees for Incomplete Reasoners
Abstract. We extend our recent work on evaluating incomplete reasoners by introducing strict testing bases. We show how they can be used in practice to identify ontologies and quer...
Giorgos Stoilos, Bernardo Cuenca Grau, Ian Horrock...
JMLR
2011
188views more  JMLR 2011»
15 years 29 days ago
Linking Granger Causality and the Pearl Causal Model with Settable Systems
The causal notions embodied in the concept of Granger causality have been argued to belong to a different category than those of Judea Pearl’s Causal Model, and so far their re...
Halbert White, Karim Chalak, Xun Lu
ICSE
2011
IEEE-ACM
14 years 9 months ago
Mental models and parallel program maintenance
Parallel programs are difficult to write, test, and debug. This thesis explores how programmers build mental models about parallel programs, and demonstrates, through user evaluat...
Caitlin Sadowski
ICMCS
2007
IEEE
168views Multimedia» more  ICMCS 2007»
16 years 9 days ago
An Information Theoretic Model of Spatiotemporal Visual Saliency
This paper presents a principled and practical method for the computation of visual saliency of spatiotemporal events in full motion videos. Based on the assumption that uniquenes...
Guoping Qiu, Xiaodong Gu, Zhibo Chen, Quqing Chen,...