Sciweavers

8197 search results - page 148 / 1640
» Adaptive functional programming
Sort
View
148
Voted
ICFP
2005
ACM
16 years 5 months ago
Scrap your boilerplate with class: extensible generic functions
The `Scrap your boilerplate' approach to generic programming allows the programmer to write generic functions that can traverse arbitrary data structures, and yet have type-s...
Ralf Lämmel, Simon L. Peyton Jones
AISC
2010
Springer
15 years 9 months ago
Formal Proof of SCHUR Conjugate Function
Abstract. The main goal of our work is to formally prove the correctness of the key commands of the SCHUR software, an interactive program for calculating with characters of Lie gr...
Franck Butelle, Florent Hivert, Micaela Mayero, Fr...
TASE
2008
IEEE
15 years 4 months ago
New Solution Approaches to the General Single- Machine Earliness-Tardiness Problem
This paper addresses the general single-machine earliness-tardiness problem with distinct release dates, due dates, and unit costs. The aim of this research is to obtain an exact n...
Hoksung Yau, Yunpeng Pan, Leyuan Shi
126
Voted
AH
2004
Springer
15 years 10 months ago
Giving More Adaptation Flexibility to Authors of Adaptive Assessments
Abstract. In this paper, we present AthenaQTI, a tool for authoring personalized assessments, which gives the author significant flexibility in terms of the adaptation that s/he ca...
Aimilia Tzanavari, Symeon Retalis, Panikos Pastell...
132
Voted
ICTAI
2005
IEEE
15 years 10 months ago
An Adaptive De-Blocking Algorithm Based on MRF
One of the major drawbacks in block-based discrete cosine transform (BDCT) is the blocking artifacts at low bit rates. In this paper, an adaptive deblocking algorithm based on Mar...
Shengli Xie, Zhiliang Xu