Stem stabl$ (all stems)

143 papers:

ICLP-2015-LeeMW #logic #markov #semantics

Markov Logic Style Weighted Rules under the Stable Model Semantics (JL, YM, YW).

ISSTA-2015-DhokMR #automation #named #parallel #thread

Pegasus: automatic barrier inference for stable multithreaded systems (MD, RM, MKR), pp. 153–164.

CHI-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.

ICML-c2-2014-LinK #constraints #learning #performance #representation

Stable and Efficient Representation Learning with Nonnegativity Constraints (THL, HTK), pp. 1323–1331.

ICPR-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.

ICPR-2014-GaoRKL #documentation

Embedding Document Structure to Bag-of-Words through Pair-wise Stable Key-Regions (HG, MR, DK, JL), pp. 2903–2908.

ICPR-2014-TianLST #multi #segmentation

Scene Text Segmentation with Multi-level Maximally Stable Extremal Regions (ST, SL, BS, CLT), pp. 2703–2708.

ICPR-2014-ZhuY #image #optimisation #quality

A Bit Allocation Optimization Method for ROI Based Image Compression with Stable Image Quality (YZ, JY), pp. 849–854.

KDD-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.

KR-2014-BartholomewL #modelling #multi

Stable Models of Multi-Valued Formulas: Partial versus Total Functions (MB, JL).

KR-2014-GottlobHKL #logic #semantics

Stable Model Semantics for Guarded Existential Rules and Description Logics (GG, AH, CK, TL).

CASE-2013-VallamSNNN #locality #network

Topologies of stable strategic networks with localized payoffs (RDV, CAS, YN, RN, SN), pp. 844–849.

DAC-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.

ICALP-v2-2013-HoeferW #strict

Locally Stable Marriage with Strict Preferences (MH, LW), pp. 620–631.

DUXU-CXC-2013-BlondonK #design #mobile

Designing Supportive Mobile Technology for Stable Diabetes (KSB, PVK), pp. 361–370.

HCI-IMT-2013-MurataHO #estimation #interface

Proposal of Estimation Method of Stable Fixation Points for Eye-gaze Input Interface (AM, TH, KO), pp. 330–339.

ICML-c3-2013-RamanJSS #learning

Stable Coactive Learning via Perturbation (KR, TJ, PS, TS), pp. 837–845.

SOSP-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.

ICLP-J-2013-AzizCS #bound #semantics

Stable model semantics for founded bounds (RAA, GC, PJS), pp. 517–532.

ICLP-J-2013-BartholomewL #on the #semantics

On the stable model semantics for intensional functions (MB, JL), pp. 863–876.

ICLP-J-2013-LifschitzY #modelling

Lloyd-Topor completion and general stable models (VL, FY), pp. 503–515.

FASE-2012-EckhardtMAMW

Stable Availability under Denial of Service Attacks through Formal Patterns (JE, TM, MA, JM, MW), pp. 78–93.

LATA-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.

ICPR-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.

ICPR-2012-KhanT #learning #taxonomy

Stable discriminative dictionary learning via discriminative deviation (NK, MFT), pp. 3224–3227.

KR-2012-BartholomewL #modelling

Stable Models of Formulas with Intensional Functions (MB, JL).

KR-2012-DuboisPS #logic #modelling

Stable Models in Generalized Possibilistic Logic (DD, HP, SS).

SPLC-2012-TischerBMTAS #architecture #product line

Developing long-term stable product line architectures (CT, BB, AM, AT, RA, KS), pp. 86–95.

ICLP-2012-LeeM #modelling #quantifier

Stable Models of Formulas with Generalized Quantifiers (Preliminary Report) (JL, YM), pp. 61–71.

ICLP-J-2012-BabbL #modelling #theorem

Module theorem for the general theory of stable models (JB, JL), pp. 719–735.

ICLP-J-2012-LifschitzPY #modelling #null #relational

Relational theories with null values and non-herbrand stable models (VL, KP, FY), pp. 565–582.

DATE-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.

ICDAR-2011-YangW #segmentation #visual notation

