3991 search results - page 354 / 799 » Bounding homogeneous models |
172
Voted
GLOBECOM
2009
IEEE
15 years 10 months ago
2009
IEEE
Dynamic Spectrum Access can enable secondary network users to access unused spectrum, or whitespace, which is found between the transmissions of primary users in a wireless networ...
222
click to vote
ACSD
2007
IEEE
15 years 9 months ago
2007
IEEE
We present an improvement of the SAT-based Unbounded Model Checking (UMC) algorithm. UMC, a symbolic approach introduced in [7], uses propositional formulas in conjunctive normal ...
204
click to vote
CORR
2008
Springer
15 years 7 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...
208
click to vote
CORR
2008
Springer
15 years 7 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...
200
Voted
EOR
2010
15 years 7 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...