6054 search results - page 891 / 1211 » Implementation of Andorra-based Languages |
176
click to vote
AUSAI
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Quantified Boolean formulas (QBFs) play an important role in artificial intelligence subjects, specially in planning, knowledge representation and reasoning [20]. In th...
172
click to vote
CC
2004
Springer
16 years 2 days ago
2004
Springer
An important issue in embedded systems design is the size of programs. As computing devices decrease in size, yet with more and more functions, better code size optimizations are i...
198
click to vote
CC
2004
Springer
16 years 2 days ago
2004
Springer
In this paper, we show how previous work on escape analysis can be adapted and extended to yield a static analysis that is efficient yet effective for reducing the number of inter...
160
click to vote
EDBTW
2004
Springer
16 years 2 days ago
2004
Springer
In today’s global village, it is critical that the key information tools, such as web search engines, e-Commerce portals and e-Governance, work across multiple natural languages,...
170
click to vote
ICLP
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Pruning operators, such as cut, are important to develop efficient logic programs as they allow programmers to reduce the search space and thus discard unnecessary compu...