Stem revisit$ (all stems)

341 papers:

ECSA-2015-FernandezAP #architecture #security

Revisiting Architectural Tactics for Security (EBF, HA, GPG), pp. 55–69.

CASE-2015-PanZQ #clustering #how #process #tool support

How to start-up dual-arm cluster tools involving a wafer revisiting process (CP, MZ, YQ), pp. 1194–1199.

DAC-2015-TeimouriTS #challenge

Revisiting accelerator-rich CMPs: challenges and solutions (NT, HT, GS), p. 6.

DocEng-2015-HassanH #automation #documentation #flexibility #layout

Knuth-Plass Revisited: Flexible Line-Breaking for Automatic Document Layout (TH, AH), pp. 17–20.

SIGMOD-2015-GanT #approximate

DBSCAN Revisited: Mis-Claim, Un-Fixability, and Approximation (JG, YT), pp. 519–530.

SIGMOD-2015-MavroforakisCOK #composition #encryption #revisited

Modular Order-Preserving Encryption, Revisited (CM, NC, AO, GK, RC), pp. 763–777.

ICSME-2015-JansenH #dataset #industrial #smell #spreadsheet

Code smells in spreadsheet formulas revisited on an industrial dataset (BJ, FH), pp. 372–380.

ICALP-v2-2015-Ghaffari #distributed #towards

Distributed Broadcast Revisited: Towards Universal Optimality (MG), pp. 638–649.

ICALP-v2-2015-GoldwasserKP #adaptation #revisited

Adaptively Secure Coin-Flipping, Revisited (SG, YTK, SP), pp. 663–674.

HCI-IT-2015-MaikeNGB #heuristic

Heuristics for NUI Revisited and Put into Practice (VRMLM, LdSBN, SKG, MCCB), pp. 317–328.

CAiSE-2015-GuarinoG #modelling #quote

“We Need to Discuss the Relationship”: Revisiting Relationships as Modeling Constructs (NG, GG), pp. 279–294.

SIGIR-2015-GwizdkaZ #difference #metric #web

Differences in Eye-Tracking Measures Between Visits and Revisits to Relevant and Irrelevant Web Pages (JG, YZ), pp. 811–814.

SIGIR-2015-Kantor #information retrieval

Revisiting the Foundations of IR: Timeless, Yet Timely (PBK), pp. 1125–1127.

ICSE-v1-2015-GhotraMH #classification #fault #modelling #performance #predict

Revisiting the Impact of Classification Techniques on the Performance of Defect Prediction Models (BG, SM, AEH), pp. 789–800.

ICSE-v2-2015-PetersM #re-engineering #what

Educating Software Engineering Managers — Revisited What Software Project Managers Need to Know Today (LP, AMM), pp. 353–359.

CADE-2015-Bromberger0W #integer #linear #revisited

Linear Integer Arithmetic Revisited (MB, TS, CW), pp. 623–637.

CADE-2015-ChocronFR #revisited

A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited (PC, PF, CR), pp. 419–433.

ICLP-2015-ElsawyZA #execution #revisited

CHR Exhaustive Execution — Revisited (AE, AZ, SA).

LICS-2015-ClementeL #automaton #revisited

Timed Pushdown Automata Revisited (LC, SL), pp. 738–749.

RTA-2015-HirokawaMM #revisited

Leftmost Outermost Revisited (NH, AM, GM), pp. 209–222.

RTA-2015-SuzukiKAT #confluence #orthogonal #revisited #term rewriting

Confluence of Orthogonal Nominal Rewriting Systems Revisited (TS, KK, TA, YT), pp. 301–317.

ECSA-2014-BennaceurI #architecture #distributed

Layered Connectors — Revisiting the Formal Basis of Architectural Connection for Complex Distributed Systems (AB, VI), pp. 283–299.

ASE-2014-Miranda #metric #testing

A proposal for revisiting coverage testing metrics (BM), pp. 899–902.

PODS-2014-Cohen #analysis #graph #sketching

All-distances sketches, revisited: HIP estimators for massive graphs analysis (EC), pp. 88–99.

SIGMOD-2014-ChandramouliG

Patience is a virtue: revisiting merge and sort on modern processors (BC, JG), pp. 731–742.

ITiCSE-2014-WatsonL #programming #revisited

Failure rates in introductory programming revisited (CW, FWBL), pp. 39–44.

MSR-2014-VasquezHBP #android #library #obfuscation #reuse

Revisiting Android reuse studies in the context of code obfuscation and library usages (MLV, AH, CBC, DP), pp. 242–251.

PEPM-2014-WangN #bidirectional #revisited #semantics

Semantic bidirectionalization revisited (MW, SN), pp. 51–62.

FLOPS-2014-KrienerK #prolog #revisited #semantics

Semantics for Prolog with Cut — Revisited (JK, AK), pp. 270–284.

FLOPS-2014-YamadaWHM #revisited

AC-KBO Revisited (AY, SW, NH, AM), pp. 319–335.

LATA-2014-BerardC #revisited #synthesis

Channel Synthesis Revisited (BB, OC), pp. 149–160.

FM-2014-KrkaDMU

Revisiting Compatibility of Input-Output Modal Transition Systems (IK, ND, NM, SU), pp. 367–381.

CHI-2014-JuhlinEO #video

Long tail TV revisited: from ordinary camera phone use to pro-am video production (OJ, AE, EÖ), pp. 1325–1334.

DUXU-TMT-2014-KeckLG #design #process #user interface

Revisiting Graspable User Interfaces — A Design Process for Developing User Interface Metaphors (MK, EL, RG), pp. 130–141.

LCT-NLE-2014-NicolaouC

Blogging Revisited: The Use of Blogs in ESAP Courses (AN, EKC), pp. 95–106.

CIKM-2014-LvZ #feedback

Revisiting the Divergence Minimization Feedback Model (YL, CZ), pp. 1863–1866.

ICML-c2-2014-AgarwalKKSV #multi #predict #scalability

Least Squares Revisited: Scalable Approaches for Multi-class Prediction (AA, SMK, NK, LS, GV), pp. 541–549.

ICPR-2014-CaoH #polynomial #revisited

Quadratic Discriminant Revisited (WC, RMH), pp. 1283–1288.

ICPR-2014-KuangOA #estimation #using

Revisiting Trifocal Tensor Estimation Using Lines (YK, MO, KÅ), pp. 2419–2423.

KDD-2014-AmatriainM #problem #recommendation #tutorial

The recommender problem revisited: morning tutorial (XA, BM), p. 1971.

KR-2014-DeneckerV #induction #principle #revisited #semantics

The Well-Founded Semantics Is the Principle of Inductive Definition, Revisited (MD, JV).

