7962 search results - page 378 / 1593 » Conceptions of information science |
152
click to vote
RTA
2010
Springer
15 years 5 months ago
2010
Springer
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 ...
214
click to vote
FOCS
2010
IEEE
15 years 4 months ago
2010
IEEE
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...
145
Voted
GI
2009
Springer
15 years 4 months ago
2009
Springer
: 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...
170
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
: Durch den Einsatz von Informations- und Kommunikationstechnologie im Gesundheitsbereich (speziell im Segment Mobile Health Care) er
745
click to vote
Lab
Division for foundations of software led by Professor Minoru Ito in graduate school of information science at Nara Institute of Science and Technology, JAPAN, is engaged in researc...