Sciweavers

7978 search results - page 369 / 1596
» Combining shared-coin algorithms
Sort
View
APLAS
2008
ACM
15 years 8 months ago
Sound and Complete Type Inference for a Systems Programming Language
This paper introduces a new type system designed for safe systems programming. The type system features a new mutability model that combines unboxed types with a consistent typing ...
Swaroop Sridhar, Jonathan S. Shapiro, Scott F. Smi...
FLAIRS
2004
15 years 7 months ago
Building Hint Specifications in an NL Tutorial System for Mathematics
NL interaction and skillful hinting are known as cornerstones for successful tutoring. Despite these insights, a combination of these two factors is widely under-represented in th...
Dimitra Tsovaltzi, Helmut Horacek, Armin Fiedler
CORR
2010
Springer
93views Education» more  CORR 2010»
15 years 6 months ago
On MMSE and MAP Denoising Under Sparse Representation Modeling Over a Unitary Dictionary
Among the many ways to model signals, a recent approach that draws considerable attention is sparse representation modeling. In this model, the signal is assumed to be generated a...
Javier Turek, Irad Yavneh, Matan Protter, Michael ...
CEC
2007
IEEE
15 years 8 months ago
Hybrid optimization using DIRECT, GA, and SQP for global exploration
— As there are many good optimization algorithms each with its own characteristics, it is very difficult to choose the best method for optimization problems. Thus, it is importa...
Satoru Hiwa, Tomoyuki Hiroyasu, Mitsunori Miki
DATE
2008
IEEE
89views Hardware» more  DATE 2008»
16 years 20 days ago
EPIC: Ending Piracy of Integrated Circuits
As semiconductor manufacturing requires greater capital investments, the use of contract foundries has grown dramatically, increasing exposure to mask theft and unauthorized exces...
Jarrod A. Roy, Farinaz Koushanfar, Igor L. Markov