3820 search results - page 316 / 764 » Bounded Model Debugging |
138
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
138
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Hidden Markov Models (HMMs) are one of the most fundamental and widely used statistical tools for modeling discrete time series. In general, learning HMMs from data is computation...
133
click to vote
EOR
2010
15 years 4 months ago
2010
We consider the problem of accurately measuring the credit risk of a portfolio consisting of loans, bonds and other financial assets. One particular performance measure of interes...
138
click to vote
JAIR
2000
15 years 4 months ago
2000
A major problem in machine learning is that of inductive bias: how to choose a learner's hypothesis space so that it is large enough to contain a solution to the problem bein...
159
click to vote
TCAD
1998
15 years 3 months ago
1998
—This paper addresses, from a probabilistic point of view, the issue of switching activity estimation in combinational circuits under the zero-delay model. As the main theoretica...