601 search results - page 98 / 121 » CSP(M): Constraint Satisfaction Problem over Models |
75
Voted
SIGACT
2010
14 years 4 months ago
2010
Over the past decade, there has been great interest in the study of buffer management policies in the context of packet transmission for network switches. In a typical model, a sw...
74
Voted
GLVLSI
2010
IEEE
15 years 2 months ago
2010
IEEE
Meeting the temperature constraints and reducing the hot-spots are critical for achieving reliable and efficient operation of complex multi-core systems. The goal of thermal mana...
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—Many application domains require adaptive realtime embedded systems that can change their functionality over time. In such systems it is not only necessary to guarantee ...
SAT
2009
Springer
15 years 4 months ago
2009
Springer
Probabilistic inference techniques can be used to estimate variable bias, or the proportion of solutions to a given SAT problem that fix a variable positively or negatively. Metho...
104
click to vote
ACL
2010
14 years 7 months ago
2010
Open-ended spoken interactions are typically characterised by both structural complexity and high levels of uncertainty, making dialogue management in such settings a particularly...