3510 search results - page 194 / 702 » Searching with numbers |
131
click to vote
CADE
2002
Springer
16 years 7 months ago
2002
Springer
Abstract. Finite model search for first-order logic theories is complementary to theorem proving. Systems like Falcon, SEM and FMSET use the known LNH (Least Number Heuristic) heur...
184
click to vote
ICCS
2001
Springer
15 years 11 months ago
2001
Springer
Achieving peak performance from library subroutines usually requires extensive, machine-dependent tuning by hand. Automatic tuning systems have emerged in response, and they typic...
175
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
In parallel processing systems, a fundamental consideration is the maximization of system performance through task mapping. A good allocation strategy may improve resource utilizat...
225
click to vote
VLDB
2000
ACM
15 years 10 months ago
2000
ACM
Nearest neighbor search in high dimensional spaces is an interesting and important problem which is relevant for a wide variety of novel database applications. As recent results s...
178
click to vote
IJCAI
2003
15 years 8 months ago
2003
We study two apparently different, but formally similar, scheduling problems. The first problem involves contract algorithms, which can trade off run time for solution quality, a...