Sciweavers

37
Voted
CORR
2008
Springer
52views Education» more  CORR 2008»
15 years 27 days ago
Source Coding with Mismatched Distortion Measures
Urs Niesen, Devavrat Shah, Gregory W. Wornell
108
Voted
CORR
2008
Springer
107views Education» more  CORR 2008»
15 years 27 days ago
Symmetry Breaking for Maximum Satisfiability
Symmetries are intrinsic to many combinatorial problems including Boolean Satisfiability (SAT) and Constraint Programming (CP). In SAT, the identification of symmetry breaking pred...
João Marques-Silva, Inês Lynce, Vasco...
90
Voted
CORR
2010
Springer
95views Education» more  CORR 2010»
15 years 27 days ago
Optimization and Convergence of Observation Channels in Stochastic Control
This paper studies the optimization of observation channels (stochastic kernels) in partially observed stochastic control problems. In particular, existence, continuity, and convex...
Serdar Yüksel, Tamás Linder
73
Voted
CORR
2010
Springer
136views Education» more  CORR 2010»
15 years 27 days ago
Optimally Sparse Frames
Frames have established themselves as a means to derive redundant, yet stable decompositions of a signal for analysis or transmission, while also promoting sparse expansions. Howe...
Peter G. Casazza, Andreas Heinecke, Felix Krahmer,...
CORR
2008
Springer
95views Education» more  CORR 2008»
15 years 27 days ago
Explicit Learning: an Effort towards Human Scheduling Algorithms
Scheduling problems are generally NP-hard combinatorial problems, and a lot of research has been done to solve these problems heuristically. However, most of the previous approach...
Jingpeng Li, Uwe Aickelin
77
Voted
CORR
2010
Springer
107views Education» more  CORR 2010»
15 years 27 days ago
Duality and canonical extensions for stably compact spaces
We construct a canonical extension for strong proximity lattices in order to give an algebraic, point-free description of a finitary duality for stably compact spaces.
Sam van Gool
89
Voted
CORR
2008
Springer
88views Education» more  CORR 2008»
15 years 27 days ago
RubberEdge: Reducing Clutching by Combining Position and Rate Control with Elastic Feedback
Position control devices enable precise selection, but significant clutching degrades performance. Clutching can be reduced with high control-display gain or pointer acceleration,...
Géry Casiez, Daniel Vogel, Qing Pan, Christ...
97
Voted
CORR
2010
Springer
69views Education» more  CORR 2010»
15 years 27 days ago
Computation of Darboux polynomials and rational first integrals with bounded degree in polynomial time
In this paper we study planar polynomial differential systems of this form: dX dt = X = A(X, Y ), dY dt = Y = B(X, Y ), where A, B Z[X, Y ] and deg A d, deg B d, A H and B H. ...
Guillaume Chèze
90
Voted
CORR
2008
Springer
98views Education» more  CORR 2008»
15 years 27 days ago
Bayesian Optimisation Algorithm for Nurse Scheduling
: Our research has shown that schedules can be built mimicking a human scheduler by using a set of rules that involve domain knowledge. This chapter presents a Bayesian Optimizatio...
Jingpeng Li, Uwe Aickelin
82
Voted
CORR
2010
Springer
118views Education» more  CORR 2010»
15 years 27 days ago
A view of canonical extension
Abstract. This is a short survey illustrating some of the essential aspects of the theory of canonical extensions. In addition some topological results about canonical extensions o...
Mai Gehrke, Jacob Vosmaer