2963 search results - page 240 / 593 » An architecture for generic extensions |
156
click to vote
APLAS
2005
ACM
16 years 13 days ago
2005
ACM
Abstract. Polymorphic recursion is a useful extension of HindleyMilner typing and has been incorporated in the functional programming language Haskell. It allows the expression of ...
153
click to vote
HASKELL
2005
ACM
16 years 13 days ago
2005
ACM
Invertible programming occurs in the area of data conversion where it is required that the conversion in one direction is the inverse of the other. For that purpose, we introduce ...
159
click to vote
ATAL
2005
Springer
16 years 12 days ago
2005
Springer
We define Trusted Kernel-based Coalition Formation as a novel extension to the traditional kernel-based coalition formation process which ensures agents choose the most reliable ...
152
click to vote
SAT
2005
Springer
16 years 10 days ago
2005
Springer
We propose a new decision heuristic for DPLL-based propositional SAT solvers. Its essence is that both the initial and the conflict clauses are arranged in a list and the next deci...
165
click to vote
BPM
2004
Springer
16 years 8 days ago
2004
Springer
For the integration of electronic negotiation systems within information systems, it is essential to model both using the same modelling paradigm to avoid frictions. We develop a g...