Sciweavers

5964 search results - page 40 / 1193
» A theory of speculative computation
Sort
View
ENTCS
2006
110views more  ENTCS 2006»
15 years 4 months ago
First Steps in Synthetic Computability Theory
Computability theory, which investigates computable functions and computable sets, lies at the foundation of computer science. Its classical presentations usually involve a fair a...
Andrej Bauer
CAINE
2003
15 years 5 months ago
An Issue Logic for Superscalar Microprocessors
In order to enhance the computer performance, nowadays microprocessors use Superscalar architecture. But the Superscalar architecture is unable to enhance the performance effectiv...
Feng-Jiann Shiao, Jong-Jiann Shieh
116
Voted
ICMAS
2000
15 years 5 months ago
Computationally Grounded Theories of Agency
In this paper, I motivate, define, and illustrate the notion of computationally grounded theories of agency. A theory of agency is said to be computationally grounded if we can gi...
Michael Wooldridge
ATAL
2008
Springer
15 years 6 months ago
Computer science and game theory
Game theory has been playing an increasingly visible role in computer science, in areas as diverse as artificial intelligence, theory, and distributed systems, among others. I tak...
Yoav Shoham
MOBIHOC
2008
ACM
16 years 3 months ago
Using persistent homology to recover spatial information from encounter traces
In order to better understand human and animal mobility and its potential effects on Mobile Ad-Hoc networks and Delay-Tolerant Networks, many researchers have conducted experiment...
Brenton D. Walker