5964 search results - page 149 / 1193 » A theory of speculative computation |
141
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
In the paper I sketch a theory of massively parallel proofs using cellular automata presentation of deduction. In this presentation inference rules play the role of cellular-autom...
285
Voted
DSN
2011
IEEE
14 years 6 months ago
2011
IEEE
—Virtual coordinate systems provide an accurate and efficient service that allows hosts on the Internet to determine latency to arbitrary hosts based on information provided by ...
158
click to vote
SEMCO
2008
IEEE
16 years 1 months ago
2008
IEEE
Blogs, discussion forums and social networking sites are an excellent source for people’s opinions on a wide range of topics. We examine the application of voting theory to “I...
189
click to vote
AINA
2007
IEEE
16 years 1 months ago
2007
IEEE
The evolution and existence of stable trust relations have been studied extensively in the context of social theory. However, reputation systems or trust schemes have only been re...
153
click to vote
AAMAS
2010
Springer
15 years 7 months ago
2010
Springer
Cognitive appraisal theories, which link human emotional experience to their interpretations of events happening in the environment, are leading approaches to model emotions. In th...