KR-2014-Zhou #first-order #logic #revisited

First-Order Default Logic Revisited (YZ).

RecSys-2014-Amatriain #problem #recommendation #revisited

The recommender problem revisited (XA), pp. 397–398.

SIGIR-2014-LiWM #recommendation #social

A revisit to social network-based recommender systems (HL, DW, NM), pp. 1239–1242.

PPoPP-2014-MehtaLY #framework

Revisiting loop fusion in the polyhedral framework (SM, PHL, PCY), pp. 233–246.

CAV-2014-McMillan #lazy evaluation #revisited

Lazy Annotation Revisited (KLM), pp. 243–259.

ISSTA-2014-ZhangJWMLEN #empirical #independence

Empirically revisiting the test independence assumption (SZ, DJ, JW, KM, WL, MDE, DN), pp. 385–396.

CASE-2013-QiaoWZ #clustering #scheduling #tool support

Scheduling of time constrained dual-arm cluster tools with wafer revisiting (YQ, NW, MZ), pp. 868–873.

DATE-2013-MishchenkoEBBMN #abstraction #named #revisited

GLA: gate-level abstraction revisited (AM, NE, RKB, JB, HM, PKN), pp. 1399–1404.

DocEng-2013-BagleyBK #forensics

Revisiting a summer vacation: digital restoration and typesetter forensics (SRB, DFB, BWK), pp. 3–12.

VLDB-2013-HeLH #architecture #cpu #gpu

Revisiting Co-Processing for Hash Joins on the Coupled CPU-GPU Architecture (JH, ML, BH), pp. 889–900.

VLDB-2014-BalkesenATO13 #in memory #manycore #revisited

Multi-Core, Main-Memory Joins: Sort vs. Hash Revisited (CB, GA, JT, MTÖ), pp. 85–96.

MSR-2013-TsunodaTFKNU #development #estimation #process

Revisiting software development effort estimation based on early phase development activities (MT, KT, KF, YK, MN, NU), pp. 429–438.

ICALP-v2-2013-KobeleS #revisited

The IO and OI Hierarchies Revisited (GMK, SS), pp. 336–348.

ICALP-v2-2013-Worrell #automaton #equivalence #finite #multi #problem

Revisiting the Equivalence Problem for Finite Multitape Automata (JW), pp. 422–433.

CHI-2013-LeongW #music #social

Revisiting social practices surrounding music (TWL, PCW), pp. 951–960.

CSCW-2013-KazakosHV #product line

Revisiting the relationship between reunion and technology-mediated separation in periodically transitioning families (KK, SH, FV), pp. 1157–1168.

CSCW-2013-Morris #collaboration #revisited

Collaborative search revisited (MRM), pp. 1181–1192.

DUXU-CXC-2013-MenardKD #behaviour #image #online

Two Solitudes Revisited: A Cross-Cultural Exploration of Online Image Searcher’s Behaviors (EM, NK, JD), pp. 79–88.

CIKM-2013-Lian0 #database #nondeterminism #probability #query

Causality and responsibility: probabilistic queries revisited in uncertain databases (XL, LC), pp. 349–358.

CIKM-2013-RongM #network #social

Diffusion of innovations revisited: from social network to innovation network (XR, QM), pp. 499–508.

ICML-c1-2013-Jaggi #optimisation

Revisiting Frank-Wolfe: Projection-Free Sparse Convex Optimization (MJ), pp. 427–435.

ICML-c3-2013-GittensM #machine learning #scalability

Revisiting the Nystrom method for improved large-scale machine learning (AG, MWM), pp. 567–575.

KDIR-KMIS-2013-CunhaFM #clustering #documentation #integration

Clustering and Classifying Text Documents — A Revisit to Tagging Integration Methods (EC, ÁF, ÓM), pp. 160–168.

SEKE-2013-BelleEDM #architecture #optimisation #problem #question

The Layered Architecture revisited: Is it an Optimization Problem? (ABB, GEB, CD, HM), pp. 344–349.

SEKE-2013-KarimM #classification #performance

Revisiting the Performance of Weighted k-Nearest Centroid Neighbor Classifiers (MRK, MM), pp. 332–337.

POPL-2013-Adams #parsing

Principled parsing for indentation-sensitive languages: revisiting landin’s offside rule (MDA), pp. 511–522.

RE-2013-Salger #challenge #open science #requirements #research

Requirements reviews revisited: Residual challenges and open research questions (FS), pp. 250–255.

HPCA-2013-BlemMS #architecture

Power struggles: Revisiting the RISC vs. CISC debate on contemporary ARM and x86 architectures (ERB, JM, KS), pp. 1–12.

LICS-2013-FredrikssonG #automaton #game studies #revisited #semantics

Abstract Machines for Game Semantics, Revisited (OF, DRG), pp. 560–569.

RTA-2013-WinklerM #normalisation #revisited

Normalized Completion Revisited (SW, AM), pp. 319–334.

CASE-2012-QiaoWZ #analysis #clustering #petri net #scheduling #tool support

Petri net-based scheduling analysis of dual-arm cluster tools with wafer revisiting (YQ, NW, MZ), pp. 206–211.

DocEng-2012-JunediGL #analysis #independence #revisited #xml

XML query-update independence analysis revisited (MJ, PG, NL), pp. 95–98.

HT-2012-FlockVS #detection #wiki

Revisiting reverts: accurate revert detection in wikipedia (FF, DV, ES), pp. 3–12.

PODS-2012-Tao #2d #constant

Indexability of 2D range search revisited: constant redundancy and weak indivisibility (YT), pp. 131–142.

ESOP-2012-ChangF #call-by #revisited #λ-calculus

The Call-by-Need λ Calculus, Revisited (SC, MF), pp. 128–147.

FoSSaCS-2012-BernardoNL #nondeterminism #probability #process #testing

Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes (MB, RDN, ML), pp. 195–209.

PLDI-2012-Chen #revisited

Polyhedra scanning revisited (CC), pp. 499–508.

FLOPS-2012-AccattoliP #call-by #revisited

Call-by-Value Solvability, Revisited (BA, LP), pp. 4–16.

AFL-J-2011-KariX12 #revisited #sequence

De Bruijn Sequences Revisited (LK, ZX), pp. 1307–1322.

ICALP-v1-2012-SahaK #set

Set Cover Revisited: Hypergraph Cover with Hard Capacities (BS, SK), pp. 762–773.

IFM-2012-ZhangNN #model checking #revisited #static analysis

Model Checking as Static Analysis: Revisited (FZ, FN, HRN), pp. 99–112.

ICGT-2012-AotoK #confluence #decidability #term rewriting

Rational Term Rewriting Revisited: Decidability and Confluence (TA, JK), pp. 172–186.