Segmentation of Graphical Objects as Maximally Stable Salient Regions (SY, YW), pp. 187–191.

ICALP-v1-2011-ChengMS #graph

Center Stable Matchings and Centers of Cover Graphs of Distributive Lattices (CTC, EM, IS), pp. 678–689.

ICALP-v1-2011-HuangK #problem

Popular Matchings in the Stable Marriage Problem (CCH, TK), pp. 666–677.

CSL-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.

CIKM-2010-LiXCH #named #optimisation #performance

StableBuffer: optimizing write performance for DBMS applications on flash devices (YL, JX, BC, HH), pp. 339–348.

ICPR-2010-AroraS #algorithm #learning #performance

An Efficient and Stable Algorithm for Learning Rotations (RA, WAS), pp. 2993–2996.

ICPR-2010-DonoserRB10a

Shape Guided Maximally Stable Extremal Region (MSER) Tracking (MD, HR, HB), pp. 1800–1803.

ICPR-2010-GuneyA

Maximally Stable Texture Regions (MG, NA), pp. 4549–4552.

KR-2010-BartholomewL #decidability #modelling

A Decidable Class of Groundable Formulas in the General Theory of Stable Models (MB, JL).

SAC-2010-ConceicaoPC #clustering #novel

A novel stable and low-maintenance clustering scheme (LC, DP, MC), pp. 699–705.

OSDI-2010-CuiWTY #multi #thread

Stable Deterministic Multithreading through Schedule Memoization (HC, JW, CcT, JY), pp. 207–221.

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

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

DAC-2009-DongL #integration #performance #simulation

Parallelizable stable explicit numerical integration for efficient circuit simulation (WD, PL), pp. 382–385.

CSMR-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.

ICALP-v1-2009-McDermid #algorithm #approximate

A 3/2-Approximation Algorithm for General Stable Marriage (EM), pp. 689–700.

ICML-2009-ChoS #analysis #learning #modelling

Learning dictionaries of stable autoregressive models for audio scene analysis (YC, LKS), pp. 169–176.

KDD-2009-LoscalzoYD #feature model

Consensus group stable feature selection (SL, LY, CHQD), pp. 567–576.

CASE-2008-Kim #clustering #constraints

Stable schedule for a single-armed cluster tool with time constraints (JHK), pp. 97–102.

SCAM-2008-Krinke #question

Is Cloned Code More Stable than Non-cloned Code? (JK), pp. 57–66.

ICPR-2008-TsukamotoMW #estimation

Tracking a firefly — a stable likelihood estimation for variable appearance object tracking (YT, YM, TW), pp. 1–4.

KDD-2008-YuDL #feature model

Stable feature selection via dense feature groups (LY, CHQD, SL), pp. 803–811.

ICLP-2008-BuccafurriCL #logic #reasoning #semantics #social

A Logic Language with Stable Model Semantics for Social Reasoning (FB, GC, RL), pp. 718–723.

ICLP-2008-LeeLP #modelling

Safe Formulas in the General Theory of Stable Models (Preliminary Report) (JL, VL, RP), pp. 672–676.

ICLP-2008-Lifschitz

Twelve Definitions of a Stable Model (VL), pp. 37–51.

ICLP-2008-Pearce #modelling

Sixty Years of Stable Models (DP), p. 52.

VLDB-2007-BansalCKT #clustering

Seeking Stable Clusters in the Blogosphere (NB, FC, NK, FWT), pp. 806–817.

KDD-2007-Li #random #reduction

Very sparse stable random projections for dimension reduction in lalpha (0 &lt;alpha<=2) norm (PL0), pp. 440–449.

RTA-2007-TourE

Determining Unify-Stable Presentations (TBdlT, ME), pp. 63–77.

CASE-2006-RenZMP #mobile

Stable Motion Planning for Dynamic Nonholonomic Mobile Robots (JR, HZ, KAM, RVP), pp. 200–205.

SIGMOD-2006-DengR #approximate #detection #streaming #using

