6800 search results - page 723 / 1360 » Testing with Functions as Specifications |
207
click to vote
LICS
2010
IEEE
15 years 5 months ago
2010
IEEE
Stream circuits are a convenient graphical way to represent streams (or stream functions) computed by finite dimensional linear systems. We present a sound and complete expression...
213
click to vote
SIGDIAL
2010
15 years 5 months ago
2010
The second person pronoun you serves different functions in English. Each of these different types often corresponds to a different term when translated into another language. Cor...
239
click to vote
WER
2010
Springer
15 years 5 months ago
2010
Springer
Feature models are commonly used to capture the commonality and the variability of product families. There are several feature model notations that correspondingly depict the conce...
182
click to vote
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
This paper considers the max-min quantum error recovery problem; the recovery channel to be designed maximizes the fidelity between input and output states of a given noisy channel...
158
click to vote
HCI
2009
15 years 5 months ago
2009
In this paper, we present the system that aids people in wearing makeup easily and make the process enjoyable. The proposed system is the "Smart Makeup Mirror" device, w...