Sciweavers

2351 search results - page 35 / 471
» A Method of Requirement Inconsistency Analysis
Sort
View
ICPR
2002
IEEE
15 years 2 months ago
Uniformity Testing Using Minimal Spanning Tree
Testing for uniformity of multivariate data is the initial step in exploratory pattern analysis. We propose a new uniformity testing method, which first computes the maximum (sta...
Anil K. Jain, Xiaowei Xu, Tin Kam Ho, Fan Xiao
DATE
2003
IEEE
186views Hardware» more  DATE 2003»
15 years 3 months ago
Formal Methods for Integration of Automotive Software
Novel functionality, configurability and higher efficiency in automotive systems require sophisticated embedded software, as well as distributed software development between man...
Marek Jersak, Kai Richter, Rolf Ernst, Jörn-C...
CORR
2010
Springer
66views Education» more  CORR 2010»
14 years 9 months ago
Query strategy for sequential ontology debugging
Abstract. Debugging is an important prerequisite for the wide-spread application of ontologies, especially in areas that rely upon everyday users to create and maintain knowledge b...
Kostyantyn M. Shchekotykhin, Gerhard Friedrich
IROS
2006
IEEE
116views Robotics» more  IROS 2006»
15 years 3 months ago
Consistency of the EKF-SLAM Algorithm
— This paper presents an analysis of the extended Kalman filter formulation of simultaneous localisation and mapping (EKF-SLAM). We show that the algorithm produces very optimis...
Tim Bailey, Juan Nieto, José E. Guivant, Mi...
ICCS
2003
Springer
15 years 3 months ago
A Method of Hidden Markov Model Optimization for Use with Geophysical Data Sets
Geophysics research has been faced with a growing need for automated techniques with which to process large quantities of data. A successful tool must meet a number of requirements...
Robert A. Granat