Sciweavers

7289 search results - page 300 / 1458
» A Dependent Set Theory
Sort
View
ICMCS
2006
IEEE
188views Multimedia» more  ICMCS 2006»
16 years 24 days ago
Non-Bandlimited Resampling of Images
The resampling of discrete-time signals where the underlying analog signal is non-bandlimited is considered in this paper. We extend the generalized sampling theory developed base...
Beilei Huang, Edmund Ming-Kit Lai
FMCO
2003
Springer
123views Formal Methods» more  FMCO 2003»
15 years 12 months ago
Machine Function Based Control Code Algebras
Abstract. Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]....
Jan A. Bergstra
LICS
1997
IEEE
15 years 11 months ago
Towards a Mathematical Operational Semantics
We present a categorical theory of ‘well-behaved’ operational semantics which aims at complementing the established theory of domains and denotational semantics to form a cohe...
Daniele Turi, Gordon D. Plotkin
IIR
2010
15 years 8 months ago
Developing the Quantum Probability Ranking Principle
In this work, we summarise the development of a ranking principle based on quantum probability theory, called the Quantum Probability Ranking Principle (QPRP), and we also provide...
Guido Zuccon, Leif Azzopardi
JCB
2000
91views more  JCB 2000»
15 years 6 months ago
Scaling Laws and Similarity Detection in Sequence Alignment with Gaps
We study the problem of similarity detection by sequence alignment with gaps, using a recently established theoretical framework based on the morphology of alignment paths. Alignm...
Dirk Drasdo, Terence Hwa, Michael Lässig