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:
model (47)
semant (22)
program (19)
logic (18)
comput (14)

Stem stabl$ (all stems)

143 papers:

ICLPICLP-2015-LeeMW #logic #markov #semantics
Markov Logic Style Weighted Rules under the Stable Model Semantics (JL, YM, YW).
ISSTAISSTA-2015-DhokMR #automation #named #parallel #thread
Pegasus: automatic barrier inference for stable multithreaded systems (MD, RM, MKR), pp. 153–164.
CHICHI-2014-KihmGKM #interactive #power management #symmetry #using
Using asymmetric cores to reduce power consumption for interactive devices with bi-stable displays (JK, FG, JK, RM), pp. 1059–1062.
ICMLICML-c2-2014-LinK #constraints #learning #performance #representation
Stable and Efficient Representation Learning with Nonnegativity Constraints (THL, HTK), pp. 1323–1331.
ICPRICPR-2014-BuiNLYK #detection #order #statistics #using
Boosted Stable Path for Staff-Line Detection Using Order Statistic Downscaling and Coarse-to-Fine Technique (HNB, ISN, GL, HJY, SHK), pp. 522–526.
ICPRICPR-2014-GaoRKL #documentation
Embedding Document Structure to Bag-of-Words through Pair-wise Stable Key-Regions (HG, MR, DK, JL), pp. 2903–2908.
ICPRICPR-2014-TianLST #multi #segmentation
Scene Text Segmentation with Multi-level Maximally Stable Extremal Regions (ST, SL, BS, CLT), pp. 2703–2708.
ICPRICPR-2014-ZhuY #image #optimisation #quality
A Bit Allocation Optimization Method for ROI Based Image Compression with Stable Image Quality (YZ, JY), pp. 849–854.
KDDKDD-2014-PrabhuV #classification #learning #multi #named #performance
FastXML: a fast, accurate and stable tree-classifier for extreme multi-label learning (YP, MV), pp. 263–272.
KRKR-2014-BartholomewL #modelling #multi
Stable Models of Multi-Valued Formulas: Partial versus Total Functions (MB, JL).
KRKR-2014-GottlobHKL #logic #semantics
Stable Model Semantics for Guarded Existential Rules and Description Logics (GG, AH, CK, TL).
CASECASE-2013-VallamSNNN #locality #network
Topologies of stable strategic networks with localized payoffs (RDV, CAS, YN, RN, SN), pp. 844–849.
DACDAC-2013-RaiSST #algorithm #analysis #distributed #network #process
Distributed stable states for process networks: algorithm, analysis, and experiments on intel SCC (DR, LS, NS, LT), p. 10.
ICALPICALP-v2-2013-HoeferW #strict
Locally Stable Marriage with Strict Preferences (MH, LW), pp. 620–631.
HCIDUXU-CXC-2013-BlondonK #design #mobile
Designing Supportive Mobile Technology for Stable Diabetes (KSB, PVK), pp. 361–370.
HCIHCI-IMT-2013-MurataHO #estimation #interface
Proposal of Estimation Method of Stable Fixation Points for Eye-gaze Input Interface (AM, TH, KO), pp. 330–339.
ICMLICML-c3-2013-RamanJSS #learning
Stable Coactive Learning via Perturbation (KR, TJ, PS, TS), pp. 837–845.
SOSPSOSP-2013-CuiSLLBXYGB #named #reliability #runtime #thread
Parrot: a practical runtime for deterministic, stable, and reliable threads (HC, JS, YHL, HL, BB, XX, JY, GAG, REB), pp. 388–405.
ICLPICLP-J-2013-AzizCS #bound #semantics
Stable model semantics for founded bounds (RAA, GC, PJS), pp. 517–532.
ICLPICLP-J-2013-BartholomewL #on the #semantics
On the stable model semantics for intensional functions (MB, JL), pp. 863–876.
ICLPICLP-J-2013-LifschitzY #modelling
Lloyd-Topor completion and general stable models (VL, FY), pp. 503–515.
FASEFASE-2012-EckhardtMAMW
Stable Availability under Denial of Service Attacks through Formal Patterns (JE, TM, MA, JM, MW), pp. 78–93.
LATALATA-2012-SaloT #automaton #finite #on the #product line #set
On Stable and Unstable Limit Sets of Finite Families of Cellular Automata (VS, IT), pp. 502–513.
ICPRICPR-2012-AlbarelliBRVT #graph #higher-order #recognition #representation
A stable graph-based representation for object recognition through high-order matching (AA, FB, LR, SV, AT), pp. 3341–3344.
ICPRICPR-2012-KhanT #learning #taxonomy
Stable discriminative dictionary learning via discriminative deviation (NK, MFT), pp. 3224–3227.
KRKR-2012-BartholomewL #modelling
Stable Models of Formulas with Intensional Functions (MB, JL).
KRKR-2012-DuboisPS #logic #modelling
Stable Models in Generalized Possibilistic Logic (DD, HP, SS).
SPLCSPLC-2012-TischerBMTAS #architecture #product line
Developing long-term stable product line architectures (CT, BB, AM, AT, RA, KS), pp. 86–95.
ICLPICLP-2012-LeeM #modelling #quantifier
Stable Models of Formulas with Generalized Quantifiers (Preliminary Report) (JL, YM), pp. 61–71.
ICLPICLP-J-2012-BabbL #modelling #theorem
Module theorem for the general theory of stable models (JB, JL), pp. 719–735.
ICLPICLP-J-2012-LifschitzPY #modelling #null #relational
Relational theories with null values and non-herbrand stable models (VL, KP, FY), pp. 565–582.
DATEDATE-2011-PavlenkoWSKDSG #algebra #named #problem #reasoning #smt #verification
STABLE: A new QF-BV SMT solver for hard verification problems combining Boolean reasoning with computer algebra (EP, MW, DS, WK, AD, FS, GMG), pp. 155–160.
ICDARICDAR-2011-YangW #segmentation #visual notation
Segmentation of Graphical Objects as Maximally Stable Salient Regions (SY, YW), pp. 187–191.
ICALPICALP-v1-2011-ChengMS #graph
Center Stable Matchings and Centers of Cover Graphs of Distributive Lattices (CTC, EM, IS), pp. 678–689.
ICALPICALP-v1-2011-HuangK #problem
Popular Matchings in the Stable Marriage Problem (CCH, TK), pp. 666–677.
CSLCSL-2011-LeCY #complexity #formal method #problem
A Formal Theory for the Complexity Class Associated with the Stable Marriage Problem (DTML, SAC, YY), pp. 381–395.
CIKMCIKM-2010-LiXCH #named #optimisation #performance
StableBuffer: optimizing write performance for DBMS applications on flash devices (YL, JX, BC, HH), pp. 339–348.
ICPRICPR-2010-AroraS #algorithm #learning #performance
An Efficient and Stable Algorithm for Learning Rotations (RA, WAS), pp. 2993–2996.
ICPRICPR-2010-DonoserRB10a
Shape Guided Maximally Stable Extremal Region (MSER) Tracking (MD, HR, HB), pp. 1800–1803.
ICPRICPR-2010-GuneyA
Maximally Stable Texture Regions (MG, NA), pp. 4549–4552.
KRKR-2010-BartholomewL #decidability #modelling
A Decidable Class of Groundable Formulas in the General Theory of Stable Models (MB, JL).
SACSAC-2010-ConceicaoPC #clustering #novel
A novel stable and low-maintenance clustering scheme (LC, DP, MC), pp. 699–705.
OSDIOSDI-2010-CuiWTY #multi #thread
Stable Deterministic Multithreading through Schedule Memoization (HC, JW, CcT, JY), pp. 207–221.
ICLPICLP-2010-Janhunen10 #constraints #revisited #semantics #source code
Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited (TJ), pp. 94–103.
DACDAC-2009-DongL #integration #performance #simulation
Parallelizable stable explicit numerical integration for efficient circuit simulation (WD, PL), pp. 382–385.
CSMRCSMR-2009-KpodjedoRGA #algorithm #evolution #question #using
Recovering the Evolution Stable Part Using an ECGM Algorithm: Is There a Tunnel in Mozilla? (SK, FR, PG, GA), pp. 179–188.
ICALPICALP-v1-2009-McDermid #algorithm #approximate
A 3/2-Approximation Algorithm for General Stable Marriage (EM), pp. 689–700.
ICMLICML-2009-ChoS #analysis #learning #modelling
Learning dictionaries of stable autoregressive models for audio scene analysis (YC, LKS), pp. 169–176.
KDDKDD-2009-LoscalzoYD #feature model
Consensus group stable feature selection (SL, LY, CHQD), pp. 567–576.
CASECASE-2008-Kim #clustering #constraints
Stable schedule for a single-armed cluster tool with time constraints (JHK), pp. 97–102.
SCAMSCAM-2008-Krinke #question
Is Cloned Code More Stable than Non-cloned Code? (JK), pp. 57–66.
ICPRICPR-2008-TsukamotoMW #estimation
Tracking a firefly — a stable likelihood estimation for variable appearance object tracking (YT, YM, TW), pp. 1–4.
KDDKDD-2008-YuDL #feature model
Stable feature selection via dense feature groups (LY, CHQD, SL), pp. 803–811.
ICLPICLP-2008-BuccafurriCL #logic #reasoning #semantics #social
A Logic Language with Stable Model Semantics for Social Reasoning (FB, GC, RL), pp. 718–723.
ICLPICLP-2008-LeeLP #modelling
Safe Formulas in the General Theory of Stable Models (Preliminary Report) (JL, VL, RP), pp. 672–676.
ICLPICLP-2008-Lifschitz
Twelve Definitions of a Stable Model (VL), pp. 37–51.
ICLPICLP-2008-Pearce #modelling
Sixty Years of Stable Models (DP), p. 52.
VLDBVLDB-2007-BansalCKT #clustering
Seeking Stable Clusters in the Blogosphere (NB, FC, NK, FWT), pp. 806–817.
KDDKDD-2007-Li #random #reduction
Very sparse stable random projections for dimension reduction in lalpha (0 &lt;alpha<=2) norm (PL0), pp. 440–449.
RTARTA-2007-TourE
Determining Unify-Stable Presentations (TBdlT, ME), pp. 63–77.
CASECASE-2006-RenZMP #mobile
Stable Motion Planning for Dynamic Nonholonomic Mobile Robots (JR, HZ, KAM, RVP), pp. 200–205.
SIGMODSIGMOD-2006-DengR #approximate #detection #streaming #using
Approximately detecting duplicates for streaming data using stable bloom filters (FD, DR), pp. 25–36.
ICEISICEIS-AIDSS-2006-HuynhGB #clustering #metric
Discovering the Stable Clusters between Interestingness Measures (HXH, FG, HB), pp. 196–201.
ICPRICPR-v1-2006-DonoserB #3d #segmentation
3D Segmentation by Maximally Stable Volumes (MSVs) (MD, HB), pp. 63–66.
ICLPICLP-2006-CabalarOPV #equilibrium #logic #semantics #using
Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic (PC, SPO, DP, AV), pp. 346–360.
ICLPICLP-2006-WittocxVMDB #semantics
Predicate Introduction Under Stable and Well-Founded Semantics (JW, JV, MM, MD, MB), pp. 242–256.
ICDARICDAR-2005-ChuZZT #approach #documentation #image #performance
A Fast and Stable Approach for Restoration of Warped Document Images (KBC, LZ, YZ, CLT), pp. 384–388.
IFMIFM-2005-WeiH #csp
Embedding the Stable Failures Model of CSP in PVS (KW, JH), pp. 246–265.
SEKESEKE-2005-HamzaF #reuse
Stable Atomic Knowledge Pattern (SAK) — Enabling Inter-Domain Knowledge Reuse (HSH, MEF), pp. 127–132.
SACSAC-2005-LeeWC #clustering #performance
Rearranging data objects for efficient and stable clustering (GL, XW, JC), pp. 519–523.
DACDAC-2004-MeiRCHD #performance #robust
Robust, stable time-domain methods for solving MPDEs of fast/slow systems (TM, JSR, TSC, SAH, DMD), pp. 848–853.
ICEISICEIS-v2-2004-VeskiojaV #problem
Majority Voting in Stable Marriage Problem with Couples (TV, LV), pp. 442–447.
ICPRICPR-v1-2004-DmitryD #algorithm #classification #effectiveness
Data Dependent Classifier Fusion for Construction of Stable Effective Algorithms (DV, DK), pp. 144–147.
ICPRICPR-v4-2004-BoubchirFB #approximate #using
Bayesian Denoising in the Wavelet-Domain Using an Analytical Approximate a-Stable Prior (LB, MJF, DB), pp. 889–892.
KRKR-2004-EiterFTW #logic programming #on the
On Eliminating Disjunctions in Stable Logic Programming (TE, MF, HT, SW), pp. 447–458.
ICALPICALP-2003-BansalAM #multi #performance
Stable Marriages with Multiple Partners: Efficient Search for an Optimal Solution (VB, AA, VSM), pp. 527–542.
ICLPICLP-2003-EiterF #equivalence #logic programming #semantics #source code
Uniform Equivalence of Logic Programs under the Stable Model Semantics (TE, MF), pp. 224–238.
ICLPICLP-2003-LoncT #modelling #set
Computing Minimal Models, Stable Models, and Answer Sets (ZL, MT), pp. 209–223.
RTARTA-2003-KhasidashviliG #partial order #semantics #term rewriting
Stable Computational Semantics of Conflict-Free Rewrite Systems (Partial Orders with Duplication) (ZK, JRWG), pp. 467–482.
CADECADE-2002-Goldberg #satisfiability #testing
Testing Satisfiability of CNF Formulas by Computing a Stable Set of Points (EG), pp. 161–180.
ICLPICLP-2002-Bonatti #infinity #modelling #reasoning #source code
Reasoning with Infinite Stable Models II: Disjunctive Programs (PAB), pp. 333–346.
ICLPICLP-2002-LoncT #modelling #performance #worst-case
Computing Stable Models: Worst-Case Performance Estimates (ZL, MT), pp. 347–362.
SATSAT-2002-GentP #encoding #problem #satisfiability
SAT encodings of the stable marriage problem with ties and incomplete lists (IG, PP), p. 19.
SATSAT-2002-Goldberg #satisfiability #testing
Testing satisfiability of CNF formulas by computing a stable set of points (EG), p. 12.
AdaEuropeAdaEurope-2001-CaronKS #object-oriented
Object-Oriented Stable Storage Based on Mirroring (XC, JK, AS), pp. 278–289.
AdaEuropeAdaEurope-2001-KallbergS #architecture #evolution
Ship System 2000, a Stable Architecture under Continuous Evolution (BK, RS), pp. 371–379.
AdaSIGAda-2001-KallbergS #architecture #evolution
Ship system 2000, a stable architecture under continuous evolution (BK, RS), pp. 47–52.
SIGIRSIGIR-2001-ZhengNJ #algorithm #analysis
Stable Algorithms for Link Analysis (AXZ, AYN, MIJ), pp. 258–266.
SACSAC-2001-BurgeBG #mobile #ubiquitous
A ubiquitous stable storage for mobile computing devices (LLBI, SB, MG), pp. 401–404.
ICLPICLP-2001-DeneckerPB #logic programming #semantics #source code
Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates (MD, NP, MB), pp. 212–226.
ICLPICLP-2001-KumarRS #equation #fixpoint #modelling
Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models (KNK, CRR, SAS), pp. 227–241.
FoSSaCSFoSSaCS-2000-HussonM #on the
On Recognizable Stable Trace Languages (JFH, RM), pp. 177–191.
KRKR-2000-JanhunenNSY #semantics
Unfolding Partiality and Disjunctions in Stable Model Semantics (TJ, IN, PS, JHY), pp. 411–422.
TACASTACAS-1999-Heljanko #concurrent #logic programming #petri net #problem #reachability #semantics #source code #using
Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri Nets (KH), pp. 240–254.
ICALPICALP-1999-IwamaMMM
Stable Marriage with Incomplete Lists and Ties (KI, DM, SM, YM), pp. 443–452.
IFLIFL-1999-JonesME #haskell #pointer
Stretching the Storage Manager: Weak Pointers and Stable Names in Haskell (SLPJ, SM, CE), pp. 37–58.
ICLPICLP-1999-Truszczynski #modelling #scalability
Computing Large and Small Stable Models (MT), pp. 169–183.
ICPRICPR-1998-TombreADHM #off the shelf #recognition #robust
Stable, robust and off-the-shelf methods for graphics recognition (KT, CAS, PD, AH, GM), pp. 406–408.
ICDARICDAR-1997-LiOHG #component #graph #relational
Recognizing components of handwritten characters by attributed relational graphs with stable features (XL, WGO, JH, WG), pp. 616–620.
ICALPICALP-1997-BuccafurriGS #power of #semantics
The Expressive Power of Unique Total Stable Model Semantics (FB, SG, DS), pp. 849–859.
POPLPOPL-1997-Middeldorp #call-by
Call by Need Computations to Root-Stable Form (AM), pp. 94–105.
CAVCAV-1997-CeceF #effectiveness #source code
Programs with Quasi-Stable Channels are Effectively Recognizable (Extended Abstract) (GC, AF), pp. 304–315.
ICLPICLP-1997-ShimajiriSI #modelling
Incorporating a Pruning Strategy into the Computation of Stable Models based on MGTP (YS, HS, HI), pp. 376–390.
ICLPILPS-1997-SeipelMR #database #modelling
A Characterization of the Partial Stable Models For Disjunctive Databases (DS, JM, CR), pp. 245–259.
DACDAC-1996-KernsY #analysis #congruence #multi #network #performance #reduction #scalability
Stable and Efficient Reduction of Large, Multiport RC Networks by Pole Analysis via Congruence Transformations (KJK, ATY), pp. 280–285.
ICPRICPR-1996-MokademDG #distance #invariant
A shape distance by complete and stable invariant descriptors for contour tracking (AM, MD, FG), pp. 105–109.
ICPRICPR-1996-NishimuraT #approach #symmetry
Active shape inferring based on the symmetry in stable poses-shape from function approach (KN, HTT), pp. 136–140.
KRKR-1996-Tennenholtz #equilibrium #on the #social
On Stable Social Laws and Qualitative Equilibrium for Risk-Averse Agents (MT), pp. 553–561.
ICLPJICSLP-1996-CholewinskiT #logic programming #problem
Extremal Problems in Logic Programming and Stable Model Computation (PC, MT), pp. 408–422.
ICLPJICSLP-1996-CostantiniLM #semantics
Asserting Lemmas in the Stable Model Semantics (SC, GAL, GM), pp. 438–452.
ICLPJICSLP-1996-NiemelaS #implementation #performance #semantics
Efficient Implementation of the Well-founded and Stable Model Semantics (IN, PS), pp. 289–303.
ICMLICML-1995-Gordon #approximate #programming
Stable Function Approximation in Dynamic Programming (GJG), pp. 261–268.
ICLPICLP-1995-SubrahmanianZ #modelling
Relating Stable Models and AI Planning Domains (VSS, CZ), pp. 233–247.
ICLPILPS-1995-LeoneS #declarative #fixpoint #modelling
Declarative and Fixpoint Characterizations of Disjunctive Stable Models (NL, FS), pp. 399–413.
DACDAC-1994-BuiM #algorithm #clustering #hybrid #performance #problem #search-based
A Fast and Stable Hybrid Genetic Algorithm for the Ratio-Cut Partitioning Problem on Hypergraphs (TNB, BRM), pp. 664–669.
ICALPICALP-1994-Brauner #logic
A Model of Intuitionistic Affine Logic From Stable Domain Theory (TB), pp. 340–351.
ICLPICLP-1994-Stuber #modelling #program transformation
Computing Stable Models by Program Transformation (JS), pp. 58–73.
ICLPILPS-1994-DekhtyarD #behaviour #database #deduction #on the
On Stable Behaviour of Dynamic Deductive Data Bases (MID, AJD), p. 677.
SIGMODSIGMOD-1993-KolodnerW #garbage collection #incremental #scalability
Atomic Incremental Garbage Collection and Recovery for a Large Stable Heap (EKK, WEW), pp. 177–186.
DLTDLT-1993-KelemenovaV
Productions in Stable OL-Systems (AK, PV), pp. 102–110.
FMFME-1993-Butterfield #fault tolerance #towards
A VDM Study of Fault-Tolerant Stable Storage — Towards a Computer Engineering Mathematics (AB), pp. 216–234.
ICLPILPS-1993-PalopoliZ #modelling
Polynominal Time Computable Stable Models (LP, CZ), p. 645.
ICLPJICSLP-1992-MarekNR #logic programming #modelling
The Stable Models of a Predicate Logic Program (VWM, AN, JBR), pp. 446–460.
ICALPICALP-1991-BucciarelliE
Extensional Embedding of a Strongly Stable Model of PCF (AB, TE), pp. 35–46.
ICALPICALP-1991-KhullerMV #algorithm #online
On-Line Algorithms for Weighted Bipartite Matching and Stable Marriages (SK, SGM, VVV), pp. 728–738.
KRKR-1991-RodiP #using
A Nonmonotonic Assumption-Based TMS Using Stable Bases (WLR, SGP), pp. 485–495.
CSLCSL-1991-Bosli #logic
Stable Logic (BB), pp. 201–212.
ICLPISLP-1991-KakasM #logic programming #source code
Stable Theories for Logic Programs (ACK, PM), pp. 85–100.
ICLPISLP-1991-NgS #semantics
Relating Dempster-Shafer Theory to Stable Semantics (RTN, VSS), pp. 551–565.
PODSPODS-1990-SaccaZ #logic programming #modelling #nondeterminism #source code
Stable Models and Non-Determinism in Logic Programs with Negation (DS, CZ), pp. 205–217.
ICLPCLP-1990-Fages90 #fixpoint #logic programming #semantics #source code
A New Fixpoint Semantics for General Logic Programs Compared with the Well-Founded and the Stable Model Semantics (FF), pp. 441–458.
ICLPCLP-1990-GiordanoM90 #maintenance #modelling
Generalized Stable Models, Truth Maintenance and Conflict Resolution (LG, AM), pp. 427–441.
ICLPCLP-1990-Przymusinski90 #semantics #source code
Extended Stable Semantics for Normal and Disjunctive Programs (TCP), pp. 459–477.
SIGMODSIGMOD-1989-KolodnerLW #garbage collection
Atomic Garbage Collection: Managing a Stable Heap (EKK, BL, WEW), pp. 15–25.
STOCSTOC-1989-Feder #approach #fixpoint #network
A New Fixed Point Approach for Stable Networks and Stable Marriages (TF), pp. 513–522.
ICLPNACLP-1989-MarekT #logic programming #semantics #source code
Stable Semantics for Logic Programs and Default Theories (VWM, MT), pp. 243–256.
ICLPNACLP-1989-PimentelC #maintenance #modelling
A Truth Maintenance System Based on Stable Models (SGP, JLC), pp. 274–290.
PODSPODS-1988-HuangL #multi #set
Stable Set and Multiset Operations in Optimal Time and Space (BCH, MAL), pp. 288–293.
ICLPJICSCP-1988-GelfondL88 #logic programming #semantics
The Stable Model Semantics for Logic Programming (MG, VL), pp. 1070–1080.
STOCSTOC-1985-BakerFG
Stable Prehension with Three Fingers (BSB, SF, EG), pp. 114–120.
ICALPICALP-1978-Berry #modelling #λ-calculus
Stable Models of Typed λ-Calculi (GB), pp. 72–89.
ICALPICALP-1976-BerryC #canonical #equivalence
Program Equivalence and Canonical Forms in Stable Discrete Interpretations (GB, BC), pp. 168–188.
STOCSTOC-1974-Horvath #performance #sorting
Efficient Stable Sorting with Minimal Extra Space (ECH), pp. 194–215.

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.