6087 search results - page 261 / 1218 » Knowledge discovery methods |
193
click to vote
LPAR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
161
click to vote
ICTAI
2002
IEEE
15 years 11 months ago
2002
IEEE
Neurules are a kind of hybrid rules that combine a symbolic (production rules) and a connectionist (adaline unit) representation. Each neurule is represented as an adaline unit. O...
150
click to vote
CAI
2006
Springer
15 years 6 months ago
2006
Springer
People and organizations frequently need to recall past events that, for some reason, were not documented when they occurred. The successful reconstitution of past events depends o...
162
click to vote
TIP
2002
15 years 6 months ago
2002
Watermarkingwith both obliviousdetection and high robustness capabilities is still a challenging problem. The existing methods are either robust or oblivious, but it is di cult to...
163
click to vote
COLING
2010
15 years 1 months ago
2010
Text documents are complex high dimensional objects. To effectively visualize such data it is important to reduce its dimensionality and visualize the low dimensional embedding as...