Stem revis$ (all stems)

121 papers:

HCI-DE-2015-BevanCH #question #usability #what

ISO 9241-11 Revised: What Have We Learnt About Usability Since 1998? (NB, JC, SH), pp. 143–151.

CAiSE-2015-KoschmiderUHO #process

Revising the Vocabulary of Business Process Element Labels (AK, MU, AH, AO), pp. 69–83.

GPCE-2015-FontAHC #metamodelling #modelling #product line

Addressing metamodel revisions in model-based software product lines (JF, LA, ØH, CC), pp. 161–170.

HCI-TMT-2014-FangZ #approach #online

A Revised Lexical Approach for Analyzing Online Reviews (XF, FZ), pp. 69–76.

ICPR-2014-HuangZPZ #canonical #correlation #recognition #robust #using

Robust Facial Expression Recognition Using Revised Canonical Correlation (XH, GZ, MP, WZ), pp. 1734–1739.

KR-2014-Coste-MarquisKMM #on the

On the Revision of Argumentation Systems: Minimal Change of Arguments Statuses (SCM, SK, JGM, PM).

KR-2014-Dufour-LussierHBL #algebra

Belief Revision in the Propositional Closure of a Qualitative Algebra (VDL, AH, FLB, JL).

KR-2014-RibeiroW #logic

Minimal Change in AGM Revision for Non-Classical Logics (MMR, RW).

KR-2014-WirthS

David Poole’s Specificity Revised (CPW, FS).

ICSE-2014-ArztB #analysis #data flow #incremental #named

Reviser: efficiently updating IDE-/IFDS-based data-flow analyses in response to incremental program changes (SA, EB), pp. 288–298.

CSEET-2013-ArdisBHOSV

Workshop on revisions to SE 2004 (MAA, DB, GWH, JO, MJS, WV), pp. 356–358.

SAC-2013-BlancoR #query #recommendation

Inferring user utility for query revision recommendation (HB, FR), pp. 245–252.

ICSE-2013-SykesCMKRI #adaptation #learning #modelling

Learning revised models for planning in adaptive systems (DS, DC, JM, JK, AR, KI), pp. 63–71.

DocEng-2012-OliveiraGL #automation #towards

Toward automated schema-directed code revision (RO, PG, NL), pp. 103–106.

KR-2012-BoothFKP #logic

Credibility-Limited Revision Operators in Propositional Logic (RB, EF, SK, RPP).

KR-2012-CreignouPPW #logic

Belief Revision within Fragments of Propositional Logic (NC, OP, RP, SW).

KR-2012-DelgrandeL

Belief Revision with Sensing and Fallible Actions (JPD, HJL).

KR-2012-MaBL #framework

Revising Partial Pre-Orders with Partial Pre-Orders: A Unit-Based Revision Framework (JM, SB, WL).

ICSE-2012-IfrahL

Crosscutting revision control system (SI, DHL), pp. 321–330.

ESOP-2011-BurckhardtL #concurrent #semantics

Semantics of Concurrent Revisions (SB, DL), pp. 116–135.

ESEC-FSE-2011-ApelLBLK

Semistructured merge: rethinking merge in revision control systems (SA, JL, BB, CL, CK), pp. 190–200.

DATE-2010-BraunBLR #interface #specification #verification

Simulation-based verification of the MOST NetInterface specification revision 3.0 (AB, OB, DL, WR), pp. 538–543.

ITiCSE-2010-AlaoutinenS #programming #self #student #taxonomy #using

Student self-assessment in a programming course using bloom’s revised taxonomy (SA, KS), pp. 155–159.

CHI-2010-HartmannFRCK #user interface

d.note: revising user interfaces through change tracking, annotations, and alternatives (BH, SF, AR, TC, SRK), pp. 493–502.

SOFTVIS-2010-FollettH #dependence #impact analysis #named #visualisation

ImpactViz: visualizing class dependencies and the impact of changes in software revisions (MF, OH), pp. 209–210.

CIKM-2010-AjiWAG #analysis #modelling #using

Using the past to score the present: extending term weighting models through revision history analysis (AA, YW, EA, EG), pp. 629–638.

KR-2010-IcardPS

Joint Revision of Beliefs and Intention (TFII, EP, YS).

KR-2010-WangWT #knowledge base #logic

Revising General Knowledge Bases in Description Logics (ZW, KW, RWT).

OOPSLA-2010-BurckhardtBL #concurrent #programming

Concurrent programming with revisions and isolation types (SB, AB, DL), pp. 691–707.

SAC-2010-EnsanB #distributed #framework #ontology

