5608 search results - page 269 / 1122 » On the Theory of Matchgate Computations |
147
click to vote
JCDCG
2004
Springer
16 years 1 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 ...
199
click to vote
SMI
2003
IEEE
15 years 12 months 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...
162
click to vote
LICS
1996
IEEE
15 years 10 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'...
202
click to vote
DAGSTUHL
2001
15 years 8 months ago
2001
In this paper we present a recursion-theoretic denotational semantics for Featherweight Java. Our interpretation is based on a formalization of the object model of Castagna, Ghelli...
153
click to vote
AAAI
1997
15 years 8 months ago
1997
We present a theory of qualitative rigid body mechanics and describe a program that uses this theory to compute qualitative dynamic simulations.1 The program works directly from a...