Sciweavers

743 search results - page 137 / 149
» Multi-fidelity User Interface Specifications
Sort
View
CORR
2004
Springer
142views Education» more  CORR 2004»
13 years 7 months ago
Modeling and Validating Hybrid Systems Using VDM and Mathematica
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...
Bernhard K. Aichernig, Reinhold Kainhofer
ECAI
2008
Springer
13 years 9 months ago
The Impact of Constraint Programming
Constraint satisfaction problems (CSPs) are ubiquitous in many real-world contexts. However, modeling a problem as a CSP can be very challenging, usually requiring considerable ex...
Pascal Van Hentenryck
LREC
2008
107views Education» more  LREC 2008»
13 years 9 months ago
WOZ Acoustic Data Collection for Interactive TV
This paper describes a multichannel acoustic data collection recorded under the European DICIT project, during the Wizard of Oz (WOZ) experiments carried out at FAU and FBK-irst l...
Alessio Brutti, Luca Cristoforetti, Walter Kellerm...
DAIS
2006
13 years 9 months ago
An Application Framework for Nomadic, Collaborative Applications
To maintain availability and responsiveness, mobile applications sharing data often work on their own copy and transmit local changes to other participants. Existing systems for re...
James O'Brien, Marc Shapiro
HUC
2010
Springer
13 years 8 months ago
CastOven: a microwave oven with just-in-time video clips
In this paper, we propose a novel microwave oven called CastOven. CastOven is a microwave oven with a LCD display that enables people to enjoy videos while they are waiting for th...
Keita Watanabe, Shota Matsuda, Michiaki Yasumura, ...