2204 search results - page 341 / 441 » Combining Multiple Clustering Systems |
111
click to vote
VMCAI
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
91
Voted
SIGGRAPH
2010
ACM
15 years 2 months ago
2010
ACM
This paper describes a method for animating the appearance of clothing, such as pants or a shirt, that fits closely to a figure’s body. Compared to flowing cloth, such as loo...
103
click to vote
FCT
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. Message sequence charts are an attractive formalism for specifying communicating systems. One way to test such a system is to substitute a component by a test process and...
MA
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. Systems comprised of multiple interacting mobile agents provide an alternate network computing paradigm that integrates remote data access, message exchange and migration...
CVPR
2004
IEEE
15 years 12 months ago
2004
IEEE
Object classification in far-field video sequences is a challenging problem because of low resolution imagery and projective image distortion. Most existing far-field classificati...