BibSLEIGH — power of tag

power of

power of

Tag #power of

247 papers:

EDM-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).
FSCD-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.
ICML-2019-HacohenW #education #learning #network #on the: On The Power of Curriculum Learning in Training Deep Networks (GH, DW), pp. 2535–2544.
DLT-2018-LoffMR #parsing expression grammar: The Computational Power of Parsing Expression Grammars (BL, NM, RR), pp. 491–502.
ICML-2018-DuL #network #on the #polynomial: On the Power of Over-parametrization in Neural Networks with Quadratic Activation (SSD, JDL), pp. 1328–1337.
ICML-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.
ICML-2018-MehrabiTY #approximate #bound #network: Bounds on the Approximation Power of Feedforward Neural Networks (MM, AT, MIY), pp. 3450–3458.
OOPSLA-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.
DLT-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.
ICML-2017-RaghuPKGS #network #on the: On the Expressive Power of Deep Neural Networks (MR, BP, JMK, SG, JSD), pp. 2847–2854.
ESEC-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-FSE-2017-NelsonDDK #why: The power of “why” and “why not”: enriching scenario exploration with provenance (TN, ND, DJD, SK), pp. 106–116.
ESOP-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.
CAV-2017-DAntoniV #automaton #transducer: The Power of Symbolic Automata and Transducers (LD, MV), pp. 47–67.
CSL-2017-Luck #logic #semantics: The Power of the Filtration Technique for Modal Logics with Team Semantics (ML), p. 20.
CIKM-2016-DehghaniAK #documentation #feedback: The Healing Power of Poison: Helpful Non-relevant Documents in Feedback (MD0, SA, JK), pp. 2065–2068.
ICML-2016-LeiF #order #testing: Power of Ordered Hypothesis Testing (LL, WF), pp. 2924–2932.
AdaEurope-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.
ASE-2016-Rosenblum #probability: The power of probabilistic thinking (DSR), p. 3.
ESOP-2016-PohjolaP #composition #parallel: The Expressive Power of Monotonic Parallel Composition (JÅP, JP), pp. 780–803.
ECIR-2015-Dean-HallC: The Power of Contextual Suggestion (ADH, CLAC), pp. 352–357.
ICML-2015-BarbosaENW #dataset #distributed: The Power of Randomization: Distributed Submodular Maximization on Massive Datasets (RdPB, AE, HLN, JW), pp. 1236–1244.
DATE-2015-LiDC #algorithm #clustering: A scan partitioning algorithm for reducing capture power of delay-fault LBIST (NL, ED, GC), pp. 842–847.
STOC-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.
EDM-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.
EDM-2014-Garcia-SaizPZ #education #metric #predict: The predictive power of the SNA metrics for education (DGS, CP, MEZ), pp. 419–420.
CIAA-2014-BianchiMP #automaton #on the #quantum: On the Power of One-Way Automata with Quantum and Classical States (MPB, CM, BP), pp. 84–97.
CIAA-2014-Maletti #bottom-up #multi #transducer: The Power of Regularity-Preserving Multi Bottom-up Tree Transducers (AM), pp. 278–289.
ICALP-v2-2014-CooperER #distributed: The Power of Two Choices in Distributed Voting (CC, RE, TR), pp. 435–446.
DiGRA-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).
DUXU-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.
RecSys-2014-LiuGWB #using: Improving the discriminative power of inferred content information using segmented virtual profile (HL, AG, TW, AB), pp. 97–104.
OOPSLA-2014-ParrHF #adaptation #dynamic analysis #ll #parsing: Adaptive LL(*) parsing: the power of dynamic analysis (TP, SH, KF), pp. 579–598.
OSDI-2014-VenkataramanPAFS #clustering #scheduling: The Power of Choice in Data-Aware Cluster Scheduling (SV, AP, GA, MJF, IS), pp. 301–316.
STOC-2014-AwasthiBL #learning #linear #locality: The power of localization for efficiently learning linear separators with noise (PA, MFB, PML), pp. 449–458.
STOC-2014-KalaiRR #how #proving: How to delegate computations: the power of no-signaling proofs (YTK, RR, RDR), pp. 485–494.
LICS-CSL-2014-BernardoSV #higher-order #interactive #on the: On the discriminating power of passivation and higher-order interaction (MB, DS, VV), p. 10.
LICS-CSL-2014-Mamino #on the: On the computing power of +, -, and × (MM), p. 10.
PODS-2013-AmelootBW #on the: On the expressive power of update primitives (TJA, JVdB, EW), pp. 139–150.
PODS-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.
SIGMOD-2013-UpadhyayaABHKRS: The power of data use management in action (PU, NRA, MB, BH, RK, RR, DS), pp. 1117–1120.
ICALP-v1-2013-FotakisT #game studies #on the: On the Power of Deterministic Mechanisms for Facility Location Games (DF, CT), pp. 449–460.
ICALP-v1-2013-Kolmogorov #linear #programming: The Power of Linear Programming for Finite-Valued CSPs: A Constructive Characterization (VK), pp. 625–636.
CHI-2013-BentleyT #behaviour #mobile: The power of mobile notifications to increase wellbeing logging behavior (FB, KT), pp. 1095–1098.
CHI-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.
ICEIS-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.
Onward-2013-Aldrich #why: The power of interoperability: why objects are inevitable (JA), pp. 101–116.
POPL-2013-HurNDV #induction #proving: The power of parameterization in coinductive proof (CKH, GN, DD, VV), pp. 193–206.
STOC-2013-GuGK #maintenance #online: The power of deferral: maintaining a constant-competitive steiner tree online (AG, AG, AK), pp. 525–534.
SAT-2013-DaviesB #satisfiability: Exploiting the Power of mip Solvers in maxsat (JD, FB), pp. 166–181.
PODS-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.
ICALP-v1-2012-MegowSVW #online: The Power of Recourse for Online MST and TSP (NM, MS, JV, AW), pp. 689–700.
ICALP-v2-2012-KuperbergB #infinity #logic #on the #word: On the Expressive Power of Cost Logics over Infinite Words (DK, MVB), pp. 287–298.
CSCW-2012-WashL #social #social media: The power of the ask in social media (RW, CL), pp. 1187–1190.
CIKM-2012-NguyenDTH: Federated search in the wild: the combined power of over a hundred search engines (DN, TD, DT, DH), pp. 1874–1878.
POPL-2012-CretinR #abstraction #on the: On the power of coercion abstraction (JC, DR), pp. 361–372.
ICALP-v1-2011-AllenderFG #random #string: Limits on the Computational Power of Random Strings (EA, LF, WIG), pp. 293–304.
ICALP-v1-2011-AllenderW #algebra #branch #on the #source code: On the Power of Algebraic Branching Programs of Width Two (EA, FW), pp. 736–747.
ICALP-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.
FDG-2011-MarshXNOKH #learning: Fun and learning: the power of narrative (TM, CX, LZN, SO, EK, JH), pp. 23–29.
HIMI-v1-2011-RichardRMM #design pattern #developer #user interface: Giving UI Developers the Power of UI Design Patterns (JR, JMR, SM, JM), pp. 40–47.
CIKM-2011-Gal #nondeterminism: Uncertain schema matching: the power of not knowing (AG), pp. 2615–2616.
CIKM-2011-LiYL #predict #random: Link prediction: the power of maximal entropy random walk (RHL, JXY, JL), pp. 1147–1156.
ECIR-2011-CraswellFN: The Power of Peers (NC, DF, MN), pp. 497–502.
KDD-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.
KDD-2011-Norton #analysis: The power of analysis and data (DN), p. 784.
FoSSaCS-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.
STOC-2011-PatrascuT: The power of simple tabulation hashing (MP, MT), pp. 1–10.
CADE-2011-KoksalKS #programming #scala #smt: Scala to the Power of Z3: Integrating SMT and Programming (ASK, VK, PS), pp. 400–406.
PODS-2010-GrecoS #algorithm #consistency: The power of tree projections: local consistency, greedy algorithms, and larger islands of tractability (GG, FS), pp. 327–338.
ICALP-v1-2010-FountoulakisP #multi #random: Orientability of Random Hypergraphs and the Power of Multiple Choices (NF, KP), pp. 348–359.
LATA-2010-ChoffrutMMP #on the: On the Expressive Power of FO[+] (CC, AM, CM, BP), pp. 190–201.
LATA-2010-KanazawaS #context-free grammar #multi: The Copying Power of Well-Nested Multiple Context-Free Grammars (MK, SS), pp. 344–355.
SIGIR-2010-HagenPSB #query #segmentation: The power of naive query segmentation (MH, MP, BS, CB), pp. 797–798.
POPL-2010-GodefroidNRT #composition #program analysis: Compositional may-must program analysis: unleashing the power of alternation (PG, AVN, SKR, ST), pp. 43–56.
ICSE-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.
HPDC-2010-DokaTK: Distributing the power of OLAP (KD, DT, NK), pp. 324–327.
ESOP-2010-LaneseVF #on the: On the Expressive Power of Primitives for Compensation Handling (IL, CV, CF), pp. 366–386.
STOC-2010-LeeSV: Matroid matching: the power of local search (JL, MS, JV), pp. 369–378.
LICS-2010-LaneveV: The Expressive Power of Synchronizations (CL, AV), pp. 382–391.
SIGMOD-2009-QinYC #database #keyword: Keyword search in databases: the power of RDBMS (LQ, JXY, LC), pp. 681–694.
LATA-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.
RecSys-2009-KhezrzadehTW #recommendation: Harnessing the power of “favorites” lists for recommendation systems (MK, AT, WWW), pp. 289–292.
PPDP-2009-GabbrielliMM #on the: On the expressive power of priorities in CHR (MG, JM, MCM), pp. 267–276.
QAPL-2009-GiroD #distributed #on the #probability: On the Expressive Power of Schedulers in Distributed Probabilistic Systems (SG, PRD), pp. 45–71.
FoSSaCS-2009-ArandaVV #on the #replication #strict: On the Expressive Power of Restriction and Priorities in CCS with Replication (JA, FDV, CV), pp. 242–256.
ECDL-2008-TarrantCP #metadata #network #scalability: Releasing the Power of Digital Metadata: Examining Large Networks of Co-related Publications (DT, LC, TRP), pp. 172–184.
PODS-2008-GollapudiP #similarity: The power of two min-hashes for similarity search among hierarchical data objects (SG, RP), pp. 211–220.
VLDB-2008-CafarellaHWWZ #named #web: WebTables: exploring the power of tables on the web (MJC, AYH, DZW, EW, YZ), pp. 538–549.
SIGITE-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.
SIGITE-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.
ICFP-2008-OuryS: The power of Pi (NO, WS), pp. 39–50.
EDOC-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.
ICALP-2007-AtseriasBD #on the: On the Power of k -Consistency (AA, AAB, VD), pp. 279–290.
ICALP-2007-CaiL #algorithm #artificial reality: Holographic Algorithms: The Power of Dimensionality Resolved (JyC, PL), pp. 631–642.
KDD-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.
SIGIR-2007-CormackL: Validity and power of t-test for comparing MAP and GMAP (GVC, TRL), pp. 753–754.
CSL-2007-AbdullaDB: Comparing the Expressive Power of Well-Structured Transition Systems (PAA, GD, LVB), pp. 99–114.
CSL-2007-DawarR #finite #logic #strict: The Power of Counting Logics on Restricted Classes of Finite Structures (AD, DR), pp. 84–98.
ICALP-v1-2006-BojanczykSSS #automaton: Expressive Power of Pebble Automata (MB, MS, TS, LS), pp. 157–168.
ICALP-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.
KR-2006-ChevaleyreEL #modelling: Expressive Power of Weighted Propositional Formulas for Cardinal Preference Modeling (YC, UE, JL), pp. 145–152.
SAS-2006-Das #static analysis: Unleashing the Power of Static Analysis (MD), pp. 1–2.
FoSSaCS-2006-Gorla #communication #on the: On the Relative Expressive Power of Asynchronous Communication Primitives (DG), pp. 47–62.
CAV-2006-BoigelotH #hybrid: The Power of Hybrid Acceleration (BB, FH), pp. 438–451.
CSL-2006-AlvesFFM #linear: The Power of Linear Functions (SA, MF, MF, IM), pp. 119–134.
CSL-2006-Marcinkowski #graph #logic #on the: On the Expressive Power of Graph Logic (JM), pp. 486–500.
DLT-2005-Maletti #transducer: The Power of Tree Series Transducers of Type I and II (AM), pp. 338–349.
ICALP-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.
KDD-2005-GruhlGKNT #online #predict: The predictive power of online chatter (DG, RVG, RK, JN, AT), pp. 78–87.
ASE-2005-Fuggetta: The power of software (AF), p. 1.
DRR-2004-TomaiKS: Group discriminatory power of handwritten characters (CIT, DMK, SNS), pp. 116–123.
DLT-2004-IbarraYD #parallel: The Power of Maximal Parallelism in P Systems (OHI, HCY, ZD), pp. 212–224.
DLT-2004-KurganskyyP #2d #automaton #finite #on the: On the Computation Power of Finite Automata in Two-dimensional Environments (OK, IP), pp. 261–271.
ICALP-2004-AulettaPPP #verification: The Power of Verification for One-Parameter Agents (VA, RDP, PP, GP), pp. 171–182.
ICALP-2004-Schweikardt #fixpoint #logic #monad #on the: On the Expressive Power of Monadic Least Fixed Point Logic (NS), pp. 1123–1135.
ICALP-2004-Zhang #bound #on the: On the Power of Ambainis’s Lower Bounds (SZ), pp. 1238–1250.
ICEIS-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.
ICPR-v2-2004-TomaiZS #recognition #word: Discriminatory Power of Handwritten Words for Writer Recognition (CIT, BZ, SNS), pp. 638–641.
SAC-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.
PDP-2004-LioupisPS #embedded: Exporting Processing Power of Home Embedded Devices to Global Computing Applications (DL, DP, MS), pp. 274–281.
STOC-2004-MankuNW #lookahead #network #random: Know thy neighbor’s neighbor: the power of lookahead in randomized P2P networks (GSM, MN, UW), pp. 54–63.
VMCAI-2004-Sagiv #abstraction #canonical #on the: On the Expressive Power of Canonical Abstraction (SS), p. 58.
ICFP-2003-BotlanR #ml #named #system f: ML^F: raising ML to the power of system F (DLB, DR), pp. 27–38.
STOC-2003-Ya #on the #quantum: On the power of quantum fingerprinting (ACCY), pp. 77–81.
CSL-2003-KristiansenV #source code #strict: The Surprising Power of Restricted Programs and Gödel’s Functionals (LK, PJV), pp. 345–358.
PODS-2002-GottlobK #datalog #information management #monad #web: Monadic Datalog and the Expressive Power of Languages for Web Information Extraction (GG, CK), pp. 17–28.
PODS-2002-Neven #on the #query: On the Power of Walking for Querying Tree-Structured Data (FN), pp. 77–84.
AdaEurope-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.
PPDP-2002-NielsenPV #concurrent #constraints #on the #programming language: On the expressive power of temporal concurrent constraint programming languages (MN, CP, FDV), pp. 156–167.
STOC-2002-Khot02a #game studies #on the: On the power of unique 2-prover 1-round games (SK), pp. 767–775.
ICDAR-2001-GrandidierSGS #markov #modelling: An a priori Indicator of the Discrimination Power of Discrete Hidden Markov Models (FG, RS, MG, CYS), pp. 350–355.
DLT-2001-Cachat: The Power of One-Letter Rational Languages (TC), pp. 145–154.
DLT-2001-HromkovicS #automaton #on the #random: On the Power of Randomized Pushdown Automata (JH, GS), pp. 262–271.
DAC-2001-SanghaviW #estimation: Estimation of Speed, Area, and Power of Parameterizable, Soft IP (JVS, AW), pp. 31–34.
CSL-2001-Kanovich #linear #logic #monad: The Expressive Power of Horn Monadic Linear Logic (MIK), pp. 39–53.
SAT-2001-Berre #lookahead: Exploiting the real power of unit propagation lookahead (DLB), pp. 59–80.
ICALP-2000-Merkle #query: The Global Power of Additional Queries to p-Random Oracles (WM), pp. 914–925.
ICALP-2000-NevenS #automaton #on the: On the Power of Tree-Walking Automata (FN, TS), pp. 547–560.
TestCom-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–?.
ICALP-1999-HromkovicS #automaton #finite #on the: On the Power of Las Vegas II. Two-Way Finite Automata (JH, GS), pp. 433–442.
FM-v1-1999-MandelC #ocl #on the: On the Expressive Power of OCL (LM, MVC), pp. 854–874.
TOOLS-EUROPE-1999-Meyer99b: The Unity of Software and the Power of Roundtrip Engineering (BM), p. 2.
TOOLS-EUROPE-1999-ReenskaugB #distributed #enterprise #information management: Unleashing the Power of Distributed Enterprise Information Systems (TR, LB), p. 396.
TOOLS-USA-1999-Meyer: The Unity of Software and the Power of Roundtrip Engineering (BM), p. 3.
LICS-1999-MollerR #on the: On the Expressive Power of CTL (FM, AMR), pp. 360–368.
ICALP-1998-DurisJKL #finite #multi: Power of Cooperation and Multihead Finite Systems (PD, TJ, MK, KL), pp. 896–907.
TAGT-1998-Drewes #generative: Some Remarks on the Generative Power of Collage Grammars and Chain-Code Grammars (FD), pp. 1–14.
TAGT-1998-GodardMM #graph: The Power of Local Computations in Graphs with Initial Knowledge (EG, YM, AM), pp. 71–84.
ICML-1998-NockJ #on the: On the Power of Decision Lists (RN, PJ), pp. 413–420.
SAS-1998-Leuschel #on the #online #termination: On the Power of Homeomorphic Embedding for Online Termination (ML), pp. 230–245.
SAC-1998-DentiNO #coordination #on the #programming: On the expressive power of a language for programming coordination media (ED, AN, AO), pp. 169–177.
STOC-1998-BenderFRSV #graph: The Power of a Pebble: Exploring and Mapping Directed Graphs (MAB, AF, DR, AS, SPV), pp. 269–278.
CSL-1998-KempeS #algebra #first-order #on the #specification: On the Power of Quantifers in First-Order Algebraic Specification (DK, AS), pp. 45–57.
DLT-1997-BuchholzK #bound #on the: On the power of one-way bounded cellular time computers (TB, MK), pp. 365–375.
ICALP-1997-Bournez #bound #constant: Some Bounds on the Computational Power of Piecewise Constant Derivative Systems (OB), pp. 143–153.
ICALP-1997-BuccafurriGS #semantics: The Expressive Power of Unique Total Stable Model Semantics (FB, SG, DS), pp. 849–859.
POPL-1997-Palamidessi #π-calculus: Comparing the Expressive Power of the Synchronous and the Asynchronous π-calculus (CP), pp. 256–265.
SAS-1997-BoigelotGWW: The Power of QDDs (BB, PG, BW, PW), pp. 172–186.
TACAS-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.
CSL-1997-Schwentick #higher-order #logic: Padding and the Expressive Power of Existential Second-Order Logics (TS), pp. 461–477.
PODS-1996-BenediktDLW #constraints #query #relational: Relational Expressive Power of Constraint Query Languages (MB, GD, LL, LW), pp. 5–16.
ICALP-1996-AblayevK #branch #on the #random #source code: On the Power of Randomized Branching Programs (FMA, MK), pp. 348–356.
ICALP-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.
RTA-1996-Cosmo #diagrams #on the: On the Power of Simple Diagrams (RDC), pp. 200–214.
KR-1996-Gottlob #complexity: Complexity and Expressive Power of KR Formalisms (GG), pp. 647–649.
LICS-1996-HillebrandK #on the #λ-calculus: On the Expressive Power of Simply Typed and Let-Polymorphic λ Calculi (GGH, PCK), pp. 253–263.
LICS-1996-KolaitisV #logic #on the: On the Expressive Power of Variable-Confined Logics (PGK, MYV), pp. 348–359.
ICALP-1995-HenzingerKW: The Expressive Power of Clocks (TAH, PWK, HWT), pp. 417–428.
PLDI-1995-KnoopRS: The Power of Assignment Motion (JK, OR, BS), pp. 233–245.
SAC-1995-TarauDB #empirical #prolog: The power of partial tanslation: an experiment with the C-ification of binary Prolog (PT, BD, KDB), pp. 152–156.
STOC-1995-CanettiI #bound #random #scheduling: Bounding the power of preemption in randomized scheduling (RC, SI), pp. 606–615.
TAPSOFT-1995-Wagner #algebra #graph grammar #on the: On the Expressive Power of Algebraic Graph Grammars with Application Conditions (AW), pp. 409–423.
PODS-1994-KivinenM #information management: The Power of Sampling in Knowledge Discovery (JK, HM), pp. 77–85.
ICALP-1994-Siegelmann #network #on the #probability: On The Computational Power of Probabilistic and Faulty Neural Networks (HTS), pp. 23–34.
CHI-1994-Nielsen94b #heuristic #usability: Enhancing the explanatory power of usability heuristics (JN), pp. 152–158.
KR-1994-LakemeyerM #decidability #first-order: Enhancing the Power of a Decidable First-Order Reasoner (GL, SM), pp. 403–414.
STOC-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.
STOC-1994-KrauseP #on the: On the computational power of depth 2 circuits with threshold and modulo gates (MK, PP), pp. 48–57.
STOC-1994-Wigderson #independence: The amazing power of pairwise independence (AW), pp. 645–647.
ILPS-1994-Gottlob #complexity #logic programming: Complexity and Expressive Power of Disjunctive Logic Programming (GG), pp. 23–42.
LICS-1994-AbiteboulPV #relational: The Power of Reflective Relational Machines (SA, CHP, VV), pp. 230–240.
LICS-1994-DawarH #quantifier: The Expressive Power of Finitely Many Generalized Quantifiers (AD, LH), pp. 20–29.
SIGMOD-1993-BeeriM #algebra #on the #recursion: On the Power of Algebras with Recursion (CB, TM), pp. 377–386.
DLT-1993-CulikK #generative #image #on the: On the Power of L-Systems in Image Generation (KCI, JK), pp. 225–236.
DLT-1993-Pardubska #communication #generative #on the: On the Power of Communication Structure for Distributive Generation of Languages (DP), pp. 419–429.
ICALP-1993-Lepisto #morphism #on the: On the Power of Periodic Iteration of Morphisms (AL), pp. 496–506.
ICALP-1993-Orponen #on the: On the Computational Power of Discrete Hopfield Nets (PO), pp. 215–226.
LOPSTR-1993-Waal #partial evaluation: The Power of Partial Evaluation (DAdW), pp. 113–123.
ICALP-1992-Straubing #complexity #first-order: Circuit Complexity and the Expressive Power of Generalized First-Order Formulas (HS), pp. 16–27.
LFP-1992-NeubergerM #analysis #deduction #precise #strict: A Precise Relationship Between the Deductive Power of Forward and Backward Strictness Analysis (MN, PM), pp. 127–138.
IWPTS-1992-Phalippou #testing: The Limited Power of Testing (MP), pp. 43–54.
PODS-1991-BusscheP: The Expressive Power of Structured Values in Pure OODB’s (JVdB, JP), pp. 291–299.
PODS-1991-Vadaparty #on the #rule-based #set: On the Power of Rule-Based Languages with Sets (KVV), pp. 26–36.
VLDB-1991-DenninghoffV #parallel #semantics: The Power of Methods With Parallel Semantics (KD, VV), pp. 221–232.
ICALP-1991-Ben-AsherPRS #configuration management: The POwer of Reconfiguration (YBA, DP, RR, AS), pp. 139–150.
ICALP-1991-DurisG #multi #on the: On the Power of Multiple Reads in a Chip (PD, ZG), pp. 697–706.
ICALP-1991-Larsen #specification: The Expressive Power of Implicit Specifications (KGL), pp. 204–216.
ESOP-J-1990-Felleisen91 #on the #programming language: On the Expressive Power of Programming Languages (MF), pp. 35–75.
STOC-1991-AspnesBFR: The Expressive Power of Voting Polynomials (JA, RB, MLF, SR), pp. 402–409.
CSL-1991-BarguryM #automaton #multi #transitive: The Expressive Power of Transitive Closue and 2-way Multihead Automata (YB, JAM), pp. 1–14.
PODS-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.
SIGMOD-1990-Sheng #database #deduction #named: IDLOG: Extending the Expressive Power of Deductive Database Languages (YHS), pp. 54–63.
GG-1990-EngelfrietH #generative #graph grammar: The Term Generating Power of Context-Free Hypergraph Grammars (JE, LH), pp. 328–243.
ESOP-1990-Felleisen #on the #programming language: On the Expressive Power of Programming Languages (MF), pp. 134–151.
STOC-1990-Ben-DavidBKTW #algorithm #on the #online: On the Power of Randomization in Online Algorithms (SBD, AB, RMK, GT, AW), pp. 379–386.
LICS-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.
PODS-1989-LakshmananM #datalog #game studies #induction: Inductive Pebble Games and the Expressive Power of Datalog (VSL, AOM), pp. 301–310.
PODS-1989-Seki #on the: On the Power of Alexander Templates (HS), pp. 150–159.
NACLP-1989-KiferS #logic programming #on the #source code: On the Expressive Power of Annotated Logic Programs (MK, VSS), pp. 1069–1089.
PODS-1988-HullS #database #on the #query: On the Expressive Power of Database Queries with Intermediate Types (RH, JS), pp. 39–51.
PODS-1988-Kuper #logic programming #on the #programming language #set: On the Expressive Power of Logic Programming Languages with Sets (GMK), pp. 10–14.
ICALP-1988-PanangadenS #nondeterminism: Computations, Residuals, and the Power of Indeterminacy (PP, EWS), pp. 439–454.
STOC-1988-KalyanasundaramS #on the: On the Power of White Pebbles (BK, GS), pp. 258–266.
JICSCP-1988-BoscoCM88 #functional #logic #programming: Exploiting the Full Power of Logic Plus Functional Programming (PGB, CC, CM), pp. 3–17.
LICS-1988-KfouryTU #on the #polymorphism #recursion: On the Computational Power of Universally Polymorphic Recursion (AJK, JT, PU), pp. 72–81.
PODS-1987-BeeriR #on the: On the Power of Magic (CB, RR), pp. 269–284.
PODS-1987-Gucht #algebra #on the #relational: On the Expressive Power of the Extended Relational Algebra for the Unnormalized Relational Model (DVG), pp. 302–312.
ICALP-1987-IbarraJ #array #on the: On the Computing Power of One-Way Cellular Arrays (OHI, TJ), pp. 550–562.
OOPSLA-1987-UngarS #named: Self: The Power of Simplicity (DU, RBS), pp. 227–242.
STOC-1987-Furer #communication #complexity: The Power of Randomness for Communication Complexity (MF), pp. 178–181.
LICS-1987-Abadi #proving: The Power of Temporal Proofs (MA), pp. 123–130.
STOC-1986-Beame #parallel: Limits on the Power of Concurrent-Write Parallel Machines (PB), pp. 169–176.
SIGMOD-1985-KuperV #logic #on the: On the Expressive Power of the Logical Data Model (GMK, MYV), pp. 180–187.
STOC-1983-Kannan83a #nondeterminism: Alternation and the Power of Nondeterminism (RK), pp. 344–346.
ICALP-1982-BermanHT #logic #nondeterminism #on the: On the Power of Nondeterminism in Dynamic Logic (PB, JYH, JT), pp. 48–60.
ICALP-1982-Blum #context-free grammar #on the: On the Power of Chain Rules in Context Free Grammars (NB), pp. 72–82.
ICALP-1982-Lingas: The Power of Non-Rectilinear Holes (AL), pp. 369–383.
ICALP-1982-Reif #on the #parallel #probability: On the Power of Probabilistic Choice in Synchronous Parallel Computations (JHR), pp. 442–450.
POPL-1982-Cooper #database #on the #query #relational: On the Expressive Power of Query Languages for Relational Databases (ECC), pp. 361–365.
CADE-1982-Book #string #term rewriting: The Power of the Church-Rosser Property for String Rewriting Systems (RVB), pp. 360–368.
SIGMOD-1981-Papadimitriou #on the: On the Power of Locking (CHP), pp. 148–154.
ICALP-1981-Makowsky81a #logic #named: Errata: Measuring the Expressive Power of Dynamic Logics: An Application of Abstract Model Theory (JAM), p. 551.
ICALP-1980-Makowsky #logic: Measuring the Expressive Power of Dynamic Logics: An Application of Abstract Model Theory (JAM), pp. 409–421.
ICALP-1980-Shamir #commutative #encryption #on the: On the Power of Commutativity in Cryptography (AS), pp. 582–595.
ICALP-1980-Vitanyi #on the #realtime #specification: On the Power of Real-Time Machines Under Varying Specifications (PMBV), pp. 658–671.
ICALP-1979-Schonhage #on the #random: On the Power of Random Access Machines (AS), pp. 520–529.
POPL-1979-Critcher #functional #parametricity: The Functional Power of Parameter Passage Mechanisms (AC), pp. 158–168.
STOC-1979-MeyerW #logic #on the: On the Expressive Power of Dynamic Logic (ARM, KW), pp. 167–175.
ICALP-1978-DammF #on the #recursion #self: On the Power of Self-Application and Higher Type-Recursion (WD, EF), pp. 177–191.
STOC-1978-ThatcherWW #data type #specification: Data Type Specification: Parameterization and the Power of Specification Techniques (JWT, EGW, JBW), pp. 119–132.
ICALP-1977-BookY #bound #on the: On the Computational Power of Reversal-Bounded Machines (RVB, CKY), pp. 111–119.
STOC-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.
ICALP-1974-Wijngaarden #generative #two-level grammar: The Generative Power of Two-Level Grammars (AvW), pp. 9–16.
STOC-1974-Pratt #matrix #multi: The Power of Negative Thinking in Multiplying Boolean Matrices (VRP), pp. 80–83.
STOC-1974-PrattRS: A Characterization of the Power of Vector Machines (VRP, MOR, LJS), pp. 122–134.