85 papers:
DATE-2015-DghaisR #empirical #modelling #simulation- Empirical modelling of FDSOI CMOS inverter for signal/power integrity simulation (WD, JR), pp. 1555–1558.
- DATE-2015-GarciaMSN #multi #performance
- High performance single supply CMOS inverter level up shifter for multi: supply voltages domains (JCG, JAMN, JS, SN), pp. 1273–1276.
DRR-2015-StalnakerZ #retrieval #using- Math expression retrieval using an inverted index over symbol pairs (DS, RZ), p. 940207.
LATA-2015-GodinKP #automaton #on the- On Torsion-Free Semigroups Generated by Invertible Reversible Mealy Automata (TG, IK, MP), pp. 328–339.
ECIR-2015-ChappellGZ #approximate #nearest neighbour #slicing- Approximate Nearest-Neighbour Search with Inverted Signature Slice Lists (TC, SG, GZ), pp. 147–158.
MoDELS-J-2011-HermannEOCDXGE15 #correctness #graph grammar- Model synchronization based on triple graph grammars: correctness, completeness and invertibility (FH, HE, FO, KC, ZD, YX, SG, TE), pp. 241–269.
- MoDELS-J-2011-HermannEOCDXGE15 #correctness #graph grammar
- Model synchronization based on triple graph grammars: correctness, completeness and invertibility (FH, HE, FO, KC, ZD, YX, SG, TE), pp. 241–269.
DAC-2014-AmaruGM #algorithm #graph #logic #novel #optimisation #performance- Majority-Inverter Graph: A Novel Data-Structure and Algorithms for Efficient Logic Optimization (LGA, PEG, GDM), p. 6.
ITiCSE-2014-HortonC- Impact of reward structures in an inverted course (DH, JC), p. 341.
- ITiCSE-2014-HortonCCGZ
- Comparing outcomes in inverted and traditional CS1 (DH, MC, JC, PG, DZ), pp. 261–266.
CIKM-2014-AnandMBB #optimisation #query- Phrase Query Optimization on Inverted Indexes (AA, IM, SJB, KB), pp. 1807–1810.
- ECIR-2014-CatenaMO #on the #performance
- On Inverted Index Compression for Search Engine Efficiency (MC, CM, IO), pp. 359–371.
ESOP-2013-MatsudaW #named- FliPpr: A Prettier Invertible Printing System (KM, MW), pp. 101–120.
STOC-2013-Ta-Shma #matrix #quantum- Inverting well conditioned matrices in quantum logspace (ATS), pp. 881–890.
CIAA-2013-Sutner #coordination #transducer- Invertible Transducers, Iteration and Coordinates (KS), pp. 306–318.
SIGIR-2013-ArroyueloGOS #documentation #identifier #performance- Document identifier reassignment and run-length-compressed inverted indexes for improved search performance (DA, SG, MO, VS), pp. 173–182.
- SIGIR-2013-KonowNCL #performance
- Faster and smaller inverted indices with treaps (RK, GN, CLAC, ALO), pp. 193–202.
- DATE-2012-CherkaouiFAF #comparison #self
- Comparison of Self-Timed Ring and Inverter Ring Oscillators as entropy sources in FPGAs (AC, VF, AA, LF), pp. 1325–1330.
- DATE-2012-SassoneCMMPGMBR #dependence #network
- Investigating the effects of Inverted Temperature Dependence (ITD) on clock distribution networks (AS, AC, AM, EM, MP, RG, VM, EB, SR), pp. 165–166.
CSMR-2012-CohenDA #composition #maintenance- Invertible Program Restructurings for Continuing Modular Maintenance (JC, RD, AA), pp. 347–352.
- SIGIR-2012-TononDC #ad hoc #retrieval
- Combining inverted indices and structured search for ad-hoc object retrieval (AT, GD, PCM), pp. 125–134.
SAC-2012-BlankH #information retrieval #metric #multi #performance- Inverted file-based indexing for efficient multimedia information retrieval in metric spaces (DB, AH), pp. 900–905.
- DATE-2011-AgyekumN #communication #hardware #robust
- A delay-insensitive bus-invert code and hardware support for robust asynchronous global communication (MYA, SMN), pp. 1370–1375.
VLDB-2011-FontouraJLVZZ #evaluation #query- Evaluation Strategies for Top-k Queries over Memory-Resident Inverted Indexes (MF, VJ, JL, SV, XZ, JYZ), pp. 1213–1224.
- CIKM-2011-BeskalesFGVJ
- Factorization-based lossless compression of inverted indices (GB, MF, MG, SV, VJ), pp. 327–332.
- CIKM-2011-FontouraGJV #encoding
- Efficiently encoding term co-occurrences in inverted indexes (MF, MG, VJ, SV), pp. 307–316.
- ECIR-2011-CampinasDT #named #self
- SkipBlock: Self-indexing for Block-Based Inverted List (SC, RD, GT), pp. 555–561.
- ECIR-2011-JonassenB #performance
- Efficient Compressed Inverted Index Skipping for Disjunctive Text-Queries (SJ, SEB), pp. 530–542.
- SIGIR-2011-PatilTSHVC #string
- Inverted indexes for phrases and strings (MP, SVT, RS, WKH, JSV, SC), pp. 555–564.
CASE-2010-ChaouiS #adaptation #fuzzy #logic #nondeterminism- Adaptive fuzzy logic motion and posture control of inverted pendulums with unstructured uncertainties (HC, PS), pp. 638–643.
- ESOP-2010-MatsudaMHT #approach #grammarware #source code
- A Grammar-Based Approach to Invertible Programs (KM, SCM, ZH, MT), pp. 448–467.
- VLDB-2009-ArenasPRR #theory and practice
- Inverting Schema Mappings: Bridging the Gap between Theory and Practice (MA, JP, JLR, CR), pp. 1018–1029.
- CIKM-2009-BjorklundGGT
- Inverted indexes vs. bitmap indexes in decision support systems (TAB, NG, JG, ØT), pp. 1509–1512.
- CIKM-2009-LuHM #algorithm #approximate #performance #using
- Efficient algorithms for approximate member extraction using signature-based inverted lists (JL, JH, XM), pp. 315–324.
- CIKM-2009-MargaritisA #low cost #online
- Low-cost management of inverted files for online full-text search (GM, SVA), pp. 455–464.
- SIGIR-2009-MamouMSS #image #performance #retrieval
- A unified inverted index for an efficient image and text retrieval (JM, YM, MSS, BS), pp. 814–815.
- CIKM-2008-ErcegovacJLMS #query
- Supporting sub-document updates and queries in an inverted index (VE, VJ, NL, MRM, EJS), pp. 659–668.
ICML-2008-Schnall-LevinCB #algorithm #design #framework- Inverting the Viterbi algorithm: an abstract framework for structure design (MSL, LC, BB), pp. 904–911.
ICSE-2008-GannodBH #education #re-engineering #using- Using the inverted classroom to teach software engineering (GCG, JEB, MTH), pp. 777–786.
PEPM-2007-YokoyamaG #programming language #self- A reversible programming language and its invertible self-interpreter (TY, RG), pp. 144–153.
- CIKM-2007-MarinC #distributed
- High-performance distributed inverted files (MM, VGC), pp. 935–938.
- CIKM-2007-TrotmanS
- Sigma encoded inverted files (AT, VS), pp. 983–986.
- ECIR-2007-BlancoB
- Static Pruning of Terms in Inverted Files (RB, AB), pp. 64–75.
- SIGIR-2007-BlancoB
- Boosting static pruning of inverted files (RB, AB), pp. 777–778.
- SIGIR-2007-NtoulasC #correctness #policy
- Pruning policies for two-tiered inverted index with correctness guarantee (AN, JC), pp. 191–198.
PODS-2006-Fagin- Inverting schema mappings (RF), pp. 50–59.
- CIKM-2006-TerrovitisPVS
- A combination of trie-trees and inverted files for the indexing of set-valued attributes (MT, SP, PV, TKS), pp. 728–737.
ICPR-v4-2006-ZhengLL #learning #network- Control Double Inverted Pendulum by Reinforcement Learning with Double CMAC Network (YZ, SL, ZL), pp. 639–642.
- VLDB-2005-KimWLL #n-gram #named #performance
- n-Gram/2L: A Space and Time Efficient Two-Level n-Gram Inverted Index Structure (MSK, KYW, JGL, MJL), pp. 325–336.
DLT-2005-BellP #matrix #on the- On the Membership of Invertible Diagonal Matrices (PB, IP), pp. 146–157.
- CIKM-2005-BotevEFLS
- Static score bucketing in inverted indexes (CB, NE, MF, NL, EJS), pp. 311–312.
PPDP-2005-LiL #unification- Inverting abstract unification for set-sharing (XL, LL), pp. 129–138.
PADL-2005-KawabeG- The Program Inverter LRinv and Its Structure (MK, RG), pp. 219–234.
- DATE-v2-2004-LampropoulosAR #using
- Minimization of Crosstalk Noise, Delay and Power Using a Modified Bus Invert Technique (ML, BMAH, PMR), pp. 1372–1373.
SIGMOD-2004-KaushikKNR #integration #on the- On the Integration of Structure Indexes and Inverted Lists (RK, RK, JFN, RR), pp. 779–790.
KDD-2003-El-HajjZ #dataset #interactive #matrix #mining #performance #scalability- Inverted matrix: efficient discovery of frequent items in large datasets in the context of interactive mining (MEH, ORZ), pp. 109–118.
- SIGIR-2003-AgunF #component #hardware #named
- HAT: a hardware assisted TOP-DOC inverted index component (SKA, OF), pp. 447–448.
- CIKM-2002-FuhrG #documentation #retrieval #xml
- Index compression vs. retrieval time of inverted files for XML documents (NF, NG), pp. 662–664.
- SIGIR-2002-CosterS #algorithm #collaboration
- Inverted file search algorithms for collaborative filtering (RC, MS), pp. 246–252.
- SIGIR-2002-ScholerWYZ #evaluation #performance #query
- Compression of inverted indexes for fast query evaluation (FS, HEW, JY, JZ), pp. 222–229.
- SIGIR-1999-Ribeiro-NetoMNZ #algorithm #distributed #performance
- Efficient Distributed Algorithms to Build Inverted Files (BARN, ESdM, MSN, NZ), pp. 105–112.
- DATE-1998-BisdounisKGN #modelling
- Switching Response Modeling of the CMOS Inverter for Sub-micron Devices (LB, OGK, CEG, SN), pp. 729–735.
- SIGIR-1998-VoM
- Compressed Inverted Files with Reduced Decoding Overheads (VNA, AM), pp. 290–297.
LICS-1998-Folkerts- Invertibility in λη (EF), pp. 418–429.
- EDTC-1997-TurgisDPA #modelling
- Internal power modelling and minimization in CMOS inverters (ST, JMD, JMP, DA), pp. 603–608.
- STOC-1996-FarachK #algorithm #evolution #performance
- Efficient Algorithms for Inverting Evolution (MF, SK), pp. 230–236.
- VLDB-1995-FlodinR #bound #object-oriented #query
- Processing Object-Oriented Queries with Invertible Late Bound Functions (SF, TR), pp. 335–344.
- SIGMOD-1994-TomasicGS #documentation #incremental #retrieval
- Incremental Updates of Inverted Lists for Text Document Retrieval (AT, HGM, KAS), pp. 289–300.
- VLDB-1993-ZobelMS #scalability #using
- Searching Large Lexicons for Partially Specified Terms using Compressed Inverted Files (JZ, AM, RSD), pp. 290–301.
- STOC-1991-FiatN #trade-off
- Rigorous Time/Space Tradeoffs for Inverting Functions (AF, MN), pp. 534–541.
- SIGIR-1990-CuttingP #maintenance #optimisation
- Optimizations for Dynamic Inverted Index Maintenance (DRC, JOP), pp. 405–411.
- SIGIR-1990-Stanfill #information retrieval #parallel
- Partitioned Posting Files: A Parallel Inverted File Structure for Information Retrieval (CS), pp. 413–428.
RTA-1989-KhoshnevisanS #automation #named- InvX: An Automatic Function Inverter (HK, KMS), pp. 564–568.
ICALP-1988-Tao #automaton #finite #linear- Invertibility of Linear Finite Automata Over a Ring (RjT), pp. 489–501.
- ML-1988-MuggletonB #first-order
- Machine Invention of First Order Predicates by Inverting Resolution (SM, WLB), pp. 339–352.
- LICS-1988-BohmP #calculus
- Characterizing X-Separability and One-Side Invertibility in λ-β-Ω-Calculus (CB, AP), pp. 91–101.
- LICS-1987-BohmT #λ-calculus
- X-Separability and Left-Invertibility in λ-calculus (CB, ET), pp. 320–328.
- SIGIR-1986-Voorhees #clustering #performance
- The Efficiency of Inverted Index and Cluster Searches (EMV), pp. 164–174.
- SIGIR-1985-BuckleyL #optimisation
- Optimization of Inverted Vector Searches (CB, AFL), pp. 97–110.
- STOC-1984-BlumerBEHM #linear #set
- Building a Complete Inverted File for a Set of Text Files in Linear Time (AB, JB, AE, DH, RMM), pp. 349–358.
- SIGIR-1984-JonesB #automation #information retrieval #word
- The Automatic Extraction of Words from Texts Especially for Input into Information Retrieval Systems Based on Inverted Files (KPJ, CLMB), pp. 409–420.
- PODS-1983-ImielinskiL #database #problem #relational
- Inverting Relational Expressions — A Uniform and Natural Technique for Various Database Problems (TI, WLJ), pp. 305–311.
- SIGIR-1978-Hill #analysis #database
- Analysis of An Inverted Data Base Structure (EHJ), pp. 37–64.
- SIGMOD-1976-WelchG #multi #order #retrieval #using
- Retrieval Using Ordered Lists in Inverted and Multilist Files (JWW, JWG), pp. 21–29.
POPL-1973-Chandra #commutative #on the #problem- On the Decision Problems of Program Schemas with Commutative and Invertable Functions (AKC), pp. 235–242.
