1307 search results - page 98 / 262 » Follow the intellectual property |
MOC
2010
14 years 8 months ago
2010
Following a paper of R. Robinson, we classify all hyperbolic polynomials in one variable with integer coefficients and span less than 4 up to degree 13, and with some additional h...
139
click to vote
ORL
2010
14 years 8 months ago
2010
Given n clubs with two teams each, we show that, if n is even, it is possible to construct a schedule for a single round robin tournament satisfying the following properties: the ...
92
Voted
ICASSP
2011
IEEE
14 years 5 months ago
2011
IEEE
Many models of wireless sensor networks (WSNs) assume a perfect synchronization along the graph of such network as a simplifying assumption. In our contribution we base our invest...
109
click to vote
FOSSACS
2011
Springer
14 years 5 months ago
2011
Springer
We describe a general decomposition mechanism to express the derivation relation of a word rewriting system R as the composition of a (regular) substitution followed by the derivat...
104
click to vote
CAV
2009
Springer
16 years 2 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...