Sciweavers

5964 search results - page 106 / 1193
» A theory of speculative computation
Sort
View
131
Voted
ISCI
2000
83views more  ISCI 2000»
15 years 4 months ago
Active agents, intelligence and quantum computing
This paper reviews evidence from neuroscience and quantum computing theory in support of the notion of autonomy in the workings of cognitive processes. De
Subhash C. Kak
AAAI
2008
15 years 7 months ago
Game Theory Pragmatics: A Challenge for AI
Game theory has been playing an increasingly visible role in computer science in general and AI in particular, most notably in the area of multiagent systems. I briefly list the a...
Yoav Shoham
135
Voted
CGF
2000
150views more  CGF 2000»
15 years 4 months ago
Perceptual Principles and Computer Graphics
Now that technology allows us to present photorealistic animations of scenically lit objects acting in realtime, the problem of computer graphics has changed from making displays ...
Jon May
ASIAN
2006
Springer
134views Algorithms» more  ASIAN 2006»
15 years 8 months ago
Computational Soundness of Formal Indistinguishability and Static Equivalence
In the investigation of the relationship between the formal and the computational view of cryptography, a recent approach, first proposed in [10], uses static equivalence from cryp...
Gergei Bana, Payman Mohassel, Till Stegers
156
Voted
CSL
2010
Springer
15 years 5 months ago
On the Computability of Region-Based Euclidean Logics
By a Euclidean logic, we understand a formal language whose variables range over subsets of Euclidean space, of some fixed dimension, and whose non-logical primitives have fixed me...
Yavor Nenov, Ian Pratt-Hartmann