Sciweavers

1312 search results - page 48 / 263
» Quantitative Comparison of Languages
Sort
View
FSTTCS
2010
Springer
13 years 8 months ago
Two Size Measures for Timed Languages
Quantitative properties of timed regular languages, such as information content (growth rate, entropy) are explored. The approach suggested by the same authors is extended to lang...
Eugene Asarin, Aldric Degorre
FMCO
2004
Springer
112views Formal Methods» more  FMCO 2004»
14 years 3 months ago
Probabilistic Linda-Based Coordination Languages
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
QEST
2009
IEEE
14 years 4 months ago
Language-Level Symmetry Reduction for Probabilistic Model Checking
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...
Alastair F. Donaldson, Alice Miller, David Parker
EMNLP
2009
13 years 7 months ago
A Comparison of Windowless and Window-Based Computational Association Measures as Predictors of Syntagmatic Human Associations
Distance-based (windowless) word assocation measures have only very recently appeared in the NLP literature and their performance compared to existing windowed or frequency-based ...
Justin Washtell, Katja Markert
NAACL
2007
13 years 11 months ago
Text Comparison Using Machine-Generated Nuggets
This paper describes a novel text comparison environment that facilities text comparison administered through assessing and aggregating information nuggets automatically created a...
Liang Zhou