A framework for handling revisions in distributed ontologies (FE, EB), pp. 1417–1422.

ICLP-J-2010-Delgrande #approach #logic programming #semantics #set #source code

A program-level approach to revising logic programs under the answer set semantics (JPD), pp. 565–580.

SIGMOD-2009-BeckmannS #comparison

A revised r*-tree in comparison with related index structures (NB, BS), pp. 799–812.

ITiCSE-2009-HawthorneKCW #guidelines

Revised associate-level curricular guidelines in computer science (EKH, KJK, RDC, AMW), p. 374.

ITiCSE-2009-ThomasWS #automation #diagrams #tool support

Generalised diagram revision tools with automatic marking (PGT, KGW, NS), pp. 318–322.

ICPC-J-2008-HindleGH09 #complexity #rank #using

Reading beside the lines: Using indentation to rank revisions by complexity (AH, MWG, RCH), pp. 414–429.

ICEIS-ISAS-2009-JoubertLVK #framework #modelling #quality

A Revised Modelling Quality Framework (PJ, SL, CdV, JHK), pp. 162–167.

HT-2008-Kolb08a

Making revisions hyper-visible (DAK), pp. 113–116.

VLDB-2008-ChaiSDRS #integration

Analyzing and revising data integration schemas to improve their matchability (XC, MS, AD, AR, LS), pp. 773–784.

KR-2008-CayrolSL

Revision of an Argumentation System (CC, FDdSC, MCLS), pp. 124–134.

KR-2008-DelgrandeSTW #logic programming #semantics #set #source code

Belief Revision of Logic Programs under Answer Set Semantics (JPD, TS, HT, SW), pp. 411–421.

GT-VMT-2007-WorzbergerHH #graph #tool support #workflow

Evaluating Workflow Definition Language Revisions with Graph-Based Tools (RW, MH, FWH).

MSR-2006-ParninGR #interactive

Enriching revision history with interactions (CP, CG, SR), pp. 155–158.

KR-2006-Ben-Naim #finite

Lack of Finite Characterizations for the Distance-Based Revision (JBN), pp. 239–248.

KR-2006-BoothMW #how

A Bad Day Surfing Is Better than a Good Day Working: How to Revise a Total Preorder (RB, TAM, KSW), pp. 230–238.

KR-2006-DelgrandeDL

Iterated Revision as Prioritized Merging (JPD, DD, JL), pp. 210–220.

ITiCSE-2005-RaoJMSAF #case study #design #education #implementation

Principles of curriculum design and revision: a case study in implementing computing curricula CC2001 (MRKKR, SJ, TM, MS, MA, KAF), pp. 256–260.

ESEC-FSE-2005-LivshitsZ #fault #mining #named

DynaMine: finding common error patterns by mining software revision histories (VBL, TZ), pp. 296–305.

KR-2004-PeppasCF #distance #semantics

Distance Semantics for Relevance-Sensitive Belief Revision (PP, SC, NYF), pp. 319–328.

SIGIR-2004-LauBS #adaptation #information retrieval

Belief revision for adaptive information retrieval (RYKL, PB, DS), pp. 130–137.

SEKE-2003-SpanoudakisGZ #approach #machine learning #requirements #traceability

Revising Rules to Capture Requirements Traceability Relations: A Machine Learning Approach (GS, ASdG, AZ), pp. 570–577.

SEKE-2003-Strelzoff #recognition #theory and practice

Revision Recognition for Scientific Computing: Theory and Application (AS), pp. 46–53.

VISSOFT-2002-TaylorM

Revision Towers (CMBT, MM), pp. 43–50.

RE-2002-Garcia-DuquePB #requirements #specification #using

An Analysis-Revision Cycle to Evolve Requirements Specifications by Using the SCTL-MUS Methodology (JGD, JJPA, ABBM), pp. 282–288.

ASE-2001-GarcezRNK #requirements #specification

An Analysis-Revision Cycle to Evolve Requirements Specifications (ASdG, AR, BN, JK), pp. 354–358.

ESEC-FSE-2001-Brada #component #identification #specification

Component revision identification based on IDL/ADL component specification (PB), pp. 297–298.

FASE-2000-Hernandez-OralloR #learning #lifecycle #quality

Software as Learning: Quality Factors and Life-Cycle Revised (JHO, MJRQ), pp. 147–162.

STOC-2000-GoldsmithS #query

More theory revision with queries (extended abstract) (JG, RHS), pp. 441–448.

KDD-2000-FeldmanLRSS #approximate #bias #framework #information management #specification

