444 search results - page 12 / 89 » More Colourful Simplices |
AUIC
2000
IEEE
13 years 11 months ago
2000
IEEE
This paper describes an experiment we have conducted to explore the effectiveness of animation in improving indirect manipulation operations. Indirect manipulation operations are ...
ENTCS
2007
13 years 7 months ago
2007
In recent papers we have introduced Mobile Synchronizing Petri Nets, a new model for mobility based on coloured Petri Nets. It allows the description of systems composed of a coll...
MICCAI
2009
Springer
14 years 8 months ago
2009
Springer
This paper shows that adding 3D depth information to RGB colour images improves segmentation of pigmented and non-pigmented skin lesion. A regionbased active contour segmentation ...
FOSSACS
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. We study the expressiveness of the join calculus by comparison with (generalised, coloured) Petri nets and using tools from type theory. More precisely, we consider four ...
CJ
2006
13 years 7 months ago
2006
Mathematics is facing a dilemma at its heart: the nature of mathematical proof. We have known since Church and Turing independently showed that mathematical provability was undeci...