6020 search results - page 1106 / 1204 » A New Approach to Model Counting |
137
Voted
CDC
2010
IEEE
2010
IEEE
Convergence of discrete-time approximations of constrained linear-quadratic optimal control problems
14 years 11 months ago
Abstract-- Continuous-time linear constrained optimal control problems are in practice often solved using discretization techniques, e.g. in model predictive control (MPC). This re...
148
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
The deletion channel is the simplest point-to-point communication channel that models lack of synchronization. Input bits are deleted independently with probability d, and when th...
142
click to vote
COLING
2010
14 years 11 months ago
2010
Ambiguity of entity mentions and concept references is a challenge to mining text beyond surface-level keywords. We describe an effective method of disambiguating surface forms an...
169
click to vote
JMLR
2011
14 years 11 months ago
2011
A strong inductive bias is essential in unsupervised grammar induction. In this paper, we explore a particular sparsity bias in dependency grammars that encourages a small number ...
180
click to vote
NECO
2011
14 years 11 months ago
2011
Correlations between neuronal spike trains impact network dynamics and population coding. Overlapping afferent populations and correlations between presynaptic spike trains intro...