Sciweavers

5214 search results - page 845 / 1043
» The Online Specialization Problem
Sort
View
205
Voted
TALG
2008
124views more  TALG 2008»
15 years 6 months ago
Uniform deterministic dictionaries
Abstract. We present a new analysis of the well-known family of multiplicative hash functions, and improved deterministic algorithms for selecting "good" hash functions. ...
Milan Ruzic
TC
2008
15 years 6 months ago
Implementing Synchronous Models on Loosely Time Triggered Architectures
Synchronous systems offer clean semantics and an easy verification path at the expense of often inefficient implementations. Capturing design specifications as synchronous models a...
Stavros Tripakis, Claudio Pinello, Albert Benvenis...
TIP
2008
128views more  TIP 2008»
15 years 6 months ago
Blind Separation of Superimposed Shifted Images Using Parameterized Joint Diagonalization
We consider the blind separation of source images from linear mixtures thereof, involving different relative spatial shifts of the sources in each mixture. Such mixtures can be cau...
E. Be'ery, Arie Yeredor
TIT
2008
68views more  TIT 2008»
15 years 6 months ago
Signaling Over Arbitrarily Permuted Parallel Channels
The problem of transmission of information over arbitrarily permuted parallel channels is studied here. The transmitter does not know over which channel a certain codesequence will...
Frans M. J. Willems, Alexei Gorokhov
JAR
2007
97views more  JAR 2007»
15 years 6 months ago
Debugging Incoherent Terminologies
Abstract. In this paper we study the diagnosis and repair of incoherent terminologies. We define a number of new non-standard reasoning services to explain incoherence through pin...
Stefan Schlobach, Zhisheng Huang, Ronald Cornet, F...