Sciweavers

6042 search results - page 98 / 1209
» Repeated Observation Models
Sort
View
134
Voted
UML
2005
Springer
15 years 9 months ago
Simplifying Transformations of OCL Constraints
Abstract. With the advent of Model Driven Architecture, OCL constraints are no longer necessarily written by humans. They can be part of models that emerge from a chain of transfor...
Martin Giese, Daniel Larsson
137
Voted
WSC
2007
15 years 6 months ago
Efficient suboptimal rare-event simulation
Much of the rare-event simulation literature is concerned with the development of asymptotically optimal algorithms. Because of the difficulties associated with applying these id...
Xiaowei Zhang, Jose Blanchet, Peter W. Glynn
130
Voted
SYRCODIS
2008
95views Database» more  SYRCODIS 2008»
15 years 5 months ago
The Framework for Study Of Caching Algorithm Efficiency
In this paper we offer several models of reference sequences (traces of references) using Markov chains for testing of the replacement policies in caching systems. These models en...
Michael V. Grankov, Ngo Thanh Hung, Mosab Bassam Y...
ESANN
2006
15 years 5 months ago
Stochastic Processes for Canonical Correlation Analysis
We consider two stochastic process methods for performing canonical correlation analysis (CCA). The first uses a Gaussian Process formulation of regression in which we use the cur...
Colin Fyfe, Gayle Leen
126
Voted
ENTCS
2006
125views more  ENTCS 2006»
15 years 4 months ago
Liveness Checking as Safety Checking for Infinite State Spaces
In previous work we have developed a syntactic reduction of repeated reachability to reachability for finite state systems. This may lead to simpler and more uniform proofs for mo...
Viktor Schuppan, Armin Biere