Stem resolut$ (all stems)

521 papers:

DATE-2015-CilingirogluZUK #representation

Dictionary-based sparse representation for resolution improvement in laser voltage imaging of CMOS integrated circuits (TBC, MZ, AU, WCK, JK, AJ, BBG, MSÜ), pp. 597–600.

DATE-2015-OborilET #monitoring #online

High-resolution online power monitoring for modern microprocessors (FO, JE, MBT), pp. 265–268.

HT-2015-Jain #automation #social

Automated Methods for Identity Resolution across Heterogeneous Social Platforms (PJ), pp. 307–310.

PODS-2015-KhamisNRR #geometry #worst-case

Joins via Geometric Resolutions: Worst-case and Beyond (MAK, HQN, CR, AR), pp. 213–228.

VLDB-2015-VesdapuntBD #algorithm #crowdsourcing

Errata for “Crowdsourcing Algorithms for Entity Resolution” (PVLDB 7(12): 1071-1082) (NV, KB, NND), p. 641.

ESOP-2015-NeronTVW #formal method

A Theory of Name Resolution (PN, APT, EV, GW), pp. 205–231.

STOC-2015-Moitra #matrix

Super-resolution, Extremal Functions and the Condition Number of Vandermonde Matrices (AM), pp. 821–830.

ICALP-v1-2015-BeyersdorffCMS #calculus

Feasible Interpolation for QBF Resolution Calculi (OB, LC, MM, AS), pp. 180–192.

LATA-2015-BeyersdorffCS #game studies

A Game Characterisation of Tree-like Q-resolution Size (OB, LC, KS), pp. 486–498.

CHI-2015-RedaJPL #behaviour #visual notation

Effects of Display Size and Resolution on User Behavior and Insight Acquisition in Visual Exploration (KR, AEJ, MEP, JL), pp. 2759–2768.

DUXU-DD-2015-Jin #constraints #design #experience #formal method

The Conflict Resolution in Product Experience Design Based on Evaporating Cloud of the Theory of Constraints (LJ), pp. 53–62.

KDD-2015-FisherCWR #clustering #framework

A Clustering-Based Framework to Control Block Sizes for Entity Resolution (JF, PC, QW, ER), pp. 279–288.

KDD-2015-SethiYRVR #classification #machine learning #scalability #using

Scalable Machine Learning Approaches for Neighborhood Classification Using Very High Resolution Remote Sensing Imagery (MS, YY, AR, RRV, SR), pp. 2069–2078.

SAC-2015-IglesiaJGP #parallel

Parallel trajectory synchronization for aircraft conflicts resolution (EdlI, GBJ, CG, MP), pp. 1339–1341.

CADE-2015-GorznyP #first-order #proving #towards

Towards the Compression of First-Order Resolution Proofs by Lowering Unit Clauses (JG, BWP), pp. 356–366.

ICLP-2015-JohannKK #logic programming

Structural Resolution for Logic Programming (PJ, EK, VK).

SAT-2015-NevesMJLM #satisfiability

Exploiting Resolution-Based Representations for MaxSAT Solving (MN, RM, MJ, IL, VMM), pp. 272–286.

QoSA-2014-JohnsonC #architecture #evolution #performance #smt #specification

Efficient re-resolution of SMT specifications for evolving software architectures (KJ, RC), pp. 93–102.

WICSA-2014-DamRE #architecture #consistency #modelling #nondeterminism

Inconsistency Resolution in Merging Versions of Architectural Models (HKD, AR, AE), pp. 153–162.

ASE-2014-HillsKV #lightweight #php

Static, lightweight includes resolution for PHP (MH, PK, JJV), pp. 503–514.

CASE-2014-HerrNV #complexity #distributed #framework #scheduling

Prognostics-based scheduling in a distributed platform: Model, complexity and resolution (NH, JMN, CV), pp. 1054–1059.

CASE-2014-OberlanderKHRD #3d #multi

A multi-resolution 3-D environment model for autonomous planetary exploration (JO, SK, GH, AR, RD), pp. 229–235.

DATE-2014-DoanJP #flexibility #implementation #multi #scalability #using

Flexible and scalable implementation of H.264/AVC encoder for multiple resolutions using ASIPs (HCD, HJ, SP), pp. 1–6.

DATE-2014-KoundinyaTFPBS #multi

Multi resolution touch panel with built-in fingerprint sensing support (PK, ST, TF, VP, JB, WS), pp. 1–6.

DRR-2014-ChachraXADT #documentation #image

Extraction and labeling high-resolution images from PDF documents (SKC, ZX, SA, DDF, GRT), p. ?–9.

SIGMOD-2014-ElmagarmidIOQ0Y #interactive #named

NADEEF/ER: generic and interactive entity resolution (AKE, IFI, MO, JAQR, NT, SY), pp. 1071–1074.

VLDB-2014-AltowimKM #approach #relational

Progressive Approach to Relational Entity Resolution (YA, DVK, SM), pp. 999–1010.

VLDB-2014-Gal #named #nondeterminism #tutorial

Tutorial: Uncertain Entity Resolution (AG), pp. 1711–1712.

VLDB-2014-VesdapuntBD #algorithm #crowdsourcing

Crowdsourcing Algorithms for Entity Resolution (NV, KB, NND), pp. 1071–1082.

MSR-2014-GuptaSP #fault #mining #multi #perspective #process #repository

Process mining multiple repositories for software defect resolution from control and organizational perspective (MG, AS, SP), pp. 122–131.

HCI-TMT-2014-HongKCK #3d

3D Face-Aware Electronics with Low-Resolution Imaging (YJH, JK, JC, IJK), pp. 603–610.

HILT-2014-GacekBCSW #architecture #assurance #modelling #named

Resolute: an assurance case language for architecture models (AG, JB, DDC, KS, MWW), pp. 19–28.

CIKM-2014-RamadanC #realtime

Forest-Based Dynamic Sorted Neighborhood Indexing for Real-Time Entity Resolution (BR, PC), pp. 1787–1790.

ICPR-2014-AndreuLMG #analysis #automation #classification #gender #image

Analysis of the Effect of Image Resolution on Automatic Face Gender Classification (YA, JLC, RAM, PGS), pp. 273–278.

ICPR-2014-ChanK #geometry #identification #image #using

Using Leg Geometry to Align Androgenic Hair Patterns in Low Resolution Images for Criminal and Victim Identification (FKSC, AWKK), pp. 495–500.

ICPR-2014-DarvishLS #image

Super-resolution Facial Images from Single Input Images Based on Discrete Wavelet Transform (AMD, HL, US), pp. 843–848.

ICPR-2014-ElmikatyS #detection #image #multi #using

Car Detection in High-Resolution Urban Scenes Using Multiple Image Descriptors (ME, TS), pp. 4299–4304.

ICPR-2014-GotoFNHS

Super-resolution System for 4K-HDTV (TG, TF, FN, SH, MS), pp. 4453–4458.

ICPR-2014-HafnerLUW #classification

Bridging the Resolution Gap between Endoscope Types for a Colonic Polyp Classification (MH, ML, AU, GW), pp. 2739–2744.

ICPR-2014-HsiaoLH #3d #re-engineering

Super-resolution Reconstruction for Binocular 3D Data (WTH, JJL, HHH), pp. 4206–4211.

ICPR-2014-IshaqEW #evaluation #performance

An Evaluation of the Faster STORM Method for Super-resolution Microscopy (OI, JE, CW), pp. 4435–4440.

ICPR-2014-NathLHWBS #automation #behaviour #recognition #social

Automated Social Behaviour Recognition at Low Resolution (TN, GL, BH, BW, SDB, PS), pp. 2323–2328.

ICPR-2014-PakKA #detection #probability

Improvement of Benign and Malignant Probability Detection Based on Non-subsample Contourlet Transform and Super-resolution (FP, HRK, AA), pp. 895–899.

ICPR-2014-SinghA #constraints #energy #self

Sub-band Energy Constraints for Self-Similarity Based Super-resolution (AS, NA), pp. 4447–4452.

ICPR-2014-WalhaDLGA #approach #image #learning #taxonomy

Sparse Coding with a Coupled Dictionary Learning Approach for Textual Image Super-resolution (RW, FD, FL, CG, AMA), pp. 4459–4464.

ICPR-2014-WangDWLZJ

Depth Super-resolution by Fusing Depth Imaging and Stereo Vision with Structural Determinant Information Inference (YW, HD, BW, WL, JZ, YJ), pp. 4212–4217.

KEOD-2014-ChamekhTB #concept #multi #ontology

Ontology Modification in a Multi-User Concept — Conflict Resolution (FC, GT, DB), pp. 296–303.

KMIS-2014-FersiniMMBJA #named #online #towards

eMediation — Towards Smart Online Dispute Resolution (EF, EM, LM, GB, SEJ, GA), pp. 228–236.

MLDM-2014-HassaniSS #adaptation #clustering #multi

Adaptive Multiple-Resolution Stream Clustering (MH, PS, TS), pp. 134–148.

MLDM-2014-MazzolaCTP #string

Resolution of Geographical String Name through Spatio-Temporal Information (LM, PC, AT, MP), pp. 498–512.

SEKE-2014-SilvaBCR #architecture #development #trade-off

A Tool for Trade-off Resolution on Architecture-Centered Software Development (ICLS, PHSB, EC, HR), pp. 35–38.

MoDELS-2014-VasilevskiyH #product line

Resolution of Interfering Product Fragments in Software Product Line Engineering (AV, ØH), pp. 467–483.

MoDELS-2014-VasilevskiyH #product line

Resolution of Interfering Product Fragments in Software Product Line Engineering (AV, ØH), pp. 467–483.

ECOOP-2014-LiTSX #java #self

Self-inferencing Reflection Resolution for Java (YL, TT, YS, JX), pp. 27–53.

RE-2014-AdedjoumaSB #approach #automation #case study #detection

Automated detection and resolution of legal cross references: Approach and a study of Luxembourg’s legislation (MA, MS, LCB), pp. 63–72.

SAC-2014-ZardariBE #using

Cloud adoption: prioritizing obstacles and obstacles resolution tactics using AHP (SZ, RB, AE), pp. 1013–1020.

FSE-2014-BocovichA #feature model #interactive

Variable-specific resolutions for feature interactions (CB, JMA), pp. 553–563.

ICLP-J-2014-GallF #adaptation #implementation

Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R (DG, TWF), pp. 525–538.

IJCAR-2014-NalonMD #confluence #logic

Clausal Resolution for Modal Logics of Confluence (CN, JM, CD), pp. 322–336.

