Sciweavers

2043 search results - page 221 / 409
» Some Basics on Tolerances
Sort
View
JCT
2006
73views more  JCT 2006»
15 years 6 months ago
Colouring lines in projective space
Let V be a vector space of dimension v over a field of order q. The q-Kneser graph has the kdimensional subspaces of V as its vertices, where two subspaces and are adjacent if and...
Ameera Chowdhury, Chris D. Godsil, Gordon F. Royle
JNW
2006
85views more  JNW 2006»
15 years 6 months ago
Seamless Handoff Solution For Nested Mobile Networks
Ensuring seamless mobility for users is becoming one of the main objectives of ongoing research activities in the field of data telecommunications. More over, if some proposals are...
Mehdi Sabeur, Badii Jouaber, Djamal Zeghlache
JSYML
2006
85views more  JSYML 2006»
15 years 6 months ago
An alternative semantics for quantified relevant logic
The quantified relevant logic RQ is given a new semantics in which a formula xA is true when there is some true proposition that implies all x-instantiations of A. Formulae are mo...
Robert Goldblatt, Edwin D. Mares
JUCS
2006
87views more  JUCS 2006»
15 years 6 months ago
Eliminating Redundant Join-Set Computations in Static Single Assignment
: The seminal algorithm developed by Ron Cytron, Jeanne Ferrante and colleagues in 1989 for the placement of -nodes in a control flow graph is still widely used in commercial compi...
Angela French, José Nelson Amaral
MP
2006
137views more  MP 2006»
15 years 6 months ago
New algorithms for singly linearly constrained quadratic programs subject to lower and upper bounds
There are many applications related to singly linearly constrained quadratic programs subjected to upper and lower bounds. In this paper, a new algorithm based on secant approximat...
Yu-Hong Dai, Roger Fletcher