759 search results - page 63 / 152 » Identifying Modeling Errors in Signatures by Model Checking |
117
Voted
ECCV
2004
Springer
16 years 2 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
15 years 6 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 ...
126
click to vote
ACNS
2006
Springer
15 years 4 months 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...
120
click to vote
FORTE
2004
15 years 2 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...
76
Voted
TSP
2008
15 years 16 days 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...