1589 search results - page 268 / 318 » Constraints with Variables' Annotations |
PKDD
2009
Springer
14 years 3 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...
DATE
2008
IEEE
14 years 3 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...
ICPR
2008
IEEE
14 years 3 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...
GLOBECOM
2007
IEEE
14 years 3 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...
ICC
2007
IEEE
14 years 3 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...