Stem characteris$ (all stems)

33 papers:

LATA-2015-BeyersdorffCS #game studies

A Game Characterisation of Tree-like Q-resolution Size (OB, LC, KS), pp. 486–498.

LICS-2015-GradelPSK #first-order #polynomial

Characterising Choiceless Polynomial Time with First-Order Interpretations (EG, WP, SS, LK), pp. 677–688.

DLT-2014-Schmid #regular expression

Characterising REGEX Languages by Regular Languages Equipped with Factor-Referencing (MLS), pp. 142–153.

LATA-2014-BestD #bound #graph #petri net

Characterisation of the State Spaces of Live and Bounded Marked Graph Petri Nets (EB, RRD), pp. 161–172.

ICPR-2014-MehnertMSMB #approach

A Structural Texture Approach for Characterising Malignancy Associated Changes in Pap Smears Based on Mean-Shift and the Watershed Transform (AM, RM, KS, PM, EB), pp. 1189–1193.

SAT-2014-BeyersdorffK #metric

Unified Characterisations of Resolution Hardness Measures (OB, OK), pp. 170–187.

ECSA-2013-EklundOL #architecture #perspective

Characterising Software Platforms from an Architectural Perspective (UE, CMO, ML), pp. 344–347.

ICALP-v2-2013-DenielouY #automaton #communication #multi #synthesis

Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types (PMD, NY), pp. 174–186.

ICPR-2010-CeolinH #difference #gender #metric #using

Characterising Facial Gender Difference Using Fisher-Rao Metric (SC, ERH), pp. 4308–4311.

KDIR-2010-Bernard #formal method #modelling #reuse

Characterisation, Formalisation and Reuse of Knowledge — Models, Methods and Application Cases (AB), p. 13.

RecSys-2010-JawaheerSK #feedback #music #online #recommendation

Characterisation of explicit feedback in an online music recommendation service (GJ, MS, PK), pp. 317–320.

HPDC-2010-MaEME #grid

Characterising a grid site’s traffic (TM, YEk, MM, CE), pp. 707–716.

SAC-2008-BeckerRHST #xml

A generic XML language for characterising objects to support digital preservation (CB, AR, VH, JS, MT), pp. 402–406.

CSL-2008-Katsumata

A Characterisation of λ Definability with Sums Via TT-Closure Operators (SyK), pp. 278–292.

KDD-2007-VreekenLS #difference

Characterising the difference (JV, MvL, AS), pp. 765–774.

LICS-2007-DengGHMZ #finite #probability #process #testing

Characterising Testing Preorders for Finite Probabilistic Processes (YD, RJvG, MH, CM, CZ), pp. 313–325.

SCAM-2006-BinkleyHK #animation #approximate #static analysis

Characterising, Explaining, and Exploiting the Approximate Nature of Static Analysis through Animation (DB, MH, JK), pp. 43–52.

LICS-2006-LaroseLT #constraints #first-order #problem

A Characterisation of First-Order Constraint Satisfaction Problems (BL, CL, CT), pp. 201–210.

ICLP-2005-Saidi #bound #mining #process #using

Using CLP to Characterise Linguistic Lattice Boundaries in a Text Mining Process (ASS), pp. 418–420.

LICS-2005-DawarO #theorem

Modal Characterisation Theorems over Special Classes of Frames (AD, MO), pp. 21–30.

PDCL-2004-PedreschiRS #logic programming #termination

Characterisations of Termination in Logic Programming (DP, SR, JGS), pp. 376–431.

LICS-2002-Otto #finite #theorem

Modal and Guarded Characterisation Theorems over Finite Transition Systems (MO), p. 371–?.

CSL-2001-KorovinaK #higher-order #semantics

Semantic Characterisations of Second-Order Computability over the Real Numbers (MVK, OVK), pp. 160–172.

ICALP-2000-BaierHHK #logic #on the

On the Logical Characterisation of Performability Properties (CB, BRH, HH, JPK), pp. 780–792.

RTA-1999-Touzet #multi #recursion

A Characterisation of Multiply Recursive Functions with Higman’s Lemma (HT), pp. 163–174.

TLCA-1999-Ritter #termination

Characterising Explicit Substitutions which Preserve Termination (ER), pp. 325–339.

DAC-1998-DemirMR

Phase Noise in Oscillators: A Unifying Theory and Numerical Methods for Characterisation (AD, AM, JSR), pp. 26–31.

WCRE-1998-FusaroTV #case study #component #named #process

REP — chaRacterising and Exploiting Process component: Results of Experimentation (PF, MT, GV), pp. 20–29.

AdaEurope-1996-ChenY #on the #problem #testing

On Some Characterisation Problems of Subdomain Testing (TYC, YTY), pp. 147–158.

ICML-1996-Ting #predict

The Characterisation of Predictive Accuracy and Decision Combination (KMT), pp. 498–506.

ICDAR-v1-1995-PowalkaSW95a #recognition #word

Recognizer characterisation for combining handwriting recognition results at word level (RKP, NS, RJW), pp. 68–73.

SLP-1986-VasakP86 #logic programming #source code

Characterisation of Terminating Logic Programs (TV, JP), pp. 140–147.

ICALP-1980-BergstraT #data type #equation #finite #specification

A Characterisation of Computable Data Types by Means of a Finite Equational Specification Method (JAB, JVT), pp. 76–90.