6274 search results - page 354 / 1255 » Proofs, Programs, Processes |
171
click to vote
EUROSYS
2009
ACM
16 years 3 months ago
2009
ACM
In a Multi-Variant Execution Environment (MVEE), several slightly different versions of the same program are executed in lockstep. While this is done, a monitor compares the behav...
210
click to vote
ACCV
2009
Springer
16 years 1 months ago
2009
Springer
We present a novel algorithm for improving the accuracy of structure from motion on video sequences. Its goal is to efficiently recover scene structure and camera pose by using dyn...
167
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
We recently reported a criterion for blind separation of non-negative sources, using a new concept called convex analysis for mixtures of non-negative sources (CAMNS). Under some ...
206
click to vote
COMSWARE
2007
IEEE
16 years 1 months ago
2007
IEEE
- Many real-time distributed collaborative applications are emerging that require exchange of critical sensor data among geographically distant end users under resource-constrained...
161
click to vote
ECBS
2007
IEEE
16 years 1 months ago
2007
IEEE
Automated diagnosis of errors detected during software testing can improve the efficiency of the debugging process, and can thus help to make software more reliable. In this pape...