Runtime Verification Logics A Language Design Perspective Klaus Havelund1? and Giles Reger2?? 1 Jet Propulsion Laboratory, California Inst. of Technology, USA

Source URL: www.cs.man.ac.uk

• Theoretical computer science
• Mathematics
• Formal methods
• Logic in computer science
• Models of computation
• Temporal logic
• Runtime verification
• Formal verification
• Model checking
• Linear temporal logic
• Finite-state machine
• FO

Inflectional Language Modeling with Random Forests for ASR Ilya Oparin Dept. of Computer Science and Ingineering, University of West Bohemia, Plzeˇn, Czech Republic, Speech Technology Center, St.Petersburg, Russia

Source URL: www.speech.kth.se

Can Documents be Linked Data? Kate Byrne, Language Technology Group, University of Edinburgh This paper expands upon a presentation given at the CIGS workshop on Linked Data, held in Edinburgh on 18th NovemberIt s

Source URL: homepages.inf.ed.ac.uk

Proceedings of the Australasian Language Technology Workshop 2007, pagesPractical Queries of a Massive n-gram Database Tobias Hawker Mary Gardiner Andrew Bennetts

Source URL: files.puzzling.org

Unsupervised Learning of Spoken Language with Visual Context David Harwath, Antonio Torralba, and James R. Glass Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology Cambridge, MA

Source URL: papers.nips.cc

Size is not Everything Genre Balance in Bootstrapping a Swedish PoS Tagger Eva Forsbom Department of Linguistics and Philology, Uppsala University Graduate School of Language Technology

Source URL: www.speech.kth.se

Multilingual Collocation Extraction: Issues and Solutions Eric Wehrli Violeta Seretan Language Technology Laboratory Language Technology Laboratory University of Geneva

Source URL: www.latl.unige.ch

A Functorial Query Language Ryan Wisnesky, David Spivak Department of Mathematics Massachusetts Institute of Technology {wisnesky, dspivak}@math.mit.edu

Source URL: categoricaldata.net

SPRÅKVIS - VISMANSRAPPORT EXPERT PANEL REPORT The Nordic Countries - A Leading Region in Language Technology Edited by Krister Lindén, Kimmo Koskenniemi and Torbjørn Nordgård The Nordic Council of Ministers has commi

Source URL: www.ling.helsinki.fi

Attributes in Visual Object Reference Margaret Mitchell () Human Language Technology Center of Excellence, Johns Hopkins University Baltimore, MDUSA

Source URL: www.m-mitchell.com