Sciweavers

590 search results - page 70 / 118
» Patterns of Change in Design Metaphor: A Case Study
Sort
View
SPIN
2012
Springer
11 years 11 months ago
Counterexample Explanation by Anomaly Detection
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...
Stefan Leue, Mitra Tabaei Befrouei
ICCHP
2010
Springer
13 years 7 months ago
CanSpeak: A Customizable Speech Interface for People with Dysarthric Speech
Current Automatic Speech Recognition (ASR) systems designed to recognize dysarthric speech require an investment in training that involves considerable effort and must be repeated ...
Foad Hamidi, Melanie Baljko, Nigel Livingston, Leo...
ACMACE
2008
ACM
13 years 11 months ago
Evaluation of a pervasive game for domestic energy engagement among teenagers
In this paper, we present Power Agent - a pervasive game designed to encourage teenagers and their families to reduce energy consumption in the home. The idea behind this mobile p...
Anton Gustafsson, Magnus Bång
ICSM
2009
IEEE
14 years 3 months ago
Understanding source package organization using the hybrid model
Within a large, object-oriented software system it is common to partition the classes into a set of packages, which implicitly serve as a set of coarsely-grained logical design un...
Xinyi Dong, Michael W. Godfrey
ICIP
2004
IEEE
14 years 10 months ago
A generic method for generating multispectral filter arrays
The technology of color filter arrays (CFA) has been widely used in the digital camera industry since it provides several advantages like low cost, exact registration, and strong ...
Lidan Miao, Hairong Qi, Wesley E. Snyder