6167 search results - page 127 / 1234 » Can Refinement be Automated |
152
click to vote
NLDB
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Automated Text Categorization has reached the levels of accuracy of human experts. Provided that enough training data is available, it is possible to learn accurate autom...
128
click to vote
CP
2004
Springer
15 years 9 months ago
2004
Springer
Constraint programming is rapidly becoming the technology of choice for modeling and solving complex combinatorial problems. However, users of constraint programming technology nee...
132
click to vote
COMPSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
Usual techniques for automatic test data generation are based on the assumption that a complete oracle will be available during the testing process. However, there are programs fo...
122
click to vote
CP
2003
Springer
15 years 9 months ago
2003
Springer
Mechanism design is the art of designing the rules of the game (aka. mechanism) so that a desirable outcome (according to a given objective) is reached despite the fact that each a...
129
click to vote
ICAIL
1997
ACM
15 years 8 months ago
1997
ACM
The capacity for self-explanation can makecomputer-drafted documents more credible, assist in the retrieval and adaptation of archival documents, and permit comparison of document...