12745 search results - page 2399 / 2549 » Automating test automation |
120
Voted
LPNMR
2007
Springer
15 years 9 months 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...
121
Voted
LPNMR
2007
Springer
15 years 9 months 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...
121
Voted
MKM
2007
Springer
15 years 9 months 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...
126
Voted
RAID
2007
Springer
15 years 9 months 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...
154
Voted
RWEB
2007
Springer
15 years 9 months 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...