Sciweavers

14244 search results - page 691 / 2849
» Modeling Program Predictability
Sort
View
CDC
2010
IEEE
122views Control Systems» more  CDC 2010»
15 years 2 months ago
On optimal input design in system identification for control
Abstract-- This paper considers a recently proposed framework for experiment design in system identification for control. We will consider model based control design methods, such ...
Bo Wahlberg, Håkan Hjalmarsson, Mariette Ann...
JMLR
2010
143views more  JMLR 2010»
15 years 2 months ago
Incremental Sigmoid Belief Networks for Grammar Learning
We propose a class of Bayesian networks appropriate for structured prediction problems where the Bayesian network's model structure is a function of the predicted output stru...
James Henderson, Ivan Titov
TCC
2009
Springer
112views Cryptology» more  TCC 2009»
16 years 7 months ago
Non-malleable Obfuscation
Existing definitions of program obfuscation do not rule out malleability attacks, where an adversary that sees an obfuscated program is able to generate another (potentially obfus...
Ran Canetti, Mayank Varia
POPL
2007
ACM
16 years 7 months ago
Data parallel Haskell: a status report
We describe the design and current status of our effort to implement the programming model of nested data parallelism into the Glasgow Haskell Compiler. We extended the original p...
Manuel M. T. Chakravarty, Roman Leshchinskiy, Simo...
PLDI
1998
ACM
15 years 11 months ago
Units: Cool Modules for HOT Languages
A module system ought to enable assembly-line programming using separate compilation and an expressive linking language. Separate compilation allows programmers to develop parts o...
Matthew Flatt, Matthias Felleisen