15614 search results - page 123 / 3123 » The State of State |
115
Voted
CP
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. In this paper we consider the problem of computing the density of states of a Boolean formula in CNF, a generalization of both MAX-SAT and model counting. Given a Boolean...
130
Voted
GLOBECOM
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--Sensors equipped with energy harvesting and cooperative communication capabilities are a viable solution to the power limitations of Wireless Sensor Networks (WSNs) assoc...
124
Voted
ANCS
2009
ACM
15 years 1 months ago
2009
ACM
Inline stateful and deep inspection for intrusion prevention is becoming more challenging due to the increase in both the volume of network traffic and the complexity of the analy...
128
Voted
IJSYSC
2010
15 years 27 days ago
2010
This paper deals with the problem of additional sensor location in order to recover the observability of any given part of the state and unknown input for structured linear system...
131
Voted
SIAMMAX
2010
14 years 10 months ago
2010
Optimality systems and their linearizations arising in optimal control of partial differential equations with pointwise control and (regularized) state constraints are considered. ...