319 search results - page 28 / 64 » Dynamically inferring temporal properties |
IEEEARES
2006
IEEE
14 years 4 months ago
2006
IEEE
A hybrid Bayesian Network (BN) is one that incorporates both discrete and continuous nodes. In our extensive applications of BNs for system dependability assessment the models are...
JMLR
2010
13 years 5 months ago
2010
Virtually all methods of learning dynamic systems from data start from the same basic assumption: the learning algorithm will be given a sequence of data generated from the dynami...
AVI
2010
13 years 12 months ago
2010
Information visualization is a powerful method for understanding and working with data. However, we still have an incomplete understanding of how people use visualization to think...
UAI
2004
13 years 11 months ago
2004
We propose dynamical systems trees (DSTs) as a flexible model for describing multiple processes that interact via a hierarchy of aggregating processes. DSTs extend nonlinear dynam...
ICSE
1999
IEEE-ACM
14 years 2 months ago
1999
IEEE-ACM
ÐExplicitly stated program invariants can help programmers by identifying program properties that must be preserved when modifying code. In practice, however, these invariants are...