6141 search results - page 296 / 1229 » Models and representation of their ownership |
170
click to vote
CA
2002
IEEE
15 years 11 months ago
2002
IEEE
Although computer assistance for traditional animation is gaining a lot of attention during recent years, it still has to cope with many limitations. Part of the current research ...
169
click to vote
CATS
2008
15 years 8 months ago
2008
Lazy clause generation is a hybrid SAT and finite domain propagation solver that tries to combine the advantages of both: succinct modelling using finite domains and powerful nogo...
206
click to vote
IEEEHPCS
2010
15 years 5 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
149
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
We propose a novel affine-invariant modeling of hand shapeappearance images, which offers a compact and descriptive representation of the hand configurations. Our approach combine...
181
click to vote
EMNLP
2009
15 years 4 months ago
2009
The design of practical language applications by means of statistical approaches requires annotated data, which is one of the most critical constraint. This is particularly true f...