CHI-2012-FernaeusJT #human-computer #thread

Revisiting the jacquard loom: threads of history and current patterns in HCI (YF, MJ, JT), pp. 1593–1602.

CSCW-2012-Baba #question #what

Science, technology and society revisited: what is happening to anthropology and ethnography? (MLB), pp. 5–6.

ICML-2012-KulisJ #algorithm

Revisiting k-means: New Algorithms via Bayesian Nonparametrics (BK, MIJ), p. 148.

ICPR-2012-BoulmerkaA #segmentation #using

Thresholding-based segmentation revisited using mixtures of generalized Gaussian distributions (AB, MSA), pp. 2894–2897.

ICPR-2012-DecrouezDGC

Extracting planar structures efficiently with revisited BetaSAC (MD, RD, FG, JLC), pp. 2100–2103.

SIGIR-2012-MarkovAC #linear #normalisation #revisited

Unsupervised linear score normalization revisited (IM, AA, FC), pp. 1161–1162.

PPDP-2012-DardhaGS #revisited

Session types revisited (OD, EG, DS), pp. 139–150.

PADL-2012-BransenMDS #algorithm #attribute grammar

The Kennedy-Warren Algorithm Revisited: Ordering Attribute Grammars (JB, AM, AD, SDS), pp. 183–197.

RE-2012-NiuM #clustering #generative #requirements #revisited

Enhancing candidate link generation for requirements tracing: The cluster hypothesis revisited (NN, AM), pp. 81–90.

SAC-2012-PetitLR #data type #query

Revisiting formal ordering in data stream querying (LP, CL, CR), pp. 813–818.

PPoPP-2012-FatourouK

Revisiting the combining synchronization technique (PF, NDK), pp. 257–266.

LICS-2012-BienvenuM #revisited

Von Neumann’s Biased Coin Revisited (LB, BM), pp. 145–154.

SAT-2012-AudemardHJLP #parallel #satisfiability

Revisiting Clause Exchange in Parallel SAT Solving (GA, BH, SJ, JML, CP), pp. 200–213.

SAT-2012-Weissenbacher #revisited

Interpolant Strength Revisited (GW), pp. 312–326.

CASE-2011-QiaoWZ #analysis #clustering #modelling #tool support

Modeling and analysis of dual-arm cluster tools for wafer fabrication with revisiting (YQ, NW, MZ), pp. 90–95.

DATE-2011-CabodiNQ #revisited #sequence

Interpolation sequences revisited (GC, SN, SQ), pp. 316–322.

HT-2011-KawasePHN

Beyond the usual suspects: context-aware revisitation support (RK, GP, EH, WN), pp. 27–36.

VLDB-2011-ZhangM0 #matrix #revisited #theory and practice

Storing Matrices on Disk: Theory and Practice Revisited (YZ, KM, JY), pp. 1075–1086.

ITiCSE-2011-Velazquez-Iturbide #algorithm #design #revisited

The design and coding of greedy algorithms revisited (JÁVI), pp. 8–12.

ICPC-2011-Storey #interactive #java #revisited #source code #visualisation

An Interactive Visualization Environment for Exploring Java Programs: SHriMP Views Revisited (MADS), p. xviii.

STOC-2011-HolensteinKT #equivalence #random #revisited

The equivalence of the random oracle model and the ideal cipher model, revisited (TH, RK, ST), pp. 89–98.

DLT-J-2010-KariS11 #parallel #revisited

Schema for Parallel Insertion and Deletion: Revisited (LK, SS), pp. 1655–1668.

AFL-2011-KariX #revisited #sequence

De Bruijn Sequences Revisited (LK, ZX), pp. 241–254.

CIAA-2011-Gawrychowski #normalisation

Chrobak Normal Form Revisited, with Applications (PG), pp. 142–153.

DLT-2011-Shallit #revisited #theorem

Fife’s Theorem Revisited (JS), pp. 397–405.

CHI-2011-AndersonDB #performance

Diminishing returns?: revisiting perception of computing performance (GJA, RD, EB), pp. 2703–2706.

CHI-2011-ZhangZ #web

Measuring web page revisitation in tabbed browsing (HZ, SZ), pp. 1831–1834.

CSCW-2011-KowN #community #exclamation #online

Forget online communities?: revisit cooperative work! (YMK, BAN), pp. 351–354.

DUXU-v2-2011-ShenPC #using

A Solution to Revisitation Using Organic Bookmark Management (STS, SDP, KMC), pp. 46–52.

CAiSE-2011-BarnC #architecture #enterprise #modelling #programming

Revisiting Naur’s Programming as Theory Building for Enterprise Architecture Modelling (BSB, TC), pp. 229–236.

CIKM-2011-SkoutasA #revisited

Tag clouds revisited (DS, MA), pp. 221–230.

KDD-2011-Gkoulalas-DivanisL

Revisiting sequential pattern hiding to enhance utility (AGD, GL), pp. 1316–1324.

RecSys-2011-CelmaL #music #recommendation #revisited

Music recommendation and discovery revisited (ÒC, PL), pp. 7–8.

MoDELS-2011-MaozRR11a #alloy #analysis #diagrams #named #revisited #using

CD2Alloy: Class Diagrams Analysis Using Alloy Revisited (SM, JOR, BR), pp. 592–607.

MoDELS-2011-MaozRR11a #alloy #analysis #diagrams #named #revisited #using

CD2Alloy: Class Diagrams Analysis Using Alloy Revisited (SM, JOR, BR), pp. 592–607.

ECOOP-2011-OstermannGKR #composition #information management

Revisiting Information Hiding: Reflections on Classical and Nonclassical Modularity (KO, PGG, CK, TR), pp. 155–178.

SAC-2011-KaliszykU #higher-order

Quotients revisited for Isabelle/HOL (CK, CU), pp. 1639–1644.

ICSE-2011-StaatsWH #revisited #source code #testing

Programs, tests, and oracles: the foundations of testing revisited (MS, MWW, MPEH), pp. 391–400.

ISMM-2011-KaliberaJ #memory management #optimisation #performance #realtime

Handles revisited: optimising performance and memory costs in a real-time collector (TK, REJ), pp. 89–98.

PPoPP-2011-BauerCSA #memory management #parallel #programming

Programming the memory hierarchy revisited: supporting irregular parallelism in sequoia (MB, JC, ES, AA), pp. 13–24.

LICS-2011-Barto #constraints #problem #revisited

The Dichotomy for Conservative Constraint Satisfaction Problems Revisited (LB), pp. 301–310.

RTA-2011-NeurauterM #matrix #proving #term rewriting #termination

