7978 search results - page 712 / 1596 » Combining shared-coin algorithms |
199
click to vote
ICIAP
1997
ACM
15 years 11 months ago
1997
ACM
A strategy in solving the shape from shading problem for the shape and albedo recovery of book surfaces under the fully perspective environment is proposed. The whole recovery proc...
200
click to vote
LICS
1990
IEEE
15 years 11 months ago
1990
IEEE
E cient automatic model checking algorithms for real-time systems have been obtained in recent years based on the state region graph technique of Alur, Courcoubetis and Dill. Howev...
173
click to vote
APN
2009
Springer
15 years 11 months ago
2009
Springer
We present a symbolic method for p-semiflow computation, based on zero-suppressed decision diagrams. Both the traditional explicit methods and our new symbolic method rely on Farka...
176
click to vote
CAAN
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Helsgaun has introduced and implemented the lower tolerances (-values) for an approximation of Held-Karp's 1-tree with the purpose to improve the Lin-Kernighan Heuri...
214
click to vote
DAARC
2009
Springer
15 years 11 months ago
2009
Springer
We discuss an unusual reflexive construction in which the Chinese reflexive ziji appears twice, once before the verb and once after. We demonstrate that this is a distinct construc...