Sciweavers

598 search results - page 98 / 120
» Generic Trace Theory
Sort
View
EWHCI
1993
14 years 2 months ago
Applying the Wizard of Oz Technique to the Study of Multimodal Systems
The Wizard of Oz (WOz) technique is an experimental evaluation mechanism. It allows the observation of a user operating an apparently fully functioning system whose missing service...
Daniel Salber, Joëlle Coutaz
CDC
2009
IEEE
186views Control Systems» more  CDC 2009»
14 years 2 months ago
Distributed function and time delay estimation using nonparametric techniques
In this paper we analyze the problem of estimating a function from different noisy data sets collected by spatially distributed sensors and subject to unknown temporal shifts. We p...
Damiano Varagnolo, Gianluigi Pillonetto, Luca Sche...
APSEC
2004
IEEE
14 years 1 months ago
Reasoning about Semantic Web in Isabelle/HOL
Semantic Web is regarded as the next generation of the World Wide Web. It provides not only the structure of the web but also meaningful semantics for the information presented. T...
Yue Tang, Jin Song Dong, Jing Sun, Brendan P. Maho...
ASWEC
2004
IEEE
14 years 1 months ago
Teaching the Process of Code Review
Behavioural theory predicts that interventions that improving individual reviewers' expertise improves Software Development Technical Review group performance [3, p 6]. This ...
Tor Stålhane, Cat Kutay, Hiyam Al-Kilidar, D...
LPAR
2000
Springer
14 years 1 months ago
Efficient Structural Information Analysis for Real CLP Languages
We present the rational construction of a generic domain for structural information analysis of real CLP languages called Pattern(D ), where the parameter D is an abstract domain s...
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella