9626 search results - page 280 / 1926 » Invariant Based Programming |
174
click to vote
IROS
2007
IEEE
16 years 26 days ago
2007
IEEE
— This paper considers the problem of stabilizing a unicycle-type mobile robot using a time-invariant, discontinuous control law. In order to simplify the control design, most pr...
158
click to vote
FC
2007
Springer
16 years 22 days ago
2007
Springer
In this paper, we investigate how existing theoretical contributions on usable security can serve to guide the design of a specific system. We illustrate how going through this the...
133
click to vote
SCALESPACE
2007
Springer
16 years 21 days ago
2007
Springer
A geometric model is proposed for an artificial foveal vision system, and its plausibility in the context of biological vision is explored. The model is based on an isotropic, sca...
170
click to vote
ACMSE
2006
ACM
16 years 17 days ago
2006
ACM
Reconstructing networks from time series data is a difficult inverse problem. We apply two methods to this problem using co-temporal functions. Co-temporal functions capture mathe...
180
click to vote
TIME
2005
IEEE
16 years 4 days ago
2005
IEEE
The language of timed µCRL is an extension of an ACP-style process algebra-based language µCRL with time-related features. In this paper we describe this language and its equati...