3228 search results - page 126 / 646 » Computationally Sound Proofs |
SAC
2010
ACM
13 years 4 months ago
2010
ACM
In plane elementary geometry, the concept of similar triangles not only forms an important foundation for trigonometry, but it also can be used to solve many geometric problems. T...
ICRA
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract— A continuous vocal imitation system was developed using a computational model that explains the process of phoneme acquisition by infants. Human infants perceive speech...
IROS
2007
IEEE
14 years 4 months ago
2007
IEEE
— A vocal imitation system was developed using a computational model that supports the motor theory of speech perception. A critical problem in vocal imitation is how to generate...
FOCS
2000
IEEE
14 years 1 months ago
2000
IEEE
In this paper we consider a quantum computational variant of nondeterminism based on the notion of a quantum proof, which is a quantum state that plays a role similar to a certifi...
COCO
1991
Springer
14 years 1 months ago
1991
Springer
Abstract Rafail Ostrovskyy MIT Laboratory for Computer Science 545 Technology Square, Cambridge, MA 02139 In this paper, we study connections among one-way functions, hard on the ...