3775 search results - page 54 / 755 » The Expression Problem Revisited |
94
Voted
ICALP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract We revisit the classical QuickSort and QuickSelect algorithms, under a complexity model that fully takes into account the elementary comparisons between symbols composing ...
113
Voted
TAMC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In property testing, the goal is to distinguish between objects that satisfy some desirable property and objects that are far from satisfying it, after examining only a s...
114
click to vote
APLAS
2007
ACM
15 years 4 months ago
2007
ACM
Abstract. We propose a theory of up-to techniques for proofs by coinduction, in the setting of complete lattices. This theory improves over existing results by providing a way to c...
117
Voted
ESAW
2006
Springer
15 years 4 months ago
2006
Springer
The research on exception handling in Multi-Agent Systems has produced some advanced models to deal with `exceptional situations'. The expression `agent exception' is how...
105
Voted
CORR
2008
Springer
15 years 25 days ago
2008
Springer
Depth of an object concerns a tradeoff between computation time and excess of program length over the shortest program length required to obtain the object. It gives an unconditio...