2553 search results - page 256 / 511 » Modeling Trees with Hypertextures |
149
click to vote
CAV
2007
Springer
15 years 9 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
170
Voted
ICML
2005
IEEE
16 years 6 months ago
2005
IEEE
We present a kernel-based algorithm for hierarchical text classification where the documents are allowed to belong to more than one category at a time. The classification model is...
147
click to vote
ICPR
2010
IEEE
16 years 18 days ago
2010
IEEE
GMM based algorithms have become the de facto standard for background subtraction in video sequences, mainly because of their ability to track multiple background distributions, w...
128
click to vote
ICIP
2006
IEEE
15 years 11 months ago
2006
IEEE
We propose in this paper a new formulation of the equation of the optical flow enabling to compute global and local motions of multi-structure objects (flowers and petals, trees...
148
Voted
ICSM
2006
IEEE
15 years 11 months ago
2006
IEEE
Software design patterns are documented best practice solutions that can be applied to reoccurring problems. Although well documented, there are often opportunities to apply them ...