3342 search results - page 143 / 669 » Automating Abstract Interpretation |
166
click to vote
TABLEAUX
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. The clause linking technique of Lee and Plaisted proves the unsatisfiability of a set of first-order clauses by generating a sufficiently large set of instances of thes...
143
click to vote
SIGOPSE
2004
ACM
16 years 8 days ago
2004
ACM
Abstract: Designing and managing dependable systems is a difficult endeavor. In this paper, we describe challenges in this vast problem space, including provisioning and allocatin...
208
click to vote
AMEC
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. This paper documents the development of three autonomous stocktrading agents within the framework of the Penn Exchange Simulator (PXS), a novel stock-trading simulator th...
151
click to vote
IJCNLP
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. This paper proposes the use of Latent Semantic Indexing (LSI) techniques, decomposed with semi-discrete matrix decomposition (SDD) method, for text categorization. The SD...
147
click to vote
ITS
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Hints are an important ingredient of natural language tutorial dialogues. Existing models of hints, however, are limited in capturing their various underlying functions, ...