7988 search results - page 304 / 1598 » A Useful Undecidable Theory |
184
click to vote
ICIP
2004
IEEE
16 years 7 months ago
2004
IEEE
In this paper, we derive and evaluate theoretical ratedistortion performance bounds for scalable video compression algorithms which use a single motion-compensated prediction (MCP...
158
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
Product Distribution (PD) theory was recently developed as a framework for analyzing and optimizing distributed systems. In this paper we demonstrate its use for adaptive distribu...
111
click to vote
BPM
2004
Springer
15 years 11 months ago
2004
Springer
: One of the most debatable features of Event driven Process Chains (EPCs) is their non-local semantics. Most non-local semantics for EPCs either have a formal flaw or are given i...
163
click to vote
JELIA
2004
Springer
15 years 10 months ago
2004
Springer
This paper is an analysis of two knowledge representation extensions of logic programming, namely Answer Set Programming and ID-Logic. Our aim is to compare both logics on the leve...
165
click to vote
TAPSOFT
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. This paper presents a formalization of nite and in nite sequences in domain theory carried out in the theorem prover Isabelle. The results are used to model the metatheor...