SAT-2014-BalabanovWJ #proving

QBF Resolution Systems and Their Proof Complexities (VB, MW, JHRJ), pp. 154–169.

SAT-2014-BeyersdorffK #metric

Unified Characterisations of Resolution Hardness Measures (OB, OK), pp. 170–187.

SAT-2014-SlivovskyS #dependence

Variable Dependencies and Q-Resolution (FS, SS), pp. 269–284.

CASE-2013-LiK #automation #generative #novel #reachability #reduction #testing

Reduction of automated test generation for Simulink/Stateflow to reachability and its novel resolution (ML, RK), pp. 1089–1094.

DRR-2013-MaA #documentation #framework #image

A super resolution framework for low resolution document image OCR (DM, GA).

ICDAR-2013-MaraK #3d #invariant

Vectorization of 3D-Characters by Integral Invariant Filtering of High-Resolution Triangular Meshes (HM, SK), pp. 62–66.

ICDAR-2013-WalhaDLGA #clustering #image #multi

Multiple Learned Dictionaries Based Clustered Sparse Coding for the Super-Resolution of Single Text Image (RW, FD, FL, CG, AMA), pp. 484–488.

VLDB-2013-AltwaijryKM #approach

Query-Driven Approach to Entity Resolution (HA, DVK, SM), pp. 1846–1857.

VLDB-2013-WhangLG

Question Selection for Crowd Entity Resolution (SEW, PL, HGM), pp. 349–360.

MSR-2013-ManiNMNSN #debugging #identification #repository

Bug resolution catalysts: identifying essential non-committers from bug repositories (SM, SN, DM, RN, VSS, AAN), pp. 193–202.

WCRE-2013-XiaLWZ #debugging #developer #recommendation

Accurate developer recommendation for bug resolution (XX, DL, XW, BZ), pp. 72–81.

STOC-2013-BeckI

Strong ETH holds for regular resolution (CB, RI), pp. 487–494.

LATA-2013-Tveretina #bound

A Conditional Superpolynomial Lower Bound for Extended Resolution (OT), pp. 559–569.

CHI-2013-RoudautKLS #flexibility #mobile #named #self #towards

Morphees: toward high “shape resolution” in self-actuated flexible mobile devices (AR, AK, ML, SS), pp. 593–602.

ICEIS-v1-2013-ZaamouneBPB #analysis #approach #multi #relational

A New Relational Spatial OLAP Approach for Multi-resolution and Spatio-multidimensional Analysis of Incomplete Field Data (MZ, SB, FP, PB), pp. 145–152.

CIKM-2013-WhangG

Disinformation techniques for entity resolution (SEW, HGM), pp. 715–720.

KDD-2013-GetoorM #big data

Entity resolution for big data (LG, AM), p. 1527.

KDD-2013-Vatsavai #approach #learning #multi #using

Gaussian multiple instance learning approach for mapping the slums of the world using very high resolution imagery (RRV), pp. 1419–1426.

PADL-2013-KlintP #2d #declarative #independence #library

A Library for Declarative Resolution-Independent 2D Graphics (PK, AvdP), pp. 1–18.

SAC-2013-DionisisCP #adaptation #exception #framework

An integrated framework for QoS-based adaptation and exception resolution in WS-BPEL scenarios (MD, VC, GP), pp. 1900–1906.

SAC-2013-RezguiMY

High-resolution spatial interpolation on cloud platforms (AR, ZM, CY), pp. 377–382.

CADE-2013-HeuleHW #verification

Verifying Refutations with Extended Resolution (MH, WAHJ, NW), pp. 345–359.

SAT-2013-Atserias #algebra #bound #problem #proving

The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi-algebraic Proofs (AA), pp. 1–17.

SAT-2013-JanotaM #on the

On Propositional QBF Expansions and Q-Resolution (MJ, JMS), pp. 67–82.

SAT-2013-Toran #complexity #graph #morphism #on the

On the Resolution Complexity of Graph Non-isomorphism (JT), pp. 52–66.

ASE-2012-Quesada #generative #modelling #parsing

A model-driven parser generator with reference resolution support (LQ), pp. 394–397.

DATE-2012-AbedW #online

Double-patterning friendly grid-based detailed routing with online conflict resolution (ISA, AGW), pp. 1475–1478.

VLDB-2012-GetoorM #challenge

Entity Resolution: Theory, Practice & Open Challenges (LG, AM), pp. 2018–2019.

VLDB-2012-WangKFF #crowdsourcing #named

CrowdER: Crowdsourcing Entity Resolution (JW, TK, MJF, JF), pp. 1483–1494.

FASE-2012-HermannEEO #concurrent #graph grammar

Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars (FH, HE, CE, FO), pp. 178–193.

STOC-2012-BeameBI #bound #trade-off

Time-space tradeoffs in resolution: superpolynomial lower bounds for superlinear space (PB, CB, RI), pp. 213–232.

CSCW-2012-AgustinaSX #3d #collaboration #dependence #design #realtime

Operational transformation for dependency conflict resolution in real-time collaborative 3D design systems (A, CS, DX), pp. 1401–1410.

CSCW-2012-DongF #communication #why

One piece at a time: why video-based communication is better for negotiation and conflict resolution (WD, WTF), pp. 167–176.

CSCW-2012-LiuBS #collaboration #design #detection #product line

