Sciweavers

21094 search results - page 144 / 4219
» An experiment using DLV-K
Sort
View
ENTCS
2010
110views more  ENTCS 2010»
15 years 6 months ago
Modelling Interactive Experience, Function and Performance in Ubiquitous Systems
The cost of deploying a ubiquitous system to enhance a physical environment is likely to be considerable. The success of its deployment is highly dependent on its context: the phy...
Michael D. Harrison, Mieke Massink
ENTCS
2007
133views more  ENTCS 2007»
15 years 6 months ago
Modelchecking Correctness of Refactorings - Some Experiments
Refactorings are changes made to programs, models or specifications with the intention of improving their structure and thus making them clearer, more readable and re-usable. Ref...
H.-Christian Estler, Thomas Ruhroth, Heike Wehrhei...
PSYCHNOLOGY
2008
92views more  PSYCHNOLOGY 2008»
15 years 6 months ago
Experiences of Evaluating Presence in Augmented Realities
This paper presents an overview of a study of 24 people who used an augmented reality game called TimeWarp. The paper initially discusses the game and evaluation methods chosen, i...
Rod McCall, Anne-Kathrin Braun
ACL
2010
15 years 4 months ago
Learning Script Knowledge with Web Experiments
We describe a novel approach to unsupervised learning of the events that make up a script, along with constraints on their temporal ordering. We collect naturallanguage descriptio...
Michaela Regneri, Alexander Koller, Manfred Pinkal
HPCA
2004
IEEE
16 years 6 months ago
Wavelet Analysis for Microprocessor Design: Experiences with Wavelet-Based dI/dt Characterization
As microprocessors become increasingly complex, the techniques used to analyze and predict their behavior must become increasingly rigorous. This paper applies wavelet analysis te...
Russ Joseph, Zhigang Hu, Margaret Martonosi