Stem colour$ (all stems)

70 papers:

ICALP-v1-2015-GalanisGJ #approximate

Approximately Counting H-Colourings is BIS-Hard (AG, LAG, MJ), pp. 529–541.

CHI-2015-FlatlaATKS #identification #named #people

ColourID: Improving Colour Identification for People with Impaired Colour Vision (DRF, ARA, RDT, DLK, CS), pp. 3543–3552.

GT-VMT-2014-StuckrathW #adaptation #modelling #petri net #user interface

Lattice-extended Coloured Petri Net Rewriting for Adaptable User Interface Models (JS, BW).

ICEIS-v2-2014-BarretoFSJ #formal method #petri net #using

A Straightforward Introduction to Formal Methods Using Coloured Petri Nets (FMB, JCJdF, MSS, SJ), pp. 145–152.

ICPR-2014-HuynhR #image

Recovery of Spectral Sensitivity Functions from a Colour Chart Image under Unknown Spectrally Smooth Illumination (CPH, ARK), pp. 708–713.

ICPR-2014-NaegelP #component #image

Colour Image Filtering with Component-Graphs (BN, NP), pp. 1621–1626.

KEOD-2014-FatyaniIP #ontology #petri net #simulation

Transformation of DEMO Model into Coloured Petri Net — Ontology based Simulation (TF, JI, JP), pp. 388–396.

CHI-2013-FlatlaRGG13a #automation #named

SPRWeb: preserving subjective responses to website colour schemes through automatic recolouring (DRF, KR, CG, KZG), pp. 2069–2078.

CAiSE-2013-FahlandG #design #enterprise #integration #middleware #petri net #using

Analyzing and Completing Middleware Designs for Enterprise Integration Using Coloured Petri Nets (DF, CG), pp. 400–416.

STOC-2012-Molloy #graph #random

The freezing threshold for k-colourings of a random graph (MM), pp. 921–930.

DUXU-v1-2011-Maguire #design #guidelines

Guidelines on Website Design and Colour Selection for International Acceptance (MCM), pp. 162–171.

ICEIS-v1-2011-ZhangYZ #modelling #petri net #research #workflow

Research on Workflow Modeling based on Coloured Petri Net (LZ, JY, YZ), pp. 423–426.

ECIR-2010-BeresiKBRS

Colouring the Dimensions of Relevance (UCB, YK, MB, IR, DS), pp. 569–572.

ICPR-2010-Alsam #constant #image

Colour Constant Image Sharpening (AA), pp. 4545–4548.

ICPR-2010-OrtegaGJV #configuration management #self #video

A Combined Self-Configuring Method for Object Tracking in Colour Video (JARO, GAG, ÁRJ, VLAV), pp. 2081–2084.

SEKE-2010-WangHW #analysis #petri net #process

A Hierarchical Timed Coloured Petri Nets for BPMN-based Process Analysis (CHW, PSH, FJW), pp. 417–420.

CSL-2010-Pous #algebra #linear #logic #proving

Untyping Typed Algebraic Structures and Colouring Proof Nets of Cyclic Linear Logic (DP), pp. 484–498.

ICDAR-2009-ClavelliK #segmentation

Text Segmentation in Colour Posters from the Spanish Civil War Era (AC, DK), pp. 181–185.

AdaEurope-2009-ChoppyBC #petri net #recognition

Coloured Petri Nets for Chronicle Recognition (CC, OB, PC), pp. 266–281.

MoDELS-2009-LaraG #petri net #qvt

Formal Support for QVT-Relations with Coloured Petri Nets (JdL, EG), pp. 256–270.

MoDELS-2009-LaraG #petri net #qvt

Formal Support for QVT-Relations with Coloured Petri Nets (JdL, EG), pp. 256–270.

CSCW-2008-ONeillMCRW #problem

Colour management is a socio-technical problem (JO, DBM, TC, FR, JW), pp. 599–608.

AdaEurope-2008-ChoppyPR #approach #modelling #petri net

