Parallel Feature Selection inspired by Group Testing Yingbo Zhou∗ Utkarsh Porwal∗ CSE Department SUNY at Buffalo {yingbozh, utkarshp}@buffalo.edu

Source URL: papers.nips.cc

• Statistics
• Statistical classification
• Computer programming
• Data
• Machine learning
• Model selection
• Nonparametric statistics
• Support vector machine
• Feature selection
• Test set
• Separable space
• Recursion

An Algebra for Semantic Construction in Constraint-based Grammars Ann Copestake Computer Laboratory University of Cambridge New Museums Site Pembroke St, Cambridge, UK

Source URL: www.cl.cam.ac.uk

• Semantics
• Computational linguistics
• Generative linguistics
• Type theory
• Logic in computer science
• Head-driven phrase structure grammar
• Minimal recursion semantics
• Valency
• Dependency grammar
• Categorial grammar
• Structure
• Syntax

MSFPThe Recursion Scheme from the Cofree Recursive Comonad Tarmo Uustalu1 Institute of Cybernetics at Tallinn University of Technology,

Source URL: cs.ioc.ee

Logical Relations for Fine-Grained Concurrency Aaron Turon Jacob Thamsborg Amal Ahmed

Source URL: www.ccs.neu.edu

• Computer programming
• Software engineering
• Concurrency control
• Computing
• Recursion
• Spinlock
• Compare-and-swap
• Synchronization
• Thread
• Null
• Non-blocking algorithm
• Lock

Non-Artin Gluing in Recursion Theory and Lifting in Abstract Stone Duality Paul Taylor August 5, 2003 Abstract Stone duality is a radical reformulation of general topology, in which the topology on a space X is not consi

Source URL: www.monad.me.uk

Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion? Søren Debois1 , Thomas Hildebrandt1 , Tijs Slaats1,2 , and Nobuko Yoshida3 1

Source URL: mrg.doc.ic.ac.uk

banner above paper title Equational Reasoning about Programs with General Recursion and Call-by-value Semantics Garrin Kimmell

Source URL: www.cs.yale.edu

CalculemusThe 16th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning Calculemus 2009 Emerging Trends

Source URL: www.calculemus.net

• Theoretical computer science
• Algorithm
• Correctness
• RSA
• Metamath
• Symbolic computation
• Recursion

The Beauty and Joy of Computing Lecture #10 Recursion II UC Berkeley EECS Sr Lecturer SOE

Source URL: inst.eecs.berkeley.edu

Multiword expressions 1 Introduction Even the best existing formal grammars of natural languages generate a large proportion of utterances that sound stilted, ugly or simply wrong to native speakers. Many of the problems

Source URL: lingo.stanford.edu

• Linguistics
• Syntax
• Cognitive science
• Grammar
• Semantics
• Generative linguistics
• Semiotics
• Multiword expression
• Minimal recursion semantics
• Head-driven phrase structure grammar
• Ivan Sag
• Lexical item