Sciweavers

3145 search results - page 210 / 629
» Algebraic Linear Orderings
Sort
View
WCC
2005
Springer
197views Cryptology» more  WCC 2005»
16 years 8 days ago
Linear Filtering of Nonlinear Shift-Register Sequences
Nonlinear n-stage feedback shift-register sequences over the finite field Fq of period qn − 1 are investigated under linear operations on sequences. We prove that all members o...
Berndt M. Gammel, Rainer Göttfert
181
Voted
COCOON
2006
Springer
15 years 10 months ago
Fixed Linear Crossing Minimization by Reduction to the Maximum Cut Problem
Many real-life scheduling, routing and location problems can be formulated as combinatorial optimization problems whose goal is to find a linear layout of an input graph in such a ...
Christoph Buchheim, Lanbo Zheng
EMNLP
2006
15 years 8 months ago
Incremental Integer Linear Programming for Non-projective Dependency Parsing
Integer Linear Programming has recently been used for decoding in a number of probabilistic models in order to enforce global constraints. However, in certain applications, such a...
Sebastian Riedel, James Clarke
CONCUR
2010
Springer
15 years 8 months ago
A Linear Account of Session Types in the Pi Calculus
Abstract. We present a reconstruction of session types in a conventional pi calculus where types are qualified as linear or unrestricted. Linearly typed communication channels are ...
Marco Giunti, Vasco T. Vasconcelos
ICRA
2009
IEEE
103views Robotics» more  ICRA 2009»
15 years 4 months ago
Prioritizing linear equality and inequality systems: Application to local motion planning for redundant robots
We present a novel method for prioritizing both linear equality and inequality systems and provide one algorithm for its resolution. This algorithm can be summarized as a sequence ...
Oussama Kanoun, Florent Lamiraux, Pierre-Brice Wie...