3342 search results - page 143 / 669 » Automating Abstract Interpretation |
TABLEAUX
2005
Springer
15 years 4 months 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...
SIGOPSE
2004
ACM
15 years 4 months 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...
101
click to vote
AMEC
2004
Springer
15 years 4 months 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...
IJCNLP
2004
Springer
15 years 4 months 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...
ITS
2004
Springer
15 years 4 months 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, ...