Sciweavers

2362 search results - page 74 / 473
» Programming in Standard ML
Sort
View
114
Voted
CVHI
2007
15 years 5 months ago
E-learning Platform for Interactive Access to Multimedia Materials in Daisy Format
The Paper presents multimedia system for accessible distant education which consists of multimedia browser accessible for visually impaired people and content distribution streamin...
Piotr Brzoza
105
Voted
IADIS
2003
15 years 4 months ago
Shared Metadata and Markup Tools for Characterizing Materials Science Digital Resources
There is currently a lack of rich description attached to materials science content available on the Web as well as usercentered tools to attach such description. Dublin Core (DC)...
Laura M. Bartolo, Cathy S. Lowe
119
Voted
JFP
2006
103views more  JFP 2006»
15 years 3 months ago
Phantom types and subtyping
We investigate a technique from the literature, called the phantom-types technique, that uses parametric polymorphism, type constraints, and unification of polymorphic types to mo...
Matthew Fluet, Riccardo Pucella
TIT
2002
120views more  TIT 2002»
15 years 3 months ago
Finite-length analysis of low-density parity-check codes on the binary erasure channel
In this paper, we are concerned with the finite-length analysis of low-density parity-check (LDPC) codes when used over the binary erasure channel (BEC). The main result is an expr...
Changyan Di, David Proietti, Ì. Emre Telata...
175
Voted
ICTAI
2010
IEEE
15 years 1 months ago
Support Vector Methods for Sentence Level Machine Translation Evaluation
Recent work in the field of machine translation (MT) evaluation suggests that sentence level evaluation based on machine learning (ML) can outperform the standard metrics such as B...
Antoine Veillard, Elvina Melissa, Cassandra Theodo...