8699 search results - page 199 / 1740 » Elements of the Theory of Computation |
143
click to vote
ICALP
2004
Springer
15 years 12 months 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...
139
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...
263
click to vote
VLDB
2007
ACM
16 years 6 months ago
2007
ACM
Current skyline evaluation techniques follow a common paradigm that eliminates data elements from skyline consideration by finding other elements in the dataset that dominate them...
116
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...
148
click to vote
IWPEC
2004
Springer
15 years 12 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...