3110 search results - page 200 / 622 » On the initialization of the DNMF algorithm |
205
click to vote
IPPS
2007
IEEE
16 years 25 days ago
2007
IEEE
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...
160
click to vote
ATVA
2007
Springer
16 years 22 days ago
2007
Springer
In this paper we consider the problem of controller synthesis for timed games under imperfect information. Novel to our approach is the requirements to strategies: they should be b...
162
click to vote
ASIACRYPT
2005
Springer
16 years 2 days ago
2005
Springer
Stream cipher Hiji-Bij-Bij (HBB) was proposed by Sarkar at Indocrypt’03. This cipher uses cellular automata (CA). The algorithm has two modes: a basic mode (B) and a self-synchro...
153
click to vote
IDEAL
2004
Springer
15 years 12 months ago
2004
Springer
A Gaussian mixture model (GMM) estimates a probability density function using the expectation-maximization algorithm. However, it may lead to a poor performance or inconsistency. T...
151
click to vote
WG
2004
Springer
15 years 12 months ago
2004
Springer
We propose a two-phase heuristic for crossing reduction in circular layouts. While the first algorithm uses a greedy policy to build a good initial layout, an adaptation of the si...