Search Sciweavers | Sciweavers

20

TRECVID
2007

140views Internet Technology» more TRECVID 2007»

MSRA-USTC-SJTU AT TRECVID 2007: HIGH-LEVEL FEATURE EXTRACTION AND SEARCH

13 years 8 months ago

This paper describes the MSRA-USTC-SJTU experiments for TRECVID 2007. We performed the experiments in high-level feature extraction and automatic search tasks. For high-level feat...

Tao Mei, Xian-Sheng Hua, Wei Lai, Linjun Yang, Zhe...

claim paper

Read More »

20

click to vote

LICS
2007
IEEE

98views Automated Reasoning» more LICS 2007»

Static Name Control for FreshML

14 years 1 months ago

Download cristal.inria.fr

FreshML extends ML with constructs for declaring and ting abstract syntax trees that involve names and statically scoped binders. It is impure: name generation is an observable si...

François Pottier

claim paper

Read More »

17

click to vote

ML
2007
ACM

92views Machine Learning» more ML 2007»

Status report: specifying javascript with ML

13 years 7 months ago

Download slang.soe.ucsc.edu

The Ecma TC39-TG1 working group is using ML as the speciﬁcation language for the next generation of JavaScript, the popular programming language for browser-based web applicatio...

David Herman, Cormac Flanagan

claim paper

Read More »

20

click to vote

CDES
2006

108views Hardware» more CDES 2006»

MolML: An Abstract Scripting Language for Assembly of Mechanical Nanocomputer Architectures

13 years 8 months ago

Download www.csc.villanova.edu

Bryan W. Wagner, Thomas P. Way

claim paper