315 search results - page 24 / 63 » Parallel monotonicity reconstruction |
MICCAI
2005
Springer
14 years 8 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
14 years 2 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
14 years 1 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
12 years 11 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...
ISVC
2009
Springer
14 years 2 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...