1075 search results - page 107 / 215 » On Singular Interval Systems |
166
click to vote
RTSS
2009
IEEE
16 years 26 days 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...
144
click to vote
ICRA
2006
IEEE
16 years 5 days 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 ...
193
click to vote
POPL
2012
ACM
14 years 1 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...
170
click to vote
ECCV
2002
Springer
16 years 8 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...
212
Voted
TCC
2007
Springer
16 years 8 days 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...