1008 search results - page 80 / 202 » Canonicity! |
125
Voted
CLUSTER
2007
IEEE
15 years 9 months ago
2007
IEEE
— A schedule is said robust if it is able to absorb some degree of uncertainty in tasks duration while maintaining a stable solution. This intuitive notion of robustness has led ...
135
Voted
ISBI
2007
IEEE
15 years 9 months ago
2007
IEEE
We present a new Finite Impulse Response (FIR) model for hemodynamics in functional brain images. Like other FIR models, our method permits a flexible formulation of the hemodyna...
116
Voted
CIE
2007
Springer
15 years 9 months ago
2007
Springer
Concerning the set of rooted binary trees, one shows that Higman’s Lemma and Dershowitz’s recursive path ordering can be used for the decision of its maximal order type accordi...
116
click to vote
ICCS
2007
Springer
15 years 9 months ago
2007
Springer
Complex Automata were recently proposed as a paradigm to model multi-scale complex systems. The concept is formalized and the scale separation map is further investigated in relati...
112
click to vote
WOLLIC
2007
Springer
15 years 9 months ago
2007
Springer
Hydra games were introduced by Kirby and Paris, for the formulation of a result which is independent from Peano arithmetic but depends on the transfinite structure of 0. Tree ordi...