229 search results - page 1 / 46 » Reminiscences related to graph theory |
CSR
2007
Springer
13 years 5 months ago
2007
Springer
CPC
2007
13 years 5 months ago
2007
We show that a random graph studied by Ioffe and Levit is an example of an inhomogeneous random graph of the type studied by Bollob´as, Janson and Riordan, which enables us to gi...
CAV
2004
Springer
13 years 10 months ago
2004
Springer
We show that termination of a class of linear loop programs is decidable. Linear loop programs are discrete-time linear systems with a loop condition governing termination, that is...
BIRTHDAY
2005
Springer
13 years 11 months ago
2005
Springer
The paper introduces a novel approach to the synthesis of labelled transition systems for calculi with name mobility. The proposal is based on a graphical encoding: Each process is...
COSIT
2009
Springer
13 years 12 months ago
2009
Springer
Spatial information requires models which allow us to answer ‘maybe’ to questions asking whether a location lies within a region. At the same time, models must account for data...