2335 search results - page 243 / 467 » Type Checking Type Classes |
88
Voted
COLING
1996
15 years 3 months ago
1996
The paper describes problems in disambiguating the morphological analysis of Bantu languages by using Swahili as a test language. The main factors of ambiguity in this language gr...
118
Voted
IJCAI
1993
15 years 3 months ago
1993
Human chess players exhibit a large variation in the amount of time they allocate for each move. Yet, the problem of devising resource allocation strategies for game playing did n...
101
Voted
APAL
2008
15 years 2 months ago
2008
Abstract. We study the relationship between algebraic structures and their inverse semigroups of partial automorphisms. We consider a variety of classes of natural structures inclu...
137
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
This paper presents an evaluation of the design decisions made in four state-of-the-art constraint solvers; Choco, ECLiPSe, Gecode, and Minion. To assess the impact of design deci...
120
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Spreadsheet engineering methodologies are diverse and sometimes contradictory. It is difficult for spreadsheet developers to identify a spreadsheet engineering methodology that is...