2648 search results - page 444 / 530 » Tracking of Rotating Objects |
JLP
2010
13 years 5 months ago
2010
We present a calculus for tracking equality relationships between values through pairs of bytecode programs. The calculus may serve as a certification mechanism for noninterferenc...
ICASSP
2011
IEEE
13 years 2 months ago
2011
IEEE
This paper presents the formulation and implementation of multidimensional deformable models in the frequency domain. The models are defined by finite element discretization, us...
CLEF
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Esfinge is a general domain Portuguese question answering system. It tries to apply simple techniques to large amounts of text. Esfinge participated last year in the mono...
ICMI
2004
Springer
14 years 3 months ago
2004
Springer
We present a video demonstration of an agent-based test bed application for ongoing research into multi-user, multimodal, computer-assisted meetings. The system tracks a two perso...
ISCA
2002
IEEE
14 years 3 months ago
2002
IEEE
This paper investigates a class of main memory accesses (invalid memory traffic) that can be eliminated altogether. Invalid memory traffic is real data traffic that transfers inva...