4209 search results - page 515 / 842 » Abstract Dialectical Frameworks |
161
click to vote
IWAN
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We present a framework for heterogeneous video multicasting, considering an active network in which active nodes can filter the video stream to satisfy different quality ...
162
click to vote
NAA
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Monte Carlo (MC) methods have proved to be flexible, robust and very useful techniques in computational finance. Several studies have investigated ways to achieve greater...
155
click to vote
SAC
2000
ACM
15 years 8 months ago
2000
ACM
Abstract. Formal grammars are well established for specifying the syntax of programming languages. However, the formal specification of programming language semantics has proven mo...
156
Voted
TABLEAUX
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method is based on the usual possibl...
138
click to vote
DOOD
1995
Springer
15 years 8 months ago
1995
Springer
Semantics represents a major problem area for active databases inasmuch as (i) there is l framework for defining the abstract semantics of active rules, and (ii) the various syst...