1983 search results - page 102 / 397 » Competitive graph searches |
130
click to vote
APN
2008
Springer
15 years 5 months ago
2008
Springer
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
124
click to vote
CVPR
2011
IEEE
14 years 11 months ago
2011
IEEE
We present a novel framework for tree-structure embedded density estimation and its fast approximation for mode seeking. The proposed method could find diverse applications in co...
119
click to vote
PUK
2000
15 years 4 months ago
2000
In this paper we discuss and describe preliminary results of integrating two strands of planning research - that of using plan graphs to speed up planning, and that of using object...
116
click to vote
PKDD
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. This article presents a method for training Dynamic Factor Graphs (DFG) with continuous latent state variables. A DFG includes factors modeling joint probabilities betwee...
118
click to vote
ICCAD
1999
IEEE
15 years 7 months ago
1999
IEEE
Algorithmic logic synthesis is usually carried out in two stages, the independent stage where logic minimization is performed on the Boolean equations with no regard to physical p...