444 search results - page 6 / 89 » More Colourful Simplices |
TACAS
1997
Springer
13 years 11 months ago
1997
Springer
In this paper, we describe the computer tool Design CPN supporting editing, simulation, and state space analysis of Coloured Petri Nets. So far, approximately 40 man-years have bee...
FGR
2000
IEEE
13 years 11 months ago
2000
IEEE
A computer vision system for tracking multiple people in relatively unconstrained environments is described. Trackerformed at three levels of abstraction: regions, people and grou...
VIP
2003
13 years 8 months ago
2003
Several approaches to real-time video object tracking are reviewed. A new alternative approach for fast real-time object tracking based on colour thresholding is presented. Tracki...
MVA
1990
13 years 8 months ago
1990
In this paper, we describe a commercial vision system for the digitisation and extraction of horizons drawn with coloured pencils on seismic sections. The system combines image pr...
JCT
2010
13 years 5 months ago
2010
We prove that every graph with maximum degree ∆ can be properly (∆ + 1)coloured so that no colour appears more than O(log ∆/ log log ∆) times in the neighbourhood of any v...