Sciweavers

2465 search results - page 163 / 493
» Automata on Linear Orderings
Sort
View
CORR
2007
Springer
104views Education» more  CORR 2007»
13 years 9 months ago
Separable convex optimization problems with linear ascending constraints
Separable convex optimization problems with linear ascending inequality and equality constraints are addressed in this paper. An algorithm that explicitly characterizes the optimum...
Arun Padakandla, Rajesh Sundaresan
RC
2006
69views more  RC 2006»
13 years 9 months ago
The Set of Hausdorff Continuous Functions - The Largest Linear Space of Interval Functions
Hausdorff continuous (H-continuous) functions are special interval-valued functions which are commonly used in practice, e.g. histograms are such functions. However, in order to av...
Roumen Anguelov, Svetoslav Markov, Blagovest Sendo...
TIT
2008
122views more  TIT 2008»
13 years 9 months ago
An Efficient Pseudocodeword Search Algorithm for Linear Programming Decoding of LDPC Codes
Abstract--In linear programming (LP) decoding of a low-density parity-check (LDPC) code one minimizes a linear functional, with coefficients related to log-likelihood ratios, over ...
Michael Chertkov, Mikhail G. Stepanov
ALGORITHMICA
1998
118views more  ALGORITHMICA 1998»
13 years 9 months ago
On the Analysis of Linear Probing Hashing
Abstract. This paper presents moment analyses and characterizations of limit distributions for the construction cost of hash tables under the linear probing strategy. Two models ar...
Philippe Flajolet, Patricio V. Poblete, Alfredo Vi...
JOLLI
2002
109views more  JOLLI 2002»
13 years 9 months ago
Linear, Branching Time and Joint Closure Semantics for Temporal Logic
Temporal logic can be used to describe processes: their behaviour is characterized by a set of temporal models axiomatized by a temporal theory. Two types of models are most often ...
Joeri Engelfriet, Jan Treur