6274 search results - page 961 / 1255 » Proofs, Programs, Processes |
131
click to vote
SIGCSE
2005
ACM
15 years 8 months ago
2005
ACM
Information technology projects are growing in complexity and require teams to solve problems and develop solutions. With current undergraduate, computer science and information s...
108
click to vote
CP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract Competition and cooperation can boost the performance of a combinatorial search process. Both can be implemented with a portfolio of algorithms which run in parallel, give...
139
click to vote
EDCC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present the PathCrawler prototype tool for the automatic generation of test-cases satisfying the rigorous all-paths criterion, with a user-defined limit on the number...
126
click to vote
EGC
2005
Springer
15 years 8 months ago
2005
Springer
We are concerned with the following problem: How do we allow a community of users to access and process diverse data stored in many different formats? Standard data formats and da...
121
click to vote
FC
2005
Springer
15 years 8 months ago
2005
Springer
We suggest a general paradigm of using large-scale distributed computation to solve difficult problems, but where humans can act as agents and provide candidate solutions. We are e...