1723 search results - page 187 / 345 » Cycling in linear programming problems |
223
Voted
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
131
Voted
DCOSS
2008
Springer
15 years 5 months ago
2008
Springer
Data-driven macroprogramming of wireless sensor networks (WSNs) provides an easy to use high-level task graph representation to the application developer. However, determining an e...
121
click to vote
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
A Markov Decision Process (MDP) is a general model for solving planning problems under uncertainty. It has been extended to multiobjective MDP to address multicriteria or multiagen...
113
Voted
HYBRID
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We consider the problem of security constrained optimal control for discrete-time, linear dynamical systems in which control and measurement packets are transmitted over ...
156
click to vote
GLOBECOM
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—The barrier coverage model was proposed for applications in which sensors are deployed for intrusion detection. In this paper, we study a strong barrier coverage problem...