793 search results - page 56 / 159 » Argumentation and standards of proof |
102
Voted
ALS
2003
Springer
15 years 6 months ago
2003
Springer
The central question in this paper is: Who (or what) constructs anticipations? I challenge the (tacit) assumption of Rosen’s standard definition of anticipatory systems according...
CORR
2010
Springer
15 years 26 days ago
2010
Springer
Sigma-Delta modulation is a popular method for analog-to-digital conversion of bandlimited signals that employs coarse quantization coupled with oversampling. The standard mathema...
98
Voted
CORR
2008
Springer
15 years 26 days ago
2008
Springer
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...
103
Voted
DCG
2007
15 years 22 days ago
2007
We extend to topological affine planes the standard theorems of convexity, among them the separation theorem, the anti-exchange theorem, Radon’s, Helly’s, Carath´eodory’s,...
TOOLS
2000
IEEE
15 years 5 months ago
2000
IEEE
— In Java, method implementations are chosen at runtime by late-binding with respect to the runtime class of just the receiver argument. However, in order to simplify many progra...