Sciweavers

371 search results - page 6 / 75
» Partition Theorems and Computability Theory
Sort
View
CONCUR
2008
Springer
13 years 8 months ago
A Context-Free Process as a Pushdown Automaton
A well-known theorem in automata theory states that every context-free language is accepted by a pushdown automaton. We investigate this theorem in the setting of processes, using ...
Jos C. M. Baeten, Pieter J. L. Cuijpers, P. J. A. ...
SIGACT
2008
103views more  SIGACT 2008»
13 years 7 months ago
Computational geometry column 50
Two long-open problems have been solved: (1) every sufficiently large planar point set in general position contains the vertices of an empty hexagon; (2) every finite collection o...
Joseph O'Rourke
DM
1999
73views more  DM 1999»
13 years 6 months ago
Enumeration of mosaics
Mosaics are orbits of partitions arising from music theoretical investigations. Various theorems from the field of "enumeration under finite group actions" are applied f...
Harald Fripertinger
SMI
2003
IEEE
188views Image Analysis» more  SMI 2003»
14 years 8 days ago
On Graph Partitioning, Spectral Analysis, and Digital Mesh Processing
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...
Craig Gotsman
AIME
2003
Springer
14 years 8 days ago
Ontology for Task-Based Clinical Guidelines and the Theory of Granular Partitions
The theory of granular partitions (TGP) is a new approach to the understanding of ontologies and other classificatory systems. The paper explores the use of this new theory in the ...
Anand Kumar, Barry Smith