Sciweavers

3701 search results - page 165 / 741
» Anatomical Information Science
Sort
View
RTA
2010
Springer
15 years 5 months ago
The Undecidability of Type Related Problems in Type-free Style System F
We consider here a number of variations on the System F, that are predicative second-order systems whose terms are intermediate between the Curry style and Church style. The terms ...
Ken-etsu Fujita, Aleksy Schubert
220
Voted
FOCS
2010
IEEE
15 years 5 months ago
On the Computational Complexity of Coin Flipping
Coin flipping is one of the most fundamental tasks in cryptographic protocol design. Informally, a coin flipping protocol should guarantee both (1) Completeness: an honest executi...
Hemanta K. Maji, Manoj Prabhakaran, Amit Sahai
GI
2009
Springer
15 years 4 months ago
Sensor Integration in the Security Domain
: The Sensor Integration Package is a reusable subsystem, combining the complementary capabilities of radar, infra red and long range day light camera, laser, image processing soft...
Bastian Köhler, Kaeye Dästner, Felix Opi...
GI
2009
Springer
15 years 4 months ago
PaKo - Der mobile Patientenkoffer
: Durch den Einsatz von Informations- und Kommunikationstechnologie im Gesundheitsbereich (speziell im Segment Mobile Health Care) er
Stefan Stein, J. Felix Hampe
CVPR
2004
IEEE
16 years 9 months ago
The World in an Eye
This paper provides a comprehensive analysis of exactly what visual information about the world is embedded within a single image of an eye. It turns out that the cornea of an eye...
Ko Nishino, Shree K. Nayar