5964 search results - page 137 / 1193 » A theory of speculative computation |
153
click to vote
ICALP
2004
Springer
16 years 8 days ago
2004
Springer
This paper is an attempt to develop a unifying algebraic framework for extensional theories capturing formally the informal concept of extensionality, as well as a generic automate...
148
click to vote
INFORMATICALT
2010
15 years 5 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...
122
click to vote
DATE
2009
IEEE
16 years 1 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...
159
click to vote
IWPEC
2004
Springer
16 years 7 days 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...
187
click to vote
ICCV
2009
IEEE
16 years 12 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...