BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
power of
Google power of

Tag #power of

247 papers:

EDMEDM-2019-SherHG #learning #mobile #predict #student
Investigating effects of considering mobile and desktop learning data on predictive power of learning management system (LMS) features on student success (VS, MH, DG).
FSCDFSCD-2019-KasterovicP #call-by #lazy evaluation #probability #λ-calculus
The Discriminating Power of the Let-In Operator in the Lazy Call-by-Name Probabilistic lambda-Calculus (SK, MP), p. 20.
ICMLICML-2019-HacohenW #education #learning #network #on the
On The Power of Curriculum Learning in Training Deep Networks (GH, DW), pp. 2535–2544.
DLTDLT-2018-LoffMR #parsing expression grammar
The Computational Power of Parsing Expression Grammars (BL, NM, RR), pp. 491–502.
ICMLICML-2018-DuL #network #on the #polynomial
On the Power of Over-parametrization in Neural Networks with Quadratic Activation (SSD, JDL), pp. 1328–1337.
ICMLICML-2018-MaBB #comprehension #effectiveness #learning
The Power of Interpolation: Understanding the Effectiveness of SGD in Modern Over-parametrized Learning (SM, RB, MB), pp. 3331–3340.
ICMLICML-2018-MehrabiTY #approximate #bound #network
Bounds on the Approximation Power of Feedforward Neural Networks (MM, AT, MIY), pp. 3450–3458.
OOPSLAOOPSLA-2018-MathurK0 #concurrent #detection #predict #what
What happens-after the first race? enhancing the predictive power of happens-before based dynamic race detection (UM, DK, MV0), p. 29.
DLTDLT-2017-GazdagT #on the
On the Power of Permitting Semi-conditional Grammars (ZG, KT), pp. 173–184.
ICFP-2017-0002KLP #monad #on the
On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control (YF0, OK, SL, MP), p. 29.
ICMLICML-2017-RaghuPKGS #network #on the
On the Expressive Power of Deep Neural Networks (MR, BP, JMK, SG, JSD), pp. 2847–2854.
ESEC-FSEESEC-FSE-2017-HuijgensLSRGR #agile #delivery #metric #mining #predict
Strong agile metrics: mining log data to determine predictive power of software metrics for continuous delivery teams (HH, RL, DS, HR, GG, DR), pp. 866–871.
ESEC-FSEESEC-FSE-2017-NelsonDDK #why
The power of “why” and “why not”: enriching scenario exploration with provenance (TN, ND, DJD, SK), pp. 106–116.
ESOPESOP-2017-KopS #complexity #higher-order #nondeterminism #programming #using
The Power of Non-determinism in Higher-Order Implicit Complexity - Characterising Complexity Classes Using Non-deterministic Cons-Free Programming (CK, JGS), pp. 668–695.
CAVCAV-2017-DAntoniV #automaton #transducer
The Power of Symbolic Automata and Transducers (LD, MV), pp. 47–67.
CSLCSL-2017-Luck #logic #semantics
The Power of the Filtration Technique for Modal Logics with Team Semantics (ML), p. 20.
CIKMCIKM-2016-DehghaniAK #documentation #feedback
The Healing Power of Poison: Helpful Non-relevant Documents in Feedback (MD0, SA, JK), pp. 2065–2068.
ICMLICML-2016-LeiF #order #testing
Power of Ordered Hypothesis Testing (LL, WF), pp. 2924–2932.
AdaEuropeAdaEurope-2016-Burns #ada #physics #programming language #why
Why the Expressive Power of Programming Languages Such as Ada Is Needed for Future Cyber Physical Systems (AB), pp. 3–11.
ASEASE-2016-Rosenblum #probability
The power of probabilistic thinking (DSR), p. 3.
ESOPESOP-2016-PohjolaP #composition #parallel
The Expressive Power of Monotonic Parallel Composition (JÅP, JP), pp. 780–803.
ECIRECIR-2015-Dean-HallC
The Power of Contextual Suggestion (ADH, CLAC), pp. 352–357.
ICMLICML-2015-BarbosaENW #dataset #distributed
The Power of Randomization: Distributed Submodular Maximization on Massive Datasets (RdPB, AE, HLN, JW), pp. 1236–1244.
DATEDATE-2015-LiDC #algorithm #clustering
A scan partitioning algorithm for reducing capture power of delay-fault LBIST (NL, ED, GC), pp. 842–847.
STOCSTOC-2015-LackiOPSZ #algorithm #distance #performance
The Power of Dynamic Distance Oracles: Efficient Dynamic Algorithms for the Steiner Tree (JL, JO, MP, PS, AZ), pp. 11–20.
EDMEDM-2014-AllenSM #development #natural language
Now We're Talking: Leveraging the Power of Natural Language Processing to Inform ITS Development (LKA, ELS, DSM), pp. 401–402.
EDMEDM-2014-Garcia-SaizPZ #education #metric #predict
The predictive power of the SNA metrics for education (DGS, CP, MEZ), pp. 419–420.
CIAACIAA-2014-BianchiMP #automaton #on the #quantum
On the Power of One-Way Automata with Quantum and Classical States (MPB, CM, BP), pp. 84–97.
CIAACIAA-2014-Maletti #bottom-up #multi #transducer
The Power of Regularity-Preserving Multi Bottom-up Tree Transducers (AM), pp. 278–289.
ICALPICALP-v2-2014-CooperER #distributed
The Power of Two Choices in Distributed Voting (CC, RE, TR), pp. 435–446.
DiGRADiGRA-2014-MarteySSKCFSS #bias #game studies #testing
Testing the Power of Game Lessons: The Effects of Art and Narrative on Reducing Cognitive Biases (RMM, AS, JSG, KK, BAC, JEF, ETS, TS).
HCIDUXU-DP-2014-MiddenH #behaviour #energy #feedback
The Power of Negative Feedback from an Artificial Agent to Promote Energy Saving Behavior (CJHM, JRCH), pp. 328–338.
RecSysRecSys-2014-LiuGWB #using
Improving the discriminative power of inferred content information using segmented virtual profile (HL, AG, TW, AB), pp. 97–104.
OOPSLAOOPSLA-2014-ParrHF #adaptation #dynamic analysis #ll #parsing
Adaptive LL(*) parsing: the power of dynamic analysis (TP, SH, KF), pp. 579–598.
OSDIOSDI-2014-VenkataramanPAFS #clustering #scheduling
The Power of Choice in Data-Aware Cluster Scheduling (SV, AP, GA, MJF, IS), pp. 301–316.
STOCSTOC-2014-AwasthiBL #learning #linear #locality
The power of localization for efficiently learning linear separators with noise (PA, MFB, PML), pp. 449–458.
STOCSTOC-2014-KalaiRR #how #proving
How to delegate computations: the power of no-signaling proofs (YTK, RR, RDR), pp. 485–494.
LICSLICS-CSL-2014-BernardoSV #higher-order #interactive #on the
On the discriminating power of passivation and higher-order interaction (MB, DS, VV), p. 10.
LICSLICS-CSL-2014-Mamino #on the
On the computing power of +, -, and × (MM), p. 10.
PODSPODS-2013-AmelootBW #on the
On the expressive power of update primitives (TJA, JVdB, EW), pp. 139–150.
PODSPODS-2013-Wong #calculus #relational #set
A dichotomy in the intensional expressive power of nested relational calculi augmented with aggregate functions and a powerset operator (LW), pp. 285–296.
SIGMODSIGMOD-2013-UpadhyayaABHKRS
The power of data use management in action (PU, NRA, MB, BH, RK, RR, DS), pp. 1117–1120.
ICALPICALP-v1-2013-FotakisT #game studies #on the
On the Power of Deterministic Mechanisms for Facility Location Games (DF, CT), pp. 449–460.
ICALPICALP-v1-2013-Kolmogorov #linear #programming
The Power of Linear Programming for Finite-Valued CSPs: A Constructive Characterization (VK), pp. 625–636.
CHICHI-2013-BentleyT #behaviour #mobile
The power of mobile notifications to increase wellbeing logging behavior (FB, KT), pp. 1095–1098.
CHICHI-2013-LomasKPCLKF #design #game studies
The power of play: design lessons for increasing the lifespan of outdated computers (DL, AK, KP, DC, ML, MK, JF), pp. 2735–2744.
ICEISICEIS-v2-2013-CuzzocreaF #analysis #comparative #exclamation #metamodelling #state of the art
Comparative Analysis of State-of-the-Art Spatial Data Warehouse Meta-models — Catching the Expressive Power of SDW Schemas! (AC, RdNF), pp. 302–309.
OnwardOnward-2013-Aldrich #why
The power of interoperability: why objects are inevitable (JA), pp. 101–116.
POPLPOPL-2013-HurNDV #induction #proving
The power of parameterization in coinductive proof (CKH, GN, DD, VV), pp. 193–206.
STOCSTOC-2013-GuGK #maintenance #online
The power of deferral: maintaining a constant-competitive steiner tree online (AG, AG, AK), pp. 525–534.
ICSTSAT-2013-DaviesB #satisfiability
Exploiting the Power of mip Solvers in maxsat (JD, FB), pp. 166–181.
PODSPODS-2012-ChoromanskiM #algorithm #database #graph #privacy #statistics
The power of the dinur-nissim algorithm: breaking privacy of statistical and graph databases (KC, TM), pp. 65–76.
ICALPICALP-v1-2012-MegowSVW #online
The Power of Recourse for Online MST and TSP (NM, MS, JV, AW), pp. 689–700.
ICALPICALP-v2-2012-KuperbergB #infinity #logic #on the #word
On the Expressive Power of Cost Logics over Infinite Words (DK, MVB), pp. 287–298.
CSCWCSCW-2012-WashL #social #social media
The power of the ask in social media (RW, CL), pp. 1187–1190.
CIKMCIKM-2012-NguyenDTH
Federated search in the wild: the combined power of over a hundred search engines (DN, TD, DT, DH), pp. 1874–1878.
POPLPOPL-2012-CretinR #abstraction #on the
On the power of coercion abstraction (JC, DR), pp. 361–372.
ICALPICALP-v1-2011-AllenderFG #random #string
Limits on the Computational Power of Random Strings (EA, LF, WIG), pp. 293–304.
ICALPICALP-v1-2011-AllenderW #algebra #branch #on the #source code
On the Power of Algebraic Branching Programs of Width Two (EA, FW), pp. 736–747.
ICALPICALP-v1-2011-Zhang #bound #communication #complexity #on the #quantum
On the Power of Lower Bound Methods for One-Way Quantum Communication Complexity (SZ), pp. 49–60.
FDGFDG-2011-MarshXNOKH #learning
Fun and learning: the power of narrative (TM, CX, LZN, SO, EK, JH), pp. 23–29.
HCIHIMI-v1-2011-RichardRMM #design pattern #developer #user interface
Giving UI Developers the Power of UI Design Patterns (JR, JMR, SM, JM), pp. 40–47.
CIKMCIKM-2011-Gal #nondeterminism
Uncertain schema matching: the power of not knowing (AG), pp. 2615–2616.
CIKMCIKM-2011-LiYL #predict #random
Link prediction: the power of maximal entropy random walk (RHL, JXY, JL), pp. 1147–1156.
ECIRECIR-2011-CraswellFN
The Power of Peers (NC, DF, MN), pp. 497–502.
KDDKDD-2011-JinWLYH #mining #named #network #social #social media
LikeMiner: a system for mining the power of “like” in social media networks (XJ, CW, JL, XY, JH), pp. 753–756.
KDDKDD-2011-Norton #analysis
The power of analysis and data (DN), p. 784.
FoSSaCSFoSSaCS-2011-DelzannoSZ #ad hoc #clique #network #on the #verification
On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks (GD, AS, GZ), pp. 441–455.
STOCSTOC-2011-PatrascuT
The power of simple tabulation hashing (MP, MT), pp. 1–10.
CADECADE-2011-KoksalKS #programming #scala #smt
Scala to the Power of Z3: Integrating SMT and Programming (ASK, VK, PS), pp. 400–406.
PODSPODS-2010-GrecoS #algorithm #consistency
The power of tree projections: local consistency, greedy algorithms, and larger islands of tractability (GG, FS), pp. 327–338.
ICALPICALP-v1-2010-FountoulakisP #multi #random
Orientability of Random Hypergraphs and the Power of Multiple Choices (NF, KP), pp. 348–359.
LATALATA-2010-ChoffrutMMP #on the
On the Expressive Power of FO[+] (CC, AM, CM, BP), pp. 190–201.
LATALATA-2010-KanazawaS #context-free grammar #multi
The Copying Power of Well-Nested Multiple Context-Free Grammars (MK, SS), pp. 344–355.
SIGIRSIGIR-2010-HagenPSB #query #segmentation
The power of naive query segmentation (MH, MP, BS, CB), pp. 797–798.
POPLPOPL-2010-GodefroidNRT #composition #program analysis
Compositional may-must program analysis: unleashing the power of alternation (PG, AVN, SKR, ST), pp. 43–56.
ICSEICSE-2010-LimQF10a #analysis #crowdsourcing #named #network #social
StakeSource: harnessing the power of crowdsourcing and social networks in stakeholder analysis (SLL, DQ, AF), pp. 239–242.
HPDCHPDC-2010-DokaTK
Distributing the power of OLAP (KD, DT, NK), pp. 324–327.
ESOPESOP-2010-LaneseVF #on the
On the Expressive Power of Primitives for Compensation Handling (IL, CV, CF), pp. 366–386.
STOCSTOC-2010-LeeSV
Matroid matching: the power of local search (JL, MS, JV), pp. 369–378.
LICSLICS-2010-LaneveV
The Expressive Power of Synchronizations (CL, AV), pp. 382–391.
SIGMODSIGMOD-2009-QinYC #database #keyword
Keyword search in databases: the power of RDBMS (LQ, JXY, LC), pp. 681–694.
LATALATA-2009-Masopust #context-free grammar #generative
A Note on the Generative Power of Some Simple Variants of Context-Free Grammars Regulated by Context Conditions (TM), pp. 554–565.
RecSysRecSys-2009-KhezrzadehTW #recommendation
Harnessing the power of “favorites” lists for recommendation systems (MK, AT, WWW), pp. 289–292.
PPDPPPDP-2009-GabbrielliMM #on the
On the expressive power of priorities in CHR (MG, JM, MCM), pp. 267–276.
QAPLQAPL-2009-GiroD #distributed #on the #probability
On the Expressive Power of Schedulers in Distributed Probabilistic Systems (SG, PRD), pp. 45–71.
FoSSaCSFoSSaCS-2009-ArandaVV #on the #replication #strict
On the Expressive Power of Restriction and Priorities in CCS with Replication (JA, FDV, CV), pp. 242–256.
TPDLECDL-2008-TarrantCP #metadata #network #scalability
Releasing the Power of Digital Metadata: Examining Large Networks of Co-related Publications (DT, LC, TRP), pp. 172–184.
PODSPODS-2008-GollapudiP #similarity
The power of two min-hashes for similarity search among hierarchical data objects (SG, RP), pp. 211–220.
VLDBVLDB-2008-CafarellaHWWZ #named #web
WebTables: exploring the power of tables on the web (MJC, AYH, DZW, EW, YZ), pp. 538–549.
SIGITESIGITE-2008-Hardy #web #women
Women in computer science: harnessing the power of web 2.0 to draw women to computer science fields (NH), pp. 59–60.
SIGITESIGITE-2008-HardyPW #collaboration #education #web
The impact of collaborative technology in it and computer science education: harnessing the power of web 2.0 (NH, MP, HW), pp. 63–64.
ICFPICFP-2008-OuryS
The power of Pi (NO, WS), pp. 39–50.
EDOCEDOC-2008-ScheiblerML #as a service #execution
EAI as a Service — Combining the Power of Executable EAI Patterns and SaaS (TS, RM, FL), pp. 107–116.
ICALPICALP-2007-AtseriasBD #on the
On the Power of k -Consistency (AA, AAB, VD), pp. 279–290.
ICALPICALP-2007-CaiL #algorithm #artificial reality
Holographic Algorithms: The Power of Dimensionality Resolved (JyC, PL), pp. 631–642.
KDDKDD-2007-ArchakGI #exclamation #mining
Show me the money!: deriving the pricing power of product features by mining consumer reviews (NA, AG, PGI), pp. 56–65.
SIGIRSIGIR-2007-CormackL
Validity and power of t-test for comparing MAP and GMAP (GVC, TRL), pp. 753–754.
CSLCSL-2007-AbdullaDB
Comparing the Expressive Power of Well-Structured Transition Systems (PAA, GD, LVB), pp. 99–114.
CSLCSL-2007-DawarR #finite #logic #strict
The Power of Counting Logics on Restricted Classes of Finite Structures (AD, DR), pp. 84–98.
ICALPICALP-v1-2006-BojanczykSSS #automaton
Expressive Power of Pebble Automata (MB, MS, TS, LS), pp. 157–168.
ICALPICALP-v2-2006-BouyerHR #automaton #petri net #sequence
Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences (PB, SH, PAR), pp. 420–431.
KRKR-2006-ChevaleyreEL #modelling
Expressive Power of Weighted Propositional Formulas for Cardinal Preference Modeling (YC, UE, JL), pp. 145–152.
SASSAS-2006-Das #static analysis
Unleashing the Power of Static Analysis (MD), pp. 1–2.
FoSSaCSFoSSaCS-2006-Gorla #communication #on the
On the Relative Expressive Power of Asynchronous Communication Primitives (DG), pp. 47–62.
CAVCAV-2006-BoigelotH #hybrid
The Power of Hybrid Acceleration (BB, FH), pp. 438–451.
CSLCSL-2006-AlvesFFM #linear
The Power of Linear Functions (SA, MF, MF, IM), pp. 119–134.
CSLCSL-2006-Marcinkowski #graph #logic #on the
On the Expressive Power of Graph Logic (JM), pp. 486–500.
DLTDLT-2005-Maletti #transducer
The Power of Tree Series Transducers of Type I and II (AM), pp. 338–349.
ICALPICALP-2005-RadhakrishnanRS #fourier #on the #problem #random
On the Power of Random Bases in Fourier Sampling: Hidden Subgroup Problem in the Heisenberg Group (JR, MR, PS), pp. 1399–1411.
KDDKDD-2005-GruhlGKNT #online #predict
The predictive power of online chatter (DG, RVG, RK, JN, AT), pp. 78–87.
ASEASE-2005-Fuggetta
The power of software (AF), p. 1.
DRRDRR-2004-TomaiKS
Group discriminatory power of handwritten characters (CIT, DMK, SNS), pp. 116–123.
DLTDLT-2004-IbarraYD #parallel
The Power of Maximal Parallelism in P Systems (OHI, HCY, ZD), pp. 212–224.
DLTDLT-2004-KurganskyyP #2d #automaton #finite #on the
On the Computation Power of Finite Automata in Two-dimensional Environments (OK, IP), pp. 261–271.
ICALPICALP-2004-AulettaPPP #verification
The Power of Verification for One-Parameter Agents (VA, RDP, PP, GP), pp. 171–182.
ICALPICALP-2004-Schweikardt #fixpoint #logic #monad #on the
On the Expressive Power of Monadic Least Fixed Point Logic (NS), pp. 1123–1135.
ICALPICALP-2004-Zhang #bound #on the
On the Power of Ambainis’s Lower Bounds (SZ), pp. 1238–1250.
ICEISICEIS-v1-2004-FerrandinC #consistency #database #integration #semistructured data #using #xml
Referencial Integrity Model for XML Data Integrated from Heterogeneous Databases Systems — Using the Power of XML for Consistent Data Integration (MF, MSdC), pp. 15–20.
ICPRICPR-v2-2004-TomaiZS #recognition #word
Discriminatory Power of Handwritten Words for Writer Recognition (CIT, BZ, SNS), pp. 638–641.
SACSAC-2004-ZumpanoGTV #on the #optimisation #problem #semantics
On the semantics and expressive power of Datalog-like languages for NP search and optimization problems (EZ, SG, IT, PV), pp. 692–697.
PDPPDP-2004-LioupisPS #embedded
Exporting Processing Power of Home Embedded Devices to Global Computing Applications (DL, DP, MS), pp. 274–281.
STOCSTOC-2004-MankuNW #lookahead #network #random
Know thy neighbor’s neighbor: the power of lookahead in randomized P2P networks (GSM, MN, UW), pp. 54–63.
VMCAIVMCAI-2004-Sagiv #abstraction #canonical #on the
On the Expressive Power of Canonical Abstraction (SS), p. 58.
ICFPICFP-2003-BotlanR #ml #named #system f
MLF: raising ML to the power of system F (DLB, DR), pp. 27–38.
STOCSTOC-2003-Ya #on the #quantum
On the power of quantum fingerprinting (ACCY), pp. 77–81.
CSLCSL-2003-KristiansenV #source code #strict
The Surprising Power of Restricted Programs and Gödel’s Functionals (LK, PJV), pp. 345–358.
PODSPODS-2002-GottlobK #datalog #information management #monad #web
Monadic Datalog and the Expressive Power of Languages for Web Information Extraction (GG, CK), pp. 17–28.
PODSPODS-2002-Neven #on the #query
On the Power of Walking for Querying Tree-Structured Data (FN), pp. 77–84.
AdaEuropeAdaEurope-2002-ChatzigeorgiouS #embedded #object-oriented #performance #programming
Evaluating Performance and Power of Object-Oriented Vs. Procedural Programming in Embedded Processors (AC, GS), pp. 65–75.
PPDPPPDP-2002-NielsenPV #concurrent #constraints #on the #programming language
On the expressive power of temporal concurrent constraint programming languages (MN, CP, FDV), pp. 156–167.
STOCSTOC-2002-Khot02a #game studies #on the
On the power of unique 2-prover 1-round games (SK), pp. 767–775.
ICDARICDAR-2001-GrandidierSGS #markov #modelling
An a priori Indicator of the Discrimination Power of Discrete Hidden Markov Models (FG, RS, MG, CYS), pp. 350–355.
DLTDLT-2001-Cachat
The Power of One-Letter Rational Languages (TC), pp. 145–154.
DLTDLT-2001-HromkovicS #automaton #on the #random
On the Power of Randomized Pushdown Automata (JH, GS), pp. 262–271.
DACDAC-2001-SanghaviW #estimation
Estimation of Speed, Area, and Power of Parameterizable, Soft IP (JVS, AW), pp. 31–34.
CSLCSL-2001-Kanovich #linear #logic #monad
The Expressive Power of Horn Monadic Linear Logic (MIK), pp. 39–53.
ICSTSAT-2001-Berre #lookahead
Exploiting the real power of unit propagation lookahead (DLB), pp. 59–80.
ICALPICALP-2000-Merkle #query
The Global Power of Additional Queries to p-Random Oracles (WM), pp. 914–925.
ICALPICALP-2000-NevenS #automaton #on the
On the Power of Tree-Walking Automata (FN, TS), pp. 547–560.
ICTSSTestCom-2000-CavalliPY #communication #detection #fault #testing
Fault Detection Power of a Widely Used Test Suite for a System of Communicating FSMs (ARC, SP, NY), p. 35–?.
ICALPICALP-1999-HromkovicS #automaton #finite #on the
On the Power of Las Vegas II. Two-Way Finite Automata (JH, GS), pp. 433–442.
FMFM-v1-1999-MandelC #ocl #on the
On the Expressive Power of OCL (LM, MVC), pp. 854–874.
TOOLSTOOLS-EUROPE-1999-Meyer99b
The Unity of Software and the Power of Roundtrip Engineering (BM), p. 2.
TOOLSTOOLS-EUROPE-1999-ReenskaugB #distributed #enterprise #information management
Unleashing the Power of Distributed Enterprise Information Systems (TR, LB), p. 396.
TOOLSTOOLS-USA-1999-Meyer
The Unity of Software and the Power of Roundtrip Engineering (BM), p. 3.
LICSLICS-1999-MollerR #on the
On the Expressive Power of CTL (FM, AMR), pp. 360–368.
ICALPICALP-1998-DurisJKL #finite #multi
Power of Cooperation and Multihead Finite Systems (PD, TJ, MK, KL), pp. 896–907.
ICGTTAGT-1998-Drewes #generative
Some Remarks on the Generative Power of Collage Grammars and Chain-Code Grammars (FD), pp. 1–14.
ICGTTAGT-1998-GodardMM #graph
The Power of Local Computations in Graphs with Initial Knowledge (EG, YM, AM), pp. 71–84.
ICMLICML-1998-NockJ #on the
On the Power of Decision Lists (RN, PJ), pp. 413–420.
SASSAS-1998-Leuschel #on the #online #termination
On the Power of Homeomorphic Embedding for Online Termination (ML), pp. 230–245.
SACSAC-1998-DentiNO #coordination #on the #programming
On the expressive power of a language for programming coordination media (ED, AN, AO), pp. 169–177.
STOCSTOC-1998-BenderFRSV #graph
The Power of a Pebble: Exploring and Mapping Directed Graphs (MAB, AF, DR, AS, SPV), pp. 269–278.
CSLCSL-1998-KempeS #algebra #first-order #on the #specification
On the Power of Quantifers in First-Order Algebraic Specification (DK, AS), pp. 45–57.
DLTDLT-1997-BuchholzK #bound #on the
On the power of one-way bounded cellular time computers (TB, MK), pp. 365–375.
ICALPICALP-1997-Bournez #bound #constant
Some Bounds on the Computational Power of Piecewise Constant Derivative Systems (OB), pp. 143–153.
ICALPICALP-1997-BuccafurriGS #semantics
The Expressive Power of Unique Total Stable Model Semantics (FB, SG, DS), pp. 849–859.
POPLPOPL-1997-Palamidessi #π-calculus
Comparing the Expressive Power of the Synchronous and the Asynchronous π-calculus (CP), pp. 256–265.
SASSAS-1997-BoigelotGWW
The Power of QDDs (BB, PG, BW, PW), pp. 172–186.
TACASTACAS-1997-BeeckBCDFKMSS #graph #morphism #polymorphism
Graphs in METAFrame: The Unifying Power of Polymorphism (MvdB, VB, AC, AD, CF, DK, TMS, FS, BS), pp. 112–129.
CSLCSL-1997-Schwentick #higher-order #logic
Padding and the Expressive Power of Existential Second-Order Logics (TS), pp. 461–477.
PODSPODS-1996-BenediktDLW #constraints #query #relational
Relational Expressive Power of Constraint Query Languages (MB, GD, LL, LW), pp. 5–16.
ICALPICALP-1996-AblayevK #branch #on the #random #source code
On the Power of Randomized Branching Programs (FMA, MK), pp. 348–356.
ICALPICALP-1996-Pin #automaton #calculus #first-order
The Expressive Power of Existential First Order Sentences of Büchi’s Sequential Calculus (JÉP), pp. 300–311.
RTARTA-1996-Cosmo #diagrams #on the
On the Power of Simple Diagrams (RDC), pp. 200–214.
KRKR-1996-Gottlob #complexity
Complexity and Expressive Power of KR Formalisms (GG), pp. 647–649.
LICSLICS-1996-HillebrandK #on the #λ-calculus
On the Expressive Power of Simply Typed and Let-Polymorphic λ Calculi (GGH, PCK), pp. 253–263.
LICSLICS-1996-KolaitisV #logic #on the
On the Expressive Power of Variable-Confined Logics (PGK, MYV), pp. 348–359.
ICALPICALP-1995-HenzingerKW
The Expressive Power of Clocks (TAH, PWK, HWT), pp. 417–428.
PLDIPLDI-1995-KnoopRS
The Power of Assignment Motion (JK, OR, BS), pp. 233–245.
SACSAC-1995-TarauDB #empirical #prolog
The power of partial tanslation: an experiment with the C-ification of binary Prolog (PT, BD, KDB), pp. 152–156.
STOCSTOC-1995-CanettiI #bound #random #scheduling
Bounding the power of preemption in randomized scheduling (RC, SI), pp. 606–615.
TAPSOFTTAPSOFT-1995-Wagner #algebra #graph grammar #on the
On the Expressive Power of Algebraic Graph Grammars with Application Conditions (AW), pp. 409–423.
PODSPODS-1994-KivinenM #information management
The Power of Sampling in Knowledge Discovery (JK, HM), pp. 77–85.
ICALPICALP-1994-Siegelmann #network #on the #probability
On The Computational Power of Probabilistic and Faulty Neural Networks (HTS), pp. 23–34.
CHICHI-1994-Nielsen94b #heuristic #usability
Enhancing the explanatory power of usability heuristics (JN), pp. 152–158.
KRKR-1994-LakemeyerM #decidability #first-order
Enhancing the Power of a Decidable First-Order Reasoner (GL, SM), pp. 403–414.
STOCSTOC-1994-CondonHPW #automaton #finite #nondeterminism #on the #probability
On the power of finite automata with both nondeterministic and probabilistic states (AC, LH, SP, AW), pp. 676–685.
STOCSTOC-1994-KrauseP #on the
On the computational power of depth 2 circuits with threshold and modulo gates (MK, PP), pp. 48–57.
STOCSTOC-1994-Wigderson #independence
The amazing power of pairwise independence (AW), pp. 645–647.
ICLPILPS-1994-Gottlob #complexity #logic programming
Complexity and Expressive Power of Disjunctive Logic Programming (GG), pp. 23–42.
LICSLICS-1994-AbiteboulPV #relational
The Power of Reflective Relational Machines (SA, CHP, VV), pp. 230–240.
LICSLICS-1994-DawarH #quantifier
The Expressive Power of Finitely Many Generalized Quantifiers (AD, LH), pp. 20–29.
SIGMODSIGMOD-1993-BeeriM #algebra #on the #recursion
On the Power of Algebras with Recursion (CB, TM), pp. 377–386.
DLTDLT-1993-CulikK #generative #image #on the
On the Power of L-Systems in Image Generation (KCI, JK), pp. 225–236.
DLTDLT-1993-Pardubska #communication #generative #on the
On the Power of Communication Structure for Distributive Generation of Languages (DP), pp. 419–429.
ICALPICALP-1993-Lepisto #morphism #on the
On the Power of Periodic Iteration of Morphisms (AL), pp. 496–506.
ICALPICALP-1993-Orponen #on the
On the Computational Power of Discrete Hopfield Nets (PO), pp. 215–226.
LOPSTRLOPSTR-1993-Waal #partial evaluation
The Power of Partial Evaluation (DAdW), pp. 113–123.
ICALPICALP-1992-Straubing #complexity #first-order
Circuit Complexity and the Expressive Power of Generalized First-Order Formulas (HS), pp. 16–27.
LISPLFP-1992-NeubergerM #analysis #deduction #precise #strict
A Precise Relationship Between the Deductive Power of Forward and Backward Strictness Analysis (MN, PM), pp. 127–138.
ICTSSIWPTS-1992-Phalippou #testing
The Limited Power of Testing (MP), pp. 43–54.
PODSPODS-1991-BusscheP
The Expressive Power of Structured Values in Pure OODB’s (JVdB, JP), pp. 291–299.
PODSPODS-1991-Vadaparty #on the #rule-based #set
On the Power of Rule-Based Languages with Sets (KVV), pp. 26–36.
VLDBVLDB-1991-DenninghoffV #parallel #semantics
The Power of Methods With Parallel Semantics (KD, VV), pp. 221–232.
ICALPICALP-1991-Ben-AsherPRS #configuration management
The POwer of Reconfiguration (YBA, DP, RR, AS), pp. 139–150.
ICALPICALP-1991-DurisG #multi #on the
On the Power of Multiple Reads in a Chip (PD, ZG), pp. 697–706.
ICALPICALP-1991-Larsen #specification
The Expressive Power of Implicit Specifications (KGL), pp. 204–216.
ESOPESOP-J-1990-Felleisen91 #on the #programming language
On the Expressive Power of Programming Languages (MF), pp. 35–75.
STOCSTOC-1991-AspnesBFR
The Expressive Power of Voting Polynomials (JA, RB, MLF, SR), pp. 402–409.
CSLCSL-1991-BarguryM #automaton #multi #transitive
The Expressive Power of Transitive Closue and 2-way Multihead Automata (YB, JAM), pp. 1–14.
PODSPODS-1990-KolaitisV #case study #datalog #on the #tool support
On the Expressive Power of Datalog: Tools and a Case Study (PGK, MYV), pp. 61–71.
SIGMODSIGMOD-1990-Sheng #database #deduction #named
IDLOG: Extending the Expressive Power of Deductive Database Languages (YHS), pp. 54–63.
ICGTGG-1990-EngelfrietH #generative #graph grammar
The Term Generating Power of Context-Free Hypergraph Grammars (JE, LH), pp. 328–243.
ESOPESOP-1990-Felleisen #on the #programming language
On the Expressive Power of Programming Languages (MF), pp. 134–151.
STOCSTOC-1990-Ben-DavidBKTW #algorithm #on the #online
On the Power of Randomization in Online Algorithms (SBD, AB, RMK, GT, AW), pp. 379–386.
LICSLICS-1990-HarelRV #bound #concurrent #on the #reasoning #source code
On the Power of Bounded Concurrency~III: Reasoning About Programs (DH, RR, MYV), pp. 478–488.
PODSPODS-1989-LakshmananM #datalog #game studies #induction
Inductive Pebble Games and the Expressive Power of Datalog (VSL, AOM), pp. 301–310.
PODSPODS-1989-Seki #on the
On the Power of Alexander Templates (HS), pp. 150–159.
ICLPNACLP-1989-KiferS #logic programming #on the #source code
On the Expressive Power of Annotated Logic Programs (MK, VSS), pp. 1069–1089.
PODSPODS-1988-HullS #database #on the #query
On the Expressive Power of Database Queries with Intermediate Types (RH, JS), pp. 39–51.
PODSPODS-1988-Kuper #logic programming #on the #programming language #set
On the Expressive Power of Logic Programming Languages with Sets (GMK), pp. 10–14.
ICALPICALP-1988-PanangadenS #nondeterminism
Computations, Residuals, and the Power of Indeterminacy (PP, EWS), pp. 439–454.
STOCSTOC-1988-KalyanasundaramS #on the
On the Power of White Pebbles (BK, GS), pp. 258–266.
ICLPJICSCP-1988-BoscoCM88 #functional #logic #programming
Exploiting the Full Power of Logic Plus Functional Programming (PGB, CC, CM), pp. 3–17.
LICSLICS-1988-KfouryTU #on the #polymorphism #recursion
On the Computational Power of Universally Polymorphic Recursion (AJK, JT, PU), pp. 72–81.
PODSPODS-1987-BeeriR #on the
On the Power of Magic (CB, RR), pp. 269–284.
PODSPODS-1987-Gucht #algebra #on the #relational
On the Expressive Power of the Extended Relational Algebra for the Unnormalized Relational Model (DVG), pp. 302–312.
ICALPICALP-1987-IbarraJ #array #on the
On the Computing Power of One-Way Cellular Arrays (OHI, TJ), pp. 550–562.
OOPSLAOOPSLA-1987-UngarS #named
Self: The Power of Simplicity (DU, RBS), pp. 227–242.
STOCSTOC-1987-Furer #communication #complexity
The Power of Randomness for Communication Complexity (MF), pp. 178–181.
LICSLICS-1987-Abadi #proving
The Power of Temporal Proofs (MA), pp. 123–130.
STOCSTOC-1986-Beame #parallel
Limits on the Power of Concurrent-Write Parallel Machines (PB), pp. 169–176.
SIGMODSIGMOD-1985-KuperV #logic #on the
On the Expressive Power of the Logical Data Model (GMK, MYV), pp. 180–187.
STOCSTOC-1983-Kannan83a #nondeterminism
Alternation and the Power of Nondeterminism (RK), pp. 344–346.
ICALPICALP-1982-BermanHT #logic #nondeterminism #on the
On the Power of Nondeterminism in Dynamic Logic (PB, JYH, JT), pp. 48–60.
ICALPICALP-1982-Blum #context-free grammar #on the
On the Power of Chain Rules in Context Free Grammars (NB), pp. 72–82.
ICALPICALP-1982-Lingas
The Power of Non-Rectilinear Holes (AL), pp. 369–383.
ICALPICALP-1982-Reif #on the #parallel #probability
On the Power of Probabilistic Choice in Synchronous Parallel Computations (JHR), pp. 442–450.
POPLPOPL-1982-Cooper #database #on the #query #relational
On the Expressive Power of Query Languages for Relational Databases (ECC), pp. 361–365.
CADECADE-1982-Book #string #term rewriting
The Power of the Church-Rosser Property for String Rewriting Systems (RVB), pp. 360–368.
SIGMODSIGMOD-1981-Papadimitriou #on the
On the Power of Locking (CHP), pp. 148–154.
ICALPICALP-1981-Makowsky81a #logic #named
Errata: Measuring the Expressive Power of Dynamic Logics: An Application of Abstract Model Theory (JAM), p. 551.
ICALPICALP-1980-Makowsky #logic
Measuring the Expressive Power of Dynamic Logics: An Application of Abstract Model Theory (JAM), pp. 409–421.
ICALPICALP-1980-Shamir #commutative #encryption #on the
On the Power of Commutativity in Cryptography (AS), pp. 582–595.
ICALPICALP-1980-Vitanyi #on the #realtime #specification
On the Power of Real-Time Machines Under Varying Specifications (PMBV), pp. 658–671.
ICALPICALP-1979-Schonhage #on the #random
On the Power of Random Access Machines (AS), pp. 520–529.
POPLPOPL-1979-Critcher #functional #parametricity
The Functional Power of Parameter Passage Mechanisms (AC), pp. 158–168.
STOCSTOC-1979-MeyerW #logic #on the
On the Expressive Power of Dynamic Logic (ARM, KW), pp. 167–175.
ICALPICALP-1978-DammF #on the #recursion #self
On the Power of Self-Application and Higher Type-Recursion (WD, EF), pp. 177–191.
STOCSTOC-1978-ThatcherWW #data type #specification
Data Type Specification: Parameterization and the Power of Specification Techniques (JWT, EGW, JBW), pp. 119–132.
ICALPICALP-1977-BookY #bound #on the
On the Computational Power of Reversal-Bounded Machines (RVB, CKY), pp. 111–119.
STOCSTOC-1976-Sudborough #automaton #context-free grammar #multi #on the
On Deterministic Context-Free Languages, Multihead Automata, and the Power of an Auxiliary Pushdown Store (IHS), pp. 141–148.
ICALPICALP-1974-Wijngaarden #generative #two-level grammar
The Generative Power of Two-Level Grammars (AvW), pp. 9–16.
STOCSTOC-1974-Pratt #matrix #multi
The Power of Negative Thinking in Multiplying Boolean Matrices (VRP), pp. 80–83.
STOCSTOC-1974-PrattRS
A Characterization of the Power of Vector Machines (VRP, MOR, LJS), pp. 122–134.

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.