3690 search results - page 37 / 738 » Computation with classical sequents |
52
Voted
CAISE
2006
Springer
15 years 1 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
14 years 9 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
14 years 9 months ago
2002
Abstract. We present the "Smart Playing Cards" application, a ubiquitous computing game that augments a classical card game with information
91
Voted
TCS
2011
14 years 4 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
14 years 9 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...