780 search results - page 76 / 156 » Compositional Quantitative Reasoning |
101
click to vote
KR
2004
Springer
15 years 6 months ago
2004
Springer
The main contribution of this paper is the definition of the preference description language ¡¢ . This language allows us to combine qualitative and quantitative, penalty bas...
108
click to vote
FSTTCS
2006
Springer
15 years 4 months ago
2006
Springer
In recent papers, the partial order reduction approach has been adapted to reason about the probabilities for temporal properties in concurrent systems with probabilistic behaviour...
80
Voted
HOTDEP
2008
15 years 3 months ago
2008
Manageability directly influences a system's reliability, availability, security, and safety, thus being a key ingredient of system dependability. Alas, we do not have today ...
95
Voted
EACL
2006
ACL Anthology
15 years 2 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...
105
Voted
ICCV
2007
IEEE
16 years 2 months ago
2007
IEEE
An interactive human segmentation approach is described. Given regions of interest provided by users, the approach iteratively estimates segmentation via a generalized EM algorith...