Sciweavers

2038 search results - page 235 / 408
» Improvements to the Psi-SSA representation
Sort
View
TSE
1998
131views more  TSE 1998»
15 years 27 days ago
Experiences Using Lightweight Formal Methods for Requirements Modeling
—This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies diffe...
Steve M. Easterbrook, Robyn R. Lutz, Richard Covin...
RAS
2007
151views more  RAS 2007»
15 years 23 days ago
Recursive scan-matching SLAM
This paper presents Scan-SLAM, a new generalisation of simultaneous localisation and mapping (SLAM). SLAM implementations based on extended Kalman filter (EKF) data fusion have t...
Juan Nieto, Tim Bailey, Eduardo Mario Nebot
ICRA
2010
IEEE
226views Robotics» more  ICRA 2010»
14 years 11 months ago
Indoor scene recognition through object detection
Abstract— Scene recognition is a highly valuable perceptual ability for an indoor mobile robot, however, current approaches for scene recognition present a significant drop in p...
Pablo Espinace, Thomas Kollar, Alvaro Soto, Nichol...
IDA
2010
Springer
14 years 11 months ago
Selecting the Links in BisoNets Generated from Document Collections
According to Koestler, the notion of a bisociation denotes a connection between pieces of information from habitually separated domains or categories. In this paper, we consider a ...
Marc Segond, Christian Borgelt
ISVC
2010
Springer
14 years 11 months ago
Face Recognition in Videos Using Adaptive Graph Appearance Models
Abstract. In this paper, we present a novel graph, sub-graph and supergraph based face representation which captures the facial shape changes and deformations caused due to pose ch...
Gayathri Mahalingam, Chandra Kambhamettu