6167 search results - page 879 / 1234 » Can Refinement be Automated |
133
click to vote
JIIS
2000
15 years 4 months ago
2000
Knowledge discovery from data sets can be extensively automated by using data mining software tools. Techniques for mining series of interval events, however, have not been conside...
128
click to vote
JCS
2002
15 years 4 months ago
2002
Intrusion detection systems (IDSs) must maximize the realization of security goals while minimizing costs. In this paper, we study the problem of building cost-sensitive intrusion...
105
click to vote
TROB
2002
15 years 4 months ago
2002
Given an arbitrary Petri net (PN) structure, which may have uncontrollable and unobservable transitions, the deadlock prevention procedure presented here determines a set of linear...
122
click to vote
NAR
2007
15 years 4 months ago
2007
The wealth of transcript information that has been made publicly available in recent years has led to large pools of individual web sites offering access to bioinformatics softwar...
151
Voted
PAMI
2007
15 years 4 months ago
2007
Abstract— Many vision problems can be formulated as minimization of appropriate energy functionals. These energy functionals are usually minimized, based on the calculus of varia...