3690 search results - page 37 / 738 » Computation with classical sequents |
CAISE
2006
Springer
14 years 2 months ago
2006
Springer
The war metaphor seems to establish itself as soon as we deal with computer viruses. The concept of war is a central topic of political philosophy. The relationships between "...
ENTCS
2006
13 years 10 months ago
2006
Computability theory, which investigates computable functions and computable sets, lies at the foundation of computer science. Its classical presentations usually involve a fair a...
PUC
2002
13 years 10 months ago
2002
Abstract. We present the "Smart Playing Cards" application, a ubiquitous computing game that augments a classical card game with information
TCS
2011
13 years 5 months ago
2011
We propose a formal definition of Wolfram’s notion of computational process based on iterated transducers together with a weak observer, a model of computation that captures so...
AMC
2006
13 years 10 months ago
2006
In this paper, we import interval method to the iteration for computing Moore-Penrose inverse of the full row (or column) rank matrix. Through modifying the classical Newton itera...