3693 search results - page 16 / 739 » Paper on the Move |
MDM
2010
Springer
14 years 2 months ago
2010
Springer
—Current smartphones have a storage capacity of several gigabytes. More and more information is stored on mobile devices. To meet the challenge of information organization, we tu...
KBSE
1997
IEEE
14 years 2 months ago
1997
IEEE
Proofs in the Nuprl system, an implementation of a constructive type theory, yield “correct-by-construction” programs. In this paper a new methodology is presented for extract...
MMAS
2011
Springer
13 years 21 days ago
2011
Springer
This paper introduces a new sweeping preconditioner for the iterative solution of the variable coefficient Helmholtz equation in two and three dimensions. The algorithms follow th...
MVA
2002
13 years 9 months ago
2002
2 Detecting moving objects When we use a PTZ camera and background subtraction to detect moving objects, we must synchronize the PTZ of the camera and the PTZ of the background ima...
KES
2005
Springer
14 years 3 months ago
2005
Springer
This paper presents a technique for an intelligent robot to adaptively behave in unforeseen and dynamic circumstances. Since the traditional methods utilized the relatively reliabl...