Sciweavers

977 search results - page 170 / 196
» Constructing informative priors using transfer learning
Sort
View
SIGCSE
2010
ACM
219views Education» more  SIGCSE 2010»
15 years 5 months ago
The design of an online environment to support pedagogical code reviews
Inspired by the formal code inspection process commonly used in the software industry, we have been exploring the use of pedagogical code reviews (PCRs), in which a team of three ...
Christopher D. Hundhausen, Anukrati Agrawal, Kyle ...
TLDI
2005
ACM
151views Formal Methods» more  TLDI 2005»
15 years 5 months ago
Strict bidirectional type checking
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...
Adam J. Chlipala, Leaf Petersen, Robert Harper
DAWAK
2011
Springer
13 years 11 months ago
An Envelope-Based Approach to Rotation-Invariant Boundary Image Matching
(The original conference version of this paper mischaracterizes the contributions of the current authors, relative to the contributions of Keogh et al. [11, 12]. We would like to ...
Sang-Pil Kim, Yang-Sae Moon, Sun-Kyong Hong
TEI
2010
ACM
160views Hardware» more  TEI 2010»
15 years 6 months ago
Think globally, build locally: a technological platform for low-cost, open-source, locally-assembled programmable bricks for edu
“Programmable bricks” are microcontroller-based devices that can be used in various educational projects, such as robotic prototypes, environmental sensing, and interactive ar...
Arnan Sipitakiat, Paulo Blikstein
ECIS
2000
15 years 1 months ago
Perspectives on Knowledge Management Systems - Theoretical Framework and Design of an Empirical Study
Abstract- This paper deals with "Knowledge Management Systems" (KMS) which are seen as a new kind of information systems supporting organizational information processing....
Ronald Maier, Franz Lehner