## Stem varieti$ (all stems)

### 27 papers:

- LICS-2015-AdamekMUM
- Varieties of Languages in a Category (JA, RSRM, HU, SM), pp. 414–425.
- FoSSaCS-2014-AdamekMMU #theorem
- Generalized Eilenberg Theorem I: Local Varieties of Languages (JA, SM, RSRM, HU), pp. 366–380.
- AFL-2014-Klima #algebra #automaton #on the
- On Varieties of Automata Enriched with an Algebraic Structure (Extended Abstract) (OK), pp. 49–54.
- HCI-AIMT-2014-KrennEKA
- Effects of Language Variety on Personality Perception in Embodied Conversational Agents (BK, BE, FK, EA), pp. 429–439.
- ICEIS-v1-2014-LettnerZ #data analysis #framework #industrial #product line
- A Data Analysis Framework for High-variety Product Lines in the Industrial Manufacturing Domain (CL, MZ), pp. 209–216.
- ICPR-2014-SharmaCL #3d #approach #generative #hybrid #novel
- Kinect-Variety Fusion: A Novel Hybrid Approach for Artifacts-Free 3DTV Content Generation (MS, SC, BL), pp. 2275–2280.
- ICPR-2012-SharmaCL #3d
- A free viewpoint 3DTV system based on parameterized variety model (MS, SC, BL), pp. 1026–1029.
- SAC-2012-SakkopoulosPSTPS #deployment #distributed #framework #named
- DREAM: a distributed fRamework for customized dEployment of a vAriety of indexing engines over million-node overlays (ES, AP, SS, DT, GP, AS), pp. 853–858.
- AFL-2011-CanoJ
- Varieties of Languages and Frontier Check (AC, EJ), pp. 153–167.
- AFL-J-2008-KlimaP10a
- Literally Idempotent Languages and their Varieties — Two Letter Case (OK, LP), pp. 761–780.
- LICS-2010-BartoK #csp
- New Conditions for Taylor Varieties and CSP (LB, MK), pp. 100–109.
- ECIR-2009-HalveyPHVHGJ #case study #difference #low level #metric #retrieval #using #video
- Diversity, Assortment, Dissimilarity, Variety: A Study of Diversity Measures Using Low Level Features for Video Retrieval (MH, PP, DH, RV, FH, AG, JMJ), pp. 126–137.
- AFL-2008-KlimaP
- Literally idempotent languages and their varieties — two letter case (OK, LP), pp. 220–231.
- LATA-2008-KlimaP #morphism
- Literal Varieties of Languages Induced by Homomorphisms onto Nilpotent Groups (OK, LP), pp. 299–310.
- SAC-2008-LasserreLR #algebra #algorithm
- Computing the real variety of an ideal: a real algebraic and symbolic-numeric algorithm (JBL, ML, PR), pp. 1845–1846.
- SAC-2008-RosenkranzHL #design
- Designing IC structures by variety engineering (CR, RH, ML), pp. 518–523.
- SAC-2007-RosenkranzH #concept #modelling
- Combining cybernetics and conceptual modeling: the concept of variety in organizational engineering (CR, RH), pp. 1228–1233.
- DLT-2006-Kufleitner #logic
- Polynomials, Fragments of Temporal Logic and the Variety DA over Traces (MK), pp. 37–48.
- ICSE-2006-LeeKC #development
- A series of development methodologies for a variety of systems in Korea (JL, JSK, JHC), pp. 612–615.
- ICEIS-v2-2004-BleckerAKF #multi
- Dynamic Multi-Agent Based Variety Formation and Steering in Mass Customization (TB, NA, GK, GF), pp. 3–13.
- RE-2003-AoyamaWNM #framework #multi #product line #requirements
- Embracing Requirements Variety for e-Governments Based on Multiple Product-Lines Frameworks (MA, KW, YN, YM), p. 285.
- FoSSaCS-2002-Fuhrmann
- Varieties of Effects (CF), pp. 144–158.
- ICEIS-2002-Rodriguez-Luna #process #word
- Stemming Process in Spanish Words with the Successor Variety Method. Methodology and Result (MRL), pp. 838–842.
- CADE-1999-Sofronie-Stokkermans #complexity #decidability #on the
- On the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity Results (VSS), pp. 157–171.
- CADE-1990-Baader #term rewriting
- Rewrite Systems for Varieties of Semigroups (FB), pp. 396–410.
- ICALP-1989-ChazelleEGS #algebra
- A Singly-Expenential Stratification Scheme for Real Semi-Algebraic Varieties and Its Applications (BC, HE, LJG, MS), pp. 179–193.
- HCI-SES-1987-Karasek #design
- Making Customer-Oriented Variety Feasible for CIM: Customer-Oriented Product Design Software (RAK), pp. 129–136.