Conflict detection and resolution for product line design in a collaborative decision making environment (X(L, ECB, JES), pp. 1327–1336.

CSCW-2012-SunSXS #collaboration #editing #realtime

Creative conflict resolution in realtime collaborative editing systems (DS, CS, SX, HS), pp. 1411–1420.

CSCW-2012-SunWF #2d #collaboration #editing #orthogonal #realtime

Operational transformation for orthogonal conflict resolution in real-time collaborative 2d editing systems (CS, HW, HF), pp. 1391–1400.

CIKM-2012-KhabsaTG #using

Entity resolution using search engine results (MK, PT, CLG), pp. 2363–2366.

CIKM-2012-NegahbanRG #learning #multi #performance #scalability #statistics #using

Scaling multiple-source entity resolution using statistically efficient transfer learning (SN, BIPR, JG), pp. 2224–2228.

CIKM-2012-WelchSD #incremental #knowledge base #performance

Fast and accurate incremental entity resolution relative to an entity knowledge base (MJW, AS, CD), pp. 2667–2670.

ICPR-2012-FuscoWY #mining

Mining residential household information from low-resolution smart meter data (FF, MW, JWY), pp. 3545–3548.

ICPR-2012-GiotCD #clustering

Local water diffusion phenomenon clustering from high angular resolution diffusion imaging (HARDI) (RG, CC, MD), pp. 3745–3749.

ICPR-2012-GuermaziVB #detection #image #multi

Matching of multi-resolution image for remote sensing glacier detection (AG, LV, PB), pp. 3406–3410.

ICPR-2012-GuQFLW #image #kernel #multi

Image super-resolution based on multikernel regression (YG, YQ, TZF, CL, HW), pp. 2071–2074.

ICPR-2012-GuSM #image #performance

Fast image super resolution via local regression (SG, NS, FM), pp. 3128–3131.

ICPR-2012-HeLL #image #using

Single image super-resolution using Gaussian Mixture Model (HH, JL, XL), pp. 1916–1919.

ICPR-2012-IwamotoHSTXC #image #representation #self #using

Super-resolution of MR volumetric images using sparse representation and self-similarity (YI, XHH, SS, KT, WX, YWC), pp. 3758–3761.

ICPR-2012-KumarRS #learning #predict

Learning to predict super resolution wavelet coefficients (NK, NKR, AS), pp. 3468–3471.

ICPR-2012-LeeALKKK #web

Web image-based super-resolution (JHL, SCA, HL, IJK, JK, HGK), pp. 1060–1063.

ICPR-2012-LeeLHL #re-engineering #sequence #video

Super-resolution reconstruction of video sequences based on wavelet-domain spatial and temporal processing (CML, CJL, CYH, WNL), pp. 194–197.

ICPR-2012-PrabhuR #multi

Joint multi-frame super-resolution and matting (SMP, ANR), pp. 1924–1927.

ICPR-2012-RenLWG #image

Image super-resolution by structural sparse coding (JR, JL, MW, ZG), pp. 1936–1939.

ICPR-2012-RodriguesPBPM #image #multi #segmentation #towards #using

Towards breast ultrasound image segmentation using multi-resolution pixel descriptors (RR, AMGP, RB, MP, JM), pp. 2833–2836.

ICPR-2012-SalvadorRKH #re-engineering #video

Variational reconstruction and restoration for video Super-Resolution (JS, DR, AK, JRH), pp. 1047–1051.

ICPR-2012-Shen #image #multi

Depth-map merging for Multi-View Stereo with high resolution images (SS), pp. 788–791.

ICPR-2012-TaniguchiHISC #image #linear

Image super-resolution based on locality-constrained linear coding (KT, XHH, YI, SS, YWC), pp. 1948–1951.

ICPR-2012-TianC #image #video

Bayesian image enlargement for mixed-resolution video (JT, LC), pp. 3082–3085.

ICPR-2012-YanXY0 #image #novel

Image super-resolution based on a novel edge sharpness prior (QY, YX, XY, KC), pp. 1056–1059.

ICPR-2012-ZhangZH #collaboration

Collaborative and compressive high-resolution imaging (YZ, HZ, TSH), pp. 3062–3065.

ICPR-2012-ZhuJL #image #representation

Optimized image super-resolution based on sparse representation (YZ, JJ, KL), pp. 1052–1055.

KEOD-2012-ZainolN #design #process

Conflict Resolution in Overlapping Information Fields for Context-based Activity Design (ZZ, KN), pp. 190–195.

KR-2012-BahmaniBKL #declarative #dependence #set #source code

Declarative Entity Resolution via Matching Dependencies and Answer Set Programs (ZB, LEB, SK, LVSL).

SIGIR-2012-LiebermanS #adaptation #streaming

Adaptive context features for toponym resolution in streaming news (MDL, HS), pp. 731–740.

REFSQ-2012-AnhCCHFA #collaboration #component #open source #requirements

Collaborative Resolution of Requirements Mismatches When Adopting Open Source Components (NDA, DSC, RC, MH, XF, CPA), pp. 77–93.

IJCAR-2012-Nieuwenhuis #challenge #satisfiability #smt

SAT and SMT Are Still Resolution: Questions and Challenges (RN), pp. 10–13.

SAT-2012-BonetB #learning

An Improved Separation of Regular Resolution from Pool Resolution and Clause Learning (MLB, SRB), pp. 44–57.

SAT-2012-Egly #on the

On Sequent Systems and Resolution for QBFs (UE), pp. 100–113.

SAT-2012-Gupta #algorithm #proving #reduction

Improved Single Pass Algorithms for Resolution Proof Reduction — (Poster Presentation) (AG), pp. 469–470.

SAT-2012-NiemetzPLSB

Resolution-Based Certificate Extraction for QBF — (Tool Presentation) (AN, MP, FL, MS, AB), pp. 430–435.

SAT-2012-SlivovskyS #dependence #linear

Computing Resolution-Path Dependencies in Linear Time , (FS, SS), pp. 58–71.

ASE-2011-WelshSB #requirements #runtime #towards

Towards requirements aware systems: Run-time resolution of design-time assumptions (KW, PS, NB), pp. 560–563.

DAC-2011-YinKL #effectiveness

High effective-resolution built-in jitter characterization with quantization noise shaping (LY, YK, PL), pp. 765–770.

DRR-2011-Obafemi-AjayiA #documentation #multi #statistics

Statistical multi-resolution schemes for historical document binarization (TOA, GA), pp. 1–10.

ICDAR-2011-BaechlerI #analysis #layout #multi #using

Multi Resolution Layout Analysis of Medieval Manuscripts Using Dynamic MLP (MB, RI), pp. 1185–1189.

ICDAR-2011-KatoDTIM #recognition #using

Low Resolution QR-Code Recognition by Applying Super-Resolution Using the Property of QR-Codes (YK, DD, TT, II, HM), pp. 992–996.

FASE-2011-EhrigET #graph #using #version control

A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph Modifications (HE, CE, GT), pp. 202–216.

ICSM-2011-TarvoZC #algorithm #branch #integration #mining #multi #version control

An integration resolution algorithm for mining multiple branches in version control systems (AT, TZ, JC), pp. 402–411.

STOC-2011-VondrakCZ #multi

Submodular function maximization via the multilinear relaxation and contention resolution schemes (JV, CC, RZ), pp. 783–792.

ICALP-v1-2011-NordstromR #on the #satisfiability #trade-off

On Minimal Unsatisfiability and Time-Space Trade-offs for k-DNF Resolution (JN, AAR), pp. 642–653.

HIMI-v2-2011-DaoBBKNMRJ #automation

Conflict Resolution Automation and Pilot Situation Awareness (AQVD, SLB, LPB, JMK, JHN, KM, HR, WWJ), pp. 473–482.

CIKM-2011-KolbTR #pipes and filters

Block-based load balancing for entity resolution with MapReduce (LK, AT, ER), pp. 2397–2400.

CIKM-2011-KumarLB #modelling

Supervised language modeling for temporal resolution of texts (AK, ML, JB), pp. 2069–2072.

CIKM-2011-LiLWG

Context-based entity description rule for entity resolution (LL, JL, HW, HG), pp. 1725–1730.

BX-2011-Boronat #consistency #detection #maude #modelling #nondeterminism #specification #using

Inconsistency detection and resolution in heterogenous model-based specifications using Maude (AB), p. 53.

ECMFA-2011-BarrettCB #detection

Table-Driven Detection and Resolution of Operation-Based Merge Conflicts with Mirador (SB, PC, GB), pp. 329–344.

RE-2011-WelshSB #nondeterminism #runtime

Run-time resolution of uncertainty (KW, PS, NB), pp. 355–356.

ICSE-2011-NohrerRE #consistency #effectiveness #nondeterminism

Positive effects of utilizing relationships between inconsistencies for more effective inconsistency resolution (AN, AR, AE), pp. 864–867.

CADE-2011-FontaineMP #proving

Compression of Propositional Resolution Proofs via Partial Regularization (PF, SM, BWP), pp. 237–251.

CAV-2011-BalabanovJ #evaluation #proving

Resolution Proofs and Skolem Functions in QBF Evaluation and Applications (VB, JHRJ), pp. 149–164.

CBSE-2010-JensonDG #component #dependence #empirical

An Empirical Study of the Component Dependency Resolution Search Space (GJ, JD, HWG), pp. 182–199.

DATE-2010-LeeYCC #embedded #metric

An embedded wide-range and high-resolution CLOCK jitter measurement circuit (YL, CYY, NCDC, JJC), pp. 1637–1640.

SIGMOD-2010-GatterbauerS #trust #using

Data conflict resolution using trust mappings (WG, DS), pp. 219–230.

SIGMOD-2010-SmithBWYMMB #multi #similarity

Exploring schema similarity at multiple resolutions (KPS, CB, CW, BY, MM, PM, DB), pp. 1179–1182.

VLDB-2010-KopckeTR #evaluation #problem

Evaluation of entity resolution approaches on real-world match problems (HK, AT, ER), pp. 484–493.

VLDB-2010-MenestrinaWG

Evaluating Entity Resolution Results (DM, SW, HGM), pp. 208–219.

VLDB-2010-WhangG #evolution

Entity Resolution with Evolving Rules (SW, HGM), pp. 1326–1337.

MSR-2010-OssherBL #automation #dependence #open source

Automated dependency resolution for open source software (JO, SKB, CVL), pp. 130–140.

ICALP-v2-2010-ChristodoulouLP

Contention Resolution under Selfishness (GC, KL, EP), pp. 430–441.

CHI-2010-AndrewsEN #scalability

Space to think: large high-resolution displays for sensemaking (CA, AE, CN), pp. 55–64.

CHI-2010-BillingsW #comprehension #online #using

Understanding dispute resolution online: using text to reflect personal and substantive issues in conflict (MB, LAW), pp. 1447–1456.

ICEIS-AIDSS-2010-CostaCNBA #approach

An Agent-based Approach to Consumer’s Law Dispute Resolution (NC, DC, PN, DB, FA), pp. 103–110.

CIKM-2010-BingSJZL #documentation #learning #mining #ontology #representation

Learning ontology resolution for document representation and its applications in text mining (LB, BS, SJ, YZ, WL), pp. 1713–1716.

ICPR-2010-CuntoorBPH

Track Initialization in Low Frame Rate and Low Resolution Videos (NPC, AB, AGAP, AH), pp. 3640–3644.

ICPR-2010-GaoEFS #multi #verification

Multi-resolution Local Appearance-Based Face Verification (HG, HKE, MF, RS), pp. 1501–1504.

ICPR-2010-IiyamaKM #image #multi

Super-Resolution Texture Mapping from Multiple View Images (MI, KK, MM), pp. 1820–1823.

ICPR-2010-NasonovK #performance #using

Fast Super-Resolution Using Weighted Median Filtering (AVN, ASK), pp. 2230–2233.

ICPR-2010-NguyenAC #approach #locality #performance

Unifying Approach for Fast License Plate Localization and Super-Resolution (CDN, MA, LC), pp. 376–379.

ICPR-2010-TianSK #evaluation

Task-Oriented Evaluation of Super-Resolution Techniques (LT, AS, HK), pp. 493–498.

ICPR-2010-WongSML

Dynamic Amelioration of Resolution Mismatches for Local Feature Based Identity Inference (YW, CS, SM, BCL), pp. 1200–1203.

ICPR-2010-ZouY #image #kernel #learning

Learning the Relationship Between High and Low Resolution Images in Kernel Space for Face Super Resolution (WWWZ, PCY), pp. 1152–1155.

KDD-2010-MiaoMYTCA #generative #modelling #network

Generative models for ticket resolution in expert networks (GM, LEM, XY, ST, YC, NA), pp. 733–742.

SAC-PL-J-2008-DennyM10 #algorithm #generative #lr #parsing

The IELR(1) algorithm for generating minimal LR(1) parser tables for non-LR(1) grammars with conflict resolution (JED, BAM), pp. 943–979.

SAC-2010-KangZKB #process #similarity

A knowledge-rich similarity measure for improving IT incident resolution process (YBK, ABZ, SK, CB), pp. 1781–1788.

SAC-2010-ZeffererK #database

An electronic-signature based circular resolution database system (TZ, TK), pp. 1840–1845.

CSL-2010-BaazF #logic

A Resolution Mechanism for Prenex Gödel Logic (MB, CGF), pp. 67–79.

SAT-2010-Cotton #proving

Two Techniques for Minimizing Resolution Proofs (SC), pp. 306–312.

ASE-2009-Jenson #component #constraints #dependence #validation #verification

Improving Component Dependency Resolution with Soft Constraints, Validation and Verification (GJ), pp. 716–720.

DAC-2009-CochranR

Spectral techniques for high-resolution thermal characterization with limited sensor data (RC, SR), pp. 478–483.

DRR-2009-BeusekomSB #detection #documentation #image #independence

Resolution Independent Skew and Orientation Detection for document images (JvB, FS, TMB), pp. 1–10.

ICDAR-2009-OhkuraDTIM #recognition

Low-Resolution Character Recognition by Video-Based Super-Resolution (AO, DD, TT, II, HM), pp. 191–195.

SIGMOD-2009-ChenKM #analysis #multi

Exploiting context analysis for combining multiple entity resolution systems (ZC, DVK, SM), pp. 207–218.

SIGMOD-2009-WhangMKTG

Entity resolution with iterative blocking (SEW, DM, GK, MT, HGM), pp. 219–232.

VLDB-2009-KopckeTR #comparative #evaluation

Comparative evaluation of entity resolution approaches with FEVER (HK, AT, ER), pp. 1574–1577.

ICSM-2009-WitZD #clone tracking #using

Managing code clones using dynamic change tracking and resolution (MdW, AZ, AvD), pp. 169–178.

SAS-2009-CalmanZ #interprocedural

Increasing the Scope and Resolution of Interprocedural Static Single Assignment (SC, JZ), pp. 154–170.

CHI-2009-BiB #scalability

Comparing usage of a large high-resolution display to single or dual desktop displays for daily work (XB, RB), pp. 1005–1014.

CHI-2009-HsiaoCHCHH #comparison #multi #paradigm

To move or not to move: a comparison between steerable versus fixed focus region paradigms in multi-resolution tabletop display systems (CHH, LWC, TTH, MCC, JYjH, YPH), pp. 153–162.

HCI-NT-2009-HercegfiPTI #evaluation #monitoring #usability

Usability Evaluation by Monitoring Physiological and Other Data Simultaneously with a Time-Resolution of Only a Few Seconds (KH, MP, ST, LI), pp. 59–68.

CIKM-2009-ChristenGH #realtime

Similarity-aware indexing for real-time entity resolution (PC, RWG, DH), pp. 1565–1568.

KDIR-2009-LamB #categorisation #invariant #multi #using

Invariant Categorisation of Polygonal Objects using Multi-resolution Signatures (RL, JMHdB), pp. 168–173.

SAC-2009-MartinsHM #image #multi #re-engineering #using

Super-resolution image reconstruction using the generalized isotropic multi-level logistic model (ALDM, MRPH, NDAM), pp. 934–938.

ESEC-FSE-2009-LiuYNMS #order #refactoring #smell

Facilitating software refactoring with appropriate resolution order of bad smells (HL, LY, ZN, ZM, WS), pp. 265–268.

CADE-2009-ZhangHD #calculus

A Refined Resolution Calculus for CTL (LZ, UH, CD), pp. 245–260.

SAT-2009-AtseriasFT #algorithm #bound

Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution (AA, JKF, MT), pp. 114–127.

SAT-2009-BuningZB #quantifier #subclass

Resolution and Expressiveness of Subclasses of Quantified Boolean Formulas and Circuits (HKB, XZ, UB), pp. 391–397.

SAT-2009-Goldberg #bound

Boundary Points and Resolution (EG), pp. 147–160.

CASE-2008-ReveliotisR #multi #paradigm #resource management

Conflict resolution in multi-vehicle systems: A resource allocation paradigm (SAR, ER), pp. 115–121.

DAC-2008-LinSH #multi #realtime

A multi-resolution AHB bus tracer for real-time compression of forward/backward traces in a circular buffer (YTL, WCS, IJH), pp. 862–865.

DATE-2008-PomeranzR08a #fault #taxonomy

A Same/Different Fault Dictionary: An Extended Pass/Fail Fault Dictionary with Improved Diagnostic Resolution (IP, SMR), pp. 1474–1479.

DATE-2008-TcheghoMS

Optimal High-Resolution Spectral Analyzer (AT, HM, SS), pp. 62–67.

DATE-2008-VenutoR #generative

PWM-Based Test Stimuli Generation for BIST of High Resolution ADCs (DDV, LR), pp. 284–287.

VLDB-2008-ShaoCTYA #enterprise #named #problem #recommendation

EasyTicket: a ticket routing recommendation engine for enterprise problem resolution (QS, YC, ST, XY, NA), pp. 1436–1439.

STOC-2008-NordstromH #towards

Towards an optimal separation of space and length in resolution (JN, JH), pp. 701–710.

GT-VMT-2008-BrielerM #ambiguity #analysis #diagrams #graph grammar #sketching #syntax

Ambiguity Resolution for Sketched Diagrams by Syntax Analysis Based on Graph Grammars (FB, MM).

ICGT-2008-Pennemann #proving #theorem proving

Resolution-Like Theorem Proving for High-Level Conditions (KHP), pp. 289–304.

CIKM-2008-ChanLY #logic #modelling #using

Coreference resolution using expressive logic models (KC, WL, XY), pp. 1373–1374.

ICPR-2008-AricanF #image

Super-resolution from unregistered omnidirectional images (ZA, PF), pp. 1–4.

ICPR-2008-BhavsarR

Resolution enhancement for binocular stereo (AVB, ANR), pp. 1–4.

ICPR-2008-ChoeRLH #image #video

Image transformation for object tracking in high-resolution video (TEC, KR, MWL, NH), pp. 1–4.

ICPR-2008-GuoYZZY #embedded #markov #random #using

Face super-resolution using 8-connected Markov Random Fields with embedded prior (KG, XY, RZ, GZ, SY), pp. 1–4.

ICPR-2008-KangBK #3d #modelling #multi

Multi-resolution 3D morphable models and its matching method (BNK, HB, DK), pp. 1–4.

ICPR-2008-KuhlTV #modelling

Model-based combined tracking and resolution enhancement (AK, TT, SV), pp. 1–4.

ICPR-2008-ShinK #algorithm #using

Enhanced Resolution-aware Fitting algorithm using interpolation operator (JS, DK), pp. 1–4.

ICPR-2008-WatanabeIHY #algorithm #performance #reduction #using #video

A fast algorithm of video super-resolution using dimensionality reduction by DCT and example selection (KW, YI, TH, MY), pp. 1–5.

ICPR-2008-WatanabeKI #3d #image #integration #re-engineering

Integration of time-sequential range images for reconstruction of a high-resolution 3D shape (YW, TK, MI), pp. 1–4.

ICPR-2008-XuP #image

Finding the splitting vector for image resolution up-conversion (XX, HP), pp. 1–4.

ICPR-2008-YuanDZ #image #performance #re-engineering

Fast super-resolution for license plate image reconstruction (JY, SD, XZ), pp. 1–4.

KDD-2008-ShaoCTYA #mining #performance #sequence

Efficient ticket routing by resolution sequence mining (QS, YC, ST, XY, NA), pp. 605–613.

SAC-2008-DennyM #lr #parsing

IELR(1): practical LR(1) parser tables for non-LR(1) grammars with conflict resolution (JED, BAM), pp. 240–245.

SAC-2008-EinseleIH #independence #recognition #word

A language-independent, open-vocabulary system based on HMMs for recognition of ultra low resolution words (FE, RI, JH), pp. 429–433.

ICSE-2008-LuCT #consistency #nondeterminism #pervasive #testing

Testing pervasive software in the presence of context inconsistency resolution services (HL, WKC, THT), pp. 61–70.

OSDI-2008-BhatiaKFP #lightweight #monitoring

Lightweight, High-Resolution Monitoring for Troubleshooting Production Systems (SB, AK, MEF, LLP), pp. 103–116.

SAT-2008-Goldberg

A Decision-Making Procedure for Resolution-Based SAT-Solvers (EG), pp. 119–132.

SAT-2008-Urquhart

Regular and General Resolution: An Improved Separation (AU), pp. 277–290.

DAC-2007-ChatterjeeMBK #equivalence #on the #proving

On Resolution Proofs for Combinational Equivalence (SC, AM, RKB, AK), pp. 600–605.

DAC-2007-KaoHL #embedded #integration #multi

An Embedded Multi-resolution AMBA Trace Analyzer for Microprocessor-based SoC Integration (CFK, IJH, CHL), pp. 477–482.

DATE-2007-AminzadehDL #design #pipes and filters

Design of high-resolution MOSFET-only pipelined ADCs with digital calibration (HA, MD, RL), pp. 427–432.

ICDAR-2007-VargasFTA07a #image #performance #verification

Off-line Signature Verification System Performance against Image Acquisition Resolution (JFVB, MAFB, CMTG, JBA), pp. 834–838.

ICDAR-2007-WachenfeldFKJ #segmentation

Segmentation of Very Low Resolution Screen-Rendered Text (SW, SF, HUK, XJ), pp. 1153–1157.

SIGMOD-2007-QiCS #consistency #data flow #named #nondeterminism #query

FICSR: feedback-based inconsistency resolution and query processing on misaligned data sources (YQ, KSC, MLS), pp. 151–162.

SCAM-2007-SawinR #java

Improved Static Resolution of Dynamic Class Loading in Java (JS, AR), pp. 143–154.

DHM-2007-NiuLS07a #case study #multi #representation

A Case Study of Multi-resolution Representation of Heads (JN, ZL, GS), pp. 171–178.

HCI-AS-2007-VanackenRLC #collaboration #user interface

Focus+Roles: Socio-Organizational Conflict Resolution in Collaborative User Interfaces (DV, CR, KL, KC), pp. 788–796.

ICEIS-AIDSS-2007-Cuzzocrea #multi

MRE-KDD+: A Multi-Resolution, Ensemble-Based Model for Advanced Knolwedge Discovery (AC), pp. 152–158.

ICEIS-EIS-2007-SilvaMA #collaboration #enterprise #network

Conflict Resolution in Collaborative Network Enterprises (SAdS, PM, PA), pp. 329–333.

CIKM-2007-ParkR #information retrieval #mining #multi #web

Mining web multi-resolution community-based popularity for information retrieval (LAFP, KR), pp. 545–554.

KDD-2007-AgarwalBCDJS #multi

Estimating rates of rare events at multiple resolutions (DA, AZB, DC, DD, VJ, MS), pp. 16–25.

MoDELS-2007-KusterR #consistency #evaluation #nondeterminism

Improving Inconsistency Resolution with Side-Effect Evaluation and Costs (JMK, KR), pp. 136–150.

MoDELS-2007-KusterR #consistency #evaluation #nondeterminism

Improving Inconsistency Resolution with Side-Effect Evaluation and Costs (JMK, KR), pp. 136–150.

ESEC-FSE-2007-XuCCY #automation #consistency #nondeterminism #on the #pervasive

On impact-oriented automatic resolution of pervasive context inconsistency (CX, SCC, WKC, CY), pp. 569–572.

ESEC-FSE-2007-YeCCX #composition #detection

Detection and resolution of atomicity violation in service composition (CY, SCC, WKC, CX), pp. 235–244.

CSL-2007-HertelU #game studies

Game Characterizations and the PSPACE-Completeness of Tree Resolution Space (AH, AU), pp. 527–541.

SAT-2007-Buresh-OppenheimM #polynomial

Minimum 2CNF Resolution Refutations in Polynomial Time (JBO, DGM), pp. 300–313.

SAT-2007-Kojevnikov #bound #linear

Improved Lower Bounds for Tree-Like Resolution over Linear Inequalities (AK), pp. 70–79.

DATE-2006-LucasHRERWGFHES #configuration management #framework #realtime

A reconfigurable HW/SW platform for computation intensive high-resolution real-time digital film applications (AdCL, SH, PR, RE, HR, GW, KG, RF, WH, SE, GS), pp. 194–199.

DocEng-2006-GormishS #documentation #editing #image #standard #using

Standards based high resolution Document editing using low resolution proxy images (MJG, ELS), p. 33.

SIGMOD-2006-Jonas #experience #scalability

Identity resolution: 23 years of practical experience and observations at scale (JJ), p. 718.

FASE-2006-KobW #calculus #debugging #using

Fundamentals of Debugging Using a Resolution Calculus (DK, FW), pp. 278–292.

MSR-2006-CanforaC06a #debugging #question

Where is bug resolution knowledge stored? (GC, LC), pp. 183–184.

STOC-2006-Nordstrom #proving

Narrow proofs may be spacious: separating space and width in resolution (JN), pp. 507–516.

FM-2006-AiguierBG #interactive #specification #static analysis

Feature Specification and Static Analysis for Interaction Resolution (MA, KB, PLG), pp. 364–379.

CIKM-2006-Garcia-Molina #bibliography #challenge

Pair-Wise entity resolution: overview and challenges (HGM), p. 1.

ICPR-v1-2006-LinCW #detection #multi #queue #realtime

A Real-Time Multiple-Vehicle Detection and Tracking System with Prior Occlusion Detection and Resolution, and Prior Queue Detection and Resolution (SPL, YHC, BFW), pp. 828–831.

ICPR-v1-2006-LiuWD #evaluation #image #quality #recognition

Low Resolution Character Recognition by Image Quality Evaluation (CL, CW, RD), pp. 864–867.

ICPR-v1-2006-WuCWS #video

License Plate Extraction in Low Resolution Video (HHPW, HHC, RJW, DFS), pp. 824–827.

ICPR-v2-2006-GuptaD #detection #multi #using

Texture Edge Detection using Multi-resolution Features and SOM (LG, SD), pp. 199–202.

ICPR-v2-2006-LiLG #multi

Multi-Resolution Curve Alignment Based on Salient Features (ZL, XL, CG), pp. 357–360.

ICPR-v3-2006-ChanLN #re-engineering

Extending the Depth of Field in a Compound-Eye Imaging System with Super-Resolution Reconstruction (WSC, EYL, MKN), pp. 623–626.

ICPR-v3-2006-KongHXTG #random #video

A Conditional Random Field Model for Video Super-resolution (DK, MH, WX, HT, YG), pp. 619–622.

ICPR-v3-2006-LeePL #image #kernel #re-engineering

Face Reconstruction with Low Resolution Facial Images by Feature Vector Projection in Kernel Space (SWL, JP, SWL), pp. 1179–1182.

ICPR-v3-2006-SureshR

Super-resolution in the presence of space-variant blur (KVS, ANR), pp. 770–773.

ICPR-v3-2006-TanakaFKI #theorem

A Theoretical and Experimental Consideration on Interference in Resolutions between Sampling Theorem and OK-Quantization Theory (YT, TF, HK, TI), pp. 869–872.

ICPR-v3-2006-WuT06a #image #re-engineering

A Regression Model in TensorPCA Subspace for Face Image Super-resolution Reconstruction (JW, MMT), pp. 627–630.

ICPR-v3-2006-YuOWC #3d

Accurate 3-D Motion Tracking with an Application to Super-Resolution (YKY, SHO, KhW, MMYC), pp. 730–733.

ICPR-v4-2006-NagaharaMIYS #generative #using #video

High-resolution Video Generation Using Morphing (HN, TM, YI, MY, TS), pp. 338–341.

ICPR-v4-2006-WangK #approach #automation #estimation #using

Automatic Alignment of High-Resolution NMR Spectra Using a Bayesian Estimation Approach (ZW, SBK), pp. 667–670.

ICPR-v4-2006-YuB06a #image #video

Super-resolution Restoration of Facial Images in Video (JY, BB), pp. 342–345.

KDD-2006-BhattacharyaGL

Query-time entity resolution (IB, LG, LL), pp. 529–534.

KR-2006-SannerM #calculus #first-order #hybrid #logic #reasoning

An Ordered Theory Resolution Calculus for Hybrid Reasoning in First-Order Extensions of Description Logic (SS, SAM), pp. 100–111.

SAC-2006-StraetenD #consistency #nondeterminism #refactoring #rule-based

Model refactorings through rule-based inconsistency resolution (RVDS, MD), pp. 1210–1217.

IJCAR-2006-KazakovM

A Resolution-Based Decision Procedure for SHOIQ (YK, BM), pp. 662–677.

IJCAR-2006-NivelleM #finite #geometry #proving

Geometric Resolution: A Proof Procedure Based on Finite Model Search (HdN, JM), pp. 303–317.

SAT-2006-Gelder #metric #proving

Preliminary Report on Input Cover Number as a Metric for Propositional Resolution Proofs (AVG), pp. 48–53.

SAT-2006-Goldberg #algorithm

Determinization of Resolution by an Algorithm Operating on Complete Assignments (EG), pp. 90–95.

SAT-2006-JussilaSB #proving #quantifier #satisfiability

Extended Resolution Proofs for Symbolic SAT Solving with Quantification (TJ, CS, AB), pp. 54–60.

CASE-2005-WangLWK #architecture #distributed #simulation #using

Collision resolution simulation for distributed control architectures using LonWorks (MW, EL, EW, MK), pp. 319–326.

DocEng-2005-BeheraLI #documentation #identification

Influence of fusion strategies on feature-based identification of low-resolution documents (AB, DL, RI), pp. 20–22.

DRR-2005-Nishida #image

Restoring high-resolution text images to improve legibility and OCR accuracy (HN), pp. 136–147.

ICDAR-2005-BeheraLI #documentation #geometry #identification #using

Enhancement of Layout-based Identification of Low-resolution Documents using Geometrical Color Distribution (AB, DL, RI), pp. 468–472.

ICDAR-2005-JacobsSVR #documentation #image #recognition

Text Recognition of Low-resolution Document Images (CEJ, PYS, PAV, JR), pp. 695–699.

ICDAR-2005-NomuraYOK #effectiveness #image #recognition

A Proposal of the Effective Recognition Method for Low-Resolution Characters from Motion Images (MN, KY, HO, KK), pp. 720–724.

ICDAR-2005-ParkKK #image

An Example-based Prior Model for Text Image Super-resolution (JP, YK, JHK), pp. 374–378.

STOC-2005-Alekhnovich #bound #random

Lower bounds for k-DNF resolution on random 3-CNFs (MA), pp. 251–256.

ICALP-2005-JainHT #concurrent #problem

The Generalized Deadlock Resolution Problem (KJ, MTH, KT), pp. 853–865.

CIKM-2005-WanGLD

Person resolution in person search results: WebHawk (XW, JG, ML, BD), pp. 163–170.

MLDM-2005-LaiST #image #recognition

Support Vector Machine Experiments for Road Recognition in High Resolution Images (JYL, AS, JT), pp. 426–436.

PPDP-2005-CortierRZ #encryption #protocol #verification

A resolution strategy for verifying cryptographic protocols with CBC encryption and blind signatures (VC, MR, EZ), pp. 12–22.

ESEC-FSE-2005-XuC #consistency #detection #middleware #nondeterminism

Inconsistency detection and resolution for context-aware middleware support (CX, SCC), pp. 336–345.

SAT-J-2004-SubbarayanP05 #named #preprocessor #satisfiability

NiVER: Non-increasing Variable Elimination Resolution for Preprocessing SAT Instances (SS, DKP), pp. 276–291.

CADE-2005-HustadtKS

Deciding Monodic Fragments by Temporal Resolution (UH, BK, RAS), pp. 204–218.

ICLP-2005-Ray #horn clause #logic #query

The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic (OR), pp. 410–411.

SAT-2005-GalesiT #game studies

Resolution and Pebbling Games (NG, NT), pp. 76–90.

SAT-2005-Gelder #bound #distance #proving

Input Distance and Lower Bounds for Propositional Resolution Proof Length (AVG), pp. 282–293.

SAT-2005-GershmanS #effectiveness #preprocessor

Cost-Effective Hyper-Resolution for Preprocessing CNF Formulas (RG, OS), pp. 423–429.

SAT-2005-HirschN #proving #simulation #strict

Simulating Cutting Plane Proofs with Restricted Degree of Falsity by Resolution (EAH, SIN), pp. 135–142.

SAT-2005-KourilF #performance #satisfiability

Resolution Tunnels for Improved SAT Solver Performance (MK, JVF), pp. 143–157.

DATE-v1-2004-Taherzadeh-SaniLS #design #optimisation #pipes and filters

Systematic Design for Optimization of High-Resolution Pipelined ADCs (MTS, RL, OS), pp. 678–679.

DocEng-2004-BeheraLI #documentation #identification #image #visual notation

Visual signature based identification of Low-resolution document images (AB, DL, RI), pp. 178–187.

ICPR-v1-2004-GotoA #documentation #image

Screen Pattern Removal for Character Pattern Extraction from High-resolution Color Document Images (HG, HA), pp. 490–493.

ICPR-v1-2004-ParkL #distance #fault #identification #image #using

Enhancing Low-Resolution Facial Images Using Error Back-Projection for Human Identification at a Distance (JSP, SWL), pp. 346–349.

ICPR-v2-2004-BeginF #approach #using

Blind Super-Resolution Using a Learning-Based Approach (IB, FPF), pp. 85–89.

ICPR-v2-2004-LachaudT #independence

Resolution Independent Deformable Model (JOL, BT), pp. 237–240.

ICPR-v2-2004-NeedhamB #kernel #multi

Multi-Resolution Template Kernels (CJN, RDB), pp. 233–236.

ICPR-v2-2004-TremblaisA #algorithm #detection #multi #performance

A Fast Multiscale Edge Detection Algorithm Based on a New Edge Preserving PDE Resolution Scheme (BT, BA), pp. 811–814.

ICPR-v3-2004-ShimizuYO #image

Super-Resolution under Image Deformation (MS, TY, MO), pp. 586–589.

ICPR-v3-2004-WuTR #algorithm #component #video

High Frequency Component Compensation based Super-Resolution Algorithm for Face Video Enhancement (JW, MMT, BDR), pp. 598–601.

ICPR-v4-2004-CuiWHTS #image #synthesis

An Iris Image Synthesis Method Based on PCA and Super-Resolution (JC, YW, JH, TT, ZS), pp. 471–474.

ICPR-v4-2004-SatoKYI #interface #using

An Immersive Telepresence System with a Locomotion Interface Using High-Resolution Omnidirectional Movies (SI, TS, MK, NY), pp. 396–399.

ICPR-v4-2004-WuTR04a

Resolution Enhancement by AdaBoost (JW, MMT, BDR), pp. 893–896.

SIGIR-2004-Leidner

Toponym resolution in text (abstract only): “which sheffield is it?” (JLL), p. 602.

SAC-2004-BelwalSC #adaptation #modelling #quality

Adaptive resolution modeling of regional air quality (CB, AS, EMC), pp. 235–239.

ICLP-2004-CaldonM #implementation

Limiting Resolution: From Foundations to Implementation (PC, EM), pp. 149–164.

IJCAR-2004-KazakovN #transitive

A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards (YK, HdN), pp. 122–136.

IJCAR-2004-MengP #interactive #proving #using

Experiments on Supporting Interactive Proof Using Resolution (JM, LCP), pp. 372–384.

IJCAR-2004-Tammet #semantics #web

Chain Resolution for the Semantic Web (TT), pp. 307–320.

DAC-2003-KrsticWCLM #fault #modelling #statistics

Enhancing diagnosis resolution for delay defects based upon statistical timing and statistical fault models (AK, LCW, KTC, JJL, TMM), pp. 668–673.

DATE-2003-FreitasO #equation #estimation

Implicit Resolution of the Chapman-Kolmogorov Equations for Sequential Circuits: An Application in Power Estimation (ATF, ALO), pp. 10764–10769.

DATE-2003-MadalinskiBKY #design #visualisation

Visualization and Resolution of Coding Conflicts in Asynchronous Circuit Design (AM, AVB, VK, AY), pp. 10926–10931.

DATE-2003-ZhangM #implementation #independence #satisfiability #using #validation

Validating SAT Solvers Using an Independent Resolution-Based Checker: Practical Implementations and Other Applications (LZ, SM), pp. 10880–10885.

EDOC-2003-DunlopIR

Methods for Conflict Resolution in Policy-Based Management Systems (ND, JI, KR), pp. 98–111.

CIKM-2003-AmitayNNSS #ambiguity #multi

Multi-resolution disambiguation of term occurrences (EA, RN, WN, RS, AS), pp. 255–262.

CIKM-2003-BaldwinAC #modelling #multi #scalability #simulation

Multi-resolution modeling of large scale scientific simulation data (CB, GA, TC), pp. 40–48.

SIGIR-2003-EdensGJL #automation #information retrieval

An investigation of broad coverage automatic pronoun resolution for information retrieval (RJE, HLG, GJFJ, AMLA), pp. 381–382.

CADE-2003-DegtyarevFK

Monodic Temporal Resolution (AD, MF, BK), pp. 397–411.

CADE-2003-HustadtK #proving

TRP++2.0: A Temporal Resolution Prover (UH, BK), pp. 274–278.

CADE-2003-Nivelle #axiom #first-order #proving

Translation of Resolution Proofs into Short First-Order Proofs without Choice Axioms (HdN), pp. 365–379.

LICS-2003-Buresh-OppenheimP #complexity

The Complexity of Resolution Refinements (JBO, TP), p. 138–?.

SAT-2003-BacchusW #effectiveness #preprocessor #reduction #similarity

Effective Preprocessing with Hyper-Resolution and Equality Reduction (FB, JW), pp. 341–355.

SAT-2003-BuningZ

Read-Once Unit Resolution (HKB, XZ), pp. 356–369.

SAT-2003-GoldbergN #how #question

How Good Can a Resolution Based SAT-solver Be? (EG, YN), pp. 37–52.

VMCAI-2003-YangRS #encoding #logic #mobile #model checking #process #using #π-calculus

A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution (PY, CRR, SAS), pp. 116–131.

FoSSaCS-2002-KochMP #data access #detection #policy #specification

Conflict Detection and Resolution in Access Control Policy Specifications (MK, LVM, FPP), pp. 223–237.

STOC-2002-AlekhnovichJPU #exponential

An exponential separation between regular and general resolution (MA, JJ, TP, AU), pp. 448–456.

STOC-2002-Ben-Sasson #trade-off

Size space tradeoffs for resolution (EBS), pp. 457–464.

STOC-2002-Raz02a #bound #principle

Resolution lower bounds for the weak pigeonhole principle (RR), pp. 553–562.

ICALP-2002-EstebanGM #bound #complexity #on the

On the Complexity of Resolution with Bounded Conjunctions (JLE, NG, JM), pp. 220–231.

ICPR-v1-2002-GongY #algorithm #estimation #multi #search-based

Multi-Resolution Genetic Algorithm and Its Application in Motion Estimation (MG, YHY), pp. 644–647.

ICPR-v1-2002-UnsalanB #development #image #statistics #using

Classifying Land Development in High Resolution Satellite Images Using Straight Line Statistics (CÜ, KLB), pp. 127–130.

ICPR-v2-2002-TaylorGB #3d

Heritage Recording Applications of High Resolution 3D Imaging (JMT, GG, JAB), p. 520.

ICPR-v2-2002-YangP02a #re-engineering

High-Resolution Reconstruction of Sparse Data from Dense Low-Resolution Spatio-Temporal Data (QY, BP), pp. 261–264.

ICPR-v2-2002-ZhaoSHS #named

Super-Fusion: A Super-Resolution Method Based on Fusion (WYZ, HSS, MWH, SS), pp. 269–272.

ICPR-v3-2002-KongZ #analysis #authentication #image

Palmprint Texture Analysis Based on Low-Resolution Images for Personal Authentication (AWKK, DZ), pp. 807–810.

GPCE-2002-DouenceFS #detection #framework #interactive

A Framework for the Detection and Resolution of Aspect Interactions (RD, PF, MS), pp. 173–188.

LOPSTR-2002-AbdennadherR #constraints #logic programming #synthesis #theorem proving #using

Constraint Solver Synthesis Using Tabled Resolution for Constraint Logic Programming (SA, CR), pp. 32–47.

FSE-2002-CapraEM #approach #mobile

A micro-economic approach to conflict resolution in mobile computing (LC, WE, CM), pp. 31–40.

CADE-2002-ArecesH #hybrid #logic

HyLoRes 1.0: Direct Resolution for Hybrid Logics (CA, JH), pp. 156–160.

CADE-2002-Baaz #analysis #proving

Proof Analysis by Resolution (MB), pp. 517–532.

CSL-2002-AtseriasB #on the #proving

On the Automatizability of Resolution and Related Propositional Proof Systems (AA, MLB), pp. 569–583.

CSL-2002-Beckmann #proving #strict

Resolution Refutations and Propositional Proofs with Height-Restrictions (AB), pp. 599–612.

SAT-2002-DrakeFW #satisfiability

Adding resolution to the DPLL procedure for satisfiability (LD, AF, TW), p. 46.

SAT-2002-Kusper #linear #problem #satisfiability

Solving the resolution-free SAT problem by hyper-unit propagation in linear time (GK), p. 32.

SAT-2002-ManyaABCL

Resolution methods for many-valued CNF formulas (FM, CA, RB, AC, CML), p. 42.

SAT-2002-MonassonC #algorithm #analysis #exponential #random #satisfiability #scalability

Restart method and exponential acceleration of random 3-SAT instances resolutions: A large deviation analysis of the Davis-Putnam-Loveland-Logemann algorithm (RM, SC), p. 11.

ICDAR-2001-ViglinoG #game studies

Cadastre Map Assembling: A Puzzle Game Resolution (JMV, LG), p. 1235–?.

STOC-2001-PitassiR #bound #principle

Regular resolution lower bounds for the weak pigeonhole principle (TP, RR), pp. 347–355.

ICALP-2001-AtseriasBE #bound

Lower Bounds for the Weak Pigeonhole Principle Beyond Resolution (AA, MLB, JLE), pp. 1005–1016.

ICEIS-v1-2001-LeeK #approach #logic programming

A Logic Programming Approach to Negotiation for Conflict Resolution in BDI Agents System (MJL, JSK), pp. 514–517.

SEKE-2001-MorenoS #classification #detection #requirements

A Method for Detection, Classification and Resolution of Discrepancies in Viewpoint-based Requirements Engineering (AMM, AS), pp. 110–119.

RE-2001-InR #visualisation

Issues of Visualized Conflict Resolution (HI, SR), pp. 314–315.

HPDC-2001-SkicewiczDS #behaviour #multi #query #using

Multi-Resolution Resource Behaviour Queries Using Wavelets (JAS, PAD, JMS), pp. 395–394.

ICLP-2001-KaneiwaT #order

An Order-Sorted Resolution with Implicitly Negative Sorts (KK, ST), pp. 300–314.

IJCAR-2001-HahnleMR #graph #order

Ordered Resolution vs. Connection Graph Resolution (RH, NVM, ER), pp. 182–194.

IJCAR-2001-NivelleP #similarity

A Resolution-Based Decision Procedure for the Two-Variable Fragment with Equality (HdN, IPH), pp. 211–225.

IJCAR-2001-Stuber #modelling #proving

A Model-Based Completeness Proof of Extended Narrowing and Resolution (JS), pp. 195–210.

IJCAR-2001-Szeider

NP-Completeness of Refutability by Literal-Once Resolution (SS), pp. 168–181.

SAT-2001-CoccoM #analysis #backtracking #physics #random #satisfiability #statistics

Statistical physics analysis of the backtrack resolution of random 3-SAT instances (SC, RM), pp. 36–47.

SAT-2001-Gelder #satisfiability

Combining Preorder and Postorder Resolution in a Satisfiability Solver (AVG), pp. 115–128.

DATE-2000-SemeriaSM #behaviour #c #memory management #pointer #synthesis

Resolution of Dynamic Memory Allocation and Pointers for the Behavioral Synthesis from C (LS, KS, GDM), pp. 312–319.

ICEIS-2000-OrasanE #optimisation

Experiments in Optimising the Task of Anaphora Resolution (CO, RE), pp. 191–195.

ICML-2000-MunosM #convergence

Rates of Convergence for Variable Resolution Schemes in Optimal Control (RM, AWM), pp. 647–654.

ICML-2000-Reynolds #adaptation #bound #clustering #learning

Adaptive Resolution Model-Free Reinforcement Learning: Decision Boundary Partitioning (SIR), pp. 783–790.

ICPR-v1-2000-CapelZ #image #sequence

Super-Resolution Enhancement of Text Image Sequences (DPC, AZ), pp. 1600–1605.

ICPR-v1-2000-ZometP #performance

Efficient Super-Resolution and Applications to Mosaics (AZ, SP), pp. 1579–1583.

ICPR-v3-2000-BorghysPA #detection #image #multi

A Multi-Variate Contour Detector for High-Resolution Polarimetric SAR Images (DB, CP, MA), pp. 3650–3655.

ICPR-v3-2000-DekeyserBPP #2d #image #parametricity #sequence

Super-Resolution from Noisy Image Sequences Exploiting a 2D Parametric Motion Model (FD, PB, PP, ÉP), pp. 3354–3357.

ICPR-v3-2000-RoullotHBNM #3d #image #re-engineering

Regularized Reconstruction of 3D High-Resolution Magnetic Resonance Images from Acquisitions of Anisotropically Degraded Resolutions (ER, AH, IB, MN, ÉM), pp. 3350–3353.

ICPR-v4-2000-BolterL #detection #re-engineering

Detection and Reconstruction of Human Scale Features from High Resolution Interferometric SAR Data (RB, FL), pp. 4291–4294.

KR-2000-ChomickiLN #approach #logic programming #policy

A Logic Programming Approach to Conflict Resolution in Policy Management (JC, JL, SAN), pp. 121–132.

KR-2000-Stell #multi #representation

The Representation of Discrete Multi-resolution Spatial Knowledge (JGS), pp. 38–49.

OOPSLA-2000-SundaresanHRVLGG #java

Practical virtual method call resolution for Java (VS, LJH, CR, RVR, PL, EG, CG), pp. 264–280.

CADE-2000-BezemHN #automation #proving #type system #using

Automated Proof Construction in Type Theory Using Resolution (MB, DH, HdN), pp. 148–163.

CADE-2000-DegtyarevV

Stratified Resolution (AD, AV), pp. 365–384.

CADE-2000-SchmidtH #logic

A Resolution Decision Procedure for Fluted Logic (RAS, UH), pp. 433–448.

CADE-2000-SpencerH #order

Support Ordered Resolution (BS, JDH), pp. 385–400.

CL-2000-Dierkes

An Application of Model Building in a Resolution Decision Procedure for Guarded Formulas (MD), pp. 583–597.

RTA-2000-Struth #algebra

An Algebra of Resolution (GS), pp. 214–228.

ICDAR-1999-KamadaF #image #performance

High-speed, High-accuracy Binarization Method for Recognizing Text in Images of Low Spatial Resolutions (HK, KF), pp. 139–142.

ICDAR-1999-OkunPS #documentation #estimation #image #robust

Robust Skew Estimation on Low-Resolution Document Images (OO, MP, JJS), pp. 621–624.

STOC-1999-Ben-SassonW #proving

Short Proofs are Narrow — Resolution Made Simple (EBS, AW), pp. 517–526.

CIKM-1999-EpterK #clustering #multi

A Multiple-Resolution Method for Edge-Centric Data Clustering (SE, MSK), pp. 491–498.

CADE-1999-ArecesNR #logic

Prefixed Resolution: A Resolution Method for Modal and Description Logics (CA, HdN, MdR), pp. 187–201.

CADE-1999-BaazLM

System Description: CutRes 0.1: Cut Elimination by Resolution (MB, AL, GM), pp. 212–216.

CADE-1999-Benzmuller #higher-order

Extensional Higher-Order Paramodulation and RUE-Resolution (CB), pp. 399–413.

CSL-1999-HagiharaY #logic

Resolution Method for Modal Logic with Well-Founded Frames (SH, NY), pp. 277–291.

CSL-1999-Toran #bound

Lower Bounds for Space in Resolution (JT), pp. 362–373.

VLDB-1998-SheikholeslamiCZ #approach #clustering #database #multi #named #scalability

WaveCluster: A Multi-Resolution Clustering Approach for Very Large Spatial Databases (GS, SC, AZ), pp. 428–439.

CIKM-1998-ChiuehBK #image #multi

Multi-Resolution Indexing for Shape Images (TcC, AB, KK), pp. 297–305.

ICPR-1998-AlbrechtM

Stereo photogrammetry with improved spatial resolution (PA, BM), pp. 845–849.

ICPR-1998-AvrinD #estimation #sequence #video

Local motion estimation and resolution enhancement of video sequences (VA, ID), pp. 539–541.

ICPR-1998-GuoYM #analysis #game studies #multi #robust #segmentation #statistics

Unsupervised segmentation based on multi-resolution analysis, robust statistics and majority game theory (GG, SY, SM), pp. 799–801.

ICPR-1998-KawanishiYITY #generative #image #using

Generation of high-resolution stereo panoramic images by omnidirectional imaging sensor using hexagonal pyramidal mirrors (TK, KY, HI, HT, NY), pp. 485–489.

ICPR-1998-ZhaTH #3d #adaptation #multi

Multi-resolution surface description of 3D objects by shape-adaptive triangular meshes (HZ, ST, TH), pp. 954–958.

TOOLS-USA-1998-Lauinger #design

Resolutions of an Object Designer (TL), p. 402.

CADE-1998-BenzmullerK #higher-order

Extensional Higher-Order Resolution (CB, MK), pp. 56–71.

CADE-1998-HortonS #canonical #named #process #rank

Rank/Activity: A Canonical Form for Binary Resolution (JDH, BS), pp. 412–426.

CADE-1998-Nivelle

A Resolution Decision Procedure for the Guarded Fragment (HdN), pp. 191–204.

CADE-1998-Ohlbach #framework #reasoning #semantics

Combining Hilbert Style and Semantic Reasoning in a Resolution Framework (HJO), pp. 205–219.

CSL-1998-Buning #bound

An Upper Bound for Minimal Resolution Refutations (HKB), pp. 171–178.

JICSLP-1998-RaoRR #on the #scheduling

On the Optimality of Scheduling Strategies in Subsumption-based Tabled Resolution (PR, CRR, IVR), pp. 310–324.

DLT-1997-Kurerov #graph grammar

Resolution-Similar Graph Grammars (YNK), pp. 567–577.

PLILP-1997-BowersHI #logic programming #quantifier

Resolution for Logic Programming with Universal Quantifiers (AFB, PMH, FI), pp. 63–77.

CADE-1997-GanzingerMW #order #type system

Soft Typing for Ordered Resolution (HG, CM, CW), pp. 321–335.

CADE-1997-Nivelle #classification #order

A Classification of Non-liftable Orders for Resolution (HdN), pp. 336–350.

CAV-1997-RamakrishnanRRSSW #model checking #performance #using

Efficient Model Checking Using Tabled Resolution (YSR, CRR, IVR, SAS, TS, DSW), pp. 143–154.

CSL-1997-BussP #principle

Resolution and the Weak Pigeonhole Principle (SRB, TP), pp. 149–156.

ICLP-1997-FreireSW

Taking I/O Seriously: Resolution Reconsidered for Disk (JF, TS, DSW), pp. 198–212.

SAS-1996-PandeR #data flow

Data-Flow-Based Virtual Function Resolution (HDP, BGR), pp. 238–254.

ICPR-1996-LimVW

Resolution consideration in spatially variant sensors (FLL, SV, GAWW), pp. 795–799.

ICPR-1996-MenardL #multi #robust

Robust stereo on multiple resolutions (CM, AL), pp. 910–914.

ICPR-1996-NamuduriRR #algorithm #image #named #segmentation #slicing #using

SVBS: a high-resolution medical image compression algorithm using slicing with variable block size segmentation (KRN, NR, HR), pp. 919–923.

SEKE-1996-FoxvogT #realtime

Variable Depth Resolution for Intelligent Real-Time Systems (DF, TT), pp. 400–407.

SAC-1996-DurandAN #algorithm #automation #search-based #using

Automatic aircraft conflict resolution using genetic algorithms (ND, JMA, JN), pp. 289–298.

CADE-1996-Dixon #logic

Search Strategies for Resolution in Temporal Logics (CD), pp. 673–687.

CADE-1996-Nonnengart #calculus #logic

Resolution-Based Calculi for Modal and Temporal Logics (AN), pp. 598–612.

CADE-1996-RitterPW

Proof-Terms for Classical and Intuitionistic Resolution (Extended Abstract) (ER, DJP, LAW), pp. 17–31.

CADE-1996-Tammet #logic #proving #theorem proving

A Resolution Theorem Prover for Intuitonistic Logic (TT), pp. 2–16.

CADE-1996-Tour #semantics #symmetry

Ground Resolution with Group Computations on Semantic Symmetries (TBdlT), pp. 478–492.

LICS-1996-BasinG #analysis #complexity #order

Complexity Analysis Based on Ordered Resolution (DAB, HG), pp. 456–465.

STOC-1995-RaghavanU #probability

Stochastic contention resolution with short delays (PR, EU), pp. 229–237.

CIKM-1995-MakkiP #database #detection #distributed

Detection and Resolution of Deadlocks in Distributed Database Systems (KM, NP), pp. 411–416.

CIKM-1995-ParkST #algorithm #concurrent #detection #distributed #generative #graph #hybrid

A Distributed Deadlock Detection and Resolution Algorithm Based on A Hybrid Wait-for Graph and Probe Generation Scheme (YCP, PS, HLT), pp. 378–386.

CIKM-1995-Tammet #using

Using Resolution for Extending KL-ONE-type Languages (TT), pp. 326–332.

PLILP-1995-Rety #revisited

The Notion of Floundering for SLDNF-Resolution Revisited (JHR), pp. 380–396.

ICLP-1995-BarklundDCL #semantics

Semantical Properties of SLD-Resolution with Reflection (JB, PD, SC, GAL), p. 830.

ILPS-1995-DawsonRRS #optimisation #unification

Optimizing Clause Resolution: Beyond Unification Factoring (SD, CRR, IVR, TS), pp. 194–208.

ILPS-1995-JamilL #behaviour #declarative #inheritance #semantics

A Declarative Semantics for Behavioral Inheritance and Conflict Resolution (HMJ, LVSL), pp. 130–144.

ILPS-1995-MessingS #logic programming #source code

Regular Signed Resolution Applied to Annotated Logic Programs (BM, PvS), p. 638.

RTA-1995-Stickel #proving #term rewriting #theorem proving

Term Rewriting in Contemporary Resolution Theorem Proving (Abstract) (MES), p. 101.

EDAC-1994-BoniCFMO #fault #modelling #physics

Physical Modeling of Linearity Errors for the Diagnosis of High Resolution R-2R D/A Converters (AB, GC, GF, SM, MO), p. 664.

STOC-1994-MacKenziePR #on the #probability #protocol

On contention resolution protocols and associated probabilistic phenomena (PDM, CGP, RR), pp. 153–162.

KR-1994-DechterR #revisited

Directional Resolution: The Davis-Putnam Procedure, Revisited (RD, IR), pp. 134–145.

KR-1994-Val #compilation #database #how

Tractable Databases: How to Make Propositional Unit Resolution Complete Through Compilation (AdV), pp. 551–561.

ILPS-1994-BarklundDCL #named

SLD — Resolution with Reflection (JB, PD, SC, GAL), pp. 554–568.

ILPS-1994-Hui-Bon-Hoa

Intuitionistic Implication and Resolution (AHBH), pp. 409–423.

ILPS-1994-RameshC #prolog

A Portable Method of Integrating SLG Resolution into Prolog Systems (RR, WC), pp. 618–632.

ILPS-1994-SwiftW94a #automaton #source code

An Abstract Machine for SLG Resolution: Definite Programs (TS, DSW), pp. 633–652.

FPCA-1993-Liu #evaluation #functional #lazy evaluation #logic #nondeterminism #towards

Towards Lazy Evaluation, Sharing and Non-determinism in Resolution Based Functional Logic Languages (FL), pp. 201–209.

SAC-1993-BeaversB

“Dynamic” Inferencing with Generalized Resolution (GB, HB), pp. 614–621.

ILPS-1993-BolD #semantics

Tabulated Resolution for Well Founded Semantics (RNB, LD), pp. 199–219.

ILPS-1993-Drabent #query

Completeness of SLDNF-Resolution for Non-Floundering Queries (WD), p. 643.

ILPS-1993-Hui-Bon-Hoa #constraints

An Intuitionistic Resolution Method for a Language Dealing with Scope Constraints (AHBH), p. 667.

ILPS-1993-Spencer #order #strict

The Ordered Clause Restriction of Model Elimination and SLI Resolution (BS), p. 678.

DAC-1992-KubiakPFS #evaluation

Exact Evaluation of Diagnostic Test Resolution (KK, SP, WKF, RAS), pp. 347–352.

VLDB-1992-ReadFS #multi #relational

A Multi-Resolution Relational Data Model (RLR, DSF, AS), pp. 139–150.

STOC-1992-MalitzP #graph #on the

On the Angular Resolution of Planar Graphs (SMM, AP), pp. 527–538.

ICALP-1992-Schmid #algorithm #multi

The Average CRI-Length of a Tree Collision Resolution Algorithm in Presence of Multiplicity-Dependent Capture Effects (US), pp. 223–234.

ML-1992-Singh #algorithm #learning #modelling #scalability

Scaling Reinforcement Learning Algorithms by Learning Variable Temporal Resolution Models (SPS), pp. 406–415.

OOPSLA-1992-DucournauHHM #inheritance

Monotonic Conflict Resolution Mechanisms for Inheritance (RD, MH, MH, MLM), pp. 16–24.

CADE-1992-DigricoliK #challenge #problem

LIM+ Challenge Problems by RUE Hyper-Resolution (VJD, EK), pp. 239–252.

CADE-1992-UribeFM #automation #bibliography #framework #proving

An Overview of FRAPPS 2.0: A Framework for Resolution-based Automated Proof Procedure Systems (TEU, AMF, MKM), pp. 721–725.

CADE-1992-VershininR #logic #nondeterminism

One More Logic with Uncertainty and Resolution Principle for it (KV, IR), pp. 663–667.

CSL-1992-FernmullerL

Model Building by Resolution (CGF, AL), pp. 134–148.

JICSLP-1992-Dumant

Checking the Soundness of Resolution Schemes (BD), pp. 37–51.

ESOP-J-1990-Helmink91 #type system

Resolution and Type Theory (LH), pp. 119–138.

ICALP-1991-Fouks

General Resolution of Tseitin Formulas is Hard (JDF), pp. 151–162.

FPCA-1991-NipkowS #order #unification

Type Classes and Overloading Resolution via Order-Sorted Unification (TN, GS), pp. 1–14.

ML-1991-GiordanaSR #concept

Abstracting Concepts with Inverse Resolution (AG, LS, DR), pp. 142–146.

ML-1991-HummeS #using

Using Inverse Resolution to Learn Relations from Experiments (DH, CS), pp. 412–416.

ML-1991-LingN #comparison

Comparison of Methods Based on Inverse Resolution (XL, MAN), pp. 168–172.

ML-1991-Moore #programming

Variable Resolution Dynamic Programming (AWM), pp. 333–337.

PLILP-1991-Boye #logic programming #named #semantics #source code

S-SLD-resolution — An Operational Semantics for Logic Programs with External Procedures (JB), pp. 383–393.

CSL-1991-HeuschS #aspect-oriented #behaviour #probability

Some Aspects of the Probabilistic Behavior of Variants of Resolution (PH, ES), pp. 164–172.

ICLP-1991-CasanovaHG

Explaining SLDNF Resolution with Non-Normal Defaults (MAC, ASH, RAdTG), pp. 18–31.

ICLP-1991-Lever #proving

Proving Program Properties by Means of SLS-Resolution (JML), pp. 614–628.

ISLP-1991-BeierleMS #automaton #order #polymorphism

Extending the Warren Abstract Machine to Polymorphic Order-Sorted Resolution (CB, GM, HS), pp. 272–286.

ESOP-1990-Helmink #type system

Resolution and Type Theory (LH), pp. 197–211.

ML-1990-RouveirolP

Beyond Inversion of Resolution (CR, JFP), pp. 122–130.

PLILP-1990-GroschS #ada

Inference-Based Overloading Resolution for ADA (FJG, GS), pp. 30–44.

CADE-1990-Burckert #constraints

A Resolution Principle for Clauses with Constraints (HJB), pp. 178–192.

CADE-1990-OzturkH #axiom #similarity

Hyper Resolution and Equality Axioms without Function Substitutions (YO, LJH), pp. 456–469.

CLP-1990-GiordanoM90 #maintenance #modelling

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

CSL-1990-Fermuller #set

A Resolution Variant Deciding some Classes of Clause Sets (CGF), pp. 128–144.

SIGMOD-1989-IoannidisS

Conflict Resolution of Rules Assigning Values to Virtual Attributes (YEI, TKS), pp. 205–214.

CSL-1989-DeckerC

Generalizing Allowedness While Retaining Completeness of SLDNF-Resolution (HD, LC), pp. 98–115.

CSL-1989-Goerdt #strict

Davis-Putnam Resolution versus Unrestricted Resolution (AG), pp. 143–162.

CSL-1989-Stark #proving

A Direct Proof for the Completeness of SLD-Resolution (RFS), pp. 382–383.

NACLP-1989-Wakayama #monad

Monadic Cases: Rediscovering Input Resolution (TW), pp. 115–130.

RTA-1989-Bachmair #normalisation #proving

Proof Normalization for Resolution and Paramodulation (LB), pp. 15–28.

DAC-1988-Schiele #constraints #incremental

Compaction with Incremental Over-Constraint Resolution (WLS), pp. 390–395.

SIGMOD-1988-RoeslerB #concurrent #distributed #modelling #object-oriented #semantics

Deadlock Resolution and Semantic Lock Models in Object-Oriented Distributed Systems (MR, WAB), pp. 361–370.

ML-1988-MuggletonB #first-order

Machine Invention of First Order Predicates by Inverting Resolution (SM, WLB), pp. 339–352.

SIGIR-1988-BonziL #documentation #information retrieval

The Use of Anaphoric Resolution for Document Description in Information Retrieval (SB, EDL), pp. 53–66.

ALP-1988-Giovannetti #programming language

Narrowing and Resolution in Logic-Functional programming Languages (Abstract) (EG), p. 30.

CADE-1988-DonatW #higher-order #learning #using

Learning and Applying Generalised Solutions using Higher Order Resolution (MRD, LAW), pp. 41–60.

CADE-1988-Ohlbach #calculus #logic

A Resolution Calculus for Modal Logics (HJO), pp. 500–516.

CADE-1988-Rabinov #strict

A Restriction of Factoring in Binary Resolution (AR), pp. 582–591.

CADE-1988-WakayamaP

Case Inference in Resolution-Based Languages (TW, THP), pp. 313–322.

CSL-1988-Eder #calculus #comparison

A Comparison of the Resolution Caculus and the Connection Method, and a new Calculus Generalizing Both Methods (EE), pp. 80–98.

CSL-1987-BlasiusH #unification

Resolution with Feature Unification (KHB, UH), pp. 17–26.

ICLP-1987-Vieille87 #proving

A Database-Complete Proof Procedure Based on SLD-Resolution (LV), pp. 74–103.

ICLP-1987-Yamamoto87

A Theoretical Combination of SLD-Resolution and Narrowing (AY), pp. 470–487.

SLP-1987-HuberV87 #order #prolog

Extended Prolog for Order-Sorted Resolution (MH, IV), pp. 34–43.

ESOP-1986-GeserH #case study #experience #interpreter #specification #term rewriting

Experiences with the RAP System — A Specification Interpreter Combining Term Rewriting and Resolution (AG, HH), pp. 339–350.

CADE-1986-Dietrich #algebra #logic

Relating Resolution and Algebraic Completion for Horn Logic (RD), pp. 62–78.

CADE-1986-Eisinger #graph #what

What You Always Wanted to Know About Clause Graph Resolution (NE), pp. 316–336.

CADE-1986-GreenbaumP #proving #theorem proving

The Illinois Prover: A General Purpose Resolution Theorem Prover (SG, DAP), pp. 685–687.

CADE-1986-Konolige #logic #quantifier

Resolution and Quantified Epistemic Logics (KK), pp. 199–208.

CADE-1986-Lim #heuristic

The Heuristics and Experimental Results of a New Hyperparamodulation: HL-Resolution (YL), pp. 240–253.

CADE-1986-Traugott

Nested Resolution (JT), pp. 394–402.

CADE-1986-Wang #named #proving #similarity

ECR: An Equality Conditional Resolution Proof Procedure (TCW), pp. 254–271.

ICLP-1986-BarbutiM86 #logic programming #source code

Completeness of the SLDNF-resolution for a class of logic programs (RB, MM), pp. 600–614.

ICLP-1986-TamakiS86

OLD Resolution with Tabulation (HT, TS), pp. 84–98.

LICS-1986-AbadiM

A Timely Resolution (MA, ZM), pp. 176–186.

SLP-1986-GallierR86 #horn clause #similarity

SLD-Resolution Methods for Horn Clauses with Equality Based on E-Unification (JHG, SR), pp. 168–179.

CADE-1984-Paul #principle

A New Interpretation of the Resolution Principle (EP), pp. 333–355.

ILPC-1984-WolframML84 #logic programming #source code

A Unified Treatment of Resolution Strategies for Logic Programs (DAW, MJM, JLL), pp. 263–276.

CADE-1982-GreenbaumNOP #comparison #deduction #implementation

Comparison of Natural Deduction and Locking Resolution Implementations (SG, AN, PO, DAP), pp. 159–171.

DAC-1981-Abramovici #algorithm #testing

A maximal resolution guided-probe testing algorithm (MA), pp. 189–195.

CADE-1980-BledsoeH #proving

Variable Elimination and Chaining in a Resolution-based Prover for Inequalities (WWB, LMH), pp. 70–87.

CADE-1980-Noll #how

A Note on Resolution: How to Get Rid of Factoring without Loosing Completeness (HN), pp. 250–263.

DAC-1976-GoundanH #clustering #fault #logic

Partitioning logic circuits to maximize fault resolution (AG, JPH), pp. 271–277.

SIGMOD-1976-Macri #concurrent #data transformation #detection

Deadlock Detection and Resolution in a CODASYL Based Data Management System (PPM), pp. 45–49.

STOC-1975-Galil #bound #complexity #on the

On the Validity and Complexity of Bounded Resolution (ZG), pp. 72–82.