2558 search results - page 212 / 512 » Model Composition Contracts |
153
click to vote
IEE
2008
15 years 4 months ago
2008
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
137
click to vote
ICMCS
2000
IEEE
15 years 9 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...
129
click to vote
QUATIC
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper describes an initiative to improve software acquisition process in Brazil. This initiative was conducted in the context of the MPS.BR Program, a nationwide effort to de...
120
Voted
FS
2006
15 years 4 months ago
2006
We introduce a general approach to model a joint market of stock price and a term structure of variance swaps in an HJM-type framework. In such a model, strongly volatility-depend...
131
click to vote
CLASSIFICATION
2007
15 years 4 months ago
2007
Normal mixture models are widely used for statistical modeling of data, including cluster analysis. However maximum likelihood estimation (MLE) for normal mixtures using the EM al...