197 search results - page 16 / 40 » Complexity of Max-SAT using stochastic algorithms |
136
Voted
INFORMS
1998
15 years 1 months ago
1998
High-level formalisms such as stochastic Petri nets can be used to model complex systems. Analysis of logical and numerical properties of these models often requires the generatio...
123
click to vote
ASMTA
2008
Springer
15 years 3 months ago
2008
Springer
The solution of continuous and discrete-time Markovian models is still challenging mainly when we model large complex systems, for example, to obtain performance indexes of paralle...
127
Voted
CVPR
2008
IEEE
16 years 3 months ago
2008
IEEE
In this paper, we propose a particle filtering approach for the problem of registering two point sets that differ by a rigid body transformation. Typically, registration algorithm...
126
click to vote
ICPR
2008
IEEE
15 years 8 months ago
2008
IEEE
To automatically register foreground target in cluttered images, we present a novel hierarchical graph representation and a stochastic computing strategy in Bayesian framework. Th...
120
click to vote
PE
2006
Springer
15 years 1 months ago
2006
Springer
This paper presents an efficient solution technique for the steady-state analysis of the second-order Stochastic Fluid Model underlying a second-order Fluid Stochastic Petri Net (...