5964 search results - page 145 / 1193 » A theory of speculative computation |
177
click to vote
TLCA
2007
Springer
16 years 1 months ago
2007
Springer
Inspired by recent work on normalisation by evaluation for sums, we propose a normalising and confluent extensional rewriting theory for the simply-typed λ-calculus extended with...
184
click to vote
IFIPTCS
2000
15 years 10 months ago
2000
Over the years coding theory and complexity theory have benefited from a number of mutually enriching connections. This article focuses on a new connection that has emerged betwee...
222
click to vote
FUIN
2010
15 years 4 months ago
2010
We provide an equational theory for Restricted Broadcast Process Theory to reason about ad hoc networks. We exploit an extended algebra called Computed Network Theory to axiomatize...
195
click to vote
KER
2008
15 years 7 months ago
2008
Computational social choice is a new discipline currently emerging at the interface of social choice theory and computer science. It is concerned with the application of computati...
214
Voted
IWANN
2009
Springer
16 years 1 months ago
2009
Springer
We survey on the theoretical and practical developments of the theory of fuzzy logic and soft computing. Specifically, we briefly review the history and main milestones of fuzzy ...