1458 search results - page 142 / 292 » The sequentially realizable functionals |
130
click to vote
TCS
2008
15 years 3 months ago
2008
We investigate the decidability of observational equivalence and approximation in Reynolds' "Syntactic Control of Interference" (SCI), a prototypical functionalimpe...
BMCBI
2005
15 years 3 months ago
2005
Background: In bioinformatics and genomics, there are many applications designed to investigate the common properties for a set of genes. Often, these multi-gene analysis tools at...
129
click to vote
SIAMCO
2002
15 years 3 months ago
2002
The paper studies the problem of reachability for linear systems in the presence of uncertain input disturbances that may also be interpreted as the action of an adversary in a ga...
108
click to vote
PR
2007
15 years 3 months ago
2007
Recursive procedures used for sequential calculations of polynomial basis coefficients in discrete orthogonal moments produce unreliable results for high moment orders as a resul...
126
click to vote
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
— This paper presents a multi-skill motion planner which is able to sequentially synchronize parameterized motion skills in order to achieve humanoid motions exhibiting complex w...