5030 search results - page 203 / 1006 » cases 2007 |
178
Voted
JCT
2007
15 years 7 months ago
2007
In Ziegler (2002), the second author presented a lower bound for the chromatic numbers of hypergraphs KGr sssS, “generalized r-uniform Kneser hypergraphs with intersection multi...
134
click to vote
JIRS
2007
15 years 7 months ago
2007
The decentralized navigation function methodology, established in our previous work for navigation of multiple holonomic agents with global sensing capabilities is extended to the...
182
click to vote
JMIV
2007
15 years 7 months ago
2007
These last few years, image decomposition algorithms have been proposed to split an image into two parts: the structures and the textures. These algorithms are not adapted to the ...
171
click to vote
AMC
2004
15 years 7 months ago
2004
We consider a parametrically-driven nonlinear ODE, which encompasses a simple model of an electronic circuit known as a parametric amplifier, whose linearisation has a zero eigenv...
155
click to vote
ACTAC
2002
15 years 7 months ago
2002
This paper describes a framework for handling bound variable renaming and substitution mathematically rigorously with the aim at the same time to stay as close as possible to huma...