855 search results - page 139 / 171 » Analysis of Surfaces Using Constrained Regression Models |
84
Voted
CHARME
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...
CAD
2008
Springer
14 years 9 months ago
2008
Springer
Detecting approximate symmetries of parts of a model is important when attempting to determine the geometric design intent of approximate boundary-representation (B-rep) solid mod...
57
Voted
ICRA
2002
IEEE
15 years 2 months ago
2002
IEEE
We report on the design and analysis of a controller which can achieve dynamical self-righting of our hexapedal robot, RHex. We present an empirically developed control procedure ...
CVPR
2008
IEEE
15 years 11 months ago
2008
IEEE
Image understanding involves analyzing many different aspects of the scene. In this paper, we are concerned with how these tasks can be combined in a way that improves the perform...
CHES
2003
Springer
15 years 2 months ago
2003
Springer
We introduce multi-channel attacks, i.e., side-channel attacks which utilize multiple side-channels such as power and EM simultaneously. We propose an adversarial model which combi...