6976 search results - page 337 / 1396 » The Oil Searching Problem |
181
click to vote
HASE
2007
IEEE
15 years 10 months ago
2007
IEEE
Many problems in high assurance systems design are only tractable using computationally expensive search algorithms. For these algorithms to be useful, designers must be provided ...
184
click to vote
CCGRID
2006
IEEE
15 years 10 months ago
2006
IEEE
P2P systems represent a large portion of the Internet traffic which makes the data discovery of great importance to the user and the broad Internet community. Hence, the power of ...
134
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We introduce a new approach to spellchecking for languages with extreme phonetic irregularities. The spelling for such languages can be significantly improved if knowledg...
165
click to vote
CSMR
2006
IEEE
15 years 8 months ago
2006
IEEE
The high cost of software maintenance could potentially be greatly reduced by the automatic refactoring of object-oriented programs to increase their understandability, adaptabili...
160
click to vote
AAAI
2006
15 years 8 months ago
2006
Some search problems are most directly specified by boolean combinations of pseudo-boolean constraints. We study a logic PL(PB) whose formulas are of this form, and design local-s...