325 search results - page 37 / 65 » Structured Reachability Analysis for Markov Decision Process... |
159
click to vote
KDD
2009
ACM
16 years 4 months ago
2009
ACM
Time series prediction is an important issue in a wide range of areas. There are various real world processes whose states vary continuously, and those processes may have influenc...
138
click to vote
ICCAD
2006
IEEE
16 years 27 days ago
2006
IEEE
Abstract— Design variability due to within-die and die-todie process variations has the potential to significantly reduce the maximum operating frequency and the effective yield...
137
click to vote
SBMF
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...
137
click to vote
JSAC
2011
14 years 11 months ago
2011
Abstract—The problem of cognitive access of channels of primary users by a secondary user is considered. The transmissions of primary users are modeled as independent continuous-...
163
click to vote
ICIP
2004
IEEE
16 years 5 months ago
2004
IEEE
The work presents the first effort to automatically annotate the semantic meanings of temporal video patterns obtained through unsupervised discovery processes. This problem is in...