3221 search results - page 438 / 645 » Termination of Linear Programs |
150
click to vote
ISCAS
2005
IEEE
16 years 1 days ago
2005
IEEE
In high-level synthesis, accurate lower-bound estimation is helpful to explore the search space efficiently and to evaluate the quality of heuristic algorithms. For the lower-bound...
177
click to vote
ISIPTA
2005
IEEE
16 years 1 days ago
2005
IEEE
This paper discusses decision making in the practically important situation where only partial prior information on the stochastic behavior of the states of nature expressed by im...
184
click to vote
ISIPTA
2005
IEEE
16 years 1 days ago
2005
IEEE
Uncertainty is a key issue in decision analysis and other kinds of applications. Researchers have developed a number of approaches to address computations on uncertain quantities....
159
click to vote
PDP
2005
IEEE
16 years 1 days ago
2005
IEEE
Boolean Equation Systems (BESs) allow to represent various problems encountered in the area of propositional logic programming and verification of concurrent systems. Several seq...
151
click to vote
CC
2005
Springer
16 years 3 hour ago
2005
Springer
Abstract. Many compiler optimization techniques depend on the ability to calculate the number of integer values that satisfy a given set of linear constraints. This count (the enum...