693 search results - page 41 / 139 » Categorical Properties of The Complex Numbers |
162
click to vote
ALDT
2009
Springer
16 years 15 days ago
2009
Springer
Abstract. The stable marriage problem has many practical applications in twosided markets like those that assign doctors to hospitals, students to schools, or buyers to vendors. Mo...
124
click to vote
COCO
1994
Springer
15 years 10 months ago
1994
Springer
Recent results by Toda, Vinay, Damm, and Valiant have shown that the complexity of the determinant is characterized by the complexity of counting the number of accepting computati...
181
click to vote
TC
2010
15 years 19 days ago
2010
Continued logarithms, as originally introduced by Gosper, represent a means for exact rational arithmetic, but their application to exact real arithmetic is limited by the uniquene...
170
click to vote
CAV
2004
Springer
15 years 11 months ago
2004
Springer
Model checking of infinite state systems is undecidable, therefore, there are instances for which fixpoint computations used in infinite state model checkers do not converge. Gi...
151
Voted
EUC
2007
Springer
16 years 2 days ago
2007
Springer
We demonstrate an improved consensus-driven utility accrual scheduling algorithm (DUA-CLA) for distributable threads which execute under run-time uncertainties in execution time, ...