1749 search results - page 248 / 350 » Conditional colorings of graphs |
206
Voted
FMCO
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
183
click to vote
EVOW
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. This paper presents an application of a hierarchical social (HS) metaheuristic to region-based segmentation. The original image is modelled as a simplified image graph, w...
200
click to vote
CSL
2003
Springer
16 years 14 hour ago
2003
Springer
Many verification, planning, and control problems can be modeled as games played on state-transition graphs by one or two players whose conflicting goals are to form a path in th...
151
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
With the term flexibility, we introduce a new design dimension of an embedded system that quantitatively characterizes its feasibility in implementing not only one, but possibly ...
162
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— In this paper, we study the dynamics of a viral spreading process in random geometric graphs (RGG). The spreading of the viral process we consider in this paper is closely rela...