4814 search results - page 394 / 963 » Combining abstract interpreters |
192
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 ...
169
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
Abstract. Multimedia servers are increasingly employing parallel systems for the retrieval, scheduling and delivery of streaming multimedia content. However, given non-zero blockin...
187
Voted
RT
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. The appearance of many natural materials is largely influenced by the environment in which they are situated. Capturing the effects of such environmental factors is esse...
175
click to vote
ERCIMDL
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. We present a model for complex documents possibly consisting of a hierarchically structured set of images or texts. Documents are represented both at the form level (as s...
181
click to vote
PARLE
1993
15 years 11 months ago
1993
Abstract. We present a set of primitive program schemes, which together with just two basic combining forms provide a suprisingly expressive parallel programming language. The prim...