282 search results - page 12 / 57 » Quantitative Languages |
QEST
2009
IEEE
14 years 4 months ago
2009
IEEE
—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...
QEST
2007
IEEE
14 years 4 months ago
2007
IEEE
—MOQA is a language specifically designed to facilitate average-case execution time analysis. It incorporates some innovative techniques to make this possible. Following on from...
PLSA
1994
14 years 1 months ago
1994
Computer language paradigms offer linguistic abstractions and proof theories for expressing program implementations. Similarly, system architectures offer the hardware abstractions...
EACL
2006
ACL Anthology
13 years 11 months ago
2006
ACL Anthology
We present and compare two approaches to the task of summarizing evaluative arguments. The first is a sentence extractionbased approach while the second is a language generation-b...
DALT
2007
Springer
14 years 4 months ago
2007
Springer
Agent-based modelling approaches are usually based on logical languages, whereas in many areas dynamical system models based on differential equations are used. This paper shows ho...