Sciweavers

5090 search results - page 570 / 1018
» Constructing Strategies for Programming
Sort
View
JMLR
2012
13 years 9 months ago
Minimax rates for homology inference
Often, high dimensional data lie close to a low-dimensional submanifold and it is of interest to understand the geometry of these submanifolds. The homology groups of a manifold a...
Sivaraman Balakrishnan, Alessandro Rinaldo, Don Sh...
JMLR
2012
13 years 9 months ago
Multiresolution Deep Belief Networks
Motivated by the observation that coarse and fine resolutions of an image reveal different structures in the underlying visual phenomenon, we present a model based on the Deep B...
Yichuan Tang, Abdel-rahman Mohamed
POPL
2009
ACM
16 years 7 months ago
Copy-on-write in the PHP language
PHP is a popular language for server-side applications. In PHP, assignment to variables copies the assigned values, according to its so-called copy-on-assignment semantics. In con...
Akihiko Tozawa, Michiaki Tatsubori, Tamiya Onodera...
SIGCSE
2009
ACM
212views Education» more  SIGCSE 2009»
16 years 7 months ago
Using peer-led team learning to increase participation and success of under-represented groups in introductory computer science
This paper describes the implementation and evaluation of a program that uses active recruiting and peer-led team learning to try to increase the participation and success of wome...
Susan Horwitz, Susan H. Rodger, Maureen Biggers, D...
ICFP
2003
ACM
16 years 6 months ago
Compiler implementation in a formal logical framework
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present proach based on the use of higher-order abstract syntax and...
Jason Hickey, Aleksey Nogin, Adam Granicz