<--- Back to Details
First PageDocument Content
Models of computation / Formal languages / Mathematics / Year of birth missing / Finite-state machine / Finite state transducer / Kornai / Mehryar Mohri / Formal verification / Automata theory / Theoretical computer science / Applied mathematics
Date: 1998-12-03 13:07:54
Models of computation
Formal languages
Mathematics
Year of birth missing
Finite-state machine
Finite state transducer
Kornai
Mehryar Mohri
Formal verification
Automata theory
Theoretical computer science
Applied mathematics

Add to Reading List

Source URL: www.kornai.com

Download Document from Source Website

File Size: 29,21 KB

Share Document on Facebook

Similar Documents

Learning Theory and Algorithms for Revenue Optimization in Second-Price Auctions with Reserve Mehryar Mohri Courant Institute and Google Research, 251 Mercer Street, New York, NY 10012 ˜ Medina Andres Munoz

DocID: 1tiX5 - View Document

Rademacher Complexity Margin Bounds for Learning with a Large Number of Classes Vitaly Kuznetsov Courant Institute of Mathematical Sciences, 251 Mercer street, New York, NY, 10012 Mehryar Mohri

DocID: 1t1hx - View Document

Chapter 9 R EGULAR A PPROXIMATION OF C ONTEXT-F REE G RAMMARS THROUGH T RANSFORMATION Mehryar Mohri AT&T Labs — Research

DocID: 1sUNd - View Document

Formal languages / Academia / Cognitive science / Philosophy / Regular language / Noam Chomsky / Mehryar Mohri / Lauri Karttunen / Context-free language / Finite-state transducer / Chomsky hierarchy / Context-sensitive language

Microsoft WordMOHRI & SPROAT.doc

DocID: 1r0Z3 - View Document

Ensemble Nystr¨om Sanjiv Kumar, Mehryar Mohri and Ameet Talwalkar A common problem in many areas of large-scale machine learning involves manipulation of a large matrix. This matrix may be a kernel matrix arising in Sup

DocID: 1gkkj - View Document