1548 search results - page 196 / 310 » Semantics and Extensions of WS-Agreement |
159
click to vote
EMO
2009
Springer
16 years 10 days ago
2009
Springer
To model combinatorial decision problems involving uncertainty and probability, we introduce stochastic constraint programming. Stochastic constraint programs contain both decision...
144
click to vote
FSEN
2009
Springer
16 years 10 days ago
2009
Springer
We present a general technique for extending Java-like languages with dynamic overloading, where method selection depends on the dynamic type of the parameter, instead of just the ...
156
click to vote
ICCS
2009
Springer
16 years 10 days ago
2009
Springer
Abstract. In this paper, we extend Simple Conceptual Graphs with Reiter’s default rules. The motivation for this extension came from the type of reasonings involved in an agronom...
166
click to vote
SEMWEB
2009
Springer
16 years 9 days ago
2009
Springer
Probabilistic Description Logics are the basis of ontologies in the Semantic Web. Knowledge representation and reasoning for these logics have been extensively explored in the last...
171
click to vote
HASKELL
2009
ACM
16 years 8 days ago
2009
ACM
It is common for compilers to derive the calling convention of a function from its type. Doing so is simple and modular but misses many optimisation opportunities, particularly in...