4767 search results - page 574 / 954 » Structures for Abstract Rewriting |
207
Voted
LPNMR
2009
Springer
16 years 3 days 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 ...
175
Voted
ATAL
2001
Springer
16 years 1 days 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...
208
Voted
CAIP
2001
Springer
16 years 1 days ago
2001
Springer
Abstract. The paper describes a three-layer video coder based on spatiotemporal scalability and data partitioning. The base layer represents video sequences with reduced spatial an...
178
Voted
CC
2001
Springer
16 years 1 days 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...
179
click to vote
CHARME
2001
Springer
16 years 1 days 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 ...