5122 search results - page 141 / 1025 » Comparing Consequence Relations |
157
Voted
NMR
2004
Springer
15 years 8 months ago
2004
Springer
A logic is defined which in addition to propositional calculus contains several types of probabilistic operators which are applied only to propositional formulas. For every s ∈...
100
Voted
FDL
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper, we compare the underlying models of computation of the system description languages SystemC and Esterel. Although these languages have a rather different origin, we...
116
click to vote
CMMR
2007
Springer
15 years 9 months ago
2007
Springer
This paper discusses musical form from a cognitive and a computational viewpoint. While several time-windows exist in the brain, we here put emphasis on the superchunks of up to mo...
121
Voted
RTCSA
2006
IEEE
15 years 9 months ago
2006
IEEE
The real-time implementation of a controller typically introduces artefacts like delay and jitters that have not been considered at the design stage. As a consequence, the system ...
106
click to vote
ITCC
2003
IEEE
15 years 8 months ago
2003
IEEE
New guidelines for ICT curricula have recently appeared, both in Europe and the United States. New European guidelines are sponsored by the European Commission and are a consequen...