1901 search results - page 16 / 381 » Predicting Program Properties from |
109
click to vote
IJAR
2008
14 years 10 months ago
2008
A model is defined that predicts an agent's ascriptions of causality (and related notions of facilitation and justification) between two events in a chain, based on backgroun...
132
click to vote
3DIM
2011
IEEE
13 years 10 months ago
2011
IEEE
—Predictive modeling aims at constructing models that predict a target property of an object based on its descriptions. In digital human modeling, it can be applied to predicting...
ETFA
2008
IEEE
15 years 5 months ago
2008
IEEE
The dater equalities constitute a well-known tool which allows the description of Timed Event Graphs in the field of (max, +) algebra. This paper gives an equivalent model in the...
103
click to vote
CIBCB
2007
IEEE
15 years 2 months ago
2007
IEEE
The accurate prediction of enzyme catalytic sites remains an open problem in bioinformatics. Recently, several structure-based methods have become popular; however, few robust seq...
SIGSOFT
2006
ACM
15 years 11 months ago
2006
ACM
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...