Tracking Using Dynamic Programming for Appearance-Based Sign Language Recognition Philippe Dreuw, Thomas Deselaers, David Rybach, Daniel Keysers, and Hermann Ney Lehrstuhl f¨ur Informatik VI – Computer Science Departm

Source URL: thomas.deselaers.de

Practical Optional Types for Clojure Ambrose Bonnaire-Sergeant† , Rowan Davies*, Sam Tobin-Hochstadt† Indiana University†; Omnia Team, Commonwealth Bank of Australia* {abonnair,samth}@indiana.edu, Rowan.Davies@cba.

Source URL: frenchy64.github.io

• Software engineering
• Computing
• Computer programming
• Functional languages
• Concurrent programming languages
• Programming languages
• Procedural programming languages
• Cross-platform software
• Clojure
• Multiple dispatch
• Type system
• Dynamic programming language

Telefonica Research System for the Spoken Web Search task at Mediaeval 2012 Xavier Anguera Telefonica Research Edificio Telefonica - DiagonalBarcelona, Spain

Source URL: ceur-ws.org

• Computational linguistics
• Dynamic programming
• Dynamic time warping
• Time series analysis
• Natural language processing
• Information science
• Information retrieval
• Artificial intelligence
• Computing
• Speech recognition

Nordic Collegiate Programming Contest NCPC 2007 October 6th, 2007 Solution sketches A B

Source URL: ncpc.idi.ntnu.no

• Software engineering
• Programming language theory
• Computer programming
• Operations research
• Mathematical optimization
• ALGOL 68
• Dynamic programming
• Dolls
• Reduction
• TRAP
• Optimization problem

A Formal Model of Service-Oriented Dynamic Object Groups I Einar Broch Johnsena,∗, Olaf Owea , Dave Clarkeb , Joakim Bjørka a b

Source URL: einarj.at.ifi.uio.no

• Software engineering
• Computing
• Programming language theory
• Type theory
• Concurrent programming languages
• Program analysis
• Type system
• Go
• Sheaf
• Orbifold
• CurryHoward correspondence

Event-B specification templates for defining dynamic semantics of DSLs Ulyana Tikhonova

Source URL: wiki.event-b.org

• Theoretical computer science
• Logic in computer science
• Programming language semantics
• Denotational semantics
• Semantics
• Action semantics
• Operational semantics
• Programming language

Dynamic Inference of Abstract Types Philip J. Guo Jeff H. Perkins Stephen McCamant

Source URL: pgbovine.net

• Software engineering
• Computing
• Data types
• Programming language theory
• Type theory
• Type system
• Array data type
• Scala
• Abstract data type
• Variable
• Type inference
• HindleyMilner type system

Chapter 7 Linking Linking is the process of collecting and combining various pieces of code and data into a single file that can be loaded (copied) into memory and executed. Linking can be performed at compile time, whe

Source URL: csapp.cs.cmu.edu

• Computing
• Software
• Computer programming
• Programming language implementation
• Compiler construction
• Compilers
• Debugging
• Object file
• Linker
• Weak symbol
• Dynamic linker
• Relocation

Tool Interface Standard (TIS) Portable Formats Specification Version 1.1 TIS Committee October 1993

Source URL: refspecs.linuxbase.org

• Programming language implementation
• Portable Executable
• Executable and Linkable Format
• UNIX System V
• Unix
• Object file
• Executable
• Dynamic linker
• Library
• Debuggers
• Relocatable Object Module Format
• COFF

Julia A Fast Dynamic Language for Technical Computing Created by: Jeff Bezanson, Stefan Karpinski, Viral B. Shah & Alan Edelman A Fractured Community Technical work gets done in many different languages

Source URL: julialang.org

• Array programming languages
• High-level programming languages
• Object-oriented programming languages
• Parallel computing
• Numerical linear algebra
• MATLAB
• Julia
• Array programming
• Fortran
• Dynamic programming language
• Perl
• LLVM