2989 search results - page 542 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
PERCOM
2005
ACM
15 years 9 months ago
2005
ACM
This paper considers the problem of maintaining the coverage degree of a wireless sensor network at an application specific level while keeping the sensing units of only a subset o...
CVPR
2010
IEEE
15 years 5 months ago
2010
IEEE
In this paper we introduce a novel Riemannian framework for shape analysis of parameterized surfaces. We derive a distance function between any two surfaces that is invariant to r...
ACIVS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. In this paper, we present a fully automatic approach to multiple human detection and tracking in high density crowds in the presence of extreme occlusion. Human detection...
APPT
2009
Springer
15 years 4 months ago
2009
Springer
In this paper, a comprehensive performance review of an MPI-based high-order three-dimensional spectral element method C++ toolbox is presented. The focus is put on the performance...
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
This paper presents a model of neural network embodiment of intentions and planning mechanisms for autonomous agents. The model bridges the dichotomy of symbolic and non-symbolic ...