2783 search results - page 438 / 557 » The Nature Of Near-Synonymic Relations |
121
click to vote
CORR
2006
Springer
15 years 1 months ago
2006
Springer
We show that it is equivalent, for certain sets of finite graphs, to be definable in CMS (counting monadic second-order, a natural extension of monoadic second-order logic), and t...
104
click to vote
CORR
2006
Springer
15 years 1 months ago
2006
Springer
Automatic annotation of documents with controlled vocabulary terms (descriptors) from a conceptual thesaurus is not only useful for document indexing and retrieval. The mapping of...
DAM
2006
15 years 1 months ago
2006
Many oil wells in Brazilian onshore fields rely on artificial lift methods. Maintenance services such as cleaning, reinstatement, stimulation and others are essential to these wel...
120
click to vote
DATAMINE
2006
15 years 1 months ago
2006
Motivated by the poor performance (linear complexity) of the EM algorithm in clustering large data sets, and inspired by the successful accelerated versions of related algorithms l...
133
click to vote
ENTCS
2006
15 years 1 months ago
2006
In this paper we introduce a new approach to formalizing certain type operations in type theory. Traditionally, many type constructors in type theory are independently axiomatized...