20441 search results - page 3664 / 4089 » Locally Computable Structures |
127
click to vote
CSR
2007
Springer
15 years 11 months ago
2007
Springer
To solve a problem on a given CNF formula F a splitting algorithm recursively calls for F[v] and F[¬v] for a variable v. Obviously, after the first call an algorithm obtains some...
167
click to vote
EMMCVPR
2007
Springer
15 years 11 months ago
2007
Springer
Most of the traditional methods for shape classification are based on contour. They often encounter difficulties when dealing with classes that have large nonlinear variability, es...
126
click to vote
EPEW
2007
Springer
15 years 11 months ago
2007
Springer
Current computer systems and communication networks tend to be highly complex, and they typically hide their internal structure from their users. Thus, for selected aspects of capa...
141
click to vote
ERCIMDL
2007
Springer
15 years 11 months ago
2007
Springer
Using keyword search to find relevant objects in digital libraries often results in way too large result sets. Based on the metadata associated with such objects, the faceted sear...
144
Voted
EUROPAR
2007
Springer
15 years 11 months ago
2007
Springer
An optimizing compiler has a hard time to generate a code which will perform at top speed for an arbitrary data set size. In general, the low level optimization process must take i...