3229 search results - page 57 / 646 » Theories with the Independence Property |
ICIP
2002
IEEE
14 years 10 months ago
2002
IEEE
Abstract - Multihypothesis motion-compensated prediction (MHMCP) approach has shown significant gain in terms of coding efficiency both in theory and practice. However, the fact th...
AISC
1994
Springer
14 years 24 days ago
1994
Springer
This paper investigates some soundness conditions which have to be fulfilled in systems with coercions and generic operators. A result of Reynolds on unrestricted generic operators...
PEPM
1991
ACM
14 years 6 days ago
1991
ACM
It is well known that the performance of a program can often be improved by means of program transformation. Several program transformation techniques, eg. partial evaluation, wor...
FLOPS
2008
Springer
13 years 10 months ago
2008
Springer
Bundy and Richardson [7] presented a technique for reasoning about lists using ellipsis (the dots in 1+2+...+10), where a polymorphic function, denoted by 2, is used to encapsulate...
FSS
2008
13 years 8 months ago
2008
In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has s...