13090 search results - page 2379 / 2618 » Usable artificial intelligence |
165
click to vote
CLEF
2007
Springer
16 years 23 days ago
2007
Springer
This paper describes a rather simplistic method of unsupervised morphological analysis of words in an unknown language. All what is needed is a raw text corpus in the given langua...
180
click to vote
CP
2007
Springer
16 years 23 days ago
2007
Springer
Motivated by the performance improvements made to SAT solvers in recent years, a number of different encodings of constraints into SAT have been proposed. Concrete examples are th...
146
click to vote
CP
2007
Springer
16 years 23 days ago
2007
Springer
We introduce groupoids – generalisations of groups in which not all pairs of elements may be multiplied, or, equivalently, categories in which all morphisms are invertible – as...
172
click to vote
CP
2007
Springer
16 years 23 days ago
2007
Springer
Symmetry is an important factor in solving many constraint satisfaction problems. One common type of symmetry is when we have symmetric values. We can eliminate such value symmetr...
152
click to vote
CP
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Stochastic Local Search (SLS) is a simple and effective paradigm for attacking a variety of Combinatorial (Optimization) Problems (COP). However, it is often non-trivial...