11862 search results - page 318 / 2373 » Relative information completeness |
149
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
The process of rank aggregation is intimately intertwined with the structure of skew-symmetric matrices. We apply recent advances in the theory and algorithms of matrix completion...
128
click to vote
ICIP
2000
IEEE
16 years 6 months ago
2000
IEEE
This paper presents a novel method to determine the complete velocity vector of a moving target using a single Synthetic Aperture Radar (SAR) sensor. The method exploits the struc...
177
click to vote
CADE
2001
Springer
16 years 5 months ago
2001
Springer
The modalities of Dynamic Logic refer to the final state of a program execution and allow to specify programs with pre- and postconditions. In this paper, we extend Dynamic Logic w...
126
click to vote
RTA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We show that the structures of binding algebras and Σmonoids by Fiore, Plotkin and Turi are sound and complete models of Klop’s Combinatory Reduction Systems (CRSs). T...
115
click to vote
COR
2008
15 years 5 months ago
2008
In many realistic situations, a job processed later consumes more time than the same job when it is processed earlier; this phenomenon is known as deteriorating jobs. However, job...