21 papers:
ICPC-2015-DeissenboeckP #consistency #years after- Concise and consistent naming: ten years later (FD, MP), p. 3.
SAC-2015-VorobyovKS #monitoring #specification- A concise specification language for trace monitoring (KV, PK, PS), pp. 1637–1640.
VLDB-2014-Song0C #on the #set- On Concise Set of Relative Candidate Keys (SS, LC, HC), pp. 1179–1190.
ICFP-2014-MarlowBCP #abstraction #concurrent #data access #performance- There is no fork: an abstraction for efficient, concurrent, and concise data access (SM, LB, JC, JP), pp. 325–337.
SAS-2013-WhiteM #algebra #analysis #memory management #optimisation #using- Concise Analysis Using Implication Algebras for Task-Local Memory Optimisation (LW, AM), pp. 433–453.
KDD-2012-GrosskreutzPR- An enhanced relevance criterion for more concise supervised pattern discovery (HG, DP, SR), pp. 1442–1450.
OOPSLA-2011-DavidC #precise #specification #verification- Immutable specifications for more concise and precise verification (CD, WNC), pp. 359–374.
VLDB-2009-MeccaPRB- Concise and Expressive Mappings with +Spicy (GM, PP, SR, MB), pp. 1582–1585.
KDD-2009-JinXL #representation #set- Cartesian contour: a concise representation for a collection of frequent sets (RJ, YX, LL), pp. 417–426.
KDD-2009-PoernomoG #named #representation- CP-summary: a concise representation for browsing frequent itemsets (AKP, VG), pp. 687–696.
DocEng-2008-KerneTDK #documentation #framework #object-oriented #xml- A concise XML binding framework facilitates practical object-oriented document engineering (AK, ZOT, BD, MK), pp. 62–65.
DLT-2008-GeffertMP #automaton #regular expression #representation- More Concise Representation of Regular Languages by Automata and Regular Expressions (VG, CM, BP), pp. 359–370.
POPL-2008-YorshYC #generative #precise #summary- Generating precise and concise procedure summaries (GY, EY, SC), pp. 221–234.
CIKM-2007-XuL #generative- Generating concise association rules (YX, YL), pp. 781–790.
VLDB-2006-BexNST #xml- Inference of Concise DTDs from XML Data (GJB, FN, TS, KT), pp. 115–126.
SCAM-2006-LawrieFB #consistency #identifier- Syntactic Identifier Conciseness and Consistency (DL, HF, DB), pp. 139–148.
IWPC-2005-DeisenbockP #consistency- Concise and Consistent Naming (FD, MP), pp. 97–106.
PODS-2003-MendelzonP #set- Concise descriptions of subsets of structured sets (AOM, KQP), pp. 123–133.
SIGIR-2001-Zechner #automation #generative #strict #summary- Automatic Generation of Concise Summaries of Spoken Dialogues in Unrestricted Domains (KZ), pp. 199–207.
KDD-1997-PazzaniMS #learning- Beyond Concise and Colorful: Learning Intelligible Rules (MJP, SM, WRS), pp. 235–238.
RTA-1991-FarmerW #graph grammar- Redex Capturing in Term Graph Rewriting (Concise Version) (WMF, RJW), pp. 13–24.