はてなブックマーク

The Next 700 ProgrammingLanguages P. J. Landin Univac Division of Sperry Rand Corp., New York, New York "... today... 1,700 special programming languages used to 'com- municate' in over 700 application areas."--Computer Software Issues, an American Mathematical Association Prospectus, July 1965. A family of unimplemented computing languages is de- scribed that is intended to span differences of ap

This is a collated list of image and video databases that people have found useful for computer vision research and algorithm evaluation. An important article How Good Is My Test Data? Introducing Safety Analysis for Computer Vision (by Zendel, Murschitz, Humenberger, and Herzner) introduces a methodology for ensuring that your dataset has sufficient variety that algorithm results on the dataset a

Here is a list of functional programs applied to real-world tasks. The main criterion for being real-world is that the program was written primarily to perform some task, not primarily to experiment with functional programming. Functional is used in the broad sense that includes both `pure' programs (no side effects) and `impure' (some use of side effects). Languages covered include CAML, Clean, E

Philip Wadler The Girard-Reynolds isomorphism (second edition) Philip Wadler. Theoretical Computer Science, 375(1–3):201–226, May 2007. Festschrift for John C. Reynolds's 70th birthday. Jean-Yves Girard and John Reynolds independently discovered the second-order polymorphic lambda calculus, F2. Girard additionally proved a Representation Theorem: every function on natural numbers that can be prove

Basics of Machine Learning Naive Bayes, decision trees, zero-frequency, missing data, ID3 algorithm, information gain, overfitting, confidence intervals, nearest-neighbour method, Parzen windows, K-D trees, K-means, scree plot, gaussian mixtures, EM algorithm, dimensionality reduction, principal components, eigen-faces, agglomerative clustering, single-link vs. complete link, lance-williams algori

Philip Wadler COCHIS: Stable and coherent implicits Tom Schrijvers, Bruno C.D.S. Oliveira, Philip Wadler, and Koar Marntirosian. Journal of Functional Programming 29(E3). Implicit programming (IP) mechanisms infer values by type-directed resolution, making programs more compact and easier to read. Examples of IP mechanisms include Haskell’s type classes, Scala’s implicits, Agda’s instance argument

P# is a compiler which facilitates interoperation between a concurrent superset of the Prolog programming language and C#. This enables Prolog to be used as a native implementation language for Microsoft's .NET platform. P# compiles a linear logic extension of Prolog to C# source code. P# can create C# objects from Prolog and use C#'s graphical, networking and other libraries. P# adds language con

Reading list on Bayesian modeling for language People often ask me what they can read to learn more about recent Bayesian modeling techniques and their applications to language learning. Here is a list of the papers I have found to be most useful and relevant to my own research. I try to emphasize the papers aimed at a slightly less technical/more cognitively inclined audience. This is not intende

This page dedicates to a general-purpose machine learning technique called Maximum Entropy Modeling (MaxEnt for short). On this page you will find: Maximum Entropy Modeling tutorials Maxent related software Annotated papers on Maxent Other Maxent resources on the web What is Maximum Entropy Modeling In his famous 1957 paper, Ed. T. Jaynes wrote: Information theory provides a constructive criterion

いんとろ powerdotってなに? Powerdotはスライドプレゼンテーションを作るためのLaTeXのクラスファイルです．M$ PowerPointを彷彿とさせる名前ですがフリーです．HA-prosperパッケージ(1)を提供していたHendri AdriaensさんとChristopher Ellisonさんが作成したものです． まだできて間もなく，Prosperほど使っている人がいないのでこのページを作ってみました．が，ドキュメントがしっかりしているので，英語が読める人はそっちを参照すればこのページを見る必要はないかと思われます．．．．とおもって書いていたら案の定ドキュメントの部分訳みたいになってしまった． なにがいいの? とりあえず，Prosperより良いところをあげておきます． dviでプレビューできる（らしい；実際には僕はPSTricksを使ってしまうのであまり関係ないのです

JVM Opcode Reference Opcodes organized by name. Opcodes organized by number. Opcodes organized by function.

Introduction | License | Download | Document | FAQ(new) | History News 2011-09-02 Source code moved to github.com Please download the latest source code of maxent from github.com: https://github.com/lzhang10/maxent The new release incorporated important bug fixes by Jiri Marsik. version 20061005 Fix building problem on GCC 4, upgrade python binary package to Python 2.5. Linux binary is the same so

Professor Institute for Language, Cognition and Computation School of Informatics University of Edinburgh I'm also part of Edinburgh NLP and the Centre for Doctoral Training in Natural Language Processing email me (sgwater) here: inf.ed.ac.uk In my research, I aim to discover the computational processes and constraints that are needed to learn linguistic structure, either in humans or in machines.

BibTeX BibTeX mode C-jで次のかっこに飛ぶ．C-c C-cで仕上げ．本家のページ． 最近はもっぱらBibDeskに頼り切っている．フィールドにTeXのコマンドを入れるとき，円記号はOpt-\でバックスラッシュを入れる様にする． bstファイルのカスタマイズ 記法がよくわからないのでmakebstを使う．ターミナルで unzip custom-bib.zip cd custom-bib tex makebst.ins でインストール．それから tex makebst とすると対話式にどういうbstファイルが欲しいかと訊かれるので，質問に答えていけばよい．この対話が終わると**.bdjというファイルができてそのまま「***.bstをつくる？」と訊かれるのでyを押すとbstファイルを作ってくれる． 注意すること(?)． INTERNAL LANGUAGE SUPPORT (i

From 1999 until 2011, I was editing the Database Principles Column of SIGMOD Record which publishes surveys of recent results that appear in database theory publications (such as ACM PODS or ICDT) in a form suitable for the larger audience of the Record. Some of the best database theoreticians (and not only database theoreticians) contributed  papers on many different aspects of databases. All tho

The Earth Mover's Distance The Earth Mover's Distance (EMD) is a method to evaluate dissimilarity between two multi-dimensional distributions in some feature space where a distance measure between single features, which we call the ground distance is given. The EMD ``lifts'' this distance from individual features to full distributions. Intuitively, given two distributions, one can be seen as a mas

Philip Wadler Down with the bureaucracy of syntax! Pattern matching for classical linear logic Philip Wadler. Draft. This paper introduces a new way of attaching proof terms to proof trees for classical linear logic, which bears a close resemblance to the way that pattern matching is used in programming languages. It equates the same proofs that are equated by proof nets, in the formulation of pro

Image Arithmetic - pointwise combination of two images Point Operations - functions applied to individual pixels Geometric Operations - image rotation, translation and scaling Image Analysis - labeling image pixels Morphology - pixel shape based analysis Digital Filters - noise reduction and other enhancement filters Feature Detectors - edges and others features Image Transforms - Fourier, Hough a

Skin Colour Analysis Jamie Sherrah and Shaogang Gong The detection of skin colour in images is a very useful and increasingly popular technique in computer vision for detecting and tracking humans. As a visual cue, skin colour is robust and inexpensive to compute, making it useful as an attention-focusing mechanism for more expensive computations. It has been found that skin colour from all ethnic