3116 search results - page 558 / 624 » Positively dependent types |
109
click to vote
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
— In this paper we present a systematic study of the performance of seven different configurations of GPS on a moving vehicle using three different GPS receivers. The seven diff...
132
click to vote
CTRSA
2007
Springer
15 years 10 months ago
2007
Springer
Standard signature schemes are usually designed only to achieve weak unforgeability – i.e. preventing forgery of signatures on new messages not previously signed. However, most s...
131
click to vote
ECUMN
2007
Springer
15 years 10 months ago
2007
Springer
— Currently used IP routing protocols calculate and only use a single path between two nodes of a network, or in the best case, only paths with the same cost (with OSPF2 or IS-IS...
157
click to vote
CVPR
2009
IEEE
15 years 10 months ago
2009
IEEE
We present a new shape-from-distortion framework for recovering specular (reflective/refractive) surfaces. While most existing approaches rely on accurate correspondences between 2...
128
click to vote
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
Millions of research funding has been put down to develop - what I call - old forms - of reasoning that are characterized by strong focus on theoretical properties and strict adher...