2365 search results - page 119 / 473 » All things are connected |
100
click to vote
HYBRID
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. Time progress conditions in hybrid systems are usually speci ed in terms of invariants, predicates characterizing states where time can continuously progress or dually, d...
STOC
1993
ACM
15 years 5 months ago
1993
ACM
We consider a class of routing problems on connected graphs G. Initially, each vertex v of G is occupied by a “pebble” which has a unique destination π(v) in G (so that π is...
118
click to vote
ICPR
2010
IEEE
15 years 3 months ago
2010
IEEE
We propose a method for interactive colour image segmentation. The goal is to detect an object from the background, when some markers on object(s) and the background are given. As...
125
click to vote
ECBS
2008
IEEE
15 years 3 months ago
2008
IEEE
Large and complex software systems require expressive notations for representing their software architecture. In this context Architecture Description Languages (ADLs) can be used...
130
click to vote
CCCG
2010
15 years 3 months ago
2010
A dominating set of a graph G = (V, E) is a subset V V of the nodes such that for all nodes v V , either v V or a neighbor u of v is in V . Several routing protocols in ad hoc ...