Sciweavers

1890 search results - page 115 / 378
» Model-Based Testing in Practice
Sort
View
SEMWEB
2010
Springer
15 years 4 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 1 months 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 19 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,...
TABLETOP
2006
IEEE
16 years 10 days ago
Supporting the creation of Mood Boards: Industrial Design in Mixed Reality
Advancements in mixed-reality (MR) systems have concentrated on the technology required for implementation, providing proof-of-concepts by means of technology-tailored usage scena...
Andrés Lucero, Jean-Bernard Martens