3116 search results - page 223 / 624 » Positively dependent types |
153
click to vote
CVPR
2010
IEEE
16 years 1 months ago
2010
IEEE
The position of a world point’s solar shadow depends on its geographical location, the geometrical relationship between the orientation of the sunshine and the ground plane wher...
177
Voted
ACSC
2009
IEEE
16 years 28 days ago
2009
IEEE
1 This paper compares the CORE rankings of computing conferences and journals to the frequency of citation of those journals and conferences in the Australasian Computer Science Co...
148
Voted
WEA
2009
Springer
16 years 27 days ago
2009
Springer
A dynamic shortest-path algorithm is called a batch algorithm if it is able to handle graph changes that consist of multiple edge updates at a time. In this paper we focus on fully...
155
click to vote
ICRA
2009
IEEE
16 years 23 days ago
2009
IEEE
— In the recent years, intensive studies have been carried out on the measurement of distance by using stereo camera systems. However, image systems with multiple image sensors a...
140
Voted
QI
2009
Springer
16 years 20 days ago
2009
Springer
A novel way to define Quantum like measurements for text is through transformations called Selective Erasers. When applied to text, an Eraser acts like a filter and preserves par...