2702 search results - page 233 / 541 » Practically Applicable Formal Methods |
105
click to vote
IROS
2009
IEEE
15 years 9 months ago
2009
IEEE
— Many calibration methods calibrate a pair of sensors at a time. For robotic systems with many sensors, they are often time-consuming to use, and can also lead to inaccurate res...
146
click to vote
ECMDAFA
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the established high-level modelling languages MOF, ...
107
Voted
ECAI
2004
Springer
15 years 6 months ago
2004
Springer
Instance-based learning (IBL) algorithms have proved to be successful in many applications. However, as opposed to standard statistical methods, a prediction in IBL is usually give...
121
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
— Rigidity of formation is an importance concept in multi-agent localization and control problems. There are welldeveloped existing methods to test the rigidity of a given graph....
162
click to vote
ISBI
2011
IEEE
14 years 6 months ago
2011
IEEE
Noise is an important concern in high-angular resolution diffusion imaging studies because it can lead to errors in downstream analyses of white matter structure. To address this ...