12265 search results - page 336 / 2453 » Knuth-Morris-Pratt Algorithm: An Analysis |
183
click to vote
FLAIRS
2000
15 years 8 months ago
2000
Today there are numerous tools for decision analysis, suitable both for human and artificial decision makers. Most of these tools require the decision maker to provide precise num...
159
click to vote
WSC
1998
15 years 8 months ago
1998
The search problem, ACCESSIBILITY, asks whether a finite sequence of events can be found such that, starting with a specific initial event, a particular state can be reached. This...
143
click to vote
ACL
1989
15 years 7 months ago
1989
In order to take steps towards establishing a methodology for evaluating Natural Language systems, we conducted a case study. We attempt to evaluate two different approaches to an...
186
click to vote
JCP
2008
15 years 6 months ago
2008
The mining of weighted association rules is one of the primary methods used in communication alarm correlation analysis. With large communication alarm database, the traditional me...
156
click to vote
JAR
2007
15 years 6 months ago
2007
SAT-solvers have turned into essential tools in many areas of applied logic like, for example, hardware verification or satisfiability checking modulo theories (SMT). And althoug...