3690 search results - page 38 / 738 » Computation with classical sequents |
ECTEL
2010
Springer
13 years 9 months ago
2010
Springer
Argumentation is omnipresent in our lives and therefore an important skill to learn. While classic face-to-face argumentation and debate has advantages in helping people learn to a...
MICS
2010
13 years 9 months ago
2010
Abstract. Following Gaudry and G¨urel who extended Kedlaya’s point-counting algorithm to superelliptic curves, we introduce Harvey’s running time improvements for large enough...
Book
A classic book about information modeling.
FGR
2008
IEEE
14 years 5 months ago
2008
IEEE
We explore the opportunity to harness electroencephalograph (EEG) signals generated during human visual processing to enhance computer vision systems. We review the challenging ta...
ATAL
2005
Springer
14 years 4 months ago
2005
Springer
Intelligent agents in the quantum internet are supposed to operate on networked hybrid quantum computers to individually or jointly accomplish their goals by means of both classic...