<--- Back to Details
First PageDocument Content
Boolean algebra / Formal methods / Theoretical computer science / Implicant / Disjunctive normal form / IP / Lambda calculus / Vector space / Boolean satisfiability problem / Bayesian network
Date: 2011-07-13 14:33:31
Boolean algebra
Formal methods
Theoretical computer science
Implicant
Disjunctive normal form
IP
Lambda calculus
Vector space
Boolean satisfiability problem
Bayesian network

RESEARCHCONTRIBUTIONS Artificial Intelligence and Language Processing

Add to Reading List

Source URL: aml.media.mit.edu

Download Document from Source Website

File Size: 787,49 KB

Share Document on Facebook

Similar Documents

The Helioseismic and Magnetic Imager (HMI) Vector Magnetic Field Pipeline: SHARPs – Space-Weather HMI Active Region Patches M. G. Bobra, X. Sun, J. T. Hoeksema, M. Turmon, Y. Liu, K. Hayashi,

DocID: 1vq8b - View Document

ECE 275A Homework # 2 Solutions 1. ECE 174 Midterm solutions are in a separate file located on the class website. 2. Let V and W be independent (disjoint) subspaces of a vector space X , such that X = V + W.1 Consider an

DocID: 1v90E - View Document

Representation Theory* Its Rise and Its Role in Number Theory Introduction By representation theory we understand the representation of a group by linear transformations of a vector space. Initially, the group is finite,

DocID: 1uYsr - View Document

Graphical operations with vectors Wednesday, February 08, 2012 5:43 PM Plotting a vector in space

DocID: 1uVYJ - View Document

Stat 991: Multivariate Analysis, Dimensionality Reduction, and Spectral Methods Lecture: 19 Spectral Methods for Learning Vector State-Space Models Instructor: Sham Kakade

DocID: 1uQvX - View Document