133 search results - page 27 / 27 » DIJKSTRA |
PR
2007
13 years 4 months ago
2007
In this paper, a novel method for accurate subject tracking, by selecting only tracked subject boundary edges in a video stream with a changing background and moving camera, is pr...
CORR
2010
Springer
13 years 3 months ago
2010
Springer
The HL7 standard is widely used to exchange medical information electronically. As a part of the standard, HL7 defines scalar communication data types like physical quantity, poin...
SAC
2010
ACM
13 years 3 months ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...