379 search results - page 24 / 76 » The DrScheme Project: An Overview |
LPAR
2005
Springer
14 years 2 months ago
2005
Springer
An overview is given of a number of recent developments in SAT and SAT Modulo Theories (SMT). In particular, based on our k of Abstract DPLL and Abstract DPLL modulo Theories, we e...
SIGIR
2004
ACM
14 years 2 months ago
2004
ACM
In this poster we present an overview of the techniques we used to develop and evaluate a text categorisation system for the PRINCIP project which sets out to automatically classi...
ASIAN
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Unlike today where the majority of diagrams are static, lifeless objects reflecting their origin in print media, the computer of the near future will provide more flexi...
GIAE
2004
Springer
14 years 2 months ago
2004
Springer
This paper first gives a brief overview over some interesting descriptions of conic sections, showing formulations in the three geometric algebras of Euclidean spaces, projective ...
IJCNLP
2004
Springer
14 years 2 months ago
2004
Springer
This paper describes a process of building a bilingual syntactically annotated corpus, the PCEDT (Prague Czech-English Dependency Treebank). The corpus is being created at Charles...