8512 search results - page 162 / 1703 » Computing Theory With Relevance |
114
click to vote
INFORMATICALT
2010
15 years 3 months ago
2010
In the presented paper, some issues of the fundamental classical mechanics theory in the sense of Ising physics are introduced into the applied neural network area. The expansion o...
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper explores the use of SAT-Modulo Theory in determination of bit-widths for finite precision implementation of numerical calculations, specifically in the context of sci...
114
click to vote
IWPEC
2004
Springer
15 years 10 months ago
2004
Springer
We show that, for every finite field , the class of all representable matroids of branch-width at most a constant t has a decidable MSO theory. In the other direction, we p...
137
click to vote
ICCV
2009
IEEE
16 years 9 months ago
2009
IEEE
We present some theoretical results related to the problem
of actively searching for a target in a 3D environment,
under the constraint of a maximum search time. We define
the o...
120
click to vote
ECCV
2002
Springer
16 years 6 months ago
2002
Springer
Abstract. Given the projection of a su cient numberof points it is possible to algebraically eliminate the camera parameters and obtain viewinvariant functions of image coordinates...