5084 search results - page 223 / 1017 » Proving Possibility Properties |
228
click to vote
ITP
2010
15 years 8 months ago
2010
Lebesgue integration is a fundamental concept in many mathematical theories, such as real analysis, probability and information theory. Reported higher-order-logic formalizations o...
139
click to vote
SODA
2008
ACM
15 years 8 months ago
2008
ACM
DNA self-assembly has emerged as a rich and promising primitive for nano-technology. Experimental and analytical evidence indicates that such systems are prone to errors, and acco...
176
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
We introduce a game setting called a joint process, where the history of actions determine the state, and the state and agent properties determine the payoff. This setting is a sp...
176
click to vote
AAECC
2007
Springer
15 years 6 months ago
2007
Springer
We enhance the dependency pair method in order to prove termination using recursive structure analysis in simply-typed term rewriting systems, which is one of the computational mod...
176
click to vote
ALGORITHMICA
2007
15 years 6 months ago
2007
A 0-1 matrix has the Consecutive Ones Property (C1P) if there is a permutation of its columns that leaves the 1’s consecutive in each row. The Consecutive Ones Submatrix (C1S) p...