A framework for specifying explicit bias for revision of approximate information extraction rules (RF, YL, BR, YS, JS), pp. 189–197.

KR-2000-Wassermann #algorithm

An Algorithm for Belief Revision (RW), pp. 345–352.

KR-2000-WurbelJP #framework #named

Revision: an application in the framework of GIS (EW, RJ, OP), pp. 505–515.

UML-2000-Steimann #concept #uml

A Radical Revision of UML’s Role Concept (FS), pp. 194–209.

TOOLS-ASIA-2000-GuangWW #parallel

A Revised, Inheritance-Supporting Parallel Object Model in PDEFA-I (YG, DW, DW), pp. 108–113.

SIGIR-1999-LosadaB #documentation #modelling #ranking #using

Using a Belief Revision Operator for Document Ranking in Extended Boolean Models (DEL, AB), pp. 66–73.

ICLP-1999-BenhamouGGP #consistency

Revising Hull and Box Consistency (FB, FG, LG, JFP), pp. 230–244.

ICML-1998-McCluskeyW #case study #requirements #validation

A Case Study in the Use of Theory Revision in Requirements Validation (TLM, MMW), pp. 368–376.

ICPR-1998-NakamuraEIH #algorithm #using

Skeleton revision algorithm using maximal circles (TN, HE, HI, LH), pp. 1607–1609.

KR-1998-Liberatore #on the #reasoning

On the Compilability of Diagnosis, Planning, Reasoning about Actions, Belief Revision, etc (PL), pp. 144–155.

KR-1998-WilliamsA

A Strategy for Revising Default Theory Extensions (MAW, GA), pp. 24–35.

ALP-PLILP-1998-Refalo #detection #incremental

Approaches to the Incremental Detection of Implicit Equalities with the Revised Simplex Method (PR), pp. 481–496.

CSL-1998-MarekPT #constraints #logic programming

Revision Programming = Logic Programming + Integrity Constraints (VWM, IP, MT), pp. 73–89.

HCI-SEC-1997-NishikawaT #database #multi

Allowing Multiple Experts to Revise a Thesaurus Database (NN, HT), pp. 371–374.

CIKM-1997-DragoniGP #distributed #integration

Distributed Knowledge Revision/Integration (AFD, PG, PP), pp. 121–127.

ICPR-1996-KropatschY #segmentation

A revision of pyramid segmentation (WGK, SBY), pp. 477–481.

KR-1996-FriedmanH

Belief Revision: A Critique (NF, JYH), pp. 421–431.

KR-1996-Williams #approach #towards

Towards a Practical Approach to Belief Revision: Reason-Based Change (MAW), pp. 412–420.

JICSLP-1996-RefaloH

CLP(Rlin) Revised (PR, PVH), pp. 22–36.

PODS-1995-CadoliDLS #knowledge base

The Size of a Revised Knowledge Base (MC, FMD, PL, MS), pp. 151–162.

ICML-1995-BrunkP #bias #semantics

A Lexical Based Semantic Bias for Theory Revision (CB, MJP), pp. 81–89.

ICML-1995-DonohoR #induction #lessons learnt

Lessons from Theory Revision Applied to Constructive Induction (SKD, LAR), pp. 185–193.

ICML-1995-Greiner #challenge

The Challenge of Revising an Impure Theory (RG), pp. 269–277.

ICLP-1995-YuanY #approach #logic programming #on the

On Coherence Approach to Logic Program Revision (LYY, JHY), pp. 167–181.

FME-1994-Weber #development

Literate Mathematical Development of a Revision Management System (MW), pp. 441–460.

CHI-1994-NeuwirthCCWK94a #collaboration #comparison #distributed #documentation

Distributed collaborative writing: a comparison of spoken and written modalities for reviewing and revising documents (CN, RC, DC, PGW, LK), pp. 51–57.

ICML-1994-MurphyP

Revision of Production System Rule-Bases (PMM, MJP), pp. 199–207.

KR-1994-DamasioNP #knowledge base #logic programming #named

REVISE: An Extended Logic Programming System for Revising Knowledge Bases (CVD, WN, LMP), pp. 607–618.

KR-1994-FriedmanH #framework #knowledge-based

A Knowledge-Based Framework for Belief Change, Part II: Revision and Update (NF, JYH), pp. 190–201.

KR-1994-Meyden

Mutual Belief Revision (Preliminary Report) (RvdM), pp. 595–606.

SIGIR-1994-LoganRJ #information retrieval #modelling

Modelling Information Retrieval Agents with Belief Revision (BL, SR, KSJ), pp. 91–100.

