6413 search results - page 535 / 1283 » Classes of cycle bases |
184
click to vote
ICECCS
1997
IEEE
15 years 11 months ago
1997
IEEE
An approach to problem analysis is described, based on the notion of a problem frame. Problem frames are intended to capture classes of recognisable and soluble problems. Because ...
162
click to vote
CSL
1994
Springer
15 years 11 months ago
1994
Springer
We prove the completeness of the combination of ordered resolution and factoring for a large class of non-liftable orderings, without the need for any additional rules like satura...
197
click to vote
CADE
2008
Springer
15 years 9 months ago
2008
Springer
Recent studies have provided many characterisations of the class of polynomial time computable functions through term rewriting techniques. In this paper we describe a (fully autom...
164
click to vote
APVIS
2006
15 years 8 months ago
2006
We introduce a class of graphs called an intersecting clustered graph that is a clustered graph with intersections among clusters. We propose a novel method for nicely drawing the...
170
click to vote
EACL
2003
ACL Anthology
15 years 8 months ago
2003
ACL Anthology
In this paper we discuss algorithms for clustering words into classes from unlabelled text using unsupervised algorithms, based on distributional and morphological information. We...