2048 search results - page 81 / 410 » Intelligent search techniques for large software systems |
128
click to vote
AAAI
2000
15 years 5 months ago
2000
In this paper, we present PQSOLVE, a distributed theorem-prover for Quantified Boolean Formulae. First, we introduce our sequential algorithm QSOLVE, which uses new heuristics and...
139
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
— Open Source Software is computer software for which the source code is publicly open for inspection, modification, and redistribution. While research of a few, large, successf...
144
click to vote
TAPIA
2009
ACM
15 years 11 months ago
2009
ACM
Genomics has reached the stage at which the amount of DNA sequence information in existing databases is quite large. Synthetic biology is now using these databases to catalog sequ...
160
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
When exploring a game over a large strategy space, it may not be feasible or cost-effective to evaluate the payoff of every relevant strategy profile. For example, determining a p...
116
click to vote
KBSE
1995
IEEE
15 years 8 months ago
1995
IEEE
This paper describes an effort to provide automated support for the interactive inquiry and explanation process that is at the heart of software understanding. A hypermedia tool c...