1445 search results - page 48 / 289 » Properties of state spaces and their applications |
182
click to vote
WETICE
2005
IEEE
15 years 11 months ago
2005
IEEE
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
145
click to vote
APN
1993
Springer
15 years 10 months ago
1993
Springer
This paper introduces an efficient numerical algorithm for transient analysis of deterministic and stochastic Petri nets (DSPNs) and other discrete-event stochastic systems with ...
157
click to vote
JMLR
2006
15 years 6 months ago
2006
We propose a novel approach to optimize Partially Observable Markov Decisions Processes (POMDPs) defined on continuous spaces. To date, most algorithms for model-based POMDPs are ...
156
click to vote
ISCA
1997
IEEE
15 years 10 months ago
1997
IEEE
As processor architectures have increased their reliance on speculative execution to improve performance, the importance of accurate prediction of what to execute speculatively ha...
140
click to vote
INFORMATICALT
2008
15 years 6 months ago
2008
Multidimensional scaling is a technique for exploratory analysis of multidimensional data widely usable in different applications. By means of this technique the image points in a ...