7988 search results - page 87 / 1598 » A Useful Undecidable Theory |
FROCOS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
AI
1998
Springer
13 years 8 months ago
1998
Springer
We present a framework for recovery of nonmonotonic theories, i.e. of theories that are interpreted using a nonmonotonic semantics. Recovery of a nonmonotonic theory is needed if ...
PG
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper describes a method for simulating and visualizing dyeing based on weave patterns and the physical parameters of the threads and the dye. We apply Fick’s second law wi...
BVAI
2007
Springer
14 years 3 months ago
2007
Springer
We tested the efficiency of category learning when participants are provided only with pairs of objects, known to belong either to the same class (Positive Equivalence Constraints ...
IPTPS
2005
Springer
14 years 2 months ago
2005
Springer
Most earlier studies of DHTs under churn have either depended on simulations as the primary investigation tool, or on establishing bounds for DHTs to function. In this paper, we pr...