Sciweavers

4714 search results - page 278 / 943
» The Complexity of Iterated Multiplication
Sort
View
VIIP
2001
15 years 7 months ago
Visualization Channels: Time Multiplexing on a Display
Large and complex information requires arbitrarily extensive displays for an exact, comprehensive visualization. This paper introduces a technique, time-multiplexing, for presenti...
Delbert Hart, Mihail Eduard Tudoreanu
ICASSP
2010
IEEE
15 years 6 months ago
High frame rate Motion Compensated Frame Interpolation in High-Definition video processing
Numerous MCFI methods have been proposed to increase the frame rate in the past ten years. However, these methods usually focus on how to double the frame rate and involve complex...
Yen-Lin Lee, Truong Nguyen
158
Voted
DCC
2008
IEEE
15 years 6 months ago
Coding Overcomplete Representations of Audio Using the MCLT
We propose a system for audio coding using the modulated complex lapped transform (MCLT). In general, it is difficult to encode signals using overcomplete representations without ...
Byung-Jun Yoon, Henrique S. Malvar
ENTCS
2008
121views more  ENTCS 2008»
15 years 6 months ago
Building Certified Static Analysers by Modular Construction of Well-founded Lattices
This paper presents fixpoint calculations on lattice structures as example of highly modular programming in a dependently typed functional language. We propose a library of Coq mo...
David Pichardie
TCOS
2008
15 years 6 months ago
On Contemporary Denotational Mathematics for Computational Intelligence
Denotational mathematics is a category of expressive mathematical structures that deals with high-level mathematical entities beyond numbers and sets, such as abstract objects, com...
Yingxu Wang