BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
belief (24)
base (21)
theori (20)
system (13)
model (11)

Stem revis$ (all stems)

121 papers:

HCIHCI-DE-2015-BevanCH #question #usability #what
ISO 9241-11 Revised: What Have We Learnt About Usability Since 1998? (NB, JC, SH), pp. 143–151.
CAiSECAiSE-2015-KoschmiderUHO #process
Revising the Vocabulary of Business Process Element Labels (AK, MU, AH, AO), pp. 69–83.
GPCEGPCE-2015-FontAHC #metamodelling #modelling #product line
Addressing metamodel revisions in model-based software product lines (JF, LA, ØH, CC), pp. 161–170.
HCIHCI-TMT-2014-FangZ #approach #online
A Revised Lexical Approach for Analyzing Online Reviews (XF, FZ), pp. 69–76.
ICPRICPR-2014-HuangZPZ #canonical #correlation #recognition #robust #using
Robust Facial Expression Recognition Using Revised Canonical Correlation (XH, GZ, MP, WZ), pp. 1734–1739.
KRKR-2014-Coste-MarquisKMM #on the
On the Revision of Argumentation Systems: Minimal Change of Arguments Statuses (SCM, SK, JGM, PM).
KRKR-2014-Dufour-LussierHBL #algebra
Belief Revision in the Propositional Closure of a Qualitative Algebra (VDL, AH, FLB, JL).
KRKR-2014-RibeiroW #logic
Minimal Change in AGM Revision for Non-Classical Logics (MMR, RW).
KRKR-2014-WirthS
David Poole’s Specificity Revised (CPW, FS).
ICSEICSE-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.
CSEETCSEET-2013-ArdisBHOSV
Workshop on revisions to SE 2004 (MAA, DB, GWH, JO, MJS, WV), pp. 356–358.
SACSAC-2013-BlancoR #query #recommendation
Inferring user utility for query revision recommendation (HB, FR), pp. 245–252.
ICSEICSE-2013-SykesCMKRI #adaptation #learning #modelling
Learning revised models for planning in adaptive systems (DS, DC, JM, JK, AR, KI), pp. 63–71.
DocEngDocEng-2012-OliveiraGL #automation #towards
Toward automated schema-directed code revision (RO, PG, NL), pp. 103–106.
KRKR-2012-BoothFKP #logic
Credibility-Limited Revision Operators in Propositional Logic (RB, EF, SK, RPP).
KRKR-2012-CreignouPPW #logic
Belief Revision within Fragments of Propositional Logic (NC, OP, RP, SW).
KRKR-2012-DelgrandeL
Belief Revision with Sensing and Fallible Actions (JPD, HJL).
KRKR-2012-MaBL #framework
Revising Partial Pre-Orders with Partial Pre-Orders: A Unit-Based Revision Framework (JM, SB, WL).
ICSEICSE-2012-IfrahL
Crosscutting revision control system (SI, DHL), pp. 321–330.
ESOPESOP-2011-BurckhardtL #concurrent #semantics
Semantics of Concurrent Revisions (SB, DL), pp. 116–135.
ESEC-FSEESEC-FSE-2011-ApelLBLK
Semistructured merge: rethinking merge in revision control systems (SA, JL, BB, CL, CK), pp. 190–200.
DATEDATE-2010-BraunBLR #interface #specification #verification
Simulation-based verification of the MOST NetInterface specification revision 3.0 (AB, OB, DL, WR), pp. 538–543.
ITiCSEITiCSE-2010-AlaoutinenS #programming #self #student #taxonomy #using
Student self-assessment in a programming course using bloom’s revised taxonomy (SA, KS), pp. 155–159.
CHICHI-2010-HartmannFRCK #user interface
d.note: revising user interfaces through change tracking, annotations, and alternatives (BH, SF, AR, TC, SRK), pp. 493–502.
SOFTVISSOFTVIS-2010-FollettH #dependence #impact analysis #named #visualisation
ImpactViz: visualizing class dependencies and the impact of changes in software revisions (MF, OH), pp. 209–210.
CIKMCIKM-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.
KRKR-2010-IcardPS
Joint Revision of Beliefs and Intention (TFII, EP, YS).
KRKR-2010-WangWT #knowledge base #logic
Revising General Knowledge Bases in Description Logics (ZW, KW, RWT).
OOPSLAOOPSLA-2010-BurckhardtBL #concurrent #programming
Concurrent programming with revisions and isolation types (SB, AB, DL), pp. 691–707.
SACSAC-2010-EnsanB #distributed #framework #ontology
A framework for handling revisions in distributed ontologies (FE, EB), pp. 1417–1422.
ICLPICLP-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.
SIGMODSIGMOD-2009-BeckmannS #comparison
A revised r*-tree in comparison with related index structures (NB, BS), pp. 799–812.
ITiCSEITiCSE-2009-HawthorneKCW #guidelines
Revised associate-level curricular guidelines in computer science (EKH, KJK, RDC, AMW), p. 374.
ITiCSEITiCSE-2009-ThomasWS #automation #diagrams #tool support
Generalised diagram revision tools with automatic marking (PGT, KGW, NS), pp. 318–322.
ICPCICPC-J-2008-HindleGH09 #complexity #rank #using
Reading beside the lines: Using indentation to rank revisions by complexity (AH, MWG, RCH), pp. 414–429.
ICEISICEIS-ISAS-2009-JoubertLVK #framework #modelling #quality
A Revised Modelling Quality Framework (PJ, SL, CdV, JHK), pp. 162–167.
HTHT-2008-Kolb08a
Making revisions hyper-visible (DAK), pp. 113–116.
VLDBVLDB-2008-ChaiSDRS #integration
Analyzing and revising data integration schemas to improve their matchability (XC, MS, AD, AR, LS), pp. 773–784.
KRKR-2008-CayrolSL
Revision of an Argumentation System (CC, FDdSC, MCLS), pp. 124–134.
KRKR-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-VMTGT-VMT-2007-WorzbergerHH #graph #tool support #workflow
Evaluating Workflow Definition Language Revisions with Graph-Based Tools (RW, MH, FWH).
MSRMSR-2006-ParninGR #interactive
Enriching revision history with interactions (CP, CG, SR), pp. 155–158.
KRKR-2006-Ben-Naim #finite
Lack of Finite Characterizations for the Distance-Based Revision (JBN), pp. 239–248.
KRKR-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.
KRKR-2006-DelgrandeDL
Iterated Revision as Prioritized Merging (JPD, DD, JL), pp. 210–220.
ITiCSEITiCSE-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-FSEESEC-FSE-2005-LivshitsZ #fault #mining #named
DynaMine: finding common error patterns by mining software revision histories (VBL, TZ), pp. 296–305.
KRKR-2004-PeppasCF #distance #semantics
Distance Semantics for Relevance-Sensitive Belief Revision (PP, SC, NYF), pp. 319–328.
SIGIRSIGIR-2004-LauBS #adaptation #information retrieval
Belief revision for adaptive information retrieval (RYKL, PB, DS), pp. 130–137.
SEKESEKE-2003-SpanoudakisGZ #approach #machine learning #requirements #traceability
Revising Rules to Capture Requirements Traceability Relations: A Machine Learning Approach (GS, ASdG, AZ), pp. 570–577.
SEKESEKE-2003-Strelzoff #recognition #theory and practice
Revision Recognition for Scientific Computing: Theory and Application (AS), pp. 46–53.
VISSOFTVISSOFT-2002-TaylorM
Revision Towers (CMBT, MM), pp. 43–50.
RERE-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.
ASEASE-2001-GarcezRNK #requirements #specification
An Analysis-Revision Cycle to Evolve Requirements Specifications (ASdG, AR, BN, JK), pp. 354–358.
FSEESEC-FSE-2001-Brada #component #identification #specification
Component revision identification based on IDL/ADL component specification (PB), pp. 297–298.
FASEFASE-2000-Hernandez-OralloR #learning #lifecycle #quality
Software as Learning: Quality Factors and Life-Cycle Revised (JHO, MJRQ), pp. 147–162.
STOCSTOC-2000-GoldsmithS #query
More theory revision with queries (extended abstract) (JG, RHS), pp. 441–448.
KDDKDD-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.
KRKR-2000-Wassermann #algorithm
An Algorithm for Belief Revision (RW), pp. 345–352.
KRKR-2000-WurbelJP #framework #named
Revision: an application in the framework of GIS (EW, RJ, OP), pp. 505–515.
UMLUML-2000-Steimann #concept #uml
A Radical Revision of UML’s Role Concept (FS), pp. 194–209.
TOOLSTOOLS-ASIA-2000-GuangWW #parallel
A Revised, Inheritance-Supporting Parallel Object Model in PDEFA-I (YG, DW, DW), pp. 108–113.
SIGIRSIGIR-1999-LosadaB #documentation #modelling #ranking #using
Using a Belief Revision Operator for Document Ranking in Extended Boolean Models (DEL, AB), pp. 66–73.
ICLPICLP-1999-BenhamouGGP #consistency
Revising Hull and Box Consistency (FB, FG, LG, JFP), pp. 230–244.
ICMLICML-1998-McCluskeyW #case study #requirements #validation
A Case Study in the Use of Theory Revision in Requirements Validation (TLM, MMW), pp. 368–376.
ICPRICPR-1998-NakamuraEIH #algorithm #using
Skeleton revision algorithm using maximal circles (TN, HE, HI, LH), pp. 1607–1609.
KRKR-1998-Liberatore #on the #reasoning
On the Compilability of Diagnosis, Planning, Reasoning about Actions, Belief Revision, etc (PL), pp. 144–155.
KRKR-1998-WilliamsA
A Strategy for Revising Default Theory Extensions (MAW, GA), pp. 24–35.
PPDPALP-PLILP-1998-Refalo #detection #incremental
Approaches to the Incremental Detection of Implicit Equalities with the Revised Simplex Method (PR), pp. 481–496.
CSLCSL-1998-MarekPT #constraints #logic programming
Revision Programming = Logic Programming + Integrity Constraints (VWM, IP, MT), pp. 73–89.
HCIHCI-SEC-1997-NishikawaT #database #multi
Allowing Multiple Experts to Revise a Thesaurus Database (NN, HT), pp. 371–374.
CIKMCIKM-1997-DragoniGP #distributed #integration
Distributed Knowledge Revision/Integration (AFD, PG, PP), pp. 121–127.
ICPRICPR-1996-KropatschY #segmentation
A revision of pyramid segmentation (WGK, SBY), pp. 477–481.
KRKR-1996-FriedmanH
Belief Revision: A Critique (NF, JYH), pp. 421–431.
KRKR-1996-Williams #approach #towards
Towards a Practical Approach to Belief Revision: Reason-Based Change (MAW), pp. 412–420.
ICLPJICSLP-1996-RefaloH
CLP(Rlin) Revised (PR, PVH), pp. 22–36.
PODSPODS-1995-CadoliDLS #knowledge base
The Size of a Revised Knowledge Base (MC, FMD, PL, MS), pp. 151–162.
ICMLICML-1995-BrunkP #bias #semantics
A Lexical Based Semantic Bias for Theory Revision (CB, MJP), pp. 81–89.
ICMLICML-1995-DonohoR #induction #lessons learnt
Lessons from Theory Revision Applied to Constructive Induction (SKD, LAR), pp. 185–193.
ICMLICML-1995-Greiner #challenge
The Challenge of Revising an Impure Theory (RG), pp. 269–277.
ICLPICLP-1995-YuanY #approach #logic programming #on the
On Coherence Approach to Logic Program Revision (LYY, JHY), pp. 167–181.
FMFME-1994-Weber #development
Literate Mathematical Development of a Revision Management System (MW), pp. 441–460.
CHICHI-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.
ICMLICML-1994-MurphyP
Revision of Production System Rule-Bases (PMM, MJP), pp. 199–207.
KRKR-1994-DamasioNP #knowledge base #logic programming #named
REVISE: An Extended Logic Programming System for Revising Knowledge Bases (CVD, WN, LMP), pp. 607–618.
KRKR-1994-FriedmanH #framework #knowledge-based
A Knowledge-Based Framework for Belief Change, Part II: Revision and Update (NF, JYH), pp. 190–201.
KRKR-1994-Meyden
Mutual Belief Revision (Preliminary Report) (RvdM), pp. 595–606.
SIGIRSIGIR-1994-LoganRJ #information retrieval #modelling
Modelling Information Retrieval Agents with Belief Revision (BL, SR, KSJ), pp. 91–100.
ICLPILPS-1994-YouC #semantics
Tractable Argumentation Semantics via Iterative Belief Revision (JHY, RC), pp. 239–253.
ICLPILPS-1994-YuanY #effectiveness
A Simple but Effective Program Revision Method (LYY, JHY), p. 686.
SEKESEKE-1993-LiL #information management
A Computational Theory of Knowledge Discovery and Revision (AL, XL), pp. 215–218.
FSEFSE-1993-MagnussonAM #collaboration #development #fine-grained
Fine-Grained Revision Control for Collaborative Software Development (BM, UA, SM), pp. 33–41.
PODSPODS-1992-EiterG #complexity #knowledge base #on the
On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals (TE, GG), pp. 261–273.
KRKR-1992-CordierS #reasoning
A Temporal Revision Model for Reasoning about World Change (MOC, PS), pp. 732–739.
KRKR-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.
KRKR-1992-NejdlB #query #semantics
Asking About Possibilities — Revision and Update Semantics for Subjunctive Queries (WN, MB), pp. 697–708.
ISMMIWMM-1992-Pique #garbage collection #prolog
Dynamic Revision of Choice Points during Garbage Collection in Prolog [II/III] (JFP), pp. 330–343.
CHICHI-1991-ChalfonteFK #comparison #speech
Expressive richness: a comparison of speech and text as media for revision (BLC, RSF, REK), pp. 21–26.
KRKR-1991-ChouW #modelling #named
Immortal: A Model-Based Belief Revision System (ScTC, MW), pp. 99–110.
KRKR-1991-Doyle
Rational Belief Revision (JD), pp. 163–174.
KRKR-1991-KatsunoM #difference #knowledge base #on the
On the Difference between Updating a Knowledge Base and Revising It (HK, AOM), pp. 387–394.
KRKR-1991-Nebel #reasoning
Belief Revision and Default Reasoning: Syntax-Based Approaches (BN), pp. 417–428.
ICMLML-1991-Cain
The DUCTOR: A Theory Revision System for Propositional Domains (TC), pp. 485–489.
ICMLML-1991-Goel #formal method #incremental #learning
Model Revision: A Theory of Incremental Model Learning (AKG), pp. 605–609.
ICMLML-1991-Hamakawa #refinement
Revision Cost for Theory Refinement (RH), pp. 514–518.
ICMLML-1991-LingV
Revision of Reduced Theories (XL, MV), pp. 519–523.
ICMLML-1991-RichardsM #first-order
First-Order Theory Revision (BLR, RJM), pp. 447–451.
ICMLML-1991-Wogulis #relational
Revising Relational Domain Theories (JW), pp. 462–466.
ICLPISLP-1991-PereiraAA #reasoning
Counterfactual Reasoning Based on Revising Assumptions (LMP, JNA, JJA), pp. 566–577.
LICSLICS-1991-Ryan
Defaults and Revision in Structured Theories (MR), pp. 362–373.
KRKR-1989-Nebel #analysis
A Knowledge Level Analysis of Belief Revision (BN), pp. 301–311.
KRKR-1989-RaoF
Formal Theories of Belief Revision (ASR, NYF), pp. 369–380.
ICMLML-1989-Ginsberg #knowledge base #refinement
Knowledge Base Refinement and Theory Revision (AG), pp. 260–265.
ICMLML-1989-KulkarniS
The Role of Experimentation in Scientific Theory Revision (DK, HAS), pp. 278–283.
ICMLML-1989-Rose #using
Using Domain Knowledge to Aid Scientific Theory Revision (DR), pp. 272–277.
CSEETSEI-1988-AmorosoKWG #education #re-engineering
Revised Graduate Software Engineering Curriculum at Monmouth College (SA, RK, TW, BG), pp. 70–80.
ICMLML-1988-FalkenhainerR
The Interdependencies of Theory Formation, Revision, and Experimentation (BF, SAR), pp. 353–366.
PODSPODS-1987-AptP #database #maintenance
Maintenance of Stratified Databases Viewed as a Belief Revision System (KRA, JMP), pp. 136–145.
CSCWCSCW-1986-StefikBLTF #case study #experience #multi #user interface
WYSIWIS revised: early experiences with multi-user interfaces (MS, DGB, SL, DGT, GF), pp. 276–290.
ICSEICSE-1982-Tichy #design #evaluation #implementation
Design, Implementation, and Evaluation of a Revision Control System (WFT), pp. 58–67.
ICSEICSE-1978-Panzl #automation #testing
Automatic Revision of Formal Test Procedures (DJP), pp. 320–326.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.