1350 search results - page 96 / 270 » Reasoning about Staged Computation |
129
click to vote
FSTTCS
2009
Springer
15 years 12 months ago
2009
Springer
We suggest that extending Muller games with preference ordering for players is a natural way to reason about unbounded duration games. In this context, we look at the standard solu...
129
click to vote
PODC
2006
ACM
15 years 11 months ago
2006
ACM
We study the implication that various timeliness and failure detector assumptions have on the performance of consensus algorithms that exploit them. We present a general framework...
139
click to vote
ICS
1999
Tsinghua U.
15 years 9 months ago
1999
Tsinghua U.
This paper presents a mathematical framework to exploit the semantic properties of matrix operations in loop-based numerical codes. The heart of this framework is an algebraic lan...
149
click to vote
CLEF
2010
Springer
15 years 6 months ago
2010
Springer
This report explains our plagiarism detection method using fuzzy semantic-based string similarity approach. The algorithm was developed through four main stages. First is pre-proce...
ACL
2010
15 years 3 months ago
2010
English noun/verb (N/V) pairs (contract, cement) have undergone complex patterns of change between 3 stress patterns for several centuries. We describe a longitudinal dataset of N...