535 search results - page 103 / 107 » Do we need dependent types |
137
Voted
COCOA
2010
Springer
15 years 1 months ago
2010
Springer
The classical and well-studied group testing problem is to find d defectives in a set of n elements by group tests, which tell us for any chosen subset whether it contains defectiv...
160
Voted
DASFAA
2009
IEEE
15 years 10 months ago
2009
IEEE
The rapidly increasing number of XML-related applications indicates a growing need for efficient, dynamic, and native XML support in database management systems (XDBMS). So far, bo...
134
click to vote
CGF
2007
15 years 3 months ago
2007
Significant advances have been achieved for realtime ray tracing recently, but realtime performance for complex scenes still requires large computational resources not yet availa...
150
Voted
ACCV
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Estimation using homogeneous entities has to cope with obstacles such as singularities of covariance matrices and redundant parametrizations which do not allow an immedia...
159
Voted
DRUMS
1998
Springer
15 years 7 months ago
1998
Springer
Autonomous robots need the ability to move purposefully and without human intervention in real-world environments that have not been speci cally engineered for them. These environm...