3690 search results - page 34 / 738 » Computation with classical sequents |
114
click to vote
ICPR
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents a subject-independent EEG (Electroencephalogram) classification technique and its application to a P300-based word speller. Due to EEG variations across subje...
156
click to vote
ENTCS
2006
15 years 4 months ago
2006
It is reasonable to assume that quantum computations take place under the control of the classical world. For modelling this standard situation, we introduce a Classically-control...
143
click to vote
PAAPP
2007
15 years 3 months ago
2007
The quantum model of computation not only o ers entirely new ways to manipulate information, but also allows information processing tasks to be formulated in unconventional, genui...
157
click to vote
RTA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper investigates an approach to substitution alternative to the implicit treatment of the λ-calculus and the explicit treatment of explicit substitution calculi. ...
153
click to vote
GI
2009
Springer
15 years 9 months ago
2009
Springer
: Out-of-Home (OOH) advertising is currently advancing into a new era: “pervasive advertising” is one of the buzz words describing a soft change from the traditional push-only ...