7840 search results - page 1426 / 1568 » On generalized Ramsey numbers |
ISSTA
2000
ACM
14 years 19 days ago
2000
ACM
A number of different concepts have been proposed that, loosely speaking, revolve around the notion of software testability. Indeed, the concept of testability itself has been int...
SIGMOD
2000
ACM
14 years 19 days ago
2000
ACM
We discovered a surprising law governing the spatial join selectivity across two sets of points. An example of such a spatial join is "find the libraries that are within 10 m...
SIGOPSE
2000
ACM
14 years 19 days ago
2000
ACM
Recently there has been a renewed interest in the application of economic models to the management of computational resources. Most of this interest is focused on pricing models f...
STOC
2000
ACM
14 years 19 days ago
2000
ACM
Multiple sequence alignment is a fundamental problem in computational biology. Because of its notorious difficulties, aligning sequences within a constant band (c-diagonal) is a ...
AGENTS
2000
Springer
14 years 19 days ago
2000
Springer
Multi-agent teamwork is critical in a large number of agent applications, including training, education, virtual enterprises and collective robotics. Tools that can help humans an...