348 search results - page 15 / 70 » Using Case-Based Reasoning to Write Constraint Programs |
109
Voted
ICLP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Constraints and preferences are ubiquitous in real-life. Moreover, preferences can be of many kinds: qualitative, quantitative, conditional, positive or negative, to name...
119
Voted
POPL
2010
ACM
15 years 10 months ago
2010
ACM
Concurrent programming errors arise when threads share data incorrectly. Programmers often avoid these errors by using synchronization to enforce a simple ownership policy: data i...
120
Voted
MIDDLEWARE
2007
Springer
15 years 7 months ago
2007
Springer
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...
96
Voted
CPAIOR
2007
Springer
15 years 7 months ago
2007
Springer
In a facility with front room and back room operations, it is useful to switch workers between the rooms in order to cope with changing customer demand. Assuming stochastic custome...
123
Voted
LPAR
1992
Springer
15 years 5 months ago
1992
Springer
We describe some of the techniques which have been used to implement METATEM, a programming language based on temporal logic, and address problems such as non-determinism and loopi...