3005 search results - page 40 / 601 » Logical Information Systems: from Taxonomies to Logics |
TCS
2008
14 years 9 months ago
2008
Temporal logics and model-checking have proved successful to respectively express biological properties of complex biochemical systems, and automatically verify their satisfaction...
98
Voted
DAWAK
2000
Springer
15 years 1 months ago
2000
Springer
In the context of multidimensional databases implemented on relational DBMSs through star schemes, the most effective technique to enhance performances consists of materializing re...
CADE
1999
Springer
15 years 1 months ago
1999
Springer
CutRes is a system which takes as input an LK-proof with arbitrary cuts and skolemized end-sequent and gives as output an LKproof with atomic cuts only. The elimination of cuts is ...
87
Voted
ICALP
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. State-based systems and modal logics for reasoning about them often heterogeneously combine a number of features such as non-determinism and probabilities. Here, we show ...
ERCIMDL
2010
Springer
14 years 10 months ago
2010
Springer
Preserving digital information over the long term becomes increasing important for large number of institutions. The required expertise and limited tool support discourage especial...