672 search results - page 128 / 135 » On the Expressive Power of the Loop Language |
119
click to vote
KR
2010
Springer
15 years 4 months ago
2010
Springer
We propose a new family of probabilistic description logics (DLs) that, in contrast to most existing approaches, are derived in a principled way from Halpern’s probabilistic fi...
112
click to vote
ECOOPW
1999
Springer
15 years 4 months ago
1999
Springer
Existing authorization mechanisms fail to provide powerful and robust tools for handling security at the scale necessary for today's Internet. These mechanisms are coming unde...
116
click to vote
JMLR
2008
14 years 11 months ago
2008
The use of computational models is increasingly expected to play an important role in predicting the behaviour of biological systems. Models are being sought at different scales o...
118
click to vote
ASWSD
2004
Springer
15 years 5 months ago
2004
Springer
The paper first presents the integration options of what we call the Timing Description Language (TDL) with MathWorks' Simulink tools. Based on the paradigm of logical executi...
BMCBI
2006
14 years 11 months ago
2006
Background: Raw data normalization is a critical step in microarray data analysis because it directly affects data interpretation. Most of the normalization methods currently used...