5275 search results - page 242 / 1055 » Computing by observing |
110
click to vote
AAI
1999
15 years 3 months ago
1999
There have been numerous attempts to provide a standardized definition of a computational agent, but little consensus has emerged. We propose a simple test for agenthood that can ...
146
click to vote
UC
2010
Springer
15 years 2 months ago
2010
Springer
The information processing capabilities of many proteins are currently unexplored. The complexities and high dimensional parameter spaces make their investigation impractical. Diff...
109
Voted
CONCUR
2005
Springer
15 years 9 months ago
2005
Springer
d Abstract) Adrian Francalanza and Matthew Hennessy University of Sussex, Falmer Brighton BN1 9RH, England Abstract. We develop a behavioural theory of distributed programs in the ...
146
click to vote
SIGGRAPH
1998
ACM
15 years 8 months ago
1998
ACM
In this paper we present a set of efficient image based rendering methods capable of rendering multiple frames per second on a PC. The first method warps Sprites with Depth repr...
102
click to vote
PODC
2010
ACM
15 years 8 months ago
2010
ACM
We present a proof of safety and linearizability of a highlyconcurrent optimistic set algorithm. The key step in our proof is the Hindsight Lemma, which allows a thread to infer t...