Sciweavers

7195 search results - page 611 / 1439
» On Computing Power
Sort
View
ISWC
2002
IEEE
16 years 3 days ago
A Wearable Communication Modulator
This paper introduces a peripheral device that supports communication especially in terms of expressive power in mobile environments. As people can speak and hear while doing some...
Soichiro Matsushita
IWANN
2001
Springer
15 years 11 months ago
Verifying Properties of Neural Networks
In the beginning of nineties, Hava Siegelmann proposed a new computational model, the Artificial Recurrent Neural Network (ARNN), and proved that it could perform hypercomputation....
Pedro Rodrigues, José Félix Costa, H...
FOCS
1999
IEEE
15 years 11 months ago
PSPACE Has Constant-Round Quantum Interactive Proof Systems
In this paper we introduce quantum interactive proof systems, which are interactive proof systems in which the prover and verifier may perform quantum computations and exchange qu...
John Watrous
FCT
1999
Springer
15 years 11 months ago
Iterative Arrays with a Wee Bit Alternation
Abstract. An iterative array is a line of interconnected interacting finite automata. One distinguished automaton, the communication cell, is connected to the outside world and fe...
Thomas Buchholz, Andreas Klein, Martin Kutrib
ACMDIS
1997
ACM
15 years 11 months ago
Triangles: Design of a Physical/Digital Construction Kit
This paper presents the design of a new form of computer interface that uses physical objects to embody digital information, providing a means for interacting with data. Triangles...
Matthew G. Gorbet, Maggie Orth