Sciweavers

503 search results - page 72 / 101
» Using The Same System For Analyzing And Synthesizing Sentenc...
Sort
View
TOOLS
2008
IEEE
15 years 4 months ago
A Comparison of State-Based Modelling Tools for Model Validation
In model-based testing, one of the biggest decisions taken before modelling is the modelling language and the model analysis tool to be used to model the system under investigation...
Emine G. Aydal, Mark Utting, Jim Woodcock
SIAMCOMP
2002
113views more  SIAMCOMP 2002»
14 years 9 months ago
A Layered Analysis of Consensus
This paper introduces a simple notion of layering as a tool for analyzing well-behaved runs of a given model of distributed computation. Using layering, a model-independent analysi...
Yoram Moses, Sergio Rajsbaum
99
Voted
EMNLP
2009
14 years 7 months ago
Feasibility of Human-in-the-loop Minimum Error Rate Training
Minimum error rate training (MERT) involves choosing parameter values for a machine translation (MT) system that maximize performance on a tuning set as measured by an automatic e...
Omar Zaidan, Chris Callison-Burch
CDC
2010
IEEE
173views Control Systems» more  CDC 2010»
14 years 4 months ago
Corrective consensus: Converging to the exact average
Consensus algorithms provide an elegant distributed way for computing the average of a set of measurements across a sensor network. However, the convergence of the node estimates t...
Yin Chen, Roberto Tron, Andreas Terzis, René...
PLDI
1996
ACM
15 years 1 months ago
Commutativity Analysis: A New Analysis Framework for Parallelizing Compilers
This paper presents a new analysis technique, commutativity analysis, for automatically parallelizing computations that manipulate dynamic, pointer-based data structures. Commutat...
Martin C. Rinard, Pedro C. Diniz