6358 search results - page 1101 / 1272 » Computing spectral sequences |
172
click to vote
SSPR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In surveillance systems for monitoring people behaviour, it is imporant to build systems that can adapt to the signatures of the people tasks and movements in the environ...
149
click to vote
SWAT
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, we investigate the test set problem and its variations that appear in a variety of applications. In general, we are given a universe of objects to be “distinguish...
144
Voted
3DIM
2003
IEEE
15 years 10 months ago
2003
IEEE
We present an Augmented Reality system that relies on purely passive techniques to solve the real-time registration problem. It can run on a portable PC and does not require engin...
123
click to vote
ACSD
2003
IEEE
15 years 10 months ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...
128
click to vote
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
JIGSAW is a well-known technique for collaborative learning. Students typically use it in a face-to-face setting without computer support. This paper describes a Webbased tool for...