cs.nyu.edu

openfst.cs.nyu.edu

WebHome < FST < TWiki

OpenFst Version 1.6.7 is now available for download. Is a library for constructing, combining, optimizing, and searching. FSTs) Weighted finite-state transducers are automata where each transition has an input label, an output label, and a weight. The more familiar finite-state acceptor is represented as a transducer with each transition's input and output label equal. Finite-state acceptors are used to represent sets of strings (specifically,. FSTs can be optimized by. Example - FST Application.

nlp.cs.nyu.edu

The Proteus Project at NYU

715 Broadway, 7th floor,. New York, NY. Welcome to the Proteus Project. The Proteus Project members. Within NLP, our main focus is on the problems of Information Extraction. Information Extraction poses multiple learning. Most of our work on Information Extraction has focused on 'current events', as reported in news articles or discussed in blogs. We have recently extended our work to include scientific papers and patents. The Proteus Project has been supported by grants and contracts from the National S...

news.cs.nyu.edu

Systems@NYU

Our group works on large-scale distributed computing, security, systems aspects of Big Data, low-cost computing for the developing world, and millimeter wave wireless. Center for Tech and Economics Development. Center for Data Science. 2/3/2018: Prof. Joseph Bonneau is the winner of the 2017 PET Award. For his paper CONIKS: Bringing Key Transparency to End Users, USENIX Security Symposium 2015. 10/29/2017: SOSP best paper. For "The Efficient Server Audit Problem, Deduplicated Re-execution, and the Web".

horatio.cs.nyu.edu

Image Classifier Demo

Upload your images to have them classified by a machine! Upload multiple images using the button below or dropping them on this page. The predicted objects out of 1,000 categories will be refreshed automatically. Images are resized such that the smallest dimension becomes 256, then the center 256x256 crop is used. More about this NYU demo can be found here. The model in the demo is early work towards the following paper: "Visualizing and Understanding Convolutional Networks". Matthew Zeiler and Rob Fergus.

cs1.cs.nyu.edu

Welcome - NYU Computer Science Department

Our undergraduate majors and MS students have numerous interesting and well-paying employment opportunities at major corporations in New York City and vicinity. Our PhD graduates are employed in a broad spectrum of academic and industrial research positions. Rich Bonneau has received the 2015 Iakobachvili Faculty Science Award. NYU School of Arts and Science. Congratulations! Subhash Khot has been named a Simons Investigator in Theoretical Computer Science. By the Simons Foundation. Congratulations!

cater.cs.nyu.edu

Systems@NYU

Our group works on large-scale distributed computing, security, systems aspects of Big Data, low-cost computing for the developing world, and millimeter wave wireless. Center for Tech and Economics Development. Center for Data Science. 2/3/2018: Prof. Joseph Bonneau is the winner of the 2017 PET Award. For his paper CONIKS: Bringing Key Transparency to End Users, USENIX Security Symposium 2015. 10/29/2017: SOSP best paper. For "The Efficient Server Audit Problem, Deduplicated Re-execution, and the Web".

cbll.cs.nyu.edu

start · Computational and Biological Learning Lab

Computational and Biological Learning Lab. Computational and Biological Learning Laboratory. Recent News and Events. 2010-10-21 Article about Yann and Convolutional Nets in the The Economist. 2010-05-22 Article in Wired Magazine about our project on Deep Learning. 2010-03-19: MuseAmi, a company co-founded by Y. LeCun. 2010-03-08: CBLL to start DARPA Deep Learning Project. 2010-02-01: Our LAGR robot is on TV. 2009-05-13 : Support Lush. 2009-05-06 : Final class projects for Yann's undergraduate course.

cvc4.cs.nyu.edu

CVC4: the smt solver

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories. SMT) problems. It can be used to prove the validity (or, dually, the satisfiability) of first-order formulas in a large number of built-in logical theories and their combination. CVC4 is the fourth in the Cooperating Validity Checker family of tools ( CVC. While optimizing the design of the core system architecture and decision procedures to take advantage of recent engineering and algorithmic advances. A rich C...

vlg.cs.nyu.edu

Vision Learning Graphics | New York University

We are a group of labs and researchers within the Computer Science Department. At the Courant Institute of Mathematical Sciences. At New York University. Our group consists of faculty, postdocs and graduate students whose interests range from visualization and computer graphics to computer vision and machine learning. Joins the Computer Science faculty at NYU. Honored as 2008 Silver Professor. NYU Games for Learning Institute. Joins the Computer Science faculty at NYU.