Sciweavers

6040 search results - page 689 / 1208
» Generating Instance Models from Meta Models
Sort
View
FMICS
2006
Springer
15 years 10 months ago
jmle: A Tool for Executing JML Specifications Via Constraint Programming
Formal specifications are more useful and easier to develop if they are executable. In this work, we describe a system for executing specifications written in the Java Modeling Lan...
Ben Krause, Tim Wahls
WSC
2008
15 years 9 months ago
Simulating point processes by intensity projection
Point processes with stochastic intensities are ubiquitous in many application areas, including finance, insurance, reliability and queuing. They can be simulated from standard Po...
Kay Giesecke, Hossein Kakavand, Mohammad Mousavi
WSC
1998
15 years 8 months ago
Stopping Criterion for a Simulation-Based Optimization Method
We consider a new simulation-based optimization method called the Nested Partitions (NP) method. This method generates a Markov chain and solving the optimization problem is equiv...
Sigurdur Ólafsson, Leyuan Shi
WSC
1997
15 years 8 months ago
A New Variance-Reduction Technique for Regenerative Simulations of Markov Chains
We propose a new estimator for some performance measures obtained from a regenerative simulation of a discrete-time Markov chain. Our new estimator is based on the idea of generat...
James M. Calvin, Marvin K. Nakayama
NAACL
1994
15 years 8 months ago
Information Based Intonation Synthesis
This paper presents a model for generating prosodically appropriate synthesized responses to database queries using Combinatory Categorial Grammar (CCG - cf. [22]), a formalism wh...
Scott Prevost, Mark Steedman