BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
finit (3)
method (3)
logic (3)
termin (3)
process (3)

Stem characteris$ (all stems)

33 papers:

LATALATA-2015-BeyersdorffCS #game studies
A Game Characterisation of Tree-like Q-resolution Size (OB, LC, KS), pp. 486–498.
LICSLICS-2015-GradelPSK #first-order #polynomial
Characterising Choiceless Polynomial Time with First-Order Interpretations (EG, WP, SS, LK), pp. 677–688.
DLTDLT-2014-Schmid #regular expression
Characterising REGEX Languages by Regular Languages Equipped with Factor-Referencing (MLS), pp. 142–153.
LATALATA-2014-BestD #bound #graph #petri net
Characterisation of the State Spaces of Live and Bounded Marked Graph Petri Nets (EB, RRD), pp. 161–172.
ICPRICPR-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.
ICSTSAT-2014-BeyersdorffK #metric
Unified Characterisations of Resolution Hardness Measures (OB, OK), pp. 170–187.
ECSAECSA-2013-EklundOL #architecture #perspective
Characterising Software Platforms from an Architectural Perspective (UE, CMO, ML), pp. 344–347.
ICALPICALP-v2-2013-DenielouY #automaton #communication #multi #synthesis
Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types (PMD, NY), pp. 174–186.
ICPRICPR-2010-CeolinH #difference #gender #metric #using
Characterising Facial Gender Difference Using Fisher-Rao Metric (SC, ERH), pp. 4308–4311.
KDIRKDIR-2010-Bernard #formal method #modelling #reuse
Characterisation, Formalisation and Reuse of Knowledge — Models, Methods and Application Cases (AB), p. 13.
RecSysRecSys-2010-JawaheerSK #feedback #music #online #recommendation
Characterisation of explicit feedback in an online music recommendation service (GJ, MS, PK), pp. 317–320.
HPDCHPDC-2010-MaEME #grid
Characterising a grid site’s traffic (TM, YEk, MM, CE), pp. 707–716.
SACSAC-2008-BeckerRHST #xml
A generic XML language for characterising objects to support digital preservation (CB, AR, VH, JS, MT), pp. 402–406.
CSLCSL-2008-Katsumata
A Characterisation of λ Definability with Sums Via TT-Closure Operators (SyK), pp. 278–292.
KDDKDD-2007-VreekenLS #difference
Characterising the difference (JV, MvL, AS), pp. 765–774.
LICSLICS-2007-DengGHMZ #finite #probability #process #testing
Characterising Testing Preorders for Finite Probabilistic Processes (YD, RJvG, MH, CM, CZ), pp. 313–325.
SCAMSCAM-2006-BinkleyHK #animation #approximate #static analysis
Characterising, Explaining, and Exploiting the Approximate Nature of Static Analysis through Animation (DB, MH, JK), pp. 43–52.
LICSLICS-2006-LaroseLT #constraints #first-order #problem
A Characterisation of First-Order Constraint Satisfaction Problems (BL, CL, CT), pp. 201–210.
ICLPICLP-2005-Saidi #bound #mining #process #using
Using CLP to Characterise Linguistic Lattice Boundaries in a Text Mining Process (ASS), pp. 418–420.
LICSLICS-2005-DawarO #theorem
Modal Characterisation Theorems over Special Classes of Frames (AD, MO), pp. 21–30.
LOPSTRPDCL-2004-PedreschiRS #logic programming #termination
Characterisations of Termination in Logic Programming (DP, SR, JGS), pp. 376–431.
LICSLICS-2002-Otto #finite #theorem
Modal and Guarded Characterisation Theorems over Finite Transition Systems (MO), p. 371–?.
CSLCSL-2001-KorovinaK #higher-order #semantics
Semantic Characterisations of Second-Order Computability over the Real Numbers (MVK, OVK), pp. 160–172.
ICALPICALP-2000-BaierHHK #logic #on the
On the Logical Characterisation of Performability Properties (CB, BRH, HH, JPK), pp. 780–792.
RTARTA-1999-Touzet #multi #recursion
A Characterisation of Multiply Recursive Functions with Higman’s Lemma (HT), pp. 163–174.
TLCATLCA-1999-Ritter #termination
Characterising Explicit Substitutions which Preserve Termination (ER), pp. 325–339.
DACDAC-1998-DemirMR
Phase Noise in Oscillators: A Unifying Theory and Numerical Methods for Characterisation (AD, AM, JSR), pp. 26–31.
WCREWCRE-1998-FusaroTV #case study #component #named #process
REP — chaRacterising and Exploiting Process component: Results of Experimentation (PF, MT, GV), pp. 20–29.
AdaEuropeAdaEurope-1996-ChenY #on the #problem #testing
On Some Characterisation Problems of Subdomain Testing (TYC, YTY), pp. 147–158.
ICMLICML-1996-Ting #predict
The Characterisation of Predictive Accuracy and Decision Combination (KMT), pp. 498–506.
ICDARICDAR-v1-1995-PowalkaSW95a #recognition #word
Recognizer characterisation for combining handwriting recognition results at word level (RKP, NS, RJW), pp. 68–73.
ICLPSLP-1986-VasakP86 #logic programming #source code
Characterisation of Terminating Logic Programs (TV, JP), pp. 140–147.
ICALPICALP-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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.