8699 search results - page 166 / 1740 » Elements of the Theory of Computation |
ESOP
2008
Springer
15 years 1 months ago
2008
Springer
We present a denotational model of impredicative Hoare Type Theory, a very expressive dependent type theory in which one can and reason about mutable abstract data types. The model...
AIS
2005
Springer
14 years 11 months ago
2005
Springer
Recent proposals for computer-assisted argumentation have drawn on dialectical models of argumentation. When used to assist public policy planning, such systems also raise questio...
67
Voted
GRAPHITE
2003
ACM
15 years 4 months ago
2003
ACM
Much literature has argued that interactive engagement in a computer medium is best demonstrated by games. With this in mind, this paper suggests certain techniques that virtual e...
BIRTHDAY
2006
Springer
15 years 3 months ago
2006
Springer
Following M. Krachounov ([5]), max and min operations with fuzzy sets are considered instead of Lukasiewicz ones ([6], [7], [8], [9]). Her the domain F of a probability m : F [0, ...
104
Voted
EURONGI
2006
Springer
15 years 3 months ago
2006
Springer
This is a framework for resource allocation in a heterogeneous system composed of various access networks, for instance Third Generation wireless networks (3G) and WLAN, in the pre...