5109 search results - page 867 / 1022 » On Learning Limiting Programs |
ORL
2007
15 years 2 months ago
2007
This paper introduces the single item lot sizing problem with inventory gains. This problem is a generalization of the classical single item capacitated lot sizing problem to one ...
185
click to vote
TSMC
2008
15 years 2 months ago
2008
In the cases of paralysis so severe that a person's ability to control movement is limited to the muscles around the eyes, eye movements or blinks are the only way for the per...
102
click to vote
ICRA
2010
IEEE
15 years 1 months ago
2010
IEEE
—In poorly constrained extra-vascular environments such as hollow viscera, current catheter navigation techniques are restricted to simple paths and therefore limit a doctor’s ...
121
Voted
SAS
2010
Springer
15 years 1 months ago
2010
Springer
We describe Deskcheck, a parametric static analyzer that is able to establish properties of programs that manipulate dynamically allocated memory, arrays, and integers. Deskcheck c...
108
click to vote
SIGOPS
2010
15 years 1 months ago
2010
Reports of NAND flash device testing in the literature have for the most part been limited to examination of circuit-level parameters on raw flash chips or prototypes, and syste...