2636 search results - page 95 / 528 » Linear Programming |
MP
2010
14 years 4 months ago
2010
Let S = {x Rn : g1(x) 0,
FMCAD
2009
Springer
15 years 4 months ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...
ISSAC
1993
Springer
15 years 2 months ago
1993
Springer
Hypergeometric sequences are such that the quotient of two successive terms is a fixed rational function of the index. We give a generalization of M. Petkov6ek’s algorithm to fi...
AAAI
2006
14 years 11 months ago
2006
Markov decision processes (MDPs) with discrete and continuous state and action components can be solved efficiently by hybrid approximate linear programming (HALP). The main idea ...
TIT
2010
14 years 4 months ago
2010
A method for bounding the rate of bit-stuffing encoders for 2-D constraints is presented. Instead of considering the original encoder, we consider a related one which is quasistati...