2938 search results - page 346 / 588 » On obfuscating point functions |
210
click to vote
FOSSACS
2011
Springer
14 years 10 months ago
2011
Springer
The model checking of higher-order recursion schemes has been actively studied and is now becoming a basis of higher-order program verification. We propose a new algorithm for tri...
217
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Tracking in a multipath environment poses many challenges. It is worth while to quantify the achievable performance bounds in such an environment. However finding the performance...
364
click to vote
ICDAR
2011
IEEE
14 years 6 months ago
2011
IEEE
This paper presents a fully automatic framework for the restoration of double-sided historical manuscripts which are impaired by ink bleed-through distortions. First, the recto si...
227
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
This paper introduces simultaneous globally optimal hand-eye self-calibration in both its rotational and translational components. The main contributions are new feasibility tests...
301
click to vote
Publication
The wide spread of location-based services results in a strong market for location-detection devices (e.g., GPS-like devices, RFIDs, handheld devices, and cellular phones). Example...