6167 search results - page 173 / 1234 » Can Refinement be Automated |
133
click to vote
HIS
2001
15 years 6 months ago
2001
To successfully prepare and model data, the data miner needs to be aware of the properties of the data manifold. In this chapter, the outline of a tool for automatically generating...
116
Voted
SOSP
1997
ACM
15 years 6 months ago
1997
ACM
A common problem facing mobile computing is disconnected operation, or computing in the absence of a network. Hoarding eases disconnected operation by selecting a subset of the us...
129
click to vote
ANLP
1994
15 years 6 months ago
1994
We report on the results of a series of experiments with a prototype text retrieval system which uses relatively advanced natural language processing techniques in order to enhanc...
157
click to vote
CADE
2010
Springer
15 years 5 months ago
2010
Springer
In order to support the verification of programs, verification tools such as ACL2 or Isabelle try to extract suitable induction axioms from the definitions of terminating, recursiv...
115
click to vote
COMAD
2009
15 years 5 months ago
2009
E-Discovery is the process of discovering electronically stored information such as email that is relevant to a legal case. A typical ediscovery process incurs huge costs due to t...