1528 search results - page 186 / 306 » Performance Assertion Checking |
118
click to vote
ACL
2003
15 years 3 months ago
2003
This paper proposes a hybrid of handcrafted rules and a machine learning method for chunking Korean. In the partially free word-order languages such as Korean and Japanese, a smal...
143
Voted
CISST
2003
15 years 3 months ago
2003
There are numerous rectangular signboards indoors and outdoors. The information contained in them, such as signs and text, is useful for robot navigation. In this paper, a system ...
100
click to vote
AAAI
2000
15 years 3 months ago
2000
Equivalency clauses (Xors or modulo 2 arithmetics) represent a common structure in the SAT-encoding of many hard real-world problems and constitute a major obstacle to DavisPutnam...
WOA
2003
15 years 3 months ago
2003
— In this paper we discuss how some features of the new logic programming language DALI for agents and multiagent systems are suitable to programming agents equipped with plannin...
102
click to vote
AAAI
1997
15 years 3 months ago
1997
Often a rule-based system is tested by checking its performance on a number of test cases with known solutions, modifying the system until it gives the correct results for all or ...