2002, September 8-13, Ithaca, New York, USA. Concerned with all aspects of computing with constraints. Submission deadline 3 May 2002.

Support vector machines, machine learning and natural language, statistical learning theory, text classification.

AsTeR --Audio System For Technical Readings-- is a computing system for rendering technical documents written in LaTeX in audio.

Extends traditional untyped assembly languages with typing annotations, memory management primitives, and sound set of typing rules. The typing rules guarantee memory safety, control flow safety, type safety of TAL programs. What do you want to type c...