2137 search results - page 121 / 428 » Proving Abstract Non-interference |
MFCS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. So far the least growth rate known for a divergent inherent ambiguity function was logarithmic. This paper shows that for each computable divergent total non-decreasing f...
107
Voted
ROBOCUP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper presents a new approach to optimize gait parameter sets using evolutionary algorithms. It separates the crossover-step of the evolutionary algorithm into an in...
111
click to vote
WIA
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We explore expression automata with respect to determinism, minimization and primeness. We define determinism of expression automata using prefix-freeness. This approac...
137
Voted
IAW
2003
IEEE
15 years 8 months ago
2003
IEEE
- Use offormal methods in any application scenario requires a precise characterization and representation of the properties that need to be verified The target, which is desired ri...
93
Voted
ICRA
2003
IEEE
15 years 8 months ago
2003
IEEE
Abstract— This paper introduces a smooth control algorithm for controlling fully actuated distributed manipulation systems that operate by frictional contact. The control law sca...