1350 search results - page 79 / 270 » Generalized Committed Choice |
128
click to vote
WSC
2008
15 years 6 months ago
2008
Suppose one wishes to compare two closely related systems via stochastic simulation. Common random numbers (CRN) involves using the same streams of uniform random variates as inpu...
131
Voted
FMCAD
2008
Springer
15 years 6 months ago
2008
Springer
We present a general approach for verifying safety properties of Lustre programs automatically. Key aspects of the approach are the choice of an expressive first-order logic in wh...
121
click to vote
FPLAY
2008
15 years 6 months ago
2008
This paper discusses social exclusion by analyzing the avatar creation interface of the massively multiplayer online roleplaying game (MMORPG) Lineage II. We use a previously deve...
130
click to vote
ACL
2004
15 years 5 months ago
2004
We describe a method for enriching the output of a parser with information available in a corpus. The method is based on graph rewriting using memorybased learning, applied to dep...
109
click to vote
AMC
2010
15 years 4 months ago
2010
The paper deals with the numerical solution of inverse Sturm-Liouville problems with unknown potential symmetric over the interval [0, ]. The proposed method is based on the use o...