Stem lib$ (all stems)

16 papers:

CAV-2015-IsbernerHS #automaton #framework #learning #open source

The Open-Source LearnLib — A Framework for Active Automata Learning (MI, FH, BS), pp. 487–495.

SAT-2015-PhilippS #constraints #encoding #library #named #pseudo

PBLib — A Library for Encoding Pseudo-Boolean Constraints into CNF (TP, PS), pp. 9–16.

ECIR-2014-BueyGETIM #named #query #semantics

SQX-Lib: Developing a Semantic Query Expansion System in a Media Group (MGB, ALG, SE, RT, SI, EM), pp. 780–783.

GPCE-2014-ShiodaIS #domain-specific language #embedded #library #metaprogramming #named

LibDSL: a library for developing embedded domain specific languages in d via template metaprogramming (MS, HI, SS), pp. 63–72.

SMT-2014-BonichonDT #morphism #polymorphism

Extending SMT-LIB v2 with λ-Terms and Polymorphism (RB, DD, CT), pp. 53–62.

CHI-2013-BauerK #design #named

DesignLibs: a scenario-based design method for ideation (JSB, JAK), pp. 1955–1958.

SMT-2012-BjornerGMV #regular expression #sequence

SMT-LIB Sequences and Regular Expressions (NB, VG, RM, MV), pp. 77–87.

TACAS-2011-MertenSHM #generative

Next Generation LearnLib (MM, BS, FH, TMS), pp. 220–223.

MoDELS-2009-Chimiak-Opoka #constraints #ocl

OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language (JCO), pp. 665–669.

MoDELS-2009-Chimiak-Opoka #constraints #ocl

OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language (JCO), pp. 665–669.

HPDC-2009-DickensL #file system #library #named #performance

Y-lib: a user level library to increase the performance of MPI-IO in a lustre file system environment (PMD, JL), pp. 31–38.

SAC-2007-RegoBSSF #library #named #video

VideoLib: a video digital library with support to spatial and temporal dimensions (ASdCR, CdSB, ERdS, US, HFdF), pp. 1074–1078.

FASE-2006-RaffeltS #automaton #learning #library #named

LearnLib: A Library for Automata Learning and Experimentation (HR, BS), pp. 377–380.

IJCAR-2004-MaricJ #framework #named

argo-lib: A Generic Platform for Decision Procedures (FM, PJ), pp. 213–217.

DocEng-2003-JanssenP #library #named

UpLib: a universal personal digital library system (WCJ, KP), pp. 234–242.

SAC-1993-CorcoranW #algorithm #named #research #search-based

LibGA: A User-Friendly Workbench for Order-Based Genetic Algorithm Research (ALC, RLW), pp. 111–117.