2012 search results - page 229 / 403 » CORAL - Control, Relations and Logic |
194
click to vote
IJCAI
2001
15 years 8 months ago
2001
Text mining concerns the discovery of knowledge from unstructured textual data. One important task is the discovery of rules that relate specific words and phrases. Although exist...
161
click to vote
ANLP
2000
15 years 8 months ago
2000
The process of documenting designs is tedious and often error-prone. We discuss a system that automatically generates documentation for the single step transition behavior of Stat...
158
click to vote
IJCAI
1997
15 years 7 months ago
1997
Theoremsin automated theorem proving are usually proved by logical formal proofs. However,there is a subset of problems which humanscan prove in a different wayby the use of geome...
169
click to vote
ATVA
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present a first-order theory of (finite) sequences with integer elements, Presburger arithmetic, and regularity constraints, which can model significant properties of ...
169
click to vote
FSKD
2008
Springer
15 years 7 months ago
2008
Springer
This paper introduces an opinion judgment system that automatically gives advice on whether to recommend this product and furthermore provides corresponding reasons. The core task...