2286 search results - page 214 / 458 » Algorithms for Categorical Equivalence |
147
click to vote
WEA
2005
Springer
16 years 2 days ago
2005
Springer
We present the problem of statically distributing instructions of a common programming language, a problem which we prove equivalent to the multiterminal cut problem. We design eļ¬...
207
click to vote
WINE
2005
Springer
16 years 2 days ago
2005
Springer
This paper studies the equilibrium property and algorithmic complexity of the exchange market equilibrium problem with concave piece-wise linear functions, which include linear an...
208
click to vote
SPAA
2004
ACM
16 years 1 days ago
2004
ACM
We consider the problem of partitioning a graph into k components of roughly equal size while minimizing the capacity of the edges between different components of the cut. In part...
156
click to vote
FSTTCS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Monolithic ļ¬nite-state probabilistic programs have been abstractly modeled by ļ¬nite Markov chains, and the algorithmic veriļ¬cation problems for them have been inves...
146
click to vote
ATS
2003
IEEE
15 years 12 months ago
2003
IEEE
1 In this paper, we show that the scheduling of tests on the test access mechanism (TAM) is equivalent to independent job scheduling on identical machines and we make use of an exi...