Sciweavers

5122 search results - page 151 / 1025
» Comparing Consequence Relations
Sort
View
APPROX
2010
Springer
138views Algorithms» more  APPROX 2010»
15 years 5 months ago
Improved Rounding for Parallel Repeated Unique Games
We show a tight relation between the behavior of unique games under parallel repetition and their semidefinite value. Let G be a unique game with alphabet size k. Suppose the semid...
David Steurer
110
Voted
APAL
2008
87views more  APAL 2008»
15 years 3 months ago
Characterising nested database dependencies by fragments of propositional logic
We extend the earlier results on the equivalence between the Boolean and the multivalued dependencies in relational databases and fragments of the Boolean propositional logic. It ...
Sven Hartmann, Sebastian Link
IJCGA
2008
77views more  IJCGA 2008»
15 years 3 months ago
Bounded-Velocity Approximation of Mobile Euclidean 2-Centres
Given a set P of points (clients) in the plane, a Euclidean 2-centre of P is a set of two points (facilities) in the plane such that the maximum distance from any client to its ne...
Stephane Durocher, David G. Kirkpatrick
JAPLL
2008
121views more  JAPLL 2008»
15 years 3 months ago
Reasoning with prioritized information by iterative aggregation of distance functions
We introduce a general framework for reasoning with prioritized propositional data by aggregation of distance functions. Our formalism is based on a possible world semantics, wher...
Ofer Arieli
127
Voted
ICASSP
2011
IEEE
14 years 7 months ago
Gear scale estimation for synthetic speed pulse generation
In a motorized vehicle a number of easily measurable signals with frequency components related to the rotational speed of the engine can be found, e.g., vibrations, electrical sys...
John-Olof Nilsson, Isaac Skog, Alessio De Angelis,...