Wolfram|Alpha is more than a search engine. It gives you access to the world's facts and data and calculates answers across a range of topics, including science, nutrition, history, geography, engineering, mathematics, linguistics, sports, finance, music...
The goal is to use computational thinking to forge ideas that are at least as "explicative" as the Euclid-like constructions (and hopefully more so) but more accessible and more powerful. In the next section I illustrate the idea by using Turtle geometry to give the theorem about angles subtended by a chord greater perspicuity, a more intuitive proof and new connections to other ideas.
ACL Bibliographies
Doug Arnold
University of Essex
January 14, 2008
This page gives access to the bibliographies I am constructing as part of the ACL Anthology.
Here you will find bibtex, html, and pdf versions of the bibliographies. This is very much `work in progress', and I do not guarantee them as to accuracy, or anything else. I especially welcome corrections.
The bibliographies are searchable by following this link (select the ACL bibliography from the pull down menu).
* Computational Linguistics (Journal)
* ACL Proceedings
* EACL Proceedings
* NAACL Proceedings
* ANLP Proceedings
* TINLAP
* COLING
* HLT Proceedings
* Message Understanding Conferences (MUC)
* Workshops
* Coling Workshops
* SIGs: Independent ACL SIG Meetings
R. Aler, D. Borrajo, and P. Isasi. Proceedings of the 2001 Congress on Evolutionary
Computation CEC2001, page 1220--1227. COEX, World Trade Center, 159 Samseong-dong,
Gangnam-gu, Seoul, Korea, IEEE Press, (27-30 May 2001)
M. Anselmo, D. Giammarresi, and M. Madonia. Theoretical Computer Science, 410 (37):
3520 - 3529(2009)Implementation and Application of Automata (CIAA 2007).