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:
algorithm (5)
problem (4)
analysi (4)
base (3)
search (3)

Stem aris$ (all stems)

15 papers:

ICSEICSE-v2-2015-Accioly #collaboration #comprehension #development
Understanding Conflicts Arising from Collaborative Development (PRGA), pp. 775–777.
WICSA-ECSAWICSA-ECSA-2012-CortellessaSMT #architecture #performance
Enabling Performance Antipatterns to Arise from an ADL-based Software Architecture (VC, MdS, ADM, CT), pp. 310–314.
CIKMCIKM-2012-ZhouCLZ #automation #topic
Exploring the existing category hierarchy to automatically label the newly-arising topics in cQA (GZ, LC, KL, JZ), pp. 1647–1651.
CASECASE-2008-BandaruN #algorithm #combinator #composition #performance #web #web service
Efficient algorithms for combinatorial auctions with volume discounts arising in web service composition (PB, YN), pp. 995–1000.
HCIHIMI-IIE-2007-LazzariB #education #experience #guidelines #problem #quality #towards
Towards Guidelines on Educational Podcasting Quality: Problems Arising from a Real World Experience (ML, AB), pp. 404–412.
LICSLICS-2007-IdziakMMVW #algebra
Tractability and learnability arising from algebras with few subpowers (PMI, PM, RM, MV, RW), pp. 213–224.
ICSTSAT-J-2004-TangYRM05 #algorithm #analysis #problem #quantifier #satisfiability
Analysis of Search Based Algorithms for Satisfiability of Propositional and Quantified Boolean Formulas Arising from Circuit State Space Diameter Problems (DT, YY, DR, SM), pp. 292–305.
IJCARIJCAR-2004-Farmer #calculus #formal method
Formalizing Undefinedness Arising in Calculus (WMF), pp. 475–489.
SATSAT-2004-TangYRM #algorithm #analysis #problem #quantifier #satisfiability
Analysis of Search Based Algorithms for Satisfiability of Quantified Boolean Formulas Arising from Circuit State Space Diameter Problems (DT, YY, DR, SM), pp. 214–223.
SACSAC-2002-ButenkoPSSS #graph #independence #set
Finding maximum independent sets in graphs arising from coding theory (SB, PMP, IS, VS, PS), pp. 542–546.
STOCSTOC-1996-KleinL #algorithm #approximate #performance #source code
Efficient Approximation Algorithms for Semidefinite Programs Arising from MAX CUT and COLORING (PNK, HIL), pp. 338–347.
STOCSTOC-1994-JacquetS #algorithm #analysis #equation #functional
A functional equation often arising in the analysis of algorithms (extended abstract) (PJ, WS), pp. 780–789.
STOCSTOC-1993-Karp #biology #combinator #problem
Mapping the genome: some combinatorial problems arising in molecular biology (RMK), pp. 278–285.
CAVCAV-1990-Ness #analysis
Issues Arising in the Analysis of L.0 (LAN), pp. 106–115.
ICALPICALP-1982-FlajoletS #branch #polynomial #process
A Branching Process Arising in Dynamic Hashing, Trie Searching and Polynomial Factorization (PF, JMS), pp. 239–251.

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.