1901 search results - page 15 / 381 » Predicting Program Properties from |
BMCBI
2005
14 years 10 months ago
2005
Background: The majority of residues in protein structures are involved in the formation of helices and -strands. These distinctive secondary structure patterns can be used to rep...
121
click to vote
POPL
2011
ACM
14 years 1 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
123
click to vote
RV
2010
Springer
14 years 8 months ago
2010
Springer
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...
ICIAP
2001
Springer
15 years 10 months ago
2001
Springer
An algorithm for automatic modelling of wavelet coefficients from context properties is presented. The algorithm is used to implement an image coder, in order to demonstrate its i...
ISIPTA
2005
IEEE
15 years 4 months ago
2005
IEEE
A new model for learning from multinomial data has recently been developed, giving predictive inferences in the form of lower and upper probabilities for a future observation. Apa...