1075 search results - page 107 / 215 » On Singular Interval Systems |
144
click to vote
RTSS
2009
IEEE
15 years 11 months ago
2009
IEEE
—This paper proposes a framework for determining the correctness and robustness of simulations of hybrid systems. The focus is on simulations generated from model-based design en...
122
click to vote
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
— This paper presents a generic kinematic modeling approach for articulated multi-monocycle mobile robots. The formulation proposed to deduce the input/output velocity equations ...
164
click to vote
POPL
2012
ACM
13 years 12 months ago
2012
ACM
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...
142
Voted
ECCV
2002
Springer
16 years 6 months ago
2002
Springer
We present a novel method for inferring three-dimensional shape from a collection of defocused images. It is based on the observation that defocused images are the null-space of ce...
187
click to vote
TCC
2007
Springer
15 years 10 months ago
2007
Springer
In this work we present secure two-party protocols for various core problems in linear algebra. Our main result is a protocol to obliviously decide singularity of an encrypted matr...