2601 search results - page 385 / 521 » A Point in Many Triangles |
141
click to vote
PVLDB
2010
15 years 4 months ago
2010
The huge amount of temporal data generated from many important applications call for a highly efficient and scalable version index. The TSB-tree has the potential of large scalab...
174
click to vote
SAT
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. SAT Modulo Theories (SMT) consists of deciding the satisfiability of a formula with respect to a decidable background theory, such as linear integer arithmetic, bit-vect...
210
click to vote
TIP
2010
15 years 4 months ago
2010
—In increasingly many cases of interest in computer vision and pattern recognition, one is often confronted with the situation where data size is very large. Usually, the labels ...
165
click to vote
COGSCI
2010
15 years 4 months ago
2010
For many centuries, philosophers and scientists have pondered the origins and nature of human intuitions about the properties of points, lines, and figures on the Euclidean plane,...
198
click to vote
ASIACRYPT
2010
Springer
15 years 4 months ago
2010
Springer
This paper investigates the Random Oracle Model (ROM) feature known as programmability, which allows security reductions in the ROM to dynamically choose the range points of an ide...