ILPS-1994-YouC #semantics

Tractable Argumentation Semantics via Iterative Belief Revision (JHY, RC), pp. 239–253.

ILPS-1994-YuanY #effectiveness

A Simple but Effective Program Revision Method (LYY, JHY), p. 686.

SEKE-1993-LiL #information management

A Computational Theory of Knowledge Discovery and Revision (AL, XL), pp. 215–218.

FSE-1993-MagnussonAM #collaboration #development #fine-grained

Fine-Grained Revision Control for Collaborative Software Development (BM, UA, SM), pp. 33–41.

PODS-1992-EiterG #complexity #knowledge base #on the

On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals (TE, GG), pp. 261–273.

KR-1992-CordierS #reasoning

A Temporal Revision Model for Reasoning about World Change (MOC, PS), pp. 732–739.

KR-1992-GoldszmidtP #approach #reasoning

Rank-based Systems: A Simple Approach to Belief Revision, Belief Update, and Reasoning about Evidence and Actions (MG, JP), pp. 661–672.

KR-1992-NejdlB #query #semantics

Asking About Possibilities — Revision and Update Semantics for Subjunctive Queries (WN, MB), pp. 697–708.

IWMM-1992-Pique #garbage collection #prolog

Dynamic Revision of Choice Points during Garbage Collection in Prolog [II/III] (JFP), pp. 330–343.

CHI-1991-ChalfonteFK #comparison #speech

Expressive richness: a comparison of speech and text as media for revision (BLC, RSF, REK), pp. 21–26.

KR-1991-ChouW #modelling #named

Immortal: A Model-Based Belief Revision System (ScTC, MW), pp. 99–110.

KR-1991-Doyle

Rational Belief Revision (JD), pp. 163–174.

KR-1991-KatsunoM #difference #knowledge base #on the

On the Difference between Updating a Knowledge Base and Revising It (HK, AOM), pp. 387–394.

KR-1991-Nebel #reasoning

Belief Revision and Default Reasoning: Syntax-Based Approaches (BN), pp. 417–428.

ML-1991-Cain

The DUCTOR: A Theory Revision System for Propositional Domains (TC), pp. 485–489.

ML-1991-Goel #formal method #incremental #learning

Model Revision: A Theory of Incremental Model Learning (AKG), pp. 605–609.

ML-1991-Hamakawa #refinement

Revision Cost for Theory Refinement (RH), pp. 514–518.

ML-1991-LingV

Revision of Reduced Theories (XL, MV), pp. 519–523.

ML-1991-RichardsM #first-order

First-Order Theory Revision (BLR, RJM), pp. 447–451.

ML-1991-Wogulis #relational

Revising Relational Domain Theories (JW), pp. 462–466.

ISLP-1991-PereiraAA #reasoning

Counterfactual Reasoning Based on Revising Assumptions (LMP, JNA, JJA), pp. 566–577.

LICS-1991-Ryan

Defaults and Revision in Structured Theories (MR), pp. 362–373.

KR-1989-Nebel #analysis

A Knowledge Level Analysis of Belief Revision (BN), pp. 301–311.

KR-1989-RaoF

Formal Theories of Belief Revision (ASR, NYF), pp. 369–380.

ML-1989-Ginsberg #knowledge base #refinement

Knowledge Base Refinement and Theory Revision (AG), pp. 260–265.

ML-1989-KulkarniS

The Role of Experimentation in Scientific Theory Revision (DK, HAS), pp. 278–283.

ML-1989-Rose #using

Using Domain Knowledge to Aid Scientific Theory Revision (DR), pp. 272–277.

SEI-1988-AmorosoKWG #education #re-engineering

Revised Graduate Software Engineering Curriculum at Monmouth College (SA, RK, TW, BG), pp. 70–80.

ML-1988-FalkenhainerR

The Interdependencies of Theory Formation, Revision, and Experimentation (BF, SAR), pp. 353–366.

PODS-1987-AptP #database #maintenance

Maintenance of Stratified Databases Viewed as a Belief Revision System (KRA, JMP), pp. 136–145.

CSCW-1986-StefikBLTF #case study #experience #multi #user interface

WYSIWIS revised: early experiences with multi-user interfaces (MS, DGB, SL, DGT, GF), pp. 276–290.

ICSE-1982-Tichy #design #evaluation #implementation

Design, Implementation, and Evaluation of a Revision Control System (WFT), pp. 58–67.

ICSE-1978-Panzl #automation #testing

Automatic Revision of Formal Test Procedures (DJP), pp. 320–326.