A Modelling Approach with Coloured Petri Nets (CC, LP, GR), pp. 73–86.

ICEIS-ISAS2-2008-Venable #analysis #problem #requirements

Improving Requirements Analysis — Rigourous Problem Analysis and Formulation with Coloured Cognitive Maps (JRV), pp. 466–470.

ICDAR-2007-DasariB #identification #using

Identification of Non-Black Inks Using HSV Colour Space (HD, CB), pp. 486–490.

ICDAR-2007-RaveauxBO #documentation

A Colour Document Interpretation: Application to Ancient Cadastral Maps (RR, JCB, JMO), pp. 1128–1132.

SAC-2007-OliveiraAS #component #formal method #model checking #modelling #petri net #using #verification

Formal modelling and verification of a component model using coloured petri nets and model checking (EASO, HOdA, LDdS), pp. 1427–1431.

ICPR-v4-2006-FilipHC #performance #synthesis

Fast Synthesis of Dynamic Colour Textures (JF, MH, DC), pp. 25–28.

SEKE-2006-BokhariP #analysis #modelling #petri net #uml

Translation of UML Models to Object Coloured Petri Nets with a view to Analysis (AB, WFSP), pp. 568–571.

ICDAR-2005-BhagvatiD #classification #using

Classification of Liquid and Viscous Inks using HSV Colour Space (CB, HD), pp. 660–664.

MLDM-2005-KovalevP #database #image #optimisation

Optimising the Choice of Colours of an Image Database for Dichromats (VAK, MP), pp. 456–465.

ICEIS-v2-2004-YounesTAR #classification #image

Image Classification According to the Dominant Colour (AAY, IT, HA, YR), pp. 505–510.

ICEIS-v3-2004-Salimifard #component #modelling #petri net #using

Component-Based Modelling of Organisational Resources Using Coloured Petri Nets (KS), pp. 577–580.

ICPR-v1-2004-HordleyF #algorithm

Re-evaluating Colour Constancy Algorithms (SDH, GDF), pp. 76–79.

ICPR-v1-2004-NammalwarGW #integration #segmentation

Integration of Feature Distributions for Colour Texture Segmentation (PN, OG, PFW), pp. 716–719.

ICPR-v2-2004-KaratzasA #image #segmentation #using #web

Text Extraction from Web Images Based on A Split-and-Merge Segmentation Method Using Colour Perception (DK, AA), pp. 634–637.

ICPR-v2-2004-SahaDC #metric #using

CBIR using Perception based Texture and Colour Measures (SKS, AKD, BC), pp. 985–988.

ICPR-v3-2004-FinlaysonM

Error-Less Colour Correctio (GDF, PMM), pp. 181–185.

ICPR-v3-2004-HaindlGSPK

A Gaussian Mixture-Based Colour Texture Model (MH, JG, PS, PP, MK), pp. 177–180.

ICPR-v3-2004-Stentiford #image #visual notation

A Visual Attention Estimator Applied to Image Subject Enhancement and Colour and Grey Level Compression (FS), pp. 638–641.

ICPR-v4-2004-OrtizMG #image

Gaussian Noise Elimination in Colour Images by Vector-Connected Filters (FO, FTM, PG), pp. 807–810.

SAT-2003-Prestwich #problem

Local Search on SAT-encoded Colouring Problems (SDP), pp. 105–119.

STOC-2002-GoldbergKP #complexity #random

The complexity of choosing an H-colouring (nearly) uniformly at random (LAG, SK, MP), pp. 53–62.

STOC-2002-Molloy #graph

The Glauber dynamics on colourings of a graph with high girth and maximum degree (MM), pp. 91–98.

ICEIS-2002-SalimifardW #analysis #modelling #performance #petri net #using #workflow

Modelling and Performance Analysis of Workflow Management Systems Using Timed Hierarchical Coloured Petri Nets (KS, MW), pp. 843–846.

ICPR-v1-2002-HaindlH #multi

A Multiscale Colour Texture Model (MH, VH), p. 255–?.

