1 Annotation inference for modular checkers Cormac Flanagan, Rajeev Joshi, and K. Rustan M. Leino Compaq Systems Research Center, 130 Lytton Ave., Palo Alto, CA 94301, U.S.A.

Source URL: rjoshi.org

• Software engineering
• Formal methods
• Mathematical logic
• Type theory
• Theoretical computer science
• Type systems
• Edsger W. Dijkstra
• Predicate transformer semantics
• Extended static checking
• ESC/Java
• Type inference
• HindleyMilner type system

Leveraging Crowdsourcing for the Thematic Annotation of the Qur’an Amna Basharat, I. Budak Arpinar, Khaled Rasheed Dept. of Computer Science, University of Georgia, Athens, GA, 30605 USA amnabash,budak,

Source URL: gdac.uqam.ca

• Information science
• Knowledge representation
• Knowledge engineering
• Artificial intelligence
• Knowledge
• Computational linguistics
• Natural language processing
• Crowdsourcing
• Ontology
• Semantic Web
• Annotation
• General Architecture for Text Engineering

Russia’s first "Federal United Wireless Network" ANNOTATION This project is devoted to implementation of Russia’s first Federal United Wireless

Source URL: icorating.com

• Economy
• Financial technology
• Money
• Cryptocurrencies
• Finance
• Alternative currencies
• Blockchains
• Ethereum
• Crowdfunding
• Airmax
• Icon
• Internet access

Distributed Computing Prof. R. Wattenhofer Automatic Karaoke Song Annotation with Deep Learning Be it KTV or Singstar; karaoke is a pastime loved by many. However, creating new karaoke

Source URL: www.tik.ee.ethz.ch

• Educational technology
• Online education
• Open educational resources
• Education
• Human behavior
• Learning
• Reference
• Coursera
• Deep learning
• Karaoke
• Andrew Ng
• Udacity

Multi-source annotation projection of coreference chains: assessing strategies and testing opportunities Yulia Grishina and Manfred Stede Applied Computational Linguistics FSP Cognitive Science University of Potsdam

Source URL: www.aclweb.org

BRAT : a Web-based Tool for NLP-Assisted Text Annotation Pontus Stenetorp1∗ Sampo Pyysalo2,3∗ Goran Topi´c1 Tomoko Ohta1,2,3 Sophia Ananiadou2,3 and Jun’ichi Tsujii4

Source URL: pontus.stenetorp.se

Development of the Multilingual Semantic Annotation System 1 2

Source URL: ucrel.lancs.ac.uk

arXiv:1612.01035v1 [cs.CV] 3 DecSemi-Automated Annotation of Discrete States in Large Video Datasets Lex Fridman

Source URL: arxiv.org

International Journal of Computer Theory and Engineering, Vol. 8, No. 1, FebruaryDeveloping a Collaborative Annotation System for Historical Documents by Multiple Humanities Researchers Takafumi Sato, Makoto Goto,

Source URL: www.ijcte.org

CENTRE FOR TRANSLATION STUDIES SENTIML: FUNCTIONAL ANNOTATION FOR MULTILINGUAL SENTIMENT ANALYSIS Marilena Di Bari

Source URL: www.cs.unibo.it