315 search results - page 24 / 63 » Parallel monotonicity reconstruction |
MICCAI
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. 3D freehand ultrasound imaging is a very attractive technique in medical examinations and intra-operative stage for its cost and field of view capacities. This technique ...
ATVA
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We present a new method for fighting the state space explosion of process algebraic specifications, by performing static analysis on an intermediate format: linear proc...
CSFW
2005
IEEE
15 years 3 months ago
2005
IEEE
We study an automatic technique for the verification of cryptographic protocols based on a Horn clause model of the protocol. This technique yields proofs valid for an unbounded ...
CISS
2010
IEEE
14 years 1 months ago
2010
IEEE
—The approach presented in this paper tackles the active research problem of the fast automatic modeling of large-scale environments from videos with millions of frames and colle...
101
click to vote
ISVC
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper introduces a new approach for volumetric visual hull reconstruction, using a voxel grid that focuses on the moving target object. This grid is continuously upd...