1090 search results - page 28 / 218 » Type-Directed Partial Evaluation |
IJCAI
1997
13 years 9 months ago
1997
In teaching case-based argumentation skills, the CATO program, an intelligent learning environment, guides students' assessments of partial matches between problems and cases...
CVPR
2005
IEEE
14 years 9 months ago
2005
IEEE
We present a closed form solution to the problem of segmenting multiple 2-D motion models of the same type directly from the partial derivatives of an image sequence. We introduce...
PODS
1994
ACM
13 years 11 months ago
1994
ACM
Abstract Appears in Proceedings of the Thirteenth Symposium on Principles of Database Systems, 1994 Ashish Gupta Yehoshua Sagivy Je rey D. Ullman Jennifer Widom Dept. of Computer S...
ARITH
2003
IEEE
14 years 27 days ago
2003
IEEE
We aim at evaluating elementary and special functions using small tables and small, rectangular, multipliers. To do that, we show how accurate polynomial approximations whose orde...
ARC
2008
Springer
13 years 9 months ago
2008
Springer
In this paper, we propose an online hardware task scheduling and placement algorithm and evaluate it performance. Experimental results on large random task set show that our algori...