6155 search results - page 337 / 1231 » A language for multiple models of computation |
222
click to vote
SIGGRAPH
1992
ACM
15 years 10 months ago
1992
ACM
This paper discusses a new, symbolic approach to geometric modeling called generative modeling. The approach allows specification, rendering, and analysis of a wide variety of sha...
174
click to vote
ECCV
2006
Springer
16 years 8 months ago
2006
Springer
Gait analyses have recently gained attention as methods of identification of individuals at a distance from a camera. However, appearance changes due to view direction changes caus...
180
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
We introduce a new class of probabilistic latent variable model called the Implicit Mixture of Conditional Restricted Boltzmann Machines (imCRBM) for use in human pose tracking. K...
180
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
Within aspect-oriented programming, the quality of aspect code depends on the readability and expressiveness of pointcut languages. Readability is increased by using specialized, ...
174
click to vote
SPIN
1999
Springer
15 years 11 months ago
1999
Springer
Model checking is traditionally applied to computer system design. It has proven to be a valuable technique. However, it requires detailed specifications of systems and requirement...