3573 search results - page 348 / 715 » Reasoning about Codata |
167
click to vote
ROBOCUP
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we propose an approach for tracking a moving target using Rao-Blackwellised particle filters. Such filters represent posteriors over the target location by a mixtur...
124
click to vote
UML
2004
Springer
15 years 10 months ago
2004
Springer
Addressing non-orthogonal software concerns that arisefrom requirements can significantly contribute to the complexity of developing large systems. Difficulties arise from the need...
143
click to vote
ECCV
2010
Springer
15 years 10 months ago
2010
Springer
Photometric stereo relies on inverting the image formation process, and doing this accurately requires reasoning about the visibility of light sources with respect to each image po...
152
click to vote
ACSD
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper, we present a mathematical model for the composition of software components, at a semantic modelling level. We describe a mathematical concept of a single software c...
150
Voted
ICCV
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper describes an approach to recovering surface models of complex scenes from the quasi-sparse data returned by a feature based stereo system. The method can be used to mer...