10891 search results - page 155 / 2179 » Combining Model Reductions |
104
click to vote
CGF
2010
15 years 3 months ago
2010
While animation using barycentric coordinates or other automatic weight assignment methods has become a popular method for shape deformation, the global nature of the weights limi...
118
click to vote
STTT
2010
15 years 1 months ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
141
Voted
STTT
2010
14 years 10 months ago
2010
Abstract. Partial order reduction limits the state explosion problem that arises in model checking by limiting the exploration of redundant interleavings. A state space search algo...
107
click to vote
VLSID
2006
IEEE
16 years 3 months ago
2006
IEEE
In this paper a new technique for partial product reduction based on the use of look-up tables for efficient processing is presented. We describe how to construct counter devices ...
141
click to vote
ROMAN
2007
IEEE
15 years 9 months ago
2007
IEEE
— In this work, we perform an extensive statistical evaluation for learning and recognition of object manipulation actions. We concentrate on single arm/hand actions but study th...