1246 search results - page 161 / 250 » Recursive Timed Automata |
119
click to vote
CORR
2007
Springer
15 years 2 months ago
2007
Springer
A vertex k-labeling of graph G is distinguishing if the only automorphism that preserves the labels of G is the identity map. The distinguishing number of G, D(G), is the smallest...
128
Voted
AUTOMATICA
2002
15 years 2 months ago
2002
This paper presents a series expansion for the evolution of a class of nonlinear systems characterized by constant input vector fields. We present a series expansion that can be c...
113
click to vote
TITB
2008
15 years 2 months ago
2008
This paper presents an efficient lossless compression method for 4-D medical images based on the advanced video coding scheme (H.264/AVC). The proposed method efficiently reduces d...
148
Voted
RSA
2010
15 years 1 months ago
2010
The weight of a randomly chosen link in the shortest path tree on the complete graph with exponential i.i.d. link weights is studied. The corresponding exact probability generatin...
189
Voted
SIGADA
2007
Springer
15 years 8 months ago
2007
Springer
A system based on a hierarchical scheduler is a system in which the processor is shared between several collaborative schedulers. Such schedulers exist since 1960 and they are bec...