4850 search results - page 229 / 970 » Proof and Computation in Geometry |
188
click to vote
COMPGEOM
1995
ACM
15 years 10 months ago
1995
ACM
The range searching problem is a fundamental problem in computational geometry, with numerous important applications. Most research has focused on solving this problem exactly, bu...
180
click to vote
FOCS
2009
IEEE
16 years 1 months ago
2009
IEEE
In orthogonal range reporting we are to preprocess N points in d-dimensional space so that the points inside a d-dimensional axis-aligned query box can be reported efficiently. T...
176
click to vote
ICPR
2010
IEEE
15 years 5 months ago
2010
IEEE
—Most research works focus on pattern recognition within a small sample images but strategies for running efficiently these algorithms over large images are rarely if ever speci...
149
click to vote
CIE
2007
Springer
15 years 10 months ago
2007
Springer
Nonlinear dynamical and control systems are an important source of applications for theories of computation over the the real numbers, since these systems are usually to complicate...
169
click to vote
APLAS
2010
ACM
15 years 6 months ago
2010
ACM
We describe an approach to using one logic to reason about specifications written in a second logic. One level of logic, called the "reasoning logic", is used to state th...