5964 search results - page 154 / 1193 » A theory of speculative computation |
193
click to vote
BIRTHDAY
2000
Springer
15 years 11 months ago
2000
Springer
A number of prioritized variants of Reiter’s default logic have been described in the literature. In this paper, we introduce two natural principles for preference handling and s...
146
click to vote
CHI
2003
ACM
16 years 7 months ago
2003
ACM
Historically, the dominant paradigm in HCI, when it appeared as a field in early 80s, was information processing ("cognitivist") psychology. In recent decades, as the fo...
171
Voted
CIE
2005
Springer
16 years 15 days ago
2005
Springer
geometrical computation: Turing-computing ability and undecidability J´erˆome Durand-Lose Laboratoire d’Informatique Fondamentale d’Orl´eans, Universit´e d’Orl´eans, B.P...
149
click to vote
ICALP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We introduce the notion of regular cost functions: a quantitative extension to the standard theory of regular languages. We provide equivalent characterisations of this n...
209
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. We lay the foundations of a first-order correspondence theory for coalgebraic logics that makes the transition structure explicit in the first-order modelling. In parti...