Search Sciweavers | Sciweavers

15

TRECVID
2007

140views Internet Technology» more TRECVID 2007»

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

13 years 6 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 »

12

click to vote

LICS
2007
IEEE

98views Automated Reasoning» more LICS 2007»

Static Name Control for FreshML

13 years 11 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 »

9

click to vote

ML
2007
ACM

92views Machine Learning» more ML 2007»

Status report: specifying javascript with ML

13 years 4 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 »

10

click to vote

CDES
2006

108views Hardware» more CDES 2006»

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

13 years 6 months ago

Download www.csc.villanova.edu

Bryan W. Wagner, Thomas P. Way

claim paper