Sciweavers

6829 search results - page 24 / 1366
» Quantitative Generalizations of Languages
Sort
View
123
Voted
LICS
2005
IEEE
15 years 6 months ago
Mean-Payoff Parity Games
Games played on graphs may have qualitative objectives, such as the satisfaction of an ω-regular property, or quantitative objectives, such as the optimization of a realvalued re...
Krishnendu Chatterjee, Thomas A. Henzinger, Marcin...
100
Voted
CHARME
2005
Springer
94views Hardware» more  CHARME 2005»
15 years 6 months ago
Verifying Quantitative Properties Using Bound Functions
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...
Arindam Chakrabarti, Krishnendu Chatterjee, Thomas...
98
Voted
GFKL
2005
Springer
167views Data Mining» more  GFKL 2005»
15 years 6 months ago
Quantitative Text Typology: The Impact of Sentence Length
Abstract. This study focuses on the contribution of sentence length for a quantitative text typology. Therefore, 333 Slovenian texts are analyzed with regard to their sentence leng...
Emmerich Kelih, Peter Grzybek, Gordana Antic, Erns...
EMSOFT
2008
Springer
15 years 2 months ago
Quantitative testing
We investigate the problem of specification based testing with dense sets of inputs and outputs, in particular with imprecision as they might occur due to errors in measurements, ...
Henrik C. Bohnenkamp, Mariëlle Stoelinga
BMCBI
2006
167views more  BMCBI 2006»
15 years 23 days ago
The bovine QTL viewer: a web accessible database of bovine Quantitative Trait Loci
Background: Many important agricultural traits such as weight gain, milk fat content and intramuscular fat (marbling) in cattle are quantitative traits. Most of the information on...
Pavana Polineni, Prathyusha Aragonda, Suresh R. Xa...