6199 search results - page 972 / 1240 » Monitoring the |
171
click to vote
IJFCS
2006
15 years 6 months ago
2006
The outcome of verifying software is often a `counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. In order to understan...
159
Voted
IJHPCA
2006
15 years 6 months ago
2006
Systems software for clusters typically derives from a multiplicity of sources: the kernel itself, software associated with a particular distribution, site-specific purchased or o...
208
Voted
IVC
2008
15 years 6 months ago
2008
In this paper, we address the issue of Euclidean path modeling in a single camera for activity monitoring in a multi-camera video surveillance system. The method consists of a pat...
160
click to vote
JBI
2008
15 years 6 months ago
2008
We present a classifier for use as a decision assist tool to identify a hypovolemic state in trauma patients during helicopter transport to a hospital, when reliable acquisition o...
162
click to vote
IJRR
2006
15 years 6 months ago
2006
We consider the problem of monitoring and controlling the position of herd animals, and view animals as agents with natural mobility but not strictly controllable. By exploiting k...