2858 search results - page 85 / 572 » Logics with Aggregate Operators |
SIGMOD
2010
ACM
14 years 1 months ago
2010
ACM
To take full advantage of the parallelism offered by a multicore machine, one must write parallel code. Writing parallel code is difficult. Even when one writes correct code, the...
ENVSOFT
2008
13 years 9 months ago
2008
1 The netCDF Operator (NCO) software facilitates manipulation and analysis of gridded2 geoscience data stored in the self-describing netCDF format. NCO is optimized to efficiently3...
MLQ
2000
13 years 8 months ago
2000
The connection between similarity logic and the theory of closure operators is examined. Indeed one proves that the consequence relation defined in [14] can be obtained by composin...
CORR
2007
Springer
13 years 8 months ago
2007
Springer
When a physicist performs a quantic measurement, new information about the system at hand is gathered. This presentation studies the logical properties of how this new information...
ECAI
2004
Springer
14 years 2 months ago
2004
Springer
In this work we further investigate the relation, first found by Truszczy´nski, between modal logic S4F and Default Logic (DL), analyzing some interesting properties and showing ...