4171 search results - page 610 / 835 » Choice numbers of graphs |
179
click to vote
APN
2004
Springer
16 years 6 hour ago
2004
Springer
Generating the reachability set is one of the most commonly required step when analyzing the logical or stochastic behavior of a system modeled with Petri nets. Traditional “expl...
194
click to vote
CP
2004
Springer
16 years 1 hour ago
2004
Springer
Abstract. The paper presents a new look-ahead scheme for backtracking search for solving constraint satisfaction problems. This look-ahead scheme computes a heuristic for value ord...
159
click to vote
FORMATS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We extend Angluin’s algorithm for on-line learning of regular languages to the setting of timed systems. We consider systems that can be described by a class of determi...
194
click to vote
ICCS
2004
Springer
15 years 12 months ago
2004
Springer
In the present paper routing and wavelength assignment (RWA) in optical WDM networks is discussed. Previous techniques on based on the integer linear programming and graph coloring...
185
click to vote
INTELLCOMM
2004
Springer
15 years 12 months ago
2004
Springer
We present the design, implementation and evaluation of a location detection system built over a Radio Frequency network based on the IEEE 802.11 standard. Our system employs beac...