3688 search results - page 329 / 738 » Static analysis of aspects |
179
click to vote
WSCG
2003
15 years 8 months ago
2003
This paper describes an autonomous vision system for realization of tasks consist of following a person with a mobile robot as well as interpreting some static and dynamic command...
205
click to vote
CADE
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. In the context of deductive program verification, supporting floatingpoint computations is tricky. We propose an expressive language to formally specify behavioral proper...
185
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
This paper addresses the disturbance attenuation problem by output feedback for multivariable linear systems with delayed inputs. To solve this problem, a feedback compensator is u...
149
click to vote
EJC
2010
15 years 6 months ago
2010
In our previous paper, we presented the combinatorial theory for minimal isostatic pinned frameworks - Assur graphs - which arise in the analysis of mechanical linkages. In this p...
139
click to vote
ENTCS
2010
15 years 6 months ago
2010
The global states of complex systems often form pospaces, topological spaces equipped with compatible partial orders reflecting causal relationships between the states. The calcul...