Sciweavers

2701 search results - page 182 / 541
» On the form of witness terms
Sort
View
JDIM
2010
157views more  JDIM 2010»
15 years 1 months ago
Case studies on context-aware mobile multimedia services
: This paper explores the design, implementation and evaluation of context-aware mobile multimedia services by presenting six case studies on different application domains. The cas...
Timo Ojala
MOC
2010
15 years 1 months ago
A projection-based error analysis of HDG methods
Abstract. We introduce a new technique for the error analysis of hybridizable discontinuous Galerkin (HDG) methods. The technique relies on the use of a new projection whose design...
Bernardo Cockburn, Jayadeep Gopalakrishnan, Franci...
SAC
2010
ACM
15 years 1 months ago
Similar triangles and orientation in plane elementary geometry for Coq-based proofs
In plane elementary geometry, the concept of similar triangles not only forms an important foundation for trigonometry, but it also can be used to solve many geometric problems. T...
Tuan Minh Pham
ICASSP
2011
IEEE
14 years 10 months ago
Analysis of non-coherent code tracking for NPSK systems in presence of noise and fading
Given the recent interest in non-binary forms of spreading sequences, there is a gap in knowledge on code tracking techniques for noise-like spreading codes. This paper presents t...
Ramin Vali, Stevan M. Berber
ICASSP
2011
IEEE
14 years 10 months ago
A fast projected gradient optimization method for real-time perception-based clipping of audio signals
Clipping is a necessary signal processing operation in many realtime audio applications, yet it often reduces the sound quality of the signal. The recently proposed perception-bas...
Bruno Defraene, Toon van Waterschoot, Moritz Diehl...