Sciweavers

770 search results - page 58 / 154
» Abstract Yourself With Modules
Sort
View
101
Voted
IH
2005
Springer
15 years 6 months ago
Information-Theoretic Analysis of Security in Side-Informed Data Hiding
Abstract. In this paper a novel theoretical security analysis will be presented for data hiding methods with side-information, based on Costa’s dirty paper scheme. We quantify th...
Luis Pérez-Freire, Pedro Comesaña, F...
92
Voted
LOCA
2005
Springer
15 years 6 months ago
Improving the Accuracy of Ultrasound-Based Localisation Systems
Abstract. We present an improvement to ultrasound–based indoor location systems like Cricket [1]. By encoding and modulating the ultrasound pulses, we are able to achieve greater...
Hubert Piontek, Matthias Seyffer, Jörg Kaiser
98
Voted
MLMI
2005
Springer
15 years 6 months ago
Detection and Resolution of References to Meeting Documents
Abstract. This article describes a method for document/speech alignment based on explicit verbal references to documents and parts of documents, in the context of multimodal meetin...
Andrei Popescu-Belis, Denis Lalanne
106
Voted
TLCA
2005
Springer
15 years 6 months ago
Proof Contexts with Late Binding
Abstract. The Focal language (formerly FoC) allows one to incrementally build modules and to formally prove their correctness. In this paper, we present two formal semantics for en...
Virgile Prevosto, Sylvain Boulmé
105
Voted
APLAS
2004
ACM
15 years 6 months ago
Pointcuts as Functional Queries
Most aspect-oriented languages provide only a fixed, built-in set of pointcut designators whose denotation is only described informally. As a consequence, these languages do not p...
Michael Eichberg, Mira Mezini, Klaus Ostermann