5754 search results - page 272 / 1151 » Multi-class Model M |
169
click to vote
ICMCS
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper we present a parametric model for facial animation and a method for adapting it to a specific person. Every facial expression can be described as a contraction or r...
283
click to vote
ARTS
1999
Springer
15 years 11 months ago
1999
Springer
Model checking can tell us whether a system is correct; probabilistic model checking can also tell us whether a system is timely and reliable. Moreover, probabilistic model checkin...
201
click to vote
RE
1999
Springer
15 years 11 months ago
1999
Springer
This paper describes a feasibility study into the use of a formal requirements modeling method (SCR) to assist with Independent Verification and Validation of change requests for ...
181
click to vote
PPOPP
1993
ACM
15 years 10 months ago
1993
ACM
A vast body of theoretical research has focused either on overly simplistic models of parallel computation, notably the PRAM, or overly specific models that have few representati...
152
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
The current state of the art in agent technology sees that several implementations of agent frameworks exist. However, there is little agreement on the terms and concepts used to ...