6607 search results - page 108 / 1322 » Making TeX Work |
127
click to vote
CACM
2010
15 years 17 days ago
2010
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...
135
click to vote
CMOT
2010
15 years 17 days ago
2010
: In Wilderness Search and Rescue (WiSAR), the incident commander (IC) creates a probability distribution map of the likely location of the missing person. This map is important be...
141
click to vote
CVIU
2010
15 years 16 days ago
2010
In this paper, we address the problem of realizing a human following task in a crowded environment. We consider an active perception system, consisting of a camera mounted on a pa...
131
click to vote
ELECTRONICMARKETS
2010
15 years 15 days ago
2010
We argue that certain theoretical commitments that underpin much existing Interorganisational Information Systems (IOIS) research at small scales become untenable when IOIS are st...
134
click to vote
IJHPCA
2010
15 years 12 days ago
2010
Emergence of new parallel architectures presents new challenges for application developers. Supercomputers vary in processor speed, network topology, interconnect communication ch...