Approximately detecting duplicates for streaming data using stable bloom filters (FD, DR), pp. 25–36.

ICEIS-AIDSS-2006-HuynhGB #clustering #metric

Discovering the Stable Clusters between Interestingness Measures (HXH, FG, HB), pp. 196–201.

ICPR-v1-2006-DonoserB #3d #segmentation

3D Segmentation by Maximally Stable Volumes (MSVs) (MD, HB), pp. 63–66.

ICLP-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.

ICLP-2006-WittocxVMDB #semantics

Predicate Introduction Under Stable and Well-Founded Semantics (JW, JV, MM, MD, MB), pp. 242–256.

ICDAR-2005-ChuZZT #approach #documentation #image #performance

A Fast and Stable Approach for Restoration of Warped Document Images (KBC, LZ, YZ, CLT), pp. 384–388.

IFM-2005-WeiH #csp

Embedding the Stable Failures Model of CSP in PVS (KW, JH), pp. 246–265.

SEKE-2005-HamzaF #reuse

Stable Atomic Knowledge Pattern (SAK) — Enabling Inter-Domain Knowledge Reuse (HSH, MEF), pp. 127–132.

SAC-2005-LeeWC #clustering #performance

Rearranging data objects for efficient and stable clustering (GL, XW, JC), pp. 519–523.

DAC-2004-MeiRCHD #performance #robust

Robust, stable time-domain methods for solving MPDEs of fast/slow systems (TM, JSR, TSC, SAH, DMD), pp. 848–853.

ICEIS-v2-2004-VeskiojaV #problem

Majority Voting in Stable Marriage Problem with Couples (TV, LV), pp. 442–447.

ICPR-v1-2004-DmitryD #algorithm #classification #effectiveness

Data Dependent Classifier Fusion for Construction of Stable Effective Algorithms (DV, DK), pp. 144–147.

ICPR-v4-2004-BoubchirFB #approximate #using

Bayesian Denoising in the Wavelet-Domain Using an Analytical Approximate a-Stable Prior (LB, MJF, DB), pp. 889–892.

KR-2004-EiterFTW #logic programming #on the

On Eliminating Disjunctions in Stable Logic Programming (TE, MF, HT, SW), pp. 447–458.

ICALP-2003-BansalAM #multi #performance

Stable Marriages with Multiple Partners: Efficient Search for an Optimal Solution (VB, AA, VSM), pp. 527–542.

ICLP-2003-EiterF #equivalence #logic programming #semantics #source code

Uniform Equivalence of Logic Programs under the Stable Model Semantics (TE, MF), pp. 224–238.

ICLP-2003-LoncT #modelling #set

Computing Minimal Models, Stable Models, and Answer Sets (ZL, MT), pp. 209–223.

RTA-2003-KhasidashviliG #partial order #semantics #term rewriting

Stable Computational Semantics of Conflict-Free Rewrite Systems (Partial Orders with Duplication) (ZK, JRWG), pp. 467–482.

CADE-2002-Goldberg #satisfiability #testing

Testing Satisfiability of CNF Formulas by Computing a Stable Set of Points (EG), pp. 161–180.

ICLP-2002-Bonatti #infinity #modelling #reasoning #source code

Reasoning with Infinite Stable Models II: Disjunctive Programs (PAB), pp. 333–346.

ICLP-2002-LoncT #modelling #performance #worst-case

Computing Stable Models: Worst-Case Performance Estimates (ZL, MT), pp. 347–362.

SAT-2002-GentP #encoding #problem #satisfiability

SAT encodings of the stable marriage problem with ties and incomplete lists (IG, PP), p. 19.

SAT-2002-Goldberg #satisfiability #testing

Testing satisfiability of CNF formulas by computing a stable set of points (EG), p. 12.

AdaEurope-2001-CaronKS #object-oriented

Object-Oriented Stable Storage Based on Mirroring (XC, JK, AS), pp. 278–289.

AdaEurope-2001-KallbergS #architecture #evolution

Ship System 2000, a Stable Architecture under Continuous Evolution (BK, RS), pp. 371–379.

