8828 search results - page 1146 / 1766 » Formal methods in practice |
212
click to vote
IROS
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract— Image-based visual servo (IBVS) is a simple, efficient and robust technique for vision-based control. Although technically a local method in practice it demonstrates a...
181
click to vote
ACCV
2009
Springer
16 years 2 months ago
2009
Springer
Mixtures of Gaussians are a crucial statistical modeling tool at the heart of many challenging applications in computer vision and machine learning. In this paper, we first descri...
186
click to vote
CSEE
2009
Springer
16 years 2 months ago
2009
Springer
At University of Southern California (USC), CSCI577ab is a graduate software engineering course that teaches best software engineering practices and allows students to apply the l...
325
click to vote
ICIAR
2009
Springer
16 years 2 months ago
2009
Springer
The SIFT (Scale Invariant Feature Transform) descriptor is a widely used method for matching image features. However, perfect scale invariance can not be achieved in practice becau...
198
click to vote
ISSAC
2009
Springer
16 years 2 months ago
2009
Springer
In this paper, we present an improved method for decomposing multivariate polynomials. This problem, also known as the Functional Decomposition Problem (FDP) [17, 9, 27], is class...