Revisiting Matrix Interpretations for Proving Termination of Term Rewriting (FN, AM), pp. 251–266.

SAT-2011-AbioNOR #constraints #pseudo #revisited

BDDs for Pseudo-Boolean Constraints — Revisited (IA, RN, AO, ERC), pp. 61–75.

DocEng-2010-HassanHH #generative #parametricity

Next generation typeface representations: revisiting parametric fonts (TH, CH, RDH), pp. 181–184.

DocEng-2010-Piotrowski #documentation #html #revisited

Document conversion for cultural heritage texts: FrameMaker to HTML revisited (MP), pp. 223–226.

VLDB-2010-FanLMWW #graph #morphism

Graph Homomorphism Revisited for Graph Matching (WF, JL, SM, HW, YW), pp. 1161–1172.

CSMR-2010-BritoGM10a #comprehension #legacy

LIFT Revisited: Enhancing the Understanding of NATURAL/ADABAS Legacy Systems (KdSB, VCG, SRdLM), pp. 272–273.

ICSM-2010-KameiMMMAH #debugging #modelling #predict #using

Revisiting common bug prediction findings using effort-aware models (YK, SM, AM, KiM, BA, AEH), pp. 1–10.

DLT-2010-MarinK #revisited

Regular Hedge Language Factorization Revisited (MM, TK), pp. 328–339.

CHI-2010-TuddenhamKI #multi

Graspables revisited: multi-touch vs. tangible input for tabletop displays in acquisition and manipulation tasks (PT, DSK, SI), pp. 2223–2232.

AdaEurope-2010-WellingsB #ada #evolution #programming #realtime

The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005 (AJW, AB), pp. 196–207.

CAiSE-2010-SidorovaST #concept #correctness #workflow

Workflow Soundness Revisited: Checking Correctness in the Presence of Data While Staying Conceptual (NS, CS, NT), pp. 530–544.

ICPR-2010-KellyH #recognition #robust #speech

Auditory Features Revisited for Robust Speech Recognition (FK, NH), pp. 4456–4459.

KR-2010-BelleL #multi #revisited

Multi-Agent Only-Knowing Revisited (VB, GL).

KR-2010-SohrabiBM #revisited

Diagnosis as Planning Revisited (SS, JAB, SAM).

KR-2010-ZhangZ10a #revisited

Forgetting Revisited (YZ, YZ).

SIGIR-2010-KoolenK #ad hoc #revisited

The importance of anchor text for ad hoc search revisited (MK, JK), pp. 122–129.

SIGIR-2010-SmuckerJ #performance #precise #retrieval #revisited

Human performance and retrieval precision revisited (MDS, CPJ), pp. 595–602.

TOOLS-EUROPE-2010-MadsenE #parametricity

Revisiting Parametric Types and Virtual Classes (ABM, EE), pp. 233–252.

SAC-2010-ChokshiB #analysis #calculus #performance #realtime #revisited #using

Performance analysis of FlexRay-based systems using real-time calculus, revisited (DBC, PB), pp. 351–356.

SAC-2010-FaggioliBC #revisited

Sporadic Server revisited (DF, MB, FC), pp. 340–345.

CGO-2010-BaskaranHTHRS #revisited

Parameterized tiling revisited (MMB, AH, ST, TH, JR, PS), pp. 200–209.

ICLP-2010-Janhunen10 #constraints #revisited #semantics #source code

Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited (TJ), pp. 94–103.

RTA-2010-Kahrs #revisited

Infinitary Rewriting: Foundations Revisited (SK), pp. 161–176.

WICSA-ECSA-2009-MattmannGKPM #grid #revisited

The anatomy and physiology of the grid revisited (CM, JG, IK, DP, NM), pp. 285–288.

WICSA-ECSA-2009-SavolainenM #architecture #comparison #research

Layered architecture revisited — Comparison of research and practice (JS, VM), pp. 317–320.

ASE-2009-AthanasopoulosZI #revisited

Service Substitution Revisited (DA, AZ, VI), pp. 555–559.

ASE-2009-Maalej #integration #revisited #tool support

Task-First or Context-First? Tool Integration Revisited (WM), pp. 344–355.

CASE-2009-WuCCZ #approach #clustering #novel #scheduling #tool support

A novel approach to scheduling of single-arm cluster tools with wafer revisiting (NW, FC, CC, MZ), pp. 567–572.

VLDB-2009-KimSCKNBLSD #implementation #manycore #performance

Sort vs. Hash Revisited: Fast Join Implementation on Modern Multi-Core CPUs (CK, ES, JC, TK, ADN, ADB, VWL, NS, PD), pp. 1378–1389.

VLDB-2009-SearsB #revisited

Segment-based recovery: Write ahead logging revisited (RS, EAB), pp. 490–501.

FoSSaCS-2009-Thomas #problem #synthesis

Facets of Synthesis: Revisiting Church’s Problem (WT), pp. 1–14.

SAS-2009-WehrleH #graph #model checking

The Causal Graph Revisited for Directed Model Checking (MW, MH), pp. 86–101.

CIAA-J-2008-AlmeidaMR09 #revisited #term rewriting

Antimirov and Mosses’s Rewrite System Revisited (MA, NM, RR), pp. 669–684.

ICALP-v1-2009-AilonL #clustering #correlation #cost analysis #fault #problem

Correlation Clustering Revisited: The “True” Cost of Error Minimization Problems (NA, EL), pp. 24–36.

ICALP-v1-2009-GuhaH #bound #order #random #theorem

Revisiting the Direct Sum Theorem and Space Lower Bounds in Random Order Streams (SG, ZH), pp. 513–524.

CHI-2009-AdarTD #web

Resonance on the web: web dynamics and revisitation patterns (EA, JT, STD), pp. 1381–1390.

CHI-2009-AlexanderCFGG #analysis #design #evaluation

Revisiting read wear: analysis, design, and evaluation of a footprints scrollbar (JA, AC, SF, CG, SG), pp. 1665–1674.

CHI-2009-TeevanCFDRAH #visual notation #web

Visual snippets: summarizing web pages for search and revisitation (JT, EC, DF, SMD, GR, PA, CH), pp. 2023–2032.

CAiSE-2009-Guizzardi #concept #modelling #problem #revisited #transitive

The Problem of Transitivity of Part-Whole Relations in Conceptual Modeling Revisited (GG), pp. 94–109.

CIKM-2009-WuTW #query #revisited #using #xml

Answering XML queries using materialized views revisited (XW, DT, WHW), pp. 475–484.

ECIR-2009-JohoHJ #collaboration #information retrieval

Revisiting IR Techniques for Collaborative Search Strategies (HJ, DH, JMJ), pp. 66–77.

