4167 search results - page 327 / 834 » Regression model checking |
137
click to vote
ICRA
2002
IEEE
15 years 9 months ago
2002
IEEE
Abstract— This paper presents some recent developments of the LAAS architecture for autonomous mobile robots. In particular, we specify the role of the Execution Control level of...
133
click to vote
CONCUR
1999
Springer
15 years 9 months ago
1999
Springer
In order to check whether an open system satisfies a desired property, we need to check the behavior of the system with respect to an arbitrary environment. In the most general se...
136
click to vote
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
We present a technique that enables the use of finite model finding to check the satisfiability of certain formulas whose intended models are infinite. Such formulas arise when us...
138
click to vote
Lecture Notes
These notes cover several topics such as Review of Statistics, Least Squares and Maximum Likelihood Estimation, Index Models, Testing CAPM and Multifactor Models
Event Studies, Ti...
146
click to vote
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
— To address the difficulty of designing a controller for complex visual-servoing tasks, two learning-based uncalibrated approaches are introduced. The first method starts by b...