286 search results - page 26 / 58 » Playing the Minesweeper with Constraints |
LCN
2005
IEEE
14 years 1 months ago
2005
IEEE
Wireless mesh based access networks are destined to play a pivotal role in next generation broadband systems. With the proliferation of mesh networks, a key issue for network desi...
LICS
2005
IEEE
14 years 1 months ago
2005
IEEE
Games played on graphs may have qualitative objectives, such as the satisfaction of an ω-regular property, or quantitative objectives, such as the optimization of a realvalued re...
ISAAC
2003
Springer
14 years 24 days ago
2003
Springer
Abstract. We define an algorithm for determining, in a linear number of symbolic steps, the biconnected components of a graph implicitly represented with Ordered Binary Decision D...
ITCC
2002
IEEE
14 years 15 days ago
2002
IEEE
† To guarantee quality of service (QoS), the requirements for video transmission such as delay and cell loss rate (CLR) are very stringent. These constraints are difficult to mee...
CP
2006
Springer
13 years 11 months ago
2006
Springer
We describe the Zinc modelling language. Zinc provides set constraints, user defined types, constrained types, and polymorphic predicates and functions. The last allows Zinc to be ...