238 search results - page 20 / 48 » Conflicts and Fair Testing |
BIRTHDAY
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Heuristic programming was the first area in which AI methods were tested. The favourite case-studies were fairly simple toyproblems, such as cryptarithmetic, games, such ...
PATAT
2000
Springer
15 years 1 months ago
2000
Springer
Abstract The Examination Timetabling problem regards the scheduling for the exams of a set of university courses, avoiding the overlapping of exams having students in common, fairl...
COLING
1996
14 years 11 months ago
1996
Various strategies are proposed to identify and classify three types of proper nouns in Chinese texts. Clues from character, sentence and paragraph levels are employed to resolve ...
ICALP
1998
Springer
15 years 1 months ago
1998
Springer
We generate a natural hierarchy of equivalences for asynchronous name-passing process calculi from simple variations on Milner and Sangiorgi's definition of weak barbed bisim...
ACISICIS
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--User-system interaction is sometimes a cumbersome element of non-textual information access. Image retrieval systems now incorporate various interaction mechanisms. Howev...