759 search results - page 63 / 152 » Identifying Modeling Errors in Signatures by Model Checking |
ECCV
2004
Springer
14 years 11 months ago
2004
Springer
We analyze the least?squares error for structure from motion with a single infinitesimal motion ("structure from optical flow"). We present asymptotic approximations to ...
AIME
2005
Springer
14 years 2 months ago
2005
Springer
It is by now widely accepted that medical guidelines can help to significantly improve the quality of medical care. Unfortunately, constructing the required medical guidelines is ...
ACNS
2006
Springer
14 years 21 days ago
2006
Springer
Abstract. Several researchers have proposed the use of threshold cryptographic model to enable secure communication in ad hoc networks without the need of a trusted center. In this...
FORTE
2004
13 years 10 months ago
2004
Numerous specialized ad hoc routing protocols are currently proposed for use, or being implemented. Few of them have been subjected to formal verification. This paper evaluates two...
TSP
2008
13 years 9 months ago
2008
Abstract--We derive eigenvalue beamformers to resolve an unknown signal of interest whose spatial signature lies in a known subspace, but whose orientation in that subspace is othe...