4902 search results - page 698 / 981 » Structures, Semantics and Statistics |
189
click to vote
LPNMR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Belief Logic Programming (BLP) is a novel form of quantitative logic programming in the presence of uncertain and inconsistent information, which was designed to be able ...
149
click to vote
ATAL
2001
Springer
15 years 11 months ago
2001
Springer
One source of trust for physical trading systems is their physical assets and simply their presence. A similar baseline does not exist for electronic trading systems, but one way i...
156
Voted
CC
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Efficient implementation of DSP applications are critical for embedded systems. However, current applications written in C, make extensive use of pointer arithmetic maki...
156
click to vote
CHARME
2001
Springer
15 years 11 months ago
2001
Springer
We describe SAFL+: a call-by-value, parallel language in the style of ML which combines imperative, concurrent and functional programming. Synchronous channels allow communication ...
148
click to vote
OOPSLA
2001
Springer
15 years 11 months ago
2001
Springer
Mixin modules are proposed as an extension of a class-based programming language. Mixin modules combine parallel extension of classes, including extension of the self types for th...