4245 search results - page 535 / 849 » Input Modeling |
132
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— Climbing robots are especially susceptible to thermal overload during normal operation, due to the need to oppose gravity and to frequently apply internal forces for cl...
157
click to vote
APPROX
2009
Springer
16 years 1 months ago
2009
Springer
The AND problem on t bits is a promise decision problem where either at most one bit of the input is set to 1 (NO instance) or all t bits are set to 1 (YES instance). In this note...
159
Voted
COCOON
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We investigate the computing power of stateless multicounter machines with reversal-bounded counters. Such a machine can be deterministic, nondeterministic, realtime (the...
166
click to vote
CPM
2009
Springer
16 years 1 months ago
2009
Springer
Evolution is usually described as a phylogenetic tree, but due to some exchange of genetic material, it can be represented as a phylogenetic network which has an underlying tree st...
169
Voted
FSTTCS
2009
Springer
16 years 1 months ago
2009
Springer
Linear temporal logic was introduced in order to reason about reactive systems. It is often considered with respect to infinite words, to specify the behaviour of long-running sys...