ECIR-2009-ParaparFB #modelling #n-gram #retrieval #scalability

Revisiting N-Gram Based Models for Retrieval in Degraded Large Collections (JP, AF, AB), pp. 680–684.

SIGIR-2009-AnderkaS #retrieval #revisited

The ESA retrieval model revisited (MA, BS), pp. 670–671.

SIGIR-2009-ZucconAR #information retrieval #logic

Revisiting logical imaging for information retrieval (GZ, LA, CJvR), pp. 766–767.

ECMDA-FA-2009-SodenE #ocl #revisited

Temporal Extensions of OCL Revisited (MS, HE), pp. 190–205.

OOPSLA-2009-Cook #abstraction #comprehension #on the #revisited

On understanding data abstraction, revisited (WRC), pp. 557–572.

CGO-2009-BoissinotDRDG #correctness #performance #quality

Revisiting Out-of-SSA Translation for Correctness, Code Quality and Efficiency (BB, AD, FR, BDdD, CG), pp. 114–125.

CSL-2009-KuskeL #automation #bound #revisited

Automatic Structures of Bounded Degree Revisited (DK, ML), pp. 364–378.

ICLP-2009-Dao-TranEFK #composition #logic programming #revisited

Modular Nonmonotonic Logic Programming Revisited (MDT, TE, MF, TK), pp. 145–159.

TLCA-2009-LagoH #bound #linear #logic #revisited

Bounded Linear Logic, Revisited (UDL, MH), pp. 80–94.

VMCAI-2009-GodefroidP #ltl #model checking #revisited

LTL Generalized Model Checking Revisited (PG, NP), pp. 89–104.

VMCAI-2009-WeiGC #revisited

Mixed Transition Systems Revisited (OW, AG, MC), pp. 349–365.

PODS-2008-DeutschNR #revisited

The chase revisited (AD, AN, JBR), pp. 149–158.

PODS-2008-Fan #dependence #quality

Dependencies revisited for improving data quality (WF), pp. 159–170.

FoSSaCS-2008-BonchiM #revisited #semantics

Symbolic Semantics Revisited (FB, UM), pp. 395–412.

TACAS-2008-BarnatBSW #ltl #model checking

Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking (JB, LB, PS, MW), pp. 48–62.

FLOPS-2008-Rodriguez-ArtalejoR #logic programming #revisited

Quantitative Logic Programming Revisited (MRA, CARD), pp. 272–288.

AFL-2008-Lohrey #problem #revisited

Compressed membership problems revisited (ML), pp. 31–53.

AFL-2008-Pallo

Kleene revisited by Suschkewitsch (JMP), pp. 337–348.

CIAA-2008-AlmeidaMR #revisited #term rewriting

Antimirov and Mosses’s Rewrite System Revisited (MA, NM, RR), pp. 46–56.

ICALP-C-2008-FischlinLP #multi #revisited #robust

Robust Multi-property Combiners for Hash Functions Revisited (MF, AL, KP), pp. 655–666.

CHI-2008-AdarTD #analysis #scalability #web

Large scale analysis of web revisitation patterns (EA, JT, STD), pp. 1197–1206.

CIKM-2008-LosadaAB #documentation

Revisiting the relationship between document length and relevance (DEL, LA, MB), pp. 419–428.

ECIR-2008-NaKL08b #evaluation #nearest neighbour

Revisit of Nearest Neighbor Test for Direct Evaluation of Inter-document Similarities (SHN, ISK, JHL), pp. 674–678.

SEKE-2008-LeeIHZ #adaptation #crawling #design

Design of an RSS Crawler with Adaptive Revisit Manager (BSL, JWI, BYH, DZ), pp. 219–222.

POPL-2008-LahiriQ #precise #smt #using #verification

Back to the future: revisiting precise program verification using SMT solvers (SKL, SQ), pp. 171–182.

RE-2008-JuretaMF #ontology #problem #requirements

Revisiting the Core Ontology and Problem in Requirements Engineering (IJ, JM, SF), pp. 71–80.

SAC-2008-TarauL #synthesis

Revisiting exact combinational circuit synthesis (PT, BL), pp. 1758–1759.

ICSE-2008-SibayUB #revisited #sequence chart

Existential live sequence charts revisited (GES, SU, VAB), pp. 41–50.

ICLP-2008-LiuY #representation #semantics #source code

Lparse Programs Revisited: Semantics and Representation of Aggregates (GL, JHY), pp. 347–361.

ICLP-2008-PilozziS #analysis #revisited #termination

Termination Analysis of CHR Revisited (PP, DDS), pp. 501–515.

RTA-2008-UrbanZ #proving

Revisiting Cut-Elimination: One Difficult Proof Is Really a Proof (CU, BZ), pp. 409–424.

ICFP-2007-Pfenning #revisited #type system

Subtyping and intersection types revisited (FP), p. 219.

CHI-2007-ClarksonLCS #validation

Revisiting and validating a model of two-thumb text entry (EC, KL, JC, TS), pp. 163–166.

CHI-2007-ObendorfWHM #web

Web page revisitation revisited: implications of a long-term click-stream study of browser usage (HO, HW, EH, MM), pp. 597–606.

HCI-IDU-2007-Kurosu #concept #revisited #usability

Concept of Usability Revisited (MK), pp. 579–586.

ICEIS-DISI-2007-MatiasM #data analysis #interactive

Revisiting the olap interaction to cope with spatial data and spatial data analysis (RM, JMP), pp. 157–163.

ICML-2007-NelsonC #clustering #constraints #modelling #probability

Revisiting probabilistic models for clustering with pair-wise constraints (BN, IC), pp. 673–680.

SIGIR-2007-Lee #probability

IDF revisited: a simple new derivation within the Robertson-Spärck Jones probabilistic model (LL), pp. 751–752.

SIGIR-2007-MaisonnasseGC #dependence #information retrieval

Revisiting the dependence language model for information retrieval (LM, ÉG, JPC), pp. 695–696.

CADE-2007-LynchT #automation #decidability #revisited

Automatic Decidability and Combinability Revisited (CL, DKT), pp. 328–344.

CSL-2007-BodirskyC #reasoning #revisited

Qualitative Temporal and Spatial Reasoning Revisited (MB, HC), pp. 194–207.

CSL-2007-Kesner #calculus #formal method #revisited

The Theory of Calculi with Explicit Substitutions Revisited (DK), pp. 238–252.

VMCAI-2007-Vardi #formal method #model checking #revisited

Automata-Theoretic Model Checking Revisited (MYV), pp. 137–150.

ITiCSE-2006-SandersGG #modelling #recursion #revisited

Mental models of recursion revisited (IDS, VG, TG), pp. 138–142.

DLT-2006-Maletti #revisited

