3342 search results - page 272 / 669 » Automating Abstract Interpretation |
130
click to vote
DALT
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We present a novel knowledge-based approach for automated electronic barter trade systems. An e-barter is basically a closed e-marketplace, where agents may exchange (buy...
151
click to vote
ACL
1992
15 years 5 months ago
1992
We developed a fully automated Information Retrieval System which uses advanced natural language processing techniques to enhance the effectiveness of traditional key-word based d...
125
Voted
JETAI
2008
15 years 3 months ago
2008
Abstract. This paper describes a proof search procedure for propositional nonclausal resolution based on a new weighting strategy that utilizes search methods for propositional sat...
122
click to vote
CPC
2008
15 years 2 months ago
2008
Abstract. Zeilberger's enumeration schemes can be used to completely automate the enumeration of many permutation classes. We extend his enumeration schemes so that they apply...
114
Voted
CG
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. For the first time, automated Hex solvers have surpassed humans in their ability to solve Hex positions: they can now solve many 9