2661 search results - page 298 / 533 » Model Checking Performability Properties |
111
Voted
OSDI
2004
ACM
16 years 1 months ago
2004
ACM
This paper studies the use of statistical induction techniques as a basis for automated performance diagnosis and performance management. The goal of the work is to develop and ev...
119
click to vote
APPROX
2008
Springer
15 years 2 months ago
2008
Springer
In order to perform an average-case analysis for specific input distributions one needs to derive and understand properties of a 'typical' input instance. In the case of...
123
Voted
BMCBI
2007
15 years 25 days ago
2007
Background: Current approaches to parameter estimation are often inappropriate or inconvenient for the modelling of complex biological systems. For systems described by nonlinear ...
100
Voted
NIPS
2007
15 years 2 months ago
2007
Point process encoding models provide powerful statistical methods for understanding the responses of neurons to sensory stimuli. Although these models have been successfully appl...
113
Voted
ICLP
2001
Springer
15 years 5 months ago
2001
Springer
Tabling is an implementation technique that improves the declarativeness and expressiveness of Prolog by reusing solutions to goals. Quite a few interesting applications of tabling...