1589 search results - page 268 / 318 » Constraints with Variables' Annotations |
143
click to vote
PKDD
2009
Springer
15 years 10 months ago
2009
Springer
We consider causally sufficient acyclic causal models in which the relationship among the variables is nonlinear while disturbances have linear effects, and show that three princi...
126
click to vote
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
139
click to vote
ICPR
2008
IEEE
15 years 10 months ago
2008
IEEE
Most of vision-based algorithms for motion and localization estimation requires matching some interest points in a pair of images. After building feature correspondence, it is pos...
134
Voted
GLOBECOM
2007
IEEE
15 years 10 months ago
2007
IEEE
— NetFlow is a solution to make an in-depth traffic analysis possible in IP networks. Most of the telecommunication operators have already deployed it, or intend to do so, for n...
115
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— In this paper, a family of low-density parity-check (LDPC) degree distributions, whose decoding threshold on the binary erasure channel (BEC) admits a simple closed form, is pr...