4962 search results - page 550 / 993 » Stochastic Model Checking |
165
click to vote
CMG
2003
15 years 6 months ago
2003
The queueing Petri net (QPN) paradigm provides a number of benefits over conventional modeling paradigms such as queueing networks and generalized stochastic Petri nets. Using qu...
152
click to vote
WOSP
2005
ACM
15 years 10 months ago
2005
ACM
Evaluation of non-functional properties of a design (such as performance, dependability, security, etc.) can be enabled by design annotations specific to the property to be evalua...
143
click to vote
FGR
2004
IEEE
15 years 8 months ago
2004
IEEE
Multidimensional Morphable Model is a powerful model to analyze and synthesize human faces. However, the stochastic gradient descent algorithm adopted to match the Morphable Model...
150
click to vote
EMNLP
2009
15 years 2 months ago
2009
We present a new phrase-based conditional exponential family translation model for statistical machine translation. The model operates on a feature representation in which sentenc...
104
click to vote
FS
2006
15 years 4 months ago
2006
Abstract. Currently, there are two market models for valuation and risk management of interest rate derivatives, the LIBOR and swap market models. We introduce arbitrage-free const...