3771 search results - page 502 / 755 » Subobject Transformation Systems |
172
click to vote
ICPR
2010
IEEE
15 years 10 months ago
2010
IEEE
Image moments have been widely used for designing robust shape descriptors that are invariant to rigid transformations. In this work, we address the problem of estimating non-rigid...
130
click to vote
APAL
2010
15 years 4 months ago
2010
This paper provides a sound and complete proof system for a language Le+Y that adds to Dynamic Epistemic Logic (DEL) a discrete previous-time operator as well as single symbol for...
151
click to vote
AR
2010
15 years 4 months ago
2010
This paper introduces a novel method for slip angle estimation based on visually observing the traces produced by the wheels of a robot on soft, deformable terrain. The proposed a...
101
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
In this short paper we present the state of advancement of the French ANR WebStand project. The objective of this project is to construct a customizable XML based warehouse platfo...
157
click to vote
CORR
2010
Springer
2010
Springer
Reliable Mining of Automatically Generated Test Cases from Software Requirements Specification (SRS)
15 years 4 months ago
Writing requirements is a two-way process. In this paper we use to classify Functional Requirements (FR) and Non Functional Requirements (NFR) statements from Software Requirement...