SIGAda-2001-KallbergS #architecture #evolution

Ship system 2000, a stable architecture under continuous evolution (BK, RS), pp. 47–52.

SIGIR-2001-ZhengNJ #algorithm #analysis

Stable Algorithms for Link Analysis (AXZ, AYN, MIJ), pp. 258–266.

SAC-2001-BurgeBG #mobile #ubiquitous

A ubiquitous stable storage for mobile computing devices (LLBI, SB, MG), pp. 401–404.

ICLP-2001-DeneckerPB #logic programming #semantics #source code

Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates (MD, NP, MB), pp. 212–226.

ICLP-2001-KumarRS #equation #fixpoint #modelling

Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models (KNK, CRR, SAS), pp. 227–241.

FoSSaCS-2000-HussonM #on the

On Recognizable Stable Trace Languages (JFH, RM), pp. 177–191.

KR-2000-JanhunenNSY #semantics

Unfolding Partiality and Disjunctions in Stable Model Semantics (TJ, IN, PS, JHY), pp. 411–422.

TACAS-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.

ICALP-1999-IwamaMMM

Stable Marriage with Incomplete Lists and Ties (KI, DM, SM, YM), pp. 443–452.

IFL-1999-JonesME #haskell #pointer

Stretching the Storage Manager: Weak Pointers and Stable Names in Haskell (SLPJ, SM, CE), pp. 37–58.

ICLP-1999-Truszczynski #modelling #scalability

Computing Large and Small Stable Models (MT), pp. 169–183.

ICPR-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.

ICDAR-1997-LiOHG #component #graph #relational

Recognizing components of handwritten characters by attributed relational graphs with stable features (XL, WGO, JH, WG), pp. 616–620.

ICALP-1997-BuccafurriGS #power of #semantics

The Expressive Power of Unique Total Stable Model Semantics (FB, SG, DS), pp. 849–859.

POPL-1997-Middeldorp #call-by

Call by Need Computations to Root-Stable Form (AM), pp. 94–105.

CAV-1997-CeceF #effectiveness #source code

Programs with Quasi-Stable Channels are Effectively Recognizable (Extended Abstract) (GC, AF), pp. 304–315.

ICLP-1997-ShimajiriSI #modelling

Incorporating a Pruning Strategy into the Computation of Stable Models based on MGTP (YS, HS, HI), pp. 376–390.

ILPS-1997-SeipelMR #database #modelling

A Characterization of the Partial Stable Models For Disjunctive Databases (DS, JM, CR), pp. 245–259.

DAC-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.

ICPR-1996-MokademDG #distance #invariant

A shape distance by complete and stable invariant descriptors for contour tracking (AM, MD, FG), pp. 105–109.

ICPR-1996-NishimuraT #approach #symmetry

Active shape inferring based on the symmetry in stable poses-shape from function approach (KN, HTT), pp. 136–140.

KR-1996-Tennenholtz #equilibrium #on the #social

On Stable Social Laws and Qualitative Equilibrium for Risk-Averse Agents (MT), pp. 553–561.

JICSLP-1996-CholewinskiT #logic programming #problem

Extremal Problems in Logic Programming and Stable Model Computation (PC, MT), pp. 408–422.

JICSLP-1996-CostantiniLM #semantics

Asserting Lemmas in the Stable Model Semantics (SC, GAL, GM), pp. 438–452.

JICSLP-1996-NiemelaS #implementation #performance #semantics

Efficient Implementation of the Well-founded and Stable Model Semantics (IN, PS), pp. 289–303.

ICML-1995-Gordon #approximate #programming

Stable Function Approximation in Dynamic Programming (GJG), pp. 261–268.

ICLP-1995-SubrahmanianZ #modelling

Relating Stable Models and AI Planning Domains (VSS, CZ), pp. 233–247.

ILPS-1995-LeoneS #declarative #fixpoint #modelling

Declarative and Fixpoint Characterizations of Disjunctive Stable Models (NL, FS), pp. 399–413.

DAC-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.

