1065 search results - page 74 / 213 » Towards a Meaning of LIFE |
DSVIS
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
ICLP
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. In recent work, a general framework for specifying program correspondences under the answer-set semantics has been defined. The framework allows to define different not...
ISMIS
2005
Springer
15 years 4 months ago
2005
Springer
The notion of rules is very popular and appears in different flavors, for example as association rules in data mining or as functional (or multivalued) dependencies in databases. ...
OTM
2005
Springer
15 years 4 months ago
2005
Springer
In our current connected wireless world, mobile devices are enabled to use various networking facilities. Although this enables mobile users to communicate any time and any place, ...
113
click to vote
MKM
2004
Springer
15 years 4 months ago
2004
Springer
As the amount of online formal mathematical content grows, for example through active efforts such as the Mathweb [21], MOWGLI [4], Formal Digital Library, or FDL [1], and others, ...