168 papers:
- SEKE-2015-WangKN #feature model #re-engineering
- Stability of Three Forms of Feature Selection Methods on Software Engineering Data (HW, TMK, AN), pp. 385–390.
- SAC-2015-ConstantinouS #architecture #evolution #metric #reuse
- Architectural stability and evolution measurement for software reuse (EC, IS), pp. 1580–1585.
- CAV-2015-ZouFZM #automation #difference #equation #safety #verification
- Automatic Verification of Stability and Safety for Delay Differential Equations (LZ, MF, NZ, PNM), pp. 338–355.
- VMCAI-2015-PrabhakarS #abstraction #analysis #hybrid
- Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems (PP, MGS), pp. 318–335.
- ASE-2014-Kechagia #api #robust
- Improvement of applications’ stability through robust APIs (MK), pp. 907–910.
- CASE-2014-Gao #hybrid #towards
- Towards a converse Lyapunov stability theory of hybrid impulsive and switching systems (RG), pp. 425–429.
- CASE-2014-HsiehHP #generative #predict #using
- Improving the stability and fuel economy for Belt-Starter Generator Mild HEV at idle speed using model predict control (FCH, YDH, YWP), pp. 916–921.
- CASE-2014-LiaoLCHF #analysis
- Vision based gait analysis on robotic walking stabilization system for patients with Parkinson’s Disease (CKL, CDL, CYC, CMH, LCF), pp. 818–823.
- CASE-2014-XueL #finite
- Input-output finite-time stability of time-delay systems and its application to active vibration control (WX, KL), pp. 878–882.
- DATE-2014-AlordaCB #embedded #power management #reliability
- Word-line power supply selector for stability improvement of embedded SRAMs in high reliability applications (BA, CC, SAB), pp. 1–6.
- DATE-2014-AminifarBEP #co-evolution #design
- Bandwidth-efficient controller-server co-design with stability guarantees (AA, EB, PE, ZP), pp. 1–6.
- SCAM-2014-RahmanR #empirical
- A Change-Type Based Empirical Study on the Stability of Cloned Code (MSR, CKR), pp. 31–40.
- ICALP-v2-2014-KieferW #automaton #complexity #probability
- Stability and Complexity of Minimising Probabilistic Automata (SK, BW), pp. 268–279.
- CHI-2014-LauberB
- In-your-face, yet unseen?: improving head-stabilized warnings to reduce reaction time (FL, AB), pp. 3201–3204.
- ICML-c2-2014-Kontorovich #algorithm #bound #metric
- Concentration in unbounded metric spaces and algorithmic stability (AK), pp. 28–36.
- ICPR-2014-HuynhCM #3d #constraints #geometry #using #video
- Aerial Implicit 3D Video Stabilization Using Epipolar Geometry Constraint (LH, JC, GGM), pp. 3487–3492.
- KDD-2014-HeK
- Stability of influence maximization (XH, DK), pp. 1256–1265.
- KR-2014-Halpern #modelling
- Appropriate Causal Models and Stability of Causation (JYH).
- LOPSTR-2014-TahatE #hybrid #protocol #self #synthesis #verification
- A Hybrid Method for the Verification and Synthesis of Parameterized Self-Stabilizing Protocols (AT, AE), pp. 201–218.
- ICDAR-2013-SchambachR #learning #network #sequence
- Stabilize Sequence Learning with Recurrent Neural Networks by Forced Alignment (MPS, SFR), pp. 1270–1274.
- ICSM-2013-McDonnellRK #android #api #ecosystem #empirical
- An Empirical Study of API Stability and Adoption in the Android Ecosystem (TM, BR, MK), pp. 70–79.
- WCRE-2013-AversanoMT #architecture
- Evaluating architecture stability of software projects (LA, MM, MT), pp. 417–424.
- ICALP-v2-2013-ChristodoulouG #game studies #polynomial
- Price of Stability in Polynomial Congestion Games (GC, MG), pp. 496–507.
- HIMI-LCCB-2013-WuN #interactive #process #recommendation
- Integrating the Anchoring Process with Preference Stability for Interactive Movie Recommendations (ICW, YFN), pp. 639–648.
- ECIR-2013-GuanY
- Increasing Stability of Result Organization for Session Search (DG, HY), pp. 471–482.
- ICML-c1-2013-KumarLVV #bound
- Near-Optimal Bounds for Cross-Validation via Loss Stability (RK, DL, SV, AV), pp. 27–35.
- ICML-c3-2013-KuzborskijO #learning
- Stability and Hypothesis Transfer Learning (IK, FO), pp. 942–950.
- ICML-c3-2013-LondonHTG #predict
- Collective Stability in Structured Prediction: Generalization from One Example (BL, BH, BT, LG), pp. 828–836.
- ICSE-2013-BellomoNO #agile #case study
- A study of enabling factors for rapid fielding: combined practices to balance speed and stability (SB, RLN, IO), pp. 982–991.
- ASPLOS-2013-CurtsingerB #evaluation #named #performance #statistics
- STABILIZER: statistically sound performance evaluation (CC, EDB), pp. 219–228.
- CAV-2013-PrabhakarS #abstraction #hybrid #model checking
- Abstraction Based Model-Checking of Stability of Hybrid Systems (PP, MGS), pp. 280–295.
- ISSTA-2013-ChocklerEY #concurrent #fault
- Finding rare numerical stability errors in concurrent computations (HC, KE, EY), pp. 12–22.
- LICS-2013-BrazdilCFK #markov #performance #process
- Trading Performance for Stability in Markov Decision Processes (TB, KC, VF, AK), pp. 331–340.
- CASE-2012-CaoZF #approach #mobile #search-based
- Point stabilization of mobile robots by genetic sliding mode approach with neural dynamics model on uneven surface (ZC, YZ, YF), pp. 1150–1155.
- CASE-2012-Kim #analysis #fuzzy #robust
- Robust stability analysis of T-S fuzzy systems with interval time-varying delays via a relaxation technique (SHK), pp. 829–832.
- DATE-2012-MakosiejTVA #design #embedded #optimisation #power management
- Stability and yield-oriented ultra-low-power embedded 6T SRAM cell design optimization (AM, OT, AV, AA), pp. 93–98.
- ICSM-2012-RaemaekersDV #analysis #library
- Measuring software library stability through historical version analysis (SR, AvD, JV), pp. 378–387.
- PLDI-2012-EomD #java #self
- Self-stabilizing Java (YHE, BD), pp. 287–298.
- DLT-J-2011-EhrenfeuchtMRB12
- Stability and Chaos in reaction Systems (AE, MGM, GR, ATB), p. 1173–?.
- ICML-2012-WangX #collaboration #matrix
- Stability of matrix factorization for collaborative filtering (YXW, HX), p. 26.
- ICPR-2012-SongZJB #bound #robust #video
- Robust video stabilization based on bounded path planning (CS, HZ, WJ, YB), pp. 3684–3687.
- ICPR-2012-WangCCLP #video
- Video stabilization based on high degree B-spline smoothing (YW, RC, TWC, KL, NTP), pp. 3152–3155.
- KDIR-2012-VolkovichA #clustering
- Model Selection and Stability in Spectral Clustering (ZV, RA), pp. 25–34.
- SEKE-2012-GaoKN #feature model #metric
- Stability of Filter-Based Feature Selection Methods for Imbalanced Software Measurement Data (KG, TMK, AN), pp. 74–79.
- SAC-2012-MondalRRSKS #comparative #empirical
- Comparative stability of cloned and non-cloned code: an empirical study (MM, CKR, MSR, RKS, JK, KAS), pp. 1227–1234.
- CASE-2011-Kanamori #anti
- Global stabilization of anti-windup PID position control for euler-lagrange systems with actuator saturation (MK), pp. 798–803.
- DAC-2011-HochmanBW #empirical #reduction
- A stabilized discrete empirical interpolation method for model reduction of electrical, thermal, and microelectromechanical systems (AH, BNB, JKW), pp. 540–545.
- DAC-2011-MukherjeeFBL #automation #linear #scalability
- Automatic stability checking for large linear analog integrated circuits (PM, GPF, RB, PL), pp. 304–309.
- DATE-2011-AlordaTBS #embedded #optimisation #using
- Stability optimization of embedded 8T SRAMs using Word-Line Voltage modulation (BA, GT, SAB, JS), pp. 986–991.
- ICDAR-2011-TakedaKI #database #documentation #image #memory management #performance #realtime #retrieval
- Real-Time Document Image Retrieval for a 10 Million Pages Database with a Memory Efficient and Stability Improved LLAH (KT, KK, MI), pp. 1054–1058.
- CSMR-2011-GodeH #clone tracking
- Clone Stability (NG, JH), pp. 65–74.
- ICALP-v2-2011-KieferMOWZ #algorithm #on the
- On Stabilization in Herman’s Algorithm (SK, ASM, JO, JW, LZ), pp. 466–477.
- DHM-2011-PaulickDB #embedded #monitoring #named
- StabilitySole: Embedded Sensor Insole for Balance and Gait Monitoring (PP, HD, MB), pp. 171–177.
- HCI-ITE-2011-AkahaneHYS #development
- Development of a High Definition Haptic Rendering for Stability and Fidelity (KA, TH, TY, MS), pp. 3–12.
- IDGD-2011-ZhangFZ #feedback #visual notation
- Effects of Different Visual Feedback Forms on Eye Cursor’s Stabilities (XZ, WF, HZ), pp. 273–282.
- ICEIS-v2-2011-JiaWLW #higher-order #research
- The Research on Stability of Supply Chain under High Order Delay (SJ, LW, CL, QW), pp. 361–367.
- KDIR-2011-MartelotH #algorithm #community #detection #multi #optimisation #using
- Multi-scale Community Detection using Stability as Optimisation Criterion in a Greedy Algorithm (ELM, CH), pp. 216–225.
- SAC-2011-KeikhaGC #retrieval
- Relevance stability in blog retrieval (MK, SG, FC), pp. 1119–1123.
- PLEASE-2011-GurgelDG #case study #integration #on-demand #product line #reuse
- On-demand integration of product lines: a study of reuse and stability (ACG, FD, AFG), pp. 35–39.
- CAV-2011-AlglaveM #memory management #modelling
- Stability in Weak Memory Models (JA, LM), pp. 50–66.
- VMCAI-2011-CookFKP #biology #proving
- Proving Stabilization of Biological Systems (BC, JF, EK, NP), pp. 134–149.
- CASE-2010-CaiM #analysis #approach #hybrid #industrial #process
- Dwell-time approach to stability analysis for hybrid control systems: Application to an industrial refrigeration process (CC, SM), pp. 728–733.
- CASE-2010-GuoZW #analysis
- Directed motion of an atomic scale engine and stability analysis (YG, WZ, ZW), pp. 545–550.
- DAC-2010-ZhangLH #analysis
- Separatrices in high-dimensional state space: system-theoretical tangent computation and application to SRAM dynamic stability analysis (YZ, PL, GMH), pp. 567–572.
- DATE-2010-AlordaTBS #power management
- Static and dynamic stability improvement strategies for 6T CMOS low-power SRAMs (BA, GT, SAB, JS), pp. 429–434.
- DATE-2010-VadlamaniZBT #adaptation #composition #fault #manycore #using
- Multicore soft error rate stabilization using adaptive dual modular redundancy (RV, JZ, WPB, RT), pp. 27–32.
- DATE-2010-WieckowskiSBCIPA #analysis #black box
- A black box method for stability analysis of arbitrary SRAM cell structures (MW, DS, DB, VC, SI, CP, RCA), pp. 795–800.
- VLDB-2010-AbhiramaBDSH #cost analysis #on the
- On the Stability of Plan Costs and the Costs of Plan Stability (MA, SB, AD, HS, JRH), pp. 1137–1148.
- CIKM-2010-WuIPR #approach #detection #wiki
- Elusive vandalism detection in wikipedia: a text stability-based approach (QW, DI, CP, LR), pp. 1797–1800.
- ICPR-2010-BellaviaTT
- Improving SIFT-based Descriptors Stability to Rotations (FB, DT, ET), pp. 3460–3463.
- ICPR-2010-KayaCC #design #using
- Designing a Pattern Stabilization Method Using Scleral Blood Vessels for Laser Eye Surgery (AK, ABC, HBC), pp. 698–701.
- ICPR-2010-KimYOC #optimisation #using #video
- Recovery Video Stabilization Using MRF-MAP Optimization (SWK, KMY, SO, JYC), pp. 2804–2807.
- ICPR-2010-PanMSHN #adaptation #estimation #using #video
- A Dual Pass Video Stabilization System Using Iterative Motion Estimation and Adaptive Motion Smoothing (PP, AM, JS, YH, SN), pp. 2298–2301.
- RecSys-2010-AdomaviciusZ #algorithm #on the #recommendation
- On the stability of recommendation algorithms (GA, JZ), pp. 47–54.
- ISSTA-2010-TangBLS #analysis #float #statistics
- Perturbing numerical calculations for statistical analysis of floating-point program (in)stability (ET, ETB, XL, ZS), pp. 131–142.
- WICSA-ECSA-2009-SethiCWGS #architecture #composition
- From retrospect to prospect: Assessing modularity and stability from software architecture (KS, YC, SW, AG, CS), pp. 269–272.
- CASE-2009-BijulalVH #metric #simulation
- Stability considerations and service level measures in production — inventory systems: a simulation study (DB, JV, NH), pp. 489–494.
- CASE-2009-BukkapatnamMKSK #monitoring #realtime #using
- Real-time monitoring of container stability loss using wireless vibration sensor tags (STSB, SM, JK, VS, RK), pp. 221–226.
- CASE-2009-RamakrishnanR #analysis #linear
- Delay-dependent stability analysis of linear system with additive time-varying delays (KR, GR), pp. 122–126.
- DATE-2009-NeyDGPVBG #fault
- A new design-for-test technique for SRAM core-cell stability faults (AN, LD, PG, SP, AV, MB, VG), pp. 1344–1348.
- DATE-2009-YanHL #detection #fault #online
- A unified online Fault Detection scheme via checking of Stability Violation (GY, YH, XL), pp. 496–501.
- CSMR-2009-NunesKSNGL #implementation #multi #product line
- Comparing Stability of Implementation Techniques for Multi-agent System Product Lines (CN, UK, CS, IN, AFG, CJPdL), pp. 229–232.
- ICPC-2009-FigueiredoSSGWN #analysis #design
- Crosscutting patterns and design stability: An exploratory analysis (EF, BCdS, CS, AFG, JW, DJN), pp. 138–147.
- ICML-2009-NowozinJ #clustering #graph #learning #linear #programming
- Solution stability in linear programming relaxations: graph partitioning and unsupervised learning (SN, SJ), pp. 769–776.
- KDD-2009-BekkermanSV #clustering #combinator
- Improving clustering stability with combinatorial MRFs (RB, MS, KV), pp. 99–108.
- ICSE-2009-MenziesWBH #how #probability #process #using
- How to avoid drastic software process change (using stochastic stability) (TM, SW, BWB, JH), pp. 540–550.
- ICLP-2009-DungHT #information management #multi #query
- Stabilization of Information Sharing for Queries Answering in Multiagent Systems (PMD, DDH, PMT), pp. 84–98.
- VMCAI-2009-AmjadB #analysis #automation #proving #towards
- Towards Automatic Stability Analysis for Rely-Guarantee Proofs (HA, RB), pp. 14–28.
- WICSA-2008-MolesiniGCB #analysis #architecture #on the
- On the Quantitative Analysis of Architecture Stability in Aspectual Decompositions (AM, AFG, CvFGC, TVB), pp. 29–38.
- VLDB-2008-ZiauddinDSZY #performance
- Optimizer plan change management: improved stability and performance in Oracle 11g (MZ, DD, HS, YZ, KY), pp. 1346–1355.
- CHI-2008-ZhangRZ
- Improving eye cursor’s stability for eye pointing tasks (XZ, XR, HZ), pp. 525–534.
- ICML-2008-CortesMPR #algorithm
- Stability of transductive regression algorithms (CC, MM, DP, AR), pp. 176–183.
- ICML-2008-LanLQML #learning #rank
- Query-level stability and generalization in learning to rank (YL, TYL, TQ, ZM, HL), pp. 512–519.
- ICPR-2008-Abdel-HakimF #detection #novel #quantifier
- A novel stability quantification of detected interest points in scale-space (AEAH, AAF), pp. 1–4.
- ICPR-2008-BattiatoPB #video
- Regular texture removal for video stabilization (SB, GP, AB), pp. 1–4.
- ICPR-2008-Chen #metric #pattern matching #pattern recognition #performance #recognition
- Stability as performance metric for subjective pattern recognition — application of Electoral College in face recognition (LC), pp. 1–5.
- ICPR-2008-LeeWCYL #approach #video
- Extended Kalman filtering approach to stereo video stabilization (KKL, KhW, MMYC, YKY, MKL), pp. 1–4.
- ICPR-2008-SahaB #clustering #multi #symmetry #using
- A new multiobjective simulated annealing based clustering technique using stability and symmetry (SS, SB), pp. 1–4.
- ICSE-2008-FigueiredoC #aspect-oriented #design #empirical #evolution #product line
- Evolving software product lines with aspects: an empirical study on design stability (EF, NC, CS, MM, UK, AG, SS, FCF, SSK, FCF, FD), pp. 261–270.
- ICST-2008-RogozP #testing
- The Role of Stability Testing in Heterogeneous Application Environment (KR, TP), pp. 432–439.
- CASE-2007-BogdanKFD #analysis #design #fuzzy
- Fuzzy Arithmetic-based Stability Analysis and Design of Fuzzy Controller (SB, ZK, IF, ID), pp. 968–973.
- FoSSaCS-2007-Riba #on the
- On the Stability by Union of Reducibility Candidates (CR), pp. 317–331.
- ICSM-2007-VasaSN
- The Inevitable Stability of Software Change (RV, JGS, ON), pp. 4–13.
- SCAM-2007-RodenVEM #agile #empirical #metric #modelling #process #quality #using
- An Empirical Study of the Relationship of Stability Metrics and the QMOOD Quality Models Over Software Developed Using Highly Iterative or Agile Software Processes (PLR, SV, LHE, SLM), pp. 171–179.
- STOC-2007-AndrewsJS #network #protocol #scheduling
- Stability of the max-weight routing and scheduling protocol in dynamic networks and at critical loads (MA, KJ, ALS), pp. 145–154.
- ICEIS-AIDSS-2007-ChanL #nondeterminism #rule-based
- Rule Based Stability Criteria for Coalition Formation Under Uncertainty (CKC, HfL), pp. 171–177.
- SIGIR-2007-LinZ #evaluation #reliability
- Deconstructing nuggets: the stability and reliability of complex question answering evaluation (JJL, PZ), pp. 327–334.
- ECOOP-2007-GreenwoodBFDGCSSBKR #design #empirical #on the
- On the Impact of Aspectual Decompositions on Design Stability: An Empirical Study (PG, TTB, EF, MD, AFG, NC, CS, SS, PB, UK, AR), pp. 176–200.
- CASE-2006-ChengSOYII #performance #scheduling
- A fast rescheduling method in semiconductor manufacturing allowing for tardiness and scheduling stability (MC, MS, JO, MY, HI, KI), pp. 100–105.
- DAC-2006-AgarwalN #analysis #statistics
- Statistical analysis of SRAM cell stability (KA, SRN), pp. 57–62.
- DATE-2006-VandersteenBDR
- Systematic stability-analysis method for analog circuits (GV, SB, PD, YR), pp. 150–155.
- CSMR-2006-TonuAT #approach #architecture #using
- Evaluating Architectural Stability Using a Metric-Based Approach (SAT, AA, LT), pp. 261–270.
- ICALP-v1-2006-FiatKLOS #design #network #on the
- On the Price of Stability for Designing Undirected Networks with Fair Cost Allocations (AF, HK, ML, SO, RS), pp. 608–618.
- ICFP-2006-ZiarekSJ #abstraction #composition #concurrent #functional #named #source code
- Stabilizers: a modular checkpointing abstraction for concurrent functional programs (LZ, PS, SJ), pp. 136–147.
- ICEIS-ISAS-2006-Rotaru #architecture #evaluation #evolution
- Molding Architecture and Integrity Mechanisms Evolution — An Architectural Stability Evaluation Model for Software Systems (OPR), pp. 426–431.
- ICPR-v1-2006-AdachiKO #estimation #fault #reliability
- Reliability index of optical flow that considers error margin of matches and stabilizes camera movement estimation (EA, TK, NO), pp. 699–702.
- ICPR-v2-2006-SadriSB #clustering #recognition
- A New Clustering Method for Improving Plasticity and Stability in Handwritten Character Recognition Systems (JS, CYS, TDB), pp. 1130–1133.
- ICPR-v4-2006-KropotovPVV #kernel #on the #principle #using
- On Kernel Selection in Relevance Vector Machines Using Stability Principle (DK, NP, OV, DV), pp. 233–236.
- CASE-2005-FigueiredoJ #using
- Nonholonomic systems stabilization and tracking control using discontinuous control (LCF, FGJ), pp. 142–147.
- DATE-2005-MilevB #analysis
- A Tool and Methodology for AC-Stability Analysis of Continuous-Time Closed-Loop Systems (MM, RB), pp. 204–208.
- ICALP-2005-DonatoLT #algorithm #analysis #ranking #similarity
- Stability and Similarity of Link Analysis Ranking Algorithms (DD, SL, PT), pp. 717–729.
- SAC-2005-ReddyC #bound #using
- Finding saddle points using stability boundaries (CKR, HDC), pp. 212–213.
- ICSM-2004-BahsoonE #architecture
- Evaluating Architectural Stability with Real Options Theory (RB, WE), pp. 443–447.
- ICEIS-v2-2004-Turowska #analysis #nondeterminism
- Application of Uncertain Variables to Stability Analysis and Stabilization for ATM ABR Congestion Control Systems (MT), pp. 523–526.
- ICPR-v4-2004-Zheng
- Stabilizing Route Panoramas (JYZ), pp. 348–351.
- ICSE-2004-MohagheghiCKS #empirical #reuse
- An Empirical Study of Software Reuse vs. Defect-Density and Stability (PM, RC, OMK, HS), pp. 282–292.
- CSMR-2003-ElishR #design #logic #metric #object-oriented
- Investigation of Metrics for Object-Oriented Design Logical Stability (MOE, DCR), pp. 193–200.
- ICEIS-v3-2003-CechichP #assessment #component #integration
- Defining Stability for Component Integration Assessment (AC, MP), pp. 251–256.
- RE-2003-BushF #assessment #requirements #using
- Requirements Stability Assessment Using Scenarios (DB, AF), pp. 23–32.
- SAC-2003-LomonosovSP #game studies #trade-off
- Stability vs. Optimality Tradeoff in Game Theoretic Mechanisms for QoS Provision (AL, MS, KP), pp. 28–32.
- SAC-2003-MaI #using
- Long Time Step Molecular Dynamics using Targeted Langevin Stabilization (QM, JAI), pp. 178–182.
- ASE-2002-GrosserSV #predict #reasoning #using
- Predicting Software Stability Using Case-Based Reasoning (DG, HAS, PV), p. 295–?.
- SAS-2002-Martel #static analysis
- Static Analysis of the Numerical Stability of Loops (MM), pp. 133–150.
- STOC-2002-AnshelevichKK #algorithm
- Stability of load balancing algorithms in dynamic adversarial systems (EA, DK, JMK), pp. 399–406.
- AdaEurope-2002-Jazayeri #architecture #evolution #on the
- On Architectural Stability and Evolution (MJ), pp. 13–23.
- ICPR-v2-2002-SumengenMK #evolution #image #segmentation #using
- Image Segmentation Using Curve Evolution and Region Stability (BS, BSM, CSK), pp. 965–968.
- IWPC-2000-TzerposH #algorithm #clustering #on the
- On the Stability of Software Clustering Algorithms (VT, RCH), pp. 211–218.
- ICPR-v2-2000-ClarkO
- A Temporal-Difference Model of Perceptual Stability in Color Vision (JJC, JKO), pp. 2503–2506.
- ICPR-v3-2000-ChoiL #analysis #distance
- Stability Analysis of Medial Axis Transform under Relative Hausdorff Distance (SWC, SWL), pp. 3139–3142.
- SIGIR-2000-BuckleyV #evaluation
- Evaluating evaluation measure stability (CB, EMV), pp. 33–40.
- STOC-1999-Gamarnik #adaptation #network #policy
- Stability of Adaptive and Non-Adaptive Packet Routing Policies in Adversarial Queueing Networks (DG), pp. 206–214.
- CAiSE-1999-Wedemeijer #concept #design #flexibility #maintenance
- Design the Flexibility, Maintain the Stability of Conceptual Schemas (LW), pp. 467–471.
- TOOLS-EUROPE-1999-MattssonB #evolution #framework
- Characterizing Stability in Evolving Frameworks (MM, JB), pp. 118–130.
- STOC-1998-AndrewsZ #network
- Stability Results for Networks with Input and Output Blocking (MA, LZ), pp. 369–377.
- LICS-1998-BaldwinB #embedded #finite #modelling #order
- Embedded Finite Models, Stability Theory and the Impact of Order (JTB, MB), pp. 490–500.
- LICS-1998-Mellies #theorem
- A Stability Theorem in Rewriting Theory (PAM), pp. 287–298.
- TACAS-1997-Prasetya #algorithm #self
- Mechanically Verified Self-Stabilizing Hierarchical Algorithms (ISWBP), pp. 399–415.
- ICPR-1996-BatistaAA #analysis
- Pose view stability analysis for camera look angles computation (JB, HA, ATdA), pp. 171–175.
- ICPR-1996-MorimotoC #image #performance
- Fast electronic digital image stabilization (CM, RC), pp. 284–288.
- ICPR-1996-SkurichinaD #classification
- Stabilizing classifiers for very small sample sizes (MS, RPWD), pp. 891–896.
- ICPR-1996-StockerSVSK #image #network
- Stability study of some neural networks applied to tissue characterization of brain magnetic resonance images (ADS, OS, AV, OS, TK), pp. 472–476.
- ICPR-1996-YaoC #image
- Selective stabilization of images acquired by unmanned ground vehicles (YSY, RC), pp. 289–292.
- SAC-1996-Nanavati #protocol #self
- A simple self-stabilizing reset protocol (AAN), pp. 93–97.
- HT-ECHT-1994-Levy #documentation
- Fixed or Fluid? Document Stability and New Media (DML), pp. 24–31.
- LICS-1994-ColsonE #higher-order #on the
- On Strong Stability and Higher-Order Sequentiality (LC, TE), pp. 103–108.
- STOC-1993-AwerbuchKMPV #self
- Time optimal self-stabilizing synchronization (BA, SK, YM, BPS, GV), pp. 652–661.
- DAC-1992-AnastasakisGKP #approximate #evaluation #on the
- On the Stability of Moment-Matching Approximations in Asymptotic Waveform Evaluation (DFA, NG, SYK, LTP), pp. 207–212.
- STOC-1992-MayerOOY #self #symmetry
- Self-Stabilizing Symmetry Breaking in Constant-Space (Extended Abstract) (AJM, YO, RO, MY), pp. 667–678.
- LICS-1991-BucciarelliE
- Sequentiality and Strong Stability (AB, TE), pp. 138–145.
- ICALP-1990-PanangadenSS #data flow #network
- Stability and Sequentiality in Dataflow Networks (PP, VS, EWS), pp. 308–321.
- CHI-1990-BohringerP #algorithm #automation #constraints #graph #layout #using
- Using constraints to achieve stability in automatic graph layout algorithms (KFB, FNP), pp. 43–51.
- ML-1990-Hammond #learning #process
- Learning and Enforcement: Stabilizing Environments to Facilitate Activity (KJH), pp. 204–210.
- CSL-1990-Jaspars #information management
- A Generalization of Stability and its Application to Circumscription of Positive Introspective Knowledge (JJ), pp. 289–299.
- ICALP-1986-ShavitF #approach #detection
- A New Approach to Detection of Locally Indicative Stability (NS, NF), pp. 344–358.
- STOC-1985-GoodmanGMM #on the
- On the Stability of the Ethernet (JG, AGG, NM, PM), pp. 379–387.
- SIGIR-1982-RaghavanI #case study #clustering #comparative
- Techniques for Measuring the Stability of Clustering: A Comparative Study (VVR, MYLI), pp. 209–237.
- ICSE-1982-Mili
- A Closer Look at Iteration: The Self Stabilizing Capability of Loops (AM), pp. 48–57.
- STOC-1974-Miller #complexity
- Computational Complexity and Numerical Stability (WM), pp. 317–322.