Hierarchies of Tree Series Transformations Revisited (AM), pp. 215–225.

ICALP-v1-2006-KaporisMSTTZ #revisited

Dynamic Interpolation Search Revisited (ACK, CM, SS, AKT, KT, CDZ), pp. 382–394.

CHI-2006-WobbrockMR #gesture

Few-key text entry revisited: mnemonic gestures on four keys (JOW, BAM, BR), pp. 489–492.

CSCW-2006-FisherBGS #email #years after

Revisiting Whittaker & Sidner’s “email overload” ten years later (DF, AJBB, EG, MAS), pp. 309–312.

CIKM-2006-CongFG

Annotation propagation revisited for key preserving views (GC, WF, FG), pp. 632–641.

ICPR-v2-2006-UchidaIOK #recognition

OCR Fonts Revisited for Camera-Based Character Recognition (SU, MI, SO, KK), pp. 1134–1137.

SAC-2006-OliveiraPCA #clustering #database #equivalence

Revisiting 1-copy equivalence in clustered databases (RCO, JP, ACJ, EA), pp. 728–732.

ICLP-2006-HaemmerleF #prolog #revisited

Modules for Prolog Revisited (RH, FF), pp. 41–55.

PODS-2005-Dobra #approximate #question

Histograms revisited: when are histograms the best approximation method for aggregates over joins? (AD), pp. 228–237.

VLDB-2005-LiuR #parallel #pipes and filters #query

Revisiting Pipelined Parallelism in Multi-Join Query Processing (BL, EAR), pp. 829–840.

WRLA-2004-Lopez-FraguasRV05 #constraints #functional #logic programming #revisited

Constraint Functional Logic Programming Revisited (FJLF, MRA, RdVV), pp. 5–50.

ICALP-2005-Galindo #encryption #revisited

Boneh-Franklin Identity Based Encryption Revisited (DG), pp. 791–802.

CHI-2005-SkopikG

Improving revisitation in fisheye views with visit wear (AS, CG), pp. 771–780.

SIGIR-2005-LinH #fault #retrieval #set #topic

Revisiting the effect of topic set size on retrieval error (WHL, AGH), pp. 637–638.

POPL-2005-CobbeF #revisited

Environmental acquisition revisited (RC, MF), pp. 14–25.

TACAS-2004-LahiriBGT #similarity

Revisiting Positive Equality (SKL, REB, AG, MT), pp. 1–15.

PLDI-2004-Appel #process #proving #revisited #social #source code #theorem

Social processes and proofs of theorems and programs, revisited (AWA), p. 170.

PLDI-2004-ZhuC #analysis #pointer #revisited

Symbolic pointer analysis revisited (JZ, SC), pp. 145–157.

KR-2004-HerzigL #revisited

C&L Intention Revisited (AH, DL), pp. 527–535.

ECOOP-2004-Torgersen #problem #revisited

The Expression Problem Revisited (MT), pp. 123–143.

ICSE-2004-ZiadiHJ #algebra #approach #statechart #synthesis

Revisiting Statechart Synthesis with an Algebraic Approach (TZ, LH, JMJ), pp. 242–251.

RTA-2004-HirokawaM #dependence #revisited

Dependency Pairs Revisited (NH, AM), pp. 249–268.

HT-2003-BollKW #game studies #hypermedia

Paper chase revisited: a real world game meets hypermedia (SB, JK, CW), pp. 126–127.

ICDAR-2003-FujisawaL #pattern matching #recognition #revisited

Directional Pattern Matching for Character Recognition Revisited (HF, CLL), pp. 794–798.

FoSSaCS-2003-FokkinkP #protocol #revisited #verification

Cones and Foci for Protocol Verification Revisited (WF, JP), pp. 267–281.

ICALP-2003-AntunesF #revisited

Sophistication Revisited (LA, LF), pp. 267–277.

SIGIR-2003-StokoeOT #ambiguity #information retrieval #revisited #word

Word sense disambiguation in information retrieval revisited (CS, MPO, JT), pp. 159–166.

ECOOP-2003-Grothoff

Walkabout Revisited: The Runabout (CG), pp. 103–125.

OOPSLA-2003-BarabashOP #concurrent #garbage collection #revisited

Mostly concurrent garbage collection revisited (KB, YO, EP), pp. 255–268.

LOPSTR-2003-ChristiansenM #approach #constraints #database

Simplification of Database Integrity Constraints Revisited: A Transformational Approach (HC, DM), pp. 178–197.

CSL-2003-SamerV #query #revisited

Validity of CTL Queries Revisited (MS, HV), pp. 470–483.

LICS-2003-OuaknineW #automaton #decidability #robust

Revisiting Digitization, Robustness, and Decidability for Timed Automata (JO, JW), pp. 198–207.

HT-2002-WhiteheadBGLLS #revisited

Seven Issues, Revisited (EJWJ, PDB, KG, DL, JJL, MMCS), p. 171.

ITiCSE-2002-Hamer #revisited

Hashing revisited (JH), pp. 80–83.

FASE-2002-BernardoF #architecture

Architectural Types Revisited: Extensible And/Or Connections (MB, FF), pp. 113–127.

WCRE-2002-SchwarzDA #execution #revisited

Disassembly of Executable Code Revisited (BS, SKD, GRA), pp. 45–54.

STOC-2002-Goldreich #concurrent #revisited

Concurrent zero-knowledge with timing, revisited (OG), pp. 332–340.

CIAA-2002-NetoB #adaptation #automaton

Adaptive Automata — A Revisited Proposal (JJN, CB), pp. 158–168.

FME-2002-OheimbN #hoare #logic #revisited

Hoare Logic for NanoJava: Auxiliary Variables, Side Effects, and Virtual Methods Revisited (DvO, TN), pp. 89–105.

CSCW-2002-GrinterASTWH #comprehension #how

Revisiting the visit: : understanding how technology can shape the museum visit (REG, PMA, MHS, JDT, AW, AH), pp. 146–155.

SIGIR-2002-ChowdhuryMGF #documentation #normalisation #revisited

Document normalization revisited (AC, MCM, DAG, OF), pp. 381–382.

CSL-2002-BridgesIS #revisited

Compactness and Continuity, Constructively Revisited (DSB, HI, PS), pp. 89–102.

CSL-2002-KuceraS #logic #ltl

The Stuttering Principle Revisited: On the Expressiveness of Nested X and U Operators in the Logic LTL (AK, JS), pp. 276–291.

LICS-2002-FrickG #complexity #first-order #higher-order #logic #monad #revisited

The Complexity of First-Order and Monadic Second-Order Logic Revisited (MF, MG), pp. 215–224.

RTA-2002-Mellies #axiom #revisited

