2328 search results - page 409 / 466 » Component Frameworks - A Case Study |
141
click to vote
ENTCS
2008
15 years 4 months ago
2008
ion in PRISM1 Mark Kattenbelt Marta Kwiatkowska Gethin Norman David Parker Oxford University Computing Laboratory, Oxford, UK Modelling and verification of systems such as communi...
131
click to vote
BIB
2006
15 years 4 months ago
2006
This article is a critical review of computational techniques used to model, analyse and simulate signalling networks. We propose a conceptual framework, and discuss the role of s...
126
Voted
CSDA
2006
15 years 4 months ago
2006
This article deals with the compact representation of incomplete probabilistic knowledge which can be encountered in risk evaluation problems, for instance in environmental studie...
129
click to vote
CSDA
2007
15 years 4 months ago
2007
Ridge regression is a well established method to shrink regression parameters towards zero, thereby securing existence of estimates. The present paper investigates several approac...
141
click to vote
ML
2008
ACM
15 years 4 months ago
2008
ACM
Abstract. We revisit an application developed originally using Inductive Logic Programming (ILP) by replacing the underlying Logic Program (LP) description with Stochastic Logic Pr...