861 search results - page 57 / 173 » Predicting change impact from logical models |
190
click to vote
CORR
2012
Springer
14 years 1 months ago
2012
Springer
Models of bags of words typically assume topic mixing so that the words in a single bag come from a limited number of topics. We show here that many sets of bag of words exhibit a...
214
click to vote
DSRT
2009
IEEE
15 years 4 months ago
2009
IEEE
Predicting latency between nodes on the internet can have a significant impact on the performance of many services that use latency distances among nodes as a decision making input...
314
click to vote
KDD
2008
ACM
16 years 6 months ago
2008
ACM
Many time series prediction methods have focused on single step or short term prediction problems due to the inherent difficulty in controlling the propagation of errors from one ...
172
click to vote
REX
1991
15 years 9 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
161
click to vote
ECSQARU
2005
Springer
15 years 11 months ago
2005
Springer
Semi-revision is a model of belief change that differs from revision in that a new formula is not always accepted. Later, Fuhrmann defined multiple semi-revision by replacing a n...