3119 search results - page 502 / 624 » General Default Logic |
181
click to vote
PPDP
2004
Springer
15 years 11 months ago
2004
Springer
We present a generalisation of first-order rewriting which allows us to deal with terms involving binding operations in an elegant and practical way. We use a nominal approach to...
153
click to vote
SAT
2004
Springer
15 years 11 months ago
2004
Springer
We propose and study a technique to improve the performance of those local-search SAT solvers that proceed by executing a prespecified number of tries, each starting with an eleme...
183
click to vote
SEKE
2004
Springer
15 years 11 months ago
2004
Springer
One of the challenging research problems in validating a software engineering methodology (SEM), and a part of its validation process, is to answer “How to fairly collect, presen...
160
click to vote
ACSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
In-depth analysis of network security vulnerability must consider attacker exploits not just in isolation, but also in combination. The general approach to this problem is to comp...
227
click to vote
AGP
2003
IEEE
15 years 11 months ago
2003
IEEE
The paper discusses some innovative aspects related to the integration of a framework based on Answer Set Programming in an Information Retrieval Agent, namely, the Global Search A...