1982 search results - page 224 / 397 » Parametricity and dependent types |
163
click to vote
EMNLP
2008
15 years 7 months ago
2008
This paper describes a new automatic method for Japanese predicate argument structure analysis. The method learns relevant features to assign case roles to the argument of the tar...
139
click to vote
MVA
2007
15 years 7 months ago
2007
Automated Visual Inspection (AVI) is an essential part in the manufacturing process of Integrated Circuit (IC) packages. Contamination a common defect type found in IC packages ap...
174
click to vote
TRECVID
2008
15 years 7 months ago
2008
The IRIM group is a consortium of French teams working on Multimedia Indexing and Retrieval. This paper describes our participation to the TRECVID 2008 High Level Features detecti...
145
click to vote
ACL
2006
15 years 7 months ago
2006
Machine Transliteration is to transcribe a word written in a script with approximate phonetic equivalence in another language. It is useful for machine translation, cross-lingual ...
160
click to vote
CSC
2006
15 years 7 months ago
2006
This paper reports that in parallel Monte-Carlo simulations of the 2D Ising-Model, commonly used pseudo-random number generators (PRNG) lead to manifestly erroneous results. When ...