3653 search results - page 436 / 731 » Learning of Partial Languages |
182
click to vote
CONCUR
2004
Springer
16 years 4 days ago
2004
Springer
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
195
click to vote
CP
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. The paper presents a new look-ahead scheme for backtracking search for solving constraint satisfaction problems. This look-ahead scheme computes a heuristic for value ord...
159
click to vote
CP
2003
Springer
15 years 12 months ago
2003
Springer
A reason to distribute constraint satisfaction is privacy: agents may not want to share their values, and they may wish to keep constraints as private as possible. In this paper, w...
189
click to vote
AI
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Extractive text summarization is the process of selecting relevant sentences from a collection of documents, perhaps only a single document, and arranging such sentences ...
188
click to vote
ACSC
2000
IEEE
15 years 11 months ago
2000
IEEE
A significant obstacle to the development of intelligent natural language processing systems is the lack of rich knowledge bases containing representations of world knowledge. Fo...