4940 search results - page 106 / 988 » On the Complexity of Universal Programs |
136
click to vote
IIE
2006
15 years 4 months ago
2006
Plagiarism in universities has always been a difficult problem to overcome. Various tools have been developed over the past few years to help teachers detect plagiarism in students...
185
click to vote
CVPR
2009
IEEE
16 years 11 months ago
2009
IEEE
Establishing visual correspondences is an essential component
of many computer vision problems, and is often done
with robust, local feature-descriptors. Transmission and
storag...
121
click to vote
SAS
2000
Springer
15 years 8 months ago
2000
Springer
d Abstract) James Riely1 and Jan Prins2 1 DePaul University 2 University of North Carolina at Chapel Hill Abstract. Flattening is a program transformation that eliminates nested pa...
110
click to vote
EDM
2009
15 years 2 months ago
2009
The monitoring and support of university freshmen is considered very important at many educational institutions. In this paper we describe the results of the educational data minin...
118
click to vote
IPPS
2002
IEEE
15 years 9 months ago
2002
IEEE
We describe the mechanization of recent examples of compositional reasoning, due to Charpentier and Chandy [4]. The examples illustrate a new theory for composition proposed by Ch...