ICALP-1994-Brauner #logic

A Model of Intuitionistic Affine Logic From Stable Domain Theory (TB), pp. 340–351.

ICLP-1994-Stuber #modelling #program transformation

Computing Stable Models by Program Transformation (JS), pp. 58–73.

ILPS-1994-DekhtyarD #behaviour #database #deduction #on the

On Stable Behaviour of Dynamic Deductive Data Bases (MID, AJD), p. 677.

SIGMOD-1993-KolodnerW #garbage collection #incremental #scalability

Atomic Incremental Garbage Collection and Recovery for a Large Stable Heap (EKK, WEW), pp. 177–186.

DLT-1993-KelemenovaV

Productions in Stable OL-Systems (AK, PV), pp. 102–110.

FME-1993-Butterfield #fault tolerance #towards

A VDM Study of Fault-Tolerant Stable Storage — Towards a Computer Engineering Mathematics (AB), pp. 216–234.

ILPS-1993-PalopoliZ #modelling

Polynominal Time Computable Stable Models (LP, CZ), p. 645.

JICSLP-1992-MarekNR #logic programming #modelling

The Stable Models of a Predicate Logic Program (VWM, AN, JBR), pp. 446–460.

ICALP-1991-BucciarelliE

Extensional Embedding of a Strongly Stable Model of PCF (AB, TE), pp. 35–46.

ICALP-1991-KhullerMV #algorithm #online

On-Line Algorithms for Weighted Bipartite Matching and Stable Marriages (SK, SGM, VVV), pp. 728–738.

KR-1991-RodiP #using

A Nonmonotonic Assumption-Based TMS Using Stable Bases (WLR, SGP), pp. 485–495.

CSL-1991-Bosli #logic

Stable Logic (BB), pp. 201–212.

ISLP-1991-KakasM #logic programming #source code

Stable Theories for Logic Programs (ACK, PM), pp. 85–100.

ISLP-1991-NgS #semantics

Relating Dempster-Shafer Theory to Stable Semantics (RTN, VSS), pp. 551–565.

PODS-1990-SaccaZ #logic programming #modelling #nondeterminism #source code

Stable Models and Non-Determinism in Logic Programs with Negation (DS, CZ), pp. 205–217.

CLP-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.

CLP-1990-GiordanoM90 #maintenance #modelling

Generalized Stable Models, Truth Maintenance and Conflict Resolution (LG, AM), pp. 427–441.

CLP-1990-Przymusinski90 #semantics #source code

Extended Stable Semantics for Normal and Disjunctive Programs (TCP), pp. 459–477.

SIGMOD-1989-KolodnerLW #garbage collection

Atomic Garbage Collection: Managing a Stable Heap (EKK, BL, WEW), pp. 15–25.

STOC-1989-Feder #approach #fixpoint #network

A New Fixed Point Approach for Stable Networks and Stable Marriages (TF), pp. 513–522.

NACLP-1989-MarekT #logic programming #semantics #source code

Stable Semantics for Logic Programs and Default Theories (VWM, MT), pp. 243–256.

NACLP-1989-PimentelC #maintenance #modelling

A Truth Maintenance System Based on Stable Models (SGP, JLC), pp. 274–290.

PODS-1988-HuangL #multi #set

Stable Set and Multiset Operations in Optimal Time and Space (BCH, MAL), pp. 288–293.

JICSCP-1988-GelfondL88 #logic programming #semantics

The Stable Model Semantics for Logic Programming (MG, VL), pp. 1070–1080.

STOC-1985-BakerFG

Stable Prehension with Three Fingers (BSB, SF, EG), pp. 114–120.

ICALP-1978-Berry #modelling #λ-calculus

Stable Models of Typed λ-Calculi (GB), pp. 72–89.

ICALP-1976-BerryC #canonical #equivalence

Program Equivalence and Canonical Forms in Stable Discrete Interpretations (GB, BC), pp. 168–188.

STOC-1974-Horvath #performance #sorting

Efficient Stable Sorting with Minimal Extra Space (ECH), pp. 194–215.