7380 search results - page 276 / 1476 » time 2008 |
166
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
In connection with machine arithmetic, we are interested in systems of constraints of the form x + k y + k . Over integers, the satisfiability problem for such systems is polynomi...
183
click to vote
TROB
2002
15 years 6 months ago
2002
In this paper, the multiagent coordination problem is studied. This problem is addressed for a class of robots for which control Lyapunov functions can be found. The main result is...
157
click to vote
JGO
2010
15 years 5 months ago
2010
In this paper we develop a methodology for defining stopping rules in a general class of global random search algorithms that are based on the use of statistical procedures. To bu...
172
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— We present a novel observer design for a class of single-output nonlinear systems with Markov jumps. The Markov jump process interferes with a deterministic nonlinear dynamics ...
129
click to vote
WSC
2008
15 years 9 months ago
2008
SEARUMS is an Eco-modeling, bio-simulation, and analysis environment to study the global epidemiology of Avian Influenza. Originally developed in Java, SEARUMS enables comprehensi...