Sciweavers

7434 search results - page 144 / 1487
» Still
Sort
View
ICASSP
2011
IEEE
14 years 8 months ago
Time-lagged Directed Information
Directed Information (DI) has recently been introduced to quantify the causality between two signals. However, one major remaining issue with DI is the computational complexity wh...
Ying Liu, Selin Aviyente
ECIR
2011
Springer
14 years 8 months ago
Towards Quantum-Based DB+IR Processing Based on the Principle of Polyrepresentation
The cognitively motivated principle of polyrepresentation still lacks a theoretical foundation in IR. In this work, we discuss two competing polyrepresentation frameworks that are ...
David Zellhöfer, Ingo Frommholz, Ingo Schmitt...
ICIAR
2011
Springer
14 years 8 months ago
Lossless Compression of Satellite Image Sets Using Spatial Area Overlap Compensation
Abstract. In this paper we present a new prediction technique to compress a pair of satellite images that have significant overlap in the underlying spatial areas. When this predi...
Vivek Trivedi, Howard Cheng
CLIMA
2011
14 years 4 months ago
Justice Delayed Is Justice Denied: Logics for a Temporal Account of Reparations and Legal Compliance
In this paper we extend the logic of violation proposed by [14] with time, more precisely, we temporalise that logic. The resulting system allows us to capture many subtleties of t...
Guido Governatori, Antonino Rotolo
DCFS
2011
66views more  DCFS 2011»
14 years 4 months ago
Kleene Theorems for Product Systems
We prove Kleene theorems for two subclasses of labelled product systems which are inspired from well-studied subclasses of 1bounded Petri nets. For product T-systems we define a c...
Kamal Lodaya, Madhavan Mukund, Ramchandra Phawade