12745 search results - page 2399 / 2549 » Automating test automation |
155
click to vote
LPNMR
2007
Springer
16 years 20 days ago
2007
Springer
We describe a new grounder system for logic programs under answer set semantics, called GrinGo. Our approach combines and extends techniques from the two primary grounding approach...
163
click to vote
LPNMR
2007
Springer
16 years 20 days ago
2007
Springer
Logic programming under the answer-set semantics nowadays deals with numerous different notions of equivalence between programs. This is due to the fact that equivalence for substi...
156
click to vote
MKM
2007
Springer
16 years 19 days ago
2007
Springer
To be effective and useful, math search systems must not only maximize precision and recall, but also present the query hits in a form that makes it easy for the user to identify...
173
click to vote
RAID
2007
Springer
16 years 19 days ago
2007
Springer
Honeypot has been an invaluable tool for the detection and analysis of network-based attacks by either human intruders or automated malware in the wild. The insights obtained by de...
194
click to vote
RWEB
2007
Springer
16 years 19 days ago
2007
Springer
Today customers want to use powerful search engines for their huge and increasing content repositories. Full-text-only products with simple result lists are not enough to satisfy t...