7129 search results - page 359 / 1426 » Approximation Algorithms for Treewidth |
123
click to vote
JSC
2010
15 years 3 months ago
2010
In this paper we deal with the verification of safety properties of infinite-state systems modeled by term-rewriting systems. An over-approximation of the set of reachable terms...
151
click to vote
IPMI
2007
Springer
16 years 5 months ago
2007
Springer
Abstract. We describe a new approach for estimating the posterior probability of tissue labels. Conventional likelihood models are combined with a curve length prior on boundaries,...
127
click to vote
ICASSP
2009
IEEE
15 years 11 months ago
2009
IEEE
Recently, we have presented a transfer-function generalized sidelobe canceler (TF-GSC) beamformer in the short time Fourier transform domain, which relies on a convolutive transfe...
140
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
We propose a crossover operator that works with genetic programming trees and is approximately geometric crossover in the semantic space. By defining semantic as program’s eval...
140
click to vote
ACSC
2006
IEEE
15 years 11 months ago
2006
IEEE
Publish/subscribe systems filter published documents and inform their subscribers about documents matching their interests. Recent systems have focussed on documents or messages ...