ICPR-v1-2002-OsarehMTM #comparison #image #locality

Comparison of Colour Spaces for Optic Disc Localisation in Retinal Images (AO, MM, BTT, RM), pp. 743–746.

ICPR-v1-2002-SinghMS #analysis #dependence #image

Colour Image Texture Analysis: Dependence on Colour Spaces (MS, MM, SS), pp. 672–675.

ICPR-v2-2002-Gomez #component #detection #on the

On Selecting Colour Components for Skin Detection (GG), pp. 961–964.

ICPR-v2-2002-KoubaroulisMK #recognition #video

Colour-Based Object Recognition for Video Annotation (DK, JM, JK), pp. 1069–1072.

ICPR-v3-2002-AhmadyfardK #performance #recognition

Colour-Based Model Pruning for Efficient ARG Object Recognition (AA, JK), pp. 20–24.

ICPR-v3-2002-ForsterLR #realtime #using

Real-Time Range Imaging for Dynamic Scenes Using Colour-Edge Based Structured Light (FF, MKL, BR), pp. 645–648.

ICPR-v3-2002-HaindlF #performance

Fast Restoration of Colour Movie Scratches (MH, JF), pp. 269–272.

SEKE-2002-FukuzawaS #architecture

Evaluating software architectures by coloured petrit nets (KF, MS), pp. 263–270.

ICDAR-2001-WongSA01a #analysis #layout

Use of Colour in Form Layout Analysis (WSW, NS, TA), pp. 942–946.

TACAS-2001-Beaudouin-LafonMJAJLLMMRRCJ #editing #named #petri net #simulation #tool support

CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS (MBL, WEM, MJ, PA, PJ, HML, KL, KHM, SM, AVR, KR, SC, KJ), pp. 574–577.

STOC-2001-MolloyR #graph

Colouring graphs when the number of colours is nearly the maximum degree (MM, BAR), pp. 462–470.

VLDB-1999-ZurekS

Datawarehousing Has More Colours Than Just Black & White (TZ, MS), pp. 726–729.

IFL-1999-Reinke #haskell #petri net

Haskell-Coloured Petri Nets (CR), pp. 165–180.

HCI-EI-1999-Sugizaki #evaluation

Evaluation of Taste for Colours on Motorcycle (MS), pp. 963–967.

ICPR-1998-GroveBT

Colour based object tracking (TG, KDB, TNT), pp. 1442–1444.

ICPR-1998-HameyYWS #identification #image #preprocessor #segmentation #self

Pre-processing colour images with a self-organising map: baking curve identification and bake image segmentation (LGCH, JCHY, TW, SKYS), pp. 1771–1775.

SIGIR-1998-LaiT #image #retrieval #using

Using Global Colour Features for General Photographic Image Indexing and Retrieval (TSL, JT), pp. 349–350.

TACAS-1997-ChristensenJK #design #named #petri net

Design/CPN — A Computer Tool for Coloured Petri Nets (SC, JBJ, LMK), pp. 209–223.

TACAS-1997-Jensen #petri net

A Brief Introduction to Coloured Petri Nets (KJ), pp. 203–208.

ICALP-1997-GarganoHP #symmetry

Colouring Paths in Directed Symmetric Trees with Applications to WDM Routing (LG, PH, SP), pp. 505–515.

JICSLP-1996-DobrohoczkiKN #prolog #visualisation

Colour Tagging for Prolog Visualization (Poster Abstract) (MD, AJK, EN), p. 548.

ICALP-1993-CzumajG #graph #problem

Problems on Pairs of Trees and the Four Colour Problem of Planar Graphs (AC, AG), pp. 88–101.

ECHT-1990-IrlerB #hypermedia

Non-Intrusive Hypertext Anchors and Individual Colour Markings (WJI, GB), pp. 261–273.

ICALP-1987-HagerupCD #graph #parallel

Parallel 5-Colouring of Planar Graphs (TH, MC, KD), pp. 304–313.