3742 search results - page 375 / 749 » On the Use of Formal Techniques for Validation |
154
click to vote
CBMS
2006
IEEE
16 years 26 days ago
2006
IEEE
A three-stage method for fetal heart rate extraction, from abdominal ECG recordings, is proposed. In the first stage the maternal R-peaks and fiducial points (QRS onset and offset...
204
click to vote
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
: This paper develops methodology and technique for pose tracking of an autonomous mobile robot (AMR) using a laser scanner. A low-complexity and accurate pose-tracking EKF-based a...
193
click to vote
LISA
2008
15 years 9 months ago
2008
System administrators are unique computer users. As power users in complex and high-risk work environments, intuition tells us that they may have requirements of the tools they us...
186
click to vote
DAGM
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper, we propose a new approach to learn structured visual compound models from shape-based feature descriptions. We use captioned text in order to drive the pro...
189
click to vote
AAAI
1994
15 years 8 months ago
1994
Techniques that traditionally have been useful for retrieving same-domain analogies from small single-use knowledge bases, such as spreading activation and indexing on selected fe...