1716 search results - page 150 / 344 » Proving Conditional Termination |
115
Voted
CDC
2010
IEEE
14 years 7 months ago
2010
IEEE
This paper studies the infinite-horizon sensor scheduling problem for linear Gaussian processes with linear measurement functions. Several important properties of the optimal infin...
133
Voted
COMGEO
2012
ACM
13 years 8 months ago
2012
ACM
The problem of reconstructing a region from a set of sample points is common in many geometric applications, including computer vision. It is very helpful to be able to guarantee ...
64
Voted
ICML
2008
IEEE
16 years 1 months ago
2008
IEEE
Modeling long-term dependencies in time series has proved very difficult to achieve with traditional machine learning methods. This problem occurs when considering music data. In ...
91
Voted
ESA
2009
Springer
15 years 7 months ago
2009
Springer
We consider the problem of coloring a grid using k colors with the restriction that in each row and each column has an specific number of cells of each color. In an already classi...
134
click to vote
LORI
2009
Springer
15 years 7 months ago
2009
Springer
Arrow’s Theorem is a central result in social choice theory. It states that, under certain natural conditions, it is impossible to aggregate the preferences of a finite set of i...