1636 search results - page 108 / 328 » Reasoning About Quantum Systems |
163
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Constructing presentations as stories is about presenting events that receive their relevance and meaning within the context of the presentation, and about means to define a well-...
168
click to vote
ECIS
2003
15 years 7 months ago
2003
Information Systems (IS) design research tends to emphasise the development of new methods (normative research), while addressing the evaluation of methods in only a limited fashi...
177
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
155
click to vote
CIMCA
2008
IEEE
16 years 20 days ago
2008
IEEE
In this paper we propose a novel method for automatic evaluation of conversational agents. The method is based on analyzing the user’s affect conveyed in utterances. From analyz...
156
click to vote
MAMMO
2010
Springer
15 years 4 months ago
2010
Springer
Recently, detective quantum efficiency (DQE) arising from the concept of signal-to-noise ratio (SNR) has been used for assessing digital x-ray imaging systems. Using a phase-shift ...