2747 search results - page 179 / 550 » Non-oblivious Strategy Improvement |
151
click to vote
LPAR
2005
Springer
16 years 7 hour ago
2005
Springer
We present a new answer set solver, called nomore++, along with its underlying theoretical foundations. A distinguishing feature is that it treats heads and bodies equitably as com...
163
click to vote
RTA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Partial-inversion compilers generate programs which compute some unknown inputs of given programs from a given output and the rest of inputs whose values are already give...
152
click to vote
WIA
2005
Springer
15 years 12 months ago
2005
Springer
The paper introduces a robust spelling correction technique to deal with ill-formed input strings, including unknown parts of unknown length. In contrast to previous works, we deri...
148
click to vote
WOSP
2004
ACM
15 years 12 months ago
2004
ACM
Designs for distributed systems must consider the possibility that failures will arise and must adopt specific failure detection strategies. We describe and analyze a self-regulat...
158
click to vote
CLEF
2004
Springer
15 years 12 months ago
2004
Springer
For our fourth participation in the CLEF evaluation campaigns, our first objective was to propose an effective and general stopword list and a light stemming procedure for the Port...