8512 search results - page 383 / 1703 » Computing Theory With Relevance |
158
click to vote
FCT
2007
Springer
16 years 29 days ago
2007
Springer
We consider standard algorithms of finite graph theory, like for instance shortest path algorithms. We present two general methods to polynomially extend these algorithms to infi...
167
click to vote
FOSSACS
2007
Springer
16 years 29 days ago
2007
Springer
We use the framework of biorthogonality to introduce a novel semantic definition of the concept of barb (basic observable) for process calculi. We develop a uniform basic theory o...
152
click to vote
JCDCG
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Musical rhythm is considered from the point of view of geometry. The interaction between the two fields yields new insights into rhythm and music theory, as well as new ...
204
click to vote
SMI
2003
IEEE
16 years 2 days ago
2003
IEEE
Partitioning is a fundamental operation on graphs. In this paper we briefly review the basic concepts of graph partitioning and its relationship to digital mesh processing. We als...
168
click to vote
LICS
1996
IEEE
15 years 11 months ago
1996
IEEE
We present the linear type theory LLF as the forThis extended abstract will appear on the proceedings of the Eleventh Annual IEEE Symposium on Logic in Computer Science -LICS'...