999 search results - page 123 / 200 » Constraints in Non-Boolean Contexts |
169
click to vote
POPL
1993
ACM
15 years 10 months ago
1993
ACM
We study the type inference problem for a system with type classes as in the functional programminglanguage Haskell. Type classes are an extension of ML-style polymorphismwith ove...
163
Voted
VLDB
1990
ACM
15 years 10 months ago
1990
ACM
Non-monotonic knowledge evolutions and exceptions constitute a complex theoritical and practical problem. The state of the art shows a rich and surprising diversity of approaches....
196
click to vote
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper explores runtime reconfiguration of custom instructions in the context of multi-tasking real-time embedded systems. We propose a pseudo-polynomial time algorithm that mi...
173
click to vote
ICDT
2007
ACM
15 years 10 months ago
2007
ACM
Abstract. We review key constraints in the context of XML as introduced by Buneman et al. We show that one of the proposed inference rules is not sound in general, and the axiomati...
160
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
We will demonstrate distributed conflict resolution in the context of personalized meeting scheduling. The demonstration will show how distributed constraint optimization can be u...