Axiomatic Rewriting Theory VI Residual Theory Revisited (PAM), pp. 24–50.

PODS-2001-AlonMNSV #revisited #xml

XML with Data Values: Typechecking Revisited (NA, TM, FN, DS, VV).

ESOP-2001-Boudol #recursion #revisited #semantics

The Recursive Record Semantics of Objects Revisited (GB), pp. 269–283.

FoSSaCS-2001-GourantonRS

Synchronized Tree Languages Revisited and New Applications (VG, PR, HS), pp. 214–229.

TACAS-2001-TanC #revisited #simulation

Simulation Revisited (LT, RC), pp. 480–495.

DLT-2001-Hoogeboom #revisited

Context-Free Valence Grammars — Revisited (HJH), pp. 293–303.

FME-2001-Paynter #logic #realtime #revisited

Real-Time Logic Revisited (SP), pp. 300–317.

CHI-2001-BorovoySGNKRK #community

Folk computing: revisiting oral tradition as a scaffold for co-present communities (RB, BS, TG, MN, BK, MR, JK), pp. 466–473.

ICSE-2001-Balzer01a #consistency #nondeterminism #revisited

“Tolerating Inconsistency” Revisited (RB), p. 665.

ICLP-2001-BeldiceanuC #constraints #product line

Revisiting the Cardinality Operator and Introducing the Cardinality-Path Constraint Family (NB, MC), pp. 59–73.

SAT-2001-KaporisKSVZ #revisited #satisfiability

The unsatisfiability threshold revisited (ACK, LMK, YCS, MV, MZ), pp. 81–95.

HT-2000-GolovchinskyM #hypermedia #interactive #revisited

Hypertext interaction revisited (GG, CCM), pp. 171–179.

WCRE-2000-CanforaCK #approach #component

Revisiting the Delta IC Approach to Component Recovery (GC, JC, RK), pp. 140–149.

ICALP-2000-Santo #normalisation

Revisiting the Correspondence between Cut Elimination and Normalisation (JES), pp. 600–611.

FSE-2000-JacksonS #architecture #framework #modelling

COM revisited: tool-assisted modelling of an architectural framework (DJ, KJS), pp. 149–158.

CADE-2000-TiwariBR #revisited

Rigid E-Unification Revisited (AT, LB, HR), pp. 220–234.

CAV-2000-Rushby #diagrams #invariant #verification

Verification Diagrams Revisited: Disjunctive Invariants for Easy Verification (JMR), pp. 508–520.

CSL-2000-Stirling #revisited

Schema Revisited (CS), pp. 126–138.

HCI-EI-1999-WellensM #research #revisited #social

The Social Psychology of Intelligent Machines: A Research Agenda Revisited (ARW, MDM), pp. 696–700.

CIKM-1999-WarshawM #optimisation #query #revisited #rule-based

Rule-Based Query Optimization, Revisited (LW, DPM), pp. 267–275.

TOOLS-USA-1999-Lopes #aspect-oriented #composition #design #evolution

Modularization Revisited: Aspects in the Design and Evolution of Software Systems (CVL), p. 452.

ICSE-1999-HerbslebG #revisited

Splitting the Organization and Integrating the Code: Conway’s Law Revisited (JDH, REG), pp. 85–95.

CADE-1999-HustadtS #revisited

Maslov’s Class K Revisited (UH, RAS), pp. 172–186.

TLCA-1999-BarreiroE #revisited #semantics

Quantitative Semantics Revisited (NB, TE), pp. 40–53.

DATE-1998-Muller-WipperfurthH #modelling #visual notation

Graphical Entry of FSMDs Revisited: Putting Graphical Models on a Solid Base (TMW, RH), pp. 931–932.

STOC-1998-CanettiGH #random

The Random Oracle Methodology, Revisited (Preliminary Version) (RC, OG, SH), pp. 209–218.

FLOPS-1998-Takahashi #revisited

λ-representable Functions over Free Structures Revisited (MT), pp. 1–19.

KR-1998-Amir #revisited

Pointwise Circumscription Revisited (EA), pp. 202–211.

DAC-1997-AlpertCHMY #polynomial #revisited

Quadratic Placement Revisited (CJA, TFC, DJHH, ILM, KY), pp. 752–757.

SIGMOD-1997-GuptaHR #commit #database #distributed

Revisiting Commit Processing in Distributed Database Systems (RG, JRH, KR), pp. 486–497.

STOC-1997-NaorR #on the #permutation #pseudo

On the Construction of Pseudo-Random Permutations: Luby-Rackoff Revisited (Extended Abstract) (MN, OR), pp. 189–199.

DLT-1997-Neumann #ambiguity #automaton #modelling #revisited

Unambiguity of SGML Content Models — Pushdown Automata Revisited (AN), pp. 507–518.

CHI-1997-TauscherG #navigation #web

Revisitation Patterns in World Wide Web Navigation (LT, SG), pp. 399–406.

HCI-SEC-1997-Balint #human-computer

Machine Intelligence in HCI Revisited: From Intelligent Agents to Intelligent Systems (LB), pp. 51–54.

SIGIR-1997-KaszkielZ #retrieval #revisited

Passage Retrieval Revisited (MK, JZ), pp. 178–185.

ICSE-1997-Osterweil #process

Software Processes Are Software Too, Revisited: An Invited Talk on the Most Influential Paper of ICSE 9 (LJO), pp. 540–548.

CAV-1997-KupfermanV #revisited

Module Checking Revisited (OK, MYV), pp. 36–47.

SIGMOD-1996-BrownCL #revisited

Goal-Oriented Buffer Management Revisited (KPB, MJC, ML), pp. 353–364.

ICFP-1996-RojemoR #compilation #profiling #revisited

Lag, Drag, Void and Use — Heap Profiling and Space-Efficient Compilation Revisited (NR, CR), pp. 34–41.

KR-1996-GoldenW #representation #revisited

Representing Sensing Actions: The Middle Ground Revisited (KG, DSW), pp. 174–185.

KR-1996-Herzig #revisited

The PMA Revisited (AH), pp. 40–50.

ALP-1996-Suzuki #revisited #standard #theorem

Standardization Theorem Revisited (TS), pp. 122–134.

POPL-1996-FegarasS #data type #embedded #morphism #source code

Revisiting Catamorphisms over Datatypes with Embedded Functions (or, Programs from Outer Space) (LF, TS), pp. 284–294.

CADE-1996-Fernmuller #semantics

Semantic Trees Revisited: Some New Completeness Results (CGF), pp. 568–582.

JICSLP-1996-PontelliG

Dependent And-Parallelism Revisited (Poster Abstract) (EP, GG), p. 542.

RTA-1996-GramlichW #confluence #revisited #term rewriting

Confluence of Terminating Conditional Rewrite Systems Revisited (BG, CPW), pp. 245–259.

VLDB-1995-WienerN #approach

OODB Bulk Loading Revisited: The Partitioned-List Approach (JLW, JFN), pp. 30–41.

FPCA-1995-Thiemann #polymorphism #revisited #type system

Unboxed Values and Polymorphic Typing Revisited (PT), pp. 24–35.

PLILP-1995-Rety #revisited

The Notion of Floundering for SLDNF-Resolution Revisited (JHR), pp. 380–396.

ILPS-1995-CominiLV #declarative #revisited

Declarative Diagnosis Revisited (MC, GL, GV), pp. 275–287.

RTA-1995-Marchiori #composition #revisited

Modularity of Completeness Revisited (MM), pp. 2–10.

ICALP-1994-PrzytyckaL #problem #revisited

The Optimal Alphabetic Tree Problem Revisited (TMP, LLL), pp. 251–262.

LFP-1994-Thatte #revisited #semantics

Semantics of Type Classes Revisited (SRT), pp. 208–219.

KR-1994-DechterR #revisited

Directional Resolution: The Davis-Putnam Procedure, Revisited (RD, IR), pp. 134–145.

ICSE-1994-GreenspanMB #modelling #on the #requirements #revisited

On Formal Requirements Modeling Languages: RML Revisited (SJG, JM, AB), pp. 135–147.

ICSE-1994-Tracz #reuse #revisited

Software Reuse Myths Revisited (WT), pp. 271–272.

CADE-1994-MiddeldorpZ #revisited #termination

Simple Termination Revisited (AM, HZ), pp. 451–465.

ICLP-1994-BoulangerS #abstract interpretation #approach #compilation

Compiling Control Revisited: A New Approach based upon Abstract Interpretation (DB, DDS), pp. 699–713.

ILPS-1994-BenhamouMH #revisited

CLP(Intervals) Revisited (FB, DAM, PVH), pp. 124–138.

TOOLS-PACIFIC-1993-Cheng #constraints #inheritance

Revisiting Inheritance of Synchronization Constraints (NC), pp. 439–447.

ILPS-1993-Ben-Eliyahu #revisited

Back to the Future: Program Completion, Revisited (RBE), p. 642.

TLCA-1993-Groote #revisited #theorem

The Conservation Theorem revisited (PdG), pp. 163–178.

DAC-1992-SaldanhaBS92a #algorithm #revisited

Circuit Structure Relations to Redundancy and Delay: The KMS Algorithm Revisited (AS, RKB, ALSV), pp. 245–248.

WSA-1992-DevienneLR #revisited

Weighted Systems Revisited (PD, PL, JCR), pp. 163–173.

SIGIR-1992-Harman #feedback #revisited

Relevance Feedback Revisited (DH), pp. 1–10.

CAV-1992-GodefroidHP #revisited

State-Space Caching Revisited (PG, GJH, DP), pp. 178–191.

CSL-1992-BentonBPH #linear #modelling #revisited #λ-calculus

Linear λ-Calculus and Categorial Models Revisited (PNB, GMB, VdP, MH), pp. 61–84.

DAC-1991-GeigerM #algebra #automaton #benchmark #composition #metric

FSM Decomposition Revisited: Algebraic Structure Theory Applied to MCNC Benchmark FSMs (MG, TMW), pp. 182–185.

STOC-1991-NisanW #communication #complexity #revisited

Rounds in Communication Complexity Revisited (NN, AW), pp. 419–429.

KR-1991-DelgrandeJ #logic #revisited

Default Logic Revisited (JPD, WKJ), pp. 118–127.

ICLP-1991-KoN #revisited

Substitution and Refutation Revisited (HPK, MEN), pp. 679–692.

ISLP-1991-RamakrishnanS #bottom-up #revisited #top-down

Top-Down versus Bottom-Up Revisited (RR, SS), pp. 321–336.

LICS-1991-CortesiFW #abstract domain #analysis

Prop revisited: Propositional Formula as Abstract Domain for Groundness Analysis (AC, GF, WHW), pp. 322–327.

VLDB-1990-Markowitz #object-oriented #perspective

Referential Integrity Revisited: An Object-Oriented Perspective (VMM), pp. 578–589.

VDME-1990-BednarczykBP #recursion #revisited

Recursive Definitions Revisited (MAB, AMB, WP), pp. 452–476.

OOPSLA-ECOOP-1990-MadsenMM #object-oriented #revisited #type system

Strong Typing of Object-Oriented Languages Revisited (OLM, BM, BMP), pp. 140–150.

ALP-1990-HuynhLL #algorithm #fourier #revisited

Fourier Algorithm Revisited (TH, CL, JLL), pp. 117–131.

CSL-1990-Vollmer #revisited

The Gap-Language-Technique Revisited (HV), pp. 389–399.

PODS-1989-KiferW #logic programming #object-oriented

A Logic for Object-Oriented Logic Programming (Maier’s O-Logic Revisited) (MK, JW), pp. 379–393.

SIGMOD-1989-Bry #evaluation #performance #quantifier #query #revisited #towards

Towards an Efficient Evaluation of General Queries: Quantifier and Disjunction Processing Revisited (FB), pp. 193–204.

SIGMOD-1987-GanskiW #optimisation #query #revisited #sql

Optimization of Nested SQL Queries Revisited (RAG, HKTW), pp. 23–33.

SIGIR-1985-Voorhees #clustering #revisited

The Cluster Hypothesis Revisited (EMV), pp. 188–196.

RTA-1985-Rusinowitch #composition #recursion #revisited

Path of Subterms Ordering and Recursive Decomposition Ordering Revisited (MR), pp. 225–240.

POPL-1984-MilosPL #compilation #implementation #pascal #revisited #specification

Direct Implementation of Compiler Specifications or the Pascal P-code Compiler Revisited (DM, UFP, GL), pp. 196–207.

POPL-1983-EmersonH #branch #linear

“Sometimes” and “Not Never” Revisited: On Branching Versus Linear Time (EAE, JYH), pp. 127–140.

STOC-1972-Fiduccia #algorithm #evaluation #fourier #performance #polynomial #revisited

Polynomial Evaluation via the Division Algorithm: The Fast Fourier Transform Revisited (CMF), pp. 88–93.

DAC-1971-KrosnerS #design

Revisiting an operational graphic design system (SPK, WHS), pp. 109–117.

STOC-1969-PetersR #analysis #context-free grammar #revisited

Context-Sensitive Immediate Constituent Analysis — Context-Free Languages Revisited (PSPJ, RWR), pp. 1–8.