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:
base (79)
imag (66)
super (52)
use (50)
high (45)

Stem resolut$ (all stems)

521 papers:

DATEDATE-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.
DATEDATE-2015-OborilET #monitoring #online
High-resolution online power monitoring for modern microprocessors (FO, JE, MBT), pp. 265–268.
HTHT-2015-Jain #automation #social
Automated Methods for Identity Resolution across Heterogeneous Social Platforms (PJ), pp. 307–310.
PODSPODS-2015-KhamisNRR #geometry #worst-case
Joins via Geometric Resolutions: Worst-case and Beyond (MAK, HQN, CR, AR), pp. 213–228.
VLDBVLDB-2015-VesdapuntBD #algorithm #crowdsourcing
Errata for “Crowdsourcing Algorithms for Entity Resolution” (PVLDB 7(12): 1071-1082) (NV, KB, NND), p. 641.
ESOPESOP-2015-NeronTVW #formal method
A Theory of Name Resolution (PN, APT, EV, GW), pp. 205–231.
STOCSTOC-2015-Moitra #matrix
Super-resolution, Extremal Functions and the Condition Number of Vandermonde Matrices (AM), pp. 821–830.
ICALPICALP-v1-2015-BeyersdorffCMS #calculus
Feasible Interpolation for QBF Resolution Calculi (OB, LC, MM, AS), pp. 180–192.
LATALATA-2015-BeyersdorffCS #game studies
A Game Characterisation of Tree-like Q-resolution Size (OB, LC, KS), pp. 486–498.
CHICHI-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.
HCIDUXU-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.
KDDKDD-2015-FisherCWR #clustering #framework
A Clustering-Based Framework to Control Block Sizes for Entity Resolution (JF, PC, QW, ER), pp. 279–288.
KDDKDD-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.
SACSAC-2015-IglesiaJGP #parallel
Parallel trajectory synchronization for aircraft conflicts resolution (EdlI, GBJ, CG, MP), pp. 1339–1341.
CADECADE-2015-GorznyP #first-order #proving #towards
Towards the Compression of First-Order Resolution Proofs by Lowering Unit Clauses (JG, BWP), pp. 356–366.
ICLPICLP-2015-JohannKK #logic programming
Structural Resolution for Logic Programming (PJ, EK, VK).
ICSTSAT-2015-NevesMJLM #satisfiability
Exploiting Resolution-Based Representations for MaxSAT Solving (MN, RM, MJ, IL, VMM), pp. 272–286.
QoSAQoSA-2014-JohnsonC #architecture #evolution #performance #smt #specification
Efficient re-resolution of SMT specifications for evolving software architectures (KJ, RC), pp. 93–102.
WICSAWICSA-2014-DamRE #architecture #consistency #modelling #nondeterminism
Inconsistency Resolution in Merging Versions of Architectural Models (HKD, AR, AE), pp. 153–162.
ASEASE-2014-HillsKV #lightweight #php
Static, lightweight includes resolution for PHP (MH, PK, JJV), pp. 503–514.
CASECASE-2014-HerrNV #complexity #distributed #framework #scheduling
Prognostics-based scheduling in a distributed platform: Model, complexity and resolution (NH, JMN, CV), pp. 1054–1059.
CASECASE-2014-OberlanderKHRD #3d #multi
A multi-resolution 3-D environment model for autonomous planetary exploration (JO, SK, GH, AR, RD), pp. 229–235.
DATEDATE-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.
DATEDATE-2014-KoundinyaTFPBS #multi
Multi resolution touch panel with built-in fingerprint sensing support (PK, ST, TF, VP, JB, WS), pp. 1–6.
DRRDRR-2014-ChachraXADT #documentation #image
Extraction and labeling high-resolution images from PDF documents (SKC, ZX, SA, DDF, GRT), p. ?–9.
SIGMODSIGMOD-2014-ElmagarmidIOQ0Y #interactive #named
NADEEF/ER: generic and interactive entity resolution (AKE, IFI, MO, JAQR, NT, SY), pp. 1071–1074.
VLDBVLDB-2014-AltowimKM #approach #relational
Progressive Approach to Relational Entity Resolution (YA, DVK, SM), pp. 999–1010.
VLDBVLDB-2014-Gal #named #nondeterminism #tutorial
Tutorial: Uncertain Entity Resolution (AG), pp. 1711–1712.
VLDBVLDB-2014-VesdapuntBD #algorithm #crowdsourcing
Crowdsourcing Algorithms for Entity Resolution (NV, KB, NND), pp. 1071–1082.
MSRMSR-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.
HCIHCI-TMT-2014-HongKCK #3d
3D Face-Aware Electronics with Low-Resolution Imaging (YJH, JK, JC, IJK), pp. 603–610.
HILTHILT-2014-GacekBCSW #architecture #assurance #modelling #named
Resolute: an assurance case language for architecture models (AG, JB, DDC, KS, MWW), pp. 19–28.
CIKMCIKM-2014-RamadanC #realtime
Forest-Based Dynamic Sorted Neighborhood Indexing for Real-Time Entity Resolution (BR, PC), pp. 1787–1790.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-2014-DarvishLS #image
Super-resolution Facial Images from Single Input Images Based on Discrete Wavelet Transform (AMD, HL, US), pp. 843–848.
ICPRICPR-2014-ElmikatyS #detection #image #multi #using
Car Detection in High-Resolution Urban Scenes Using Multiple Image Descriptors (ME, TS), pp. 4299–4304.
ICPRICPR-2014-GotoFNHS
Super-resolution System for 4K-HDTV (TG, TF, FN, SH, MS), pp. 4453–4458.
ICPRICPR-2014-HafnerLUW #classification
Bridging the Resolution Gap between Endoscope Types for a Colonic Polyp Classification (MH, ML, AU, GW), pp. 2739–2744.
ICPRICPR-2014-HsiaoLH #3d #re-engineering
Super-resolution Reconstruction for Binocular 3D Data (WTH, JJL, HHH), pp. 4206–4211.
ICPRICPR-2014-IshaqEW #evaluation #performance
An Evaluation of the Faster STORM Method for Super-resolution Microscopy (OI, JE, CW), pp. 4435–4440.
ICPRICPR-2014-NathLHWBS #automation #behaviour #recognition #social
Automated Social Behaviour Recognition at Low Resolution (TN, GL, BH, BW, SDB, PS), pp. 2323–2328.
ICPRICPR-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.
ICPRICPR-2014-SinghA #constraints #energy #self
Sub-band Energy Constraints for Self-Similarity Based Super-resolution (AS, NA), pp. 4447–4452.
ICPRICPR-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.
ICPRICPR-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.
KEODKEOD-2014-ChamekhTB #concept #multi #ontology
Ontology Modification in a Multi-User Concept — Conflict Resolution (FC, GT, DB), pp. 296–303.
KMISKMIS-2014-FersiniMMBJA #named #online #towards
eMediation — Towards Smart Online Dispute Resolution (EF, EM, LM, GB, SEJ, GA), pp. 228–236.
MLDMMLDM-2014-HassaniSS #adaptation #clustering #multi
Adaptive Multiple-Resolution Stream Clustering (MH, PS, TS), pp. 134–148.
MLDMMLDM-2014-MazzolaCTP #string
Resolution of Geographical String Name through Spatio-Temporal Information (LM, PC, AT, MP), pp. 498–512.
SEKESEKE-2014-SilvaBCR #architecture #development #trade-off
A Tool for Trade-off Resolution on Architecture-Centered Software Development (ICLS, PHSB, EC, HR), pp. 35–38.
MODELSMoDELS-2014-VasilevskiyH #product line
Resolution of Interfering Product Fragments in Software Product Line Engineering (AV, ØH), pp. 467–483.
MODELSMoDELS-2014-VasilevskiyH #product line
Resolution of Interfering Product Fragments in Software Product Line Engineering (AV, ØH), pp. 467–483.
ECOOPECOOP-2014-LiTSX #java #self
Self-inferencing Reflection Resolution for Java (YL, TT, YS, JX), pp. 27–53.
RERE-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.
SACSAC-2014-ZardariBE #using
Cloud adoption: prioritizing obstacles and obstacles resolution tactics using AHP (SZ, RB, AE), pp. 1013–1020.
FSEFSE-2014-BocovichA #feature model #interactive
Variable-specific resolutions for feature interactions (CB, JMA), pp. 553–563.
ICLPICLP-J-2014-GallF #adaptation #implementation
Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R (DG, TWF), pp. 525–538.
IJCARIJCAR-2014-NalonMD #confluence #logic
Clausal Resolution for Modal Logics of Confluence (CN, JM, CD), pp. 322–336.
ICSTSAT-2014-BalabanovWJ #proving
QBF Resolution Systems and Their Proof Complexities (VB, MW, JHRJ), pp. 154–169.
ICSTSAT-2014-BeyersdorffK #metric
Unified Characterisations of Resolution Hardness Measures (OB, OK), pp. 170–187.
ICSTSAT-2014-SlivovskyS #dependence
Variable Dependencies and Q-Resolution (FS, SS), pp. 269–284.
CASECASE-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.
DRRDRR-2013-MaA #documentation #framework #image
A super resolution framework for low resolution document image OCR (DM, GA).
ICDARICDAR-2013-MaraK #3d #invariant
Vectorization of 3D-Characters by Integral Invariant Filtering of High-Resolution Triangular Meshes (HM, SK), pp. 62–66.
ICDARICDAR-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.
VLDBVLDB-2013-AltwaijryKM #approach
Query-Driven Approach to Entity Resolution (HA, DVK, SM), pp. 1846–1857.
VLDBVLDB-2013-WhangLG
Question Selection for Crowd Entity Resolution (SEW, PL, HGM), pp. 349–360.
MSRMSR-2013-ManiNMNSN #debugging #identification #repository
Bug resolution catalysts: identifying essential non-committers from bug repositories (SM, SN, DM, RN, VSS, AAN), pp. 193–202.
WCREWCRE-2013-XiaLWZ #debugging #developer #recommendation
Accurate developer recommendation for bug resolution (XX, DL, XW, BZ), pp. 72–81.
STOCSTOC-2013-BeckI
Strong ETH holds for regular resolution (CB, RI), pp. 487–494.
LATALATA-2013-Tveretina #bound
A Conditional Superpolynomial Lower Bound for Extended Resolution (OT), pp. 559–569.
CHICHI-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.
ICEISICEIS-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.
CIKMCIKM-2013-WhangG
Disinformation techniques for entity resolution (SEW, HGM), pp. 715–720.
KDDKDD-2013-GetoorM #big data
Entity resolution for big data (LG, AM), p. 1527.
KDDKDD-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.
PADLPADL-2013-KlintP #2d #declarative #independence #library
A Library for Declarative Resolution-Independent 2D Graphics (PK, AvdP), pp. 1–18.
SACSAC-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.
SACSAC-2013-RezguiMY
High-resolution spatial interpolation on cloud platforms (AR, ZM, CY), pp. 377–382.
CADECADE-2013-HeuleHW #verification
Verifying Refutations with Extended Resolution (MH, WAHJ, NW), pp. 345–359.
ICSTSAT-2013-Atserias #algebra #bound #problem #proving
The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi-algebraic Proofs (AA), pp. 1–17.
ICSTSAT-2013-JanotaM #on the
On Propositional QBF Expansions and Q-Resolution (MJ, JMS), pp. 67–82.
ICSTSAT-2013-Toran #complexity #graph #morphism #on the
On the Resolution Complexity of Graph Non-isomorphism (JT), pp. 52–66.
ASEASE-2012-Quesada #generative #modelling #parsing
A model-driven parser generator with reference resolution support (LQ), pp. 394–397.
DATEDATE-2012-AbedW #online
Double-patterning friendly grid-based detailed routing with online conflict resolution (ISA, AGW), pp. 1475–1478.
VLDBVLDB-2012-GetoorM #challenge
Entity Resolution: Theory, Practice & Open Challenges (LG, AM), pp. 2018–2019.
VLDBVLDB-2012-WangKFF #crowdsourcing #named
CrowdER: Crowdsourcing Entity Resolution (JW, TK, MJF, JF), pp. 1483–1494.
FASEFASE-2012-HermannEEO #concurrent #graph grammar
Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars (FH, HE, CE, FO), pp. 178–193.
STOCSTOC-2012-BeameBI #bound #trade-off
Time-space tradeoffs in resolution: superpolynomial lower bounds for superlinear space (PB, CB, RI), pp. 213–232.
CSCWCSCW-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.
CSCWCSCW-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.
CSCWCSCW-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.
CSCWCSCW-2012-SunSXS #collaboration #editing #realtime
Creative conflict resolution in realtime collaborative editing systems (DS, CS, SX, HS), pp. 1411–1420.
CSCWCSCW-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.
CIKMCIKM-2012-KhabsaTG #using
Entity resolution using search engine results (MK, PT, CLG), pp. 2363–2366.
CIKMCIKM-2012-NegahbanRG #learning #multi #performance #scalability #statistics #using
Scaling multiple-source entity resolution using statistically efficient transfer learning (SN, BIPR, JG), pp. 2224–2228.
CIKMCIKM-2012-WelchSD #incremental #knowledge base #performance
Fast and accurate incremental entity resolution relative to an entity knowledge base (MJW, AS, CD), pp. 2667–2670.
ICPRICPR-2012-FuscoWY #mining
Mining residential household information from low-resolution smart meter data (FF, MW, JWY), pp. 3545–3548.
ICPRICPR-2012-GiotCD #clustering
Local water diffusion phenomenon clustering from high angular resolution diffusion imaging (HARDI) (RG, CC, MD), pp. 3745–3749.
ICPRICPR-2012-GuermaziVB #detection #image #multi
Matching of multi-resolution image for remote sensing glacier detection (AG, LV, PB), pp. 3406–3410.
ICPRICPR-2012-GuQFLW #image #kernel #multi
Image super-resolution based on multikernel regression (YG, YQ, TZF, CL, HW), pp. 2071–2074.
ICPRICPR-2012-GuSM #image #performance
Fast image super resolution via local regression (SG, NS, FM), pp. 3128–3131.
ICPRICPR-2012-HeLL #image #using
Single image super-resolution using Gaussian Mixture Model (HH, JL, XL), pp. 1916–1919.
ICPRICPR-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.
ICPRICPR-2012-KumarRS #learning #predict
Learning to predict super resolution wavelet coefficients (NK, NKR, AS), pp. 3468–3471.
ICPRICPR-2012-LeeALKKK #web
Web image-based super-resolution (JHL, SCA, HL, IJK, JK, HGK), pp. 1060–1063.
ICPRICPR-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.
ICPRICPR-2012-PrabhuR #multi
Joint multi-frame super-resolution and matting (SMP, ANR), pp. 1924–1927.
ICPRICPR-2012-RenLWG #image
Image super-resolution by structural sparse coding (JR, JL, MW, ZG), pp. 1936–1939.
ICPRICPR-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.
ICPRICPR-2012-SalvadorRKH #re-engineering #video
Variational reconstruction and restoration for video Super-Resolution (JS, DR, AK, JRH), pp. 1047–1051.
ICPRICPR-2012-Shen #image #multi
Depth-map merging for Multi-View Stereo with high resolution images (SS), pp. 788–791.
ICPRICPR-2012-TaniguchiHISC #image #linear
Image super-resolution based on locality-constrained linear coding (KT, XHH, YI, SS, YWC), pp. 1948–1951.
ICPRICPR-2012-TianC #image #video
Bayesian image enlargement for mixed-resolution video (JT, LC), pp. 3082–3085.
ICPRICPR-2012-YanXY0 #image #novel
Image super-resolution based on a novel edge sharpness prior (QY, YX, XY, KC), pp. 1056–1059.
ICPRICPR-2012-ZhangZH #collaboration
Collaborative and compressive high-resolution imaging (YZ, HZ, TSH), pp. 3062–3065.
ICPRICPR-2012-ZhuJL #image #representation
Optimized image super-resolution based on sparse representation (YZ, JJ, KL), pp. 1052–1055.
KEODKEOD-2012-ZainolN #design #process
Conflict Resolution in Overlapping Information Fields for Context-based Activity Design (ZZ, KN), pp. 190–195.
KRKR-2012-BahmaniBKL #declarative #dependence #set #source code
Declarative Entity Resolution via Matching Dependencies and Answer Set Programs (ZB, LEB, SK, LVSL).
SIGIRSIGIR-2012-LiebermanS #adaptation #streaming
Adaptive context features for toponym resolution in streaming news (MDL, HS), pp. 731–740.
REFSQREFSQ-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.
IJCARIJCAR-2012-Nieuwenhuis #challenge #satisfiability #smt
SAT and SMT Are Still Resolution: Questions and Challenges (RN), pp. 10–13.
ICSTSAT-2012-BonetB #learning
An Improved Separation of Regular Resolution from Pool Resolution and Clause Learning (MLB, SRB), pp. 44–57.
ICSTSAT-2012-Egly #on the
On Sequent Systems and Resolution for QBFs (UE), pp. 100–113.
ICSTSAT-2012-Gupta #algorithm #proving #reduction
Improved Single Pass Algorithms for Resolution Proof Reduction — (Poster Presentation) (AG), pp. 469–470.
ICSTSAT-2012-NiemetzPLSB
Resolution-Based Certificate Extraction for QBF — (Tool Presentation) (AN, MP, FL, MS, AB), pp. 430–435.
ICSTSAT-2012-SlivovskyS #dependence #linear
Computing Resolution-Path Dependencies in Linear Time , (FS, SS), pp. 58–71.
ASEASE-2011-WelshSB #requirements #runtime #towards
Towards requirements aware systems: Run-time resolution of design-time assumptions (KW, PS, NB), pp. 560–563.
DACDAC-2011-YinKL #effectiveness
High effective-resolution built-in jitter characterization with quantization noise shaping (LY, YK, PL), pp. 765–770.
DRRDRR-2011-Obafemi-AjayiA #documentation #multi #statistics
Statistical multi-resolution schemes for historical document binarization (TOA, GA), pp. 1–10.
ICDARICDAR-2011-BaechlerI #analysis #layout #multi #using
Multi Resolution Layout Analysis of Medieval Manuscripts Using Dynamic MLP (MB, RI), pp. 1185–1189.
ICDARICDAR-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.
FASEFASE-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.
ICSMEICSM-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.
STOCSTOC-2011-VondrakCZ #multi
Submodular function maximization via the multilinear relaxation and contention resolution schemes (JV, CC, RZ), pp. 783–792.
ICALPICALP-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.
HCIHIMI-v2-2011-DaoBBKNMRJ #automation
Conflict Resolution Automation and Pilot Situation Awareness (AQVD, SLB, LPB, JMK, JHN, KM, HR, WWJ), pp. 473–482.
CIKMCIKM-2011-KolbTR #pipes and filters
Block-based load balancing for entity resolution with MapReduce (LK, AT, ER), pp. 2397–2400.
CIKMCIKM-2011-KumarLB #modelling
Supervised language modeling for temporal resolution of texts (AK, ML, JB), pp. 2069–2072.
CIKMCIKM-2011-LiLWG
Context-based entity description rule for entity resolution (LL, JL, HW, HG), pp. 1725–1730.
BXBX-2011-Boronat #consistency #detection #maude #modelling #nondeterminism #specification #using
Inconsistency detection and resolution in heterogenous model-based specifications using Maude (AB), p. 53.
ECMFAECMFA-2011-BarrettCB #detection
Table-Driven Detection and Resolution of Operation-Based Merge Conflicts with Mirador (SB, PC, GB), pp. 329–344.
RERE-2011-WelshSB #nondeterminism #runtime
Run-time resolution of uncertainty (KW, PS, NB), pp. 355–356.
ICSEICSE-2011-NohrerRE #consistency #effectiveness #nondeterminism
Positive effects of utilizing relationships between inconsistencies for more effective inconsistency resolution (AN, AR, AE), pp. 864–867.
CADECADE-2011-FontaineMP #proving
Compression of Propositional Resolution Proofs via Partial Regularization (PF, SM, BWP), pp. 237–251.
CAVCAV-2011-BalabanovJ #evaluation #proving
Resolution Proofs and Skolem Functions in QBF Evaluation and Applications (VB, JHRJ), pp. 149–164.
CBSECBSE-2010-JensonDG #component #dependence #empirical
An Empirical Study of the Component Dependency Resolution Search Space (GJ, JD, HWG), pp. 182–199.
DATEDATE-2010-LeeYCC #embedded #metric
An embedded wide-range and high-resolution CLOCK jitter measurement circuit (YL, CYY, NCDC, JJC), pp. 1637–1640.
SIGMODSIGMOD-2010-GatterbauerS #trust #using
Data conflict resolution using trust mappings (WG, DS), pp. 219–230.
SIGMODSIGMOD-2010-SmithBWYMMB #multi #similarity
Exploring schema similarity at multiple resolutions (KPS, CB, CW, BY, MM, PM, DB), pp. 1179–1182.
VLDBVLDB-2010-KopckeTR #evaluation #problem
Evaluation of entity resolution approaches on real-world match problems (HK, AT, ER), pp. 484–493.
VLDBVLDB-2010-MenestrinaWG
Evaluating Entity Resolution Results (DM, SW, HGM), pp. 208–219.
VLDBVLDB-2010-WhangG #evolution
Entity Resolution with Evolving Rules (SW, HGM), pp. 1326–1337.
MSRMSR-2010-OssherBL #automation #dependence #open source
Automated dependency resolution for open source software (JO, SKB, CVL), pp. 130–140.
ICALPICALP-v2-2010-ChristodoulouLP
Contention Resolution under Selfishness (GC, KL, EP), pp. 430–441.
CHICHI-2010-AndrewsEN #scalability
Space to think: large high-resolution displays for sensemaking (CA, AE, CN), pp. 55–64.
CHICHI-2010-BillingsW #comprehension #online #using
Understanding dispute resolution online: using text to reflect personal and substantive issues in conflict (MB, LAW), pp. 1447–1456.
ICEISICEIS-AIDSS-2010-CostaCNBA #approach
An Agent-based Approach to Consumer’s Law Dispute Resolution (NC, DC, PN, DB, FA), pp. 103–110.
CIKMCIKM-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.
ICPRICPR-2010-CuntoorBPH
Track Initialization in Low Frame Rate and Low Resolution Videos (NPC, AB, AGAP, AH), pp. 3640–3644.
ICPRICPR-2010-GaoEFS #multi #verification
Multi-resolution Local Appearance-Based Face Verification (HG, HKE, MF, RS), pp. 1501–1504.
ICPRICPR-2010-IiyamaKM #image #multi
Super-Resolution Texture Mapping from Multiple View Images (MI, KK, MM), pp. 1820–1823.
ICPRICPR-2010-NasonovK #performance #using
Fast Super-Resolution Using Weighted Median Filtering (AVN, ASK), pp. 2230–2233.
ICPRICPR-2010-NguyenAC #approach #locality #performance
Unifying Approach for Fast License Plate Localization and Super-Resolution (CDN, MA, LC), pp. 376–379.
ICPRICPR-2010-TianSK #evaluation
Task-Oriented Evaluation of Super-Resolution Techniques (LT, AS, HK), pp. 493–498.
ICPRICPR-2010-WongSML
Dynamic Amelioration of Resolution Mismatches for Local Feature Based Identity Inference (YW, CS, SM, BCL), pp. 1200–1203.
ICPRICPR-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.
KDDKDD-2010-MiaoMYTCA #generative #modelling #network
Generative models for ticket resolution in expert networks (GM, LEM, XY, ST, YC, NA), pp. 733–742.
SACSAC-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.
SACSAC-2010-KangZKB #process #similarity
A knowledge-rich similarity measure for improving IT incident resolution process (YBK, ABZ, SK, CB), pp. 1781–1788.
SACSAC-2010-ZeffererK #database
An electronic-signature based circular resolution database system (TZ, TK), pp. 1840–1845.
CSLCSL-2010-BaazF #logic
A Resolution Mechanism for Prenex Gödel Logic (MB, CGF), pp. 67–79.
ICSTSAT-2010-Cotton #proving
Two Techniques for Minimizing Resolution Proofs (SC), pp. 306–312.
ASEASE-2009-Jenson #component #constraints #dependence #validation #verification
Improving Component Dependency Resolution with Soft Constraints, Validation and Verification (GJ), pp. 716–720.
DACDAC-2009-CochranR
Spectral techniques for high-resolution thermal characterization with limited sensor data (RC, SR), pp. 478–483.
DRRDRR-2009-BeusekomSB #detection #documentation #image #independence
Resolution Independent Skew and Orientation Detection for document images (JvB, FS, TMB), pp. 1–10.
ICDARICDAR-2009-OhkuraDTIM #recognition
Low-Resolution Character Recognition by Video-Based Super-Resolution (AO, DD, TT, II, HM), pp. 191–195.
SIGMODSIGMOD-2009-ChenKM #analysis #multi
Exploiting context analysis for combining multiple entity resolution systems (ZC, DVK, SM), pp. 207–218.
SIGMODSIGMOD-2009-WhangMKTG
Entity resolution with iterative blocking (SEW, DM, GK, MT, HGM), pp. 219–232.
VLDBVLDB-2009-KopckeTR #comparative #evaluation
Comparative evaluation of entity resolution approaches with FEVER (HK, AT, ER), pp. 1574–1577.
ICSMEICSM-2009-WitZD #clone tracking #using
Managing code clones using dynamic change tracking and resolution (MdW, AZ, AvD), pp. 169–178.
SASSAS-2009-CalmanZ #interprocedural
Increasing the Scope and Resolution of Interprocedural Static Single Assignment (SC, JZ), pp. 154–170.
CHICHI-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.
CHICHI-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.
HCIHCI-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.
CIKMCIKM-2009-ChristenGH #realtime
Similarity-aware indexing for real-time entity resolution (PC, RWG, DH), pp. 1565–1568.
KDIRKDIR-2009-LamB #categorisation #invariant #multi #using
Invariant Categorisation of Polygonal Objects using Multi-resolution Signatures (RL, JMHdB), pp. 168–173.
SACSAC-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-FSEESEC-FSE-2009-LiuYNMS #order #refactoring #smell
Facilitating software refactoring with appropriate resolution order of bad smells (HL, LY, ZN, ZM, WS), pp. 265–268.
CADECADE-2009-ZhangHD #calculus
A Refined Resolution Calculus for CTL (LZ, UH, CD), pp. 245–260.
ICSTSAT-2009-AtseriasFT #algorithm #bound
Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution (AA, JKF, MT), pp. 114–127.
ICSTSAT-2009-BuningZB #quantifier #subclass
Resolution and Expressiveness of Subclasses of Quantified Boolean Formulas and Circuits (HKB, XZ, UB), pp. 391–397.
ICSTSAT-2009-Goldberg #bound
Boundary Points and Resolution (EG), pp. 147–160.
CASECASE-2008-ReveliotisR #multi #paradigm #resource management
Conflict resolution in multi-vehicle systems: A resource allocation paradigm (SAR, ER), pp. 115–121.
DACDAC-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.
DATEDATE-2008-PomeranzR08a #fault #taxonomy
A Same/Different Fault Dictionary: An Extended Pass/Fail Fault Dictionary with Improved Diagnostic Resolution (IP, SMR), pp. 1474–1479.
DATEDATE-2008-TcheghoMS
Optimal High-Resolution Spectral Analyzer (AT, HM, SS), pp. 62–67.
DATEDATE-2008-VenutoR #generative
PWM-Based Test Stimuli Generation for BIST of High Resolution ADCs (DDV, LR), pp. 284–287.
VLDBVLDB-2008-ShaoCTYA #enterprise #named #problem #recommendation
EasyTicket: a ticket routing recommendation engine for enterprise problem resolution (QS, YC, ST, XY, NA), pp. 1436–1439.
STOCSTOC-2008-NordstromH #towards
Towards an optimal separation of space and length in resolution (JN, JH), pp. 701–710.
GT-VMTGT-VMT-2008-BrielerM #ambiguity #analysis #diagrams #graph grammar #sketching #syntax
Ambiguity Resolution for Sketched Diagrams by Syntax Analysis Based on Graph Grammars (FB, MM).
ICGTICGT-2008-Pennemann #proving #theorem proving
Resolution-Like Theorem Proving for High-Level Conditions (KHP), pp. 289–304.
CIKMCIKM-2008-ChanLY #logic #modelling #using
Coreference resolution using expressive logic models (KC, WL, XY), pp. 1373–1374.
ICPRICPR-2008-AricanF #image
Super-resolution from unregistered omnidirectional images (ZA, PF), pp. 1–4.
ICPRICPR-2008-BhavsarR
Resolution enhancement for binocular stereo (AVB, ANR), pp. 1–4.
ICPRICPR-2008-ChoeRLH #image #video
Image transformation for object tracking in high-resolution video (TEC, KR, MWL, NH), pp. 1–4.
ICPRICPR-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.
ICPRICPR-2008-KangBK #3d #modelling #multi
Multi-resolution 3D morphable models and its matching method (BNK, HB, DK), pp. 1–4.
ICPRICPR-2008-KuhlTV #modelling
Model-based combined tracking and resolution enhancement (AK, TT, SV), pp. 1–4.
ICPRICPR-2008-ShinK #algorithm #using
Enhanced Resolution-aware Fitting algorithm using interpolation operator (JS, DK), pp. 1–4.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-2008-XuP #image
Finding the splitting vector for image resolution up-conversion (XX, HP), pp. 1–4.
ICPRICPR-2008-YuanDZ #image #performance #re-engineering
Fast super-resolution for license plate image reconstruction (JY, SD, XZ), pp. 1–4.
KDDKDD-2008-ShaoCTYA #mining #performance #sequence
Efficient ticket routing by resolution sequence mining (QS, YC, ST, XY, NA), pp. 605–613.
SACSAC-2008-DennyM #lr #parsing
IELR(1): practical LR(1) parser tables for non-LR(1) grammars with conflict resolution (JED, BAM), pp. 240–245.
SACSAC-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.
ICSEICSE-2008-LuCT #consistency #nondeterminism #pervasive #testing
Testing pervasive software in the presence of context inconsistency resolution services (HL, WKC, THT), pp. 61–70.
OSDIOSDI-2008-BhatiaKFP #lightweight #monitoring
Lightweight, High-Resolution Monitoring for Troubleshooting Production Systems (SB, AK, MEF, LLP), pp. 103–116.
ICSTSAT-2008-Goldberg
A Decision-Making Procedure for Resolution-Based SAT-Solvers (EG), pp. 119–132.
ICSTSAT-2008-Urquhart
Regular and General Resolution: An Improved Separation (AU), pp. 277–290.
DACDAC-2007-ChatterjeeMBK #equivalence #on the #proving
On Resolution Proofs for Combinational Equivalence (SC, AM, RKB, AK), pp. 600–605.
DACDAC-2007-KaoHL #embedded #integration #multi
An Embedded Multi-resolution AMBA Trace Analyzer for Microprocessor-based SoC Integration (CFK, IJH, CHL), pp. 477–482.
DATEDATE-2007-AminzadehDL #design #pipes and filters
Design of high-resolution MOSFET-only pipelined ADCs with digital calibration (HA, MD, RL), pp. 427–432.
ICDARICDAR-2007-VargasFTA07a #image #performance #verification
Off-line Signature Verification System Performance against Image Acquisition Resolution (JFVB, MAFB, CMTG, JBA), pp. 834–838.
ICDARICDAR-2007-WachenfeldFKJ #segmentation
Segmentation of Very Low Resolution Screen-Rendered Text (SW, SF, HUK, XJ), pp. 1153–1157.
SIGMODSIGMOD-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.
SCAMSCAM-2007-SawinR #java
Improved Static Resolution of Dynamic Class Loading in Java (JS, AR), pp. 143–154.
HCIDHM-2007-NiuLS07a #case study #multi #representation
A Case Study of Multi-resolution Representation of Heads (JN, ZL, GS), pp. 171–178.
HCIHCI-AS-2007-VanackenRLC #collaboration #user interface
Focus+Roles: Socio-Organizational Conflict Resolution in Collaborative User Interfaces (DV, CR, KL, KC), pp. 788–796.
ICEISICEIS-AIDSS-2007-Cuzzocrea #multi
MRE-KDD+: A Multi-Resolution, Ensemble-Based Model for Advanced Knolwedge Discovery (AC), pp. 152–158.
ICEISICEIS-EIS-2007-SilvaMA #collaboration #enterprise #network
Conflict Resolution in Collaborative Network Enterprises (SAdS, PM, PA), pp. 329–333.
CIKMCIKM-2007-ParkR #information retrieval #mining #multi #web
Mining web multi-resolution community-based popularity for information retrieval (LAFP, KR), pp. 545–554.
KDDKDD-2007-AgarwalBCDJS #multi
Estimating rates of rare events at multiple resolutions (DA, AZB, DC, DD, VJ, MS), pp. 16–25.
MODELSMoDELS-2007-KusterR #consistency #evaluation #nondeterminism
Improving Inconsistency Resolution with Side-Effect Evaluation and Costs (JMK, KR), pp. 136–150.
MODELSMoDELS-2007-KusterR #consistency #evaluation #nondeterminism
Improving Inconsistency Resolution with Side-Effect Evaluation and Costs (JMK, KR), pp. 136–150.
ESEC-FSEESEC-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-FSEESEC-FSE-2007-YeCCX #composition #detection
Detection and resolution of atomicity violation in service composition (CY, SCC, WKC, CX), pp. 235–244.
CSLCSL-2007-HertelU #game studies
Game Characterizations and the PSPACE-Completeness of Tree Resolution Space (AH, AU), pp. 527–541.
ICSTSAT-2007-Buresh-OppenheimM #polynomial
Minimum 2CNF Resolution Refutations in Polynomial Time (JBO, DGM), pp. 300–313.
ICSTSAT-2007-Kojevnikov #bound #linear
Improved Lower Bounds for Tree-Like Resolution over Linear Inequalities (AK), pp. 70–79.
DATEDATE-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.
DocEngDocEng-2006-GormishS #documentation #editing #image #standard #using
Standards based high resolution Document editing using low resolution proxy images (MJG, ELS), p. 33.
SIGMODSIGMOD-2006-Jonas #experience #scalability
Identity resolution: 23 years of practical experience and observations at scale (JJ), p. 718.
FASEFASE-2006-KobW #calculus #debugging #using
Fundamentals of Debugging Using a Resolution Calculus (DK, FW), pp. 278–292.
MSRMSR-2006-CanforaC06a #debugging #question
Where is bug resolution knowledge stored? (GC, LC), pp. 183–184.
STOCSTOC-2006-Nordstrom #proving
Narrow proofs may be spacious: separating space and width in resolution (JN), pp. 507–516.
FMFM-2006-AiguierBG #interactive #specification #static analysis
Feature Specification and Static Analysis for Interaction Resolution (MA, KB, PLG), pp. 364–379.
CIKMCIKM-2006-Garcia-Molina #bibliography #challenge
Pair-Wise entity resolution: overview and challenges (HGM), p. 1.
ICPRICPR-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.
ICPRICPR-v1-2006-LiuWD #evaluation #image #quality #recognition
Low Resolution Character Recognition by Image Quality Evaluation (CL, CW, RD), pp. 864–867.
ICPRICPR-v1-2006-WuCWS #video
License Plate Extraction in Low Resolution Video (HHPW, HHC, RJW, DFS), pp. 824–827.
ICPRICPR-v2-2006-GuptaD #detection #multi #using
Texture Edge Detection using Multi-resolution Features and SOM (LG, SD), pp. 199–202.
ICPRICPR-v2-2006-LiLG #multi
Multi-Resolution Curve Alignment Based on Salient Features (ZL, XL, CG), pp. 357–360.
ICPRICPR-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.
ICPRICPR-v3-2006-KongHXTG #random #video
A Conditional Random Field Model for Video Super-resolution (DK, MH, WX, HT, YG), pp. 619–622.
ICPRICPR-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.
ICPRICPR-v3-2006-SureshR
Super-resolution in the presence of space-variant blur (KVS, ANR), pp. 770–773.
ICPRICPR-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.
ICPRICPR-v3-2006-WuT06a #image #re-engineering
A Regression Model in TensorPCA Subspace for Face Image Super-resolution Reconstruction (JW, MMT), pp. 627–630.
ICPRICPR-v3-2006-YuOWC #3d
Accurate 3-D Motion Tracking with an Application to Super-Resolution (YKY, SHO, KhW, MMYC), pp. 730–733.
ICPRICPR-v4-2006-NagaharaMIYS #generative #using #video
High-resolution Video Generation Using Morphing (HN, TM, YI, MY, TS), pp. 338–341.
ICPRICPR-v4-2006-WangK #approach #automation #estimation #using
Automatic Alignment of High-Resolution NMR Spectra Using a Bayesian Estimation Approach (ZW, SBK), pp. 667–670.
ICPRICPR-v4-2006-YuB06a #image #video
Super-resolution Restoration of Facial Images in Video (JY, BB), pp. 342–345.
KDDKDD-2006-BhattacharyaGL
Query-time entity resolution (IB, LG, LL), pp. 529–534.
KRKR-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.
SACSAC-2006-StraetenD #consistency #nondeterminism #refactoring #rule-based
Model refactorings through rule-based inconsistency resolution (RVDS, MD), pp. 1210–1217.
IJCARIJCAR-2006-KazakovM
A Resolution-Based Decision Procedure for SHOIQ (YK, BM), pp. 662–677.
IJCARIJCAR-2006-NivelleM #finite #geometry #proving
Geometric Resolution: A Proof Procedure Based on Finite Model Search (HdN, JM), pp. 303–317.
ICSTSAT-2006-Gelder #metric #proving
Preliminary Report on Input Cover Number as a Metric for Propositional Resolution Proofs (AVG), pp. 48–53.
ICSTSAT-2006-Goldberg #algorithm
Determinization of Resolution by an Algorithm Operating on Complete Assignments (EG), pp. 90–95.
ICSTSAT-2006-JussilaSB #proving #quantifier #satisfiability
Extended Resolution Proofs for Symbolic SAT Solving with Quantification (TJ, CS, AB), pp. 54–60.
CASECASE-2005-WangLWK #architecture #distributed #simulation #using
Collision resolution simulation for distributed control architectures using LonWorks (MW, EL, EW, MK), pp. 319–326.
DocEngDocEng-2005-BeheraLI #documentation #identification
Influence of fusion strategies on feature-based identification of low-resolution documents (AB, DL, RI), pp. 20–22.
DRRDRR-2005-Nishida #image
Restoring high-resolution text images to improve legibility and OCR accuracy (HN), pp. 136–147.
ICDARICDAR-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.
ICDARICDAR-2005-JacobsSVR #documentation #image #recognition
Text Recognition of Low-resolution Document Images (CEJ, PYS, PAV, JR), pp. 695–699.
ICDARICDAR-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.
ICDARICDAR-2005-ParkKK #image
An Example-based Prior Model for Text Image Super-resolution (JP, YK, JHK), pp. 374–378.
STOCSTOC-2005-Alekhnovich #bound #random
Lower bounds for k-DNF resolution on random 3-CNFs (MA), pp. 251–256.
ICALPICALP-2005-JainHT #concurrent #problem
The Generalized Deadlock Resolution Problem (KJ, MTH, KT), pp. 853–865.
CIKMCIKM-2005-WanGLD
Person resolution in person search results: WebHawk (XW, JG, ML, BD), pp. 163–170.
MLDMMLDM-2005-LaiST #image #recognition
Support Vector Machine Experiments for Road Recognition in High Resolution Images (JYL, AS, JT), pp. 426–436.
PPDPPPDP-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-FSEESEC-FSE-2005-XuC #consistency #detection #middleware #nondeterminism
Inconsistency detection and resolution for context-aware middleware support (CX, SCC), pp. 336–345.
ICSTSAT-J-2004-SubbarayanP05 #named #preprocessor #satisfiability
NiVER: Non-increasing Variable Elimination Resolution for Preprocessing SAT Instances (SS, DKP), pp. 276–291.
CADECADE-2005-HustadtKS
Deciding Monodic Fragments by Temporal Resolution (UH, BK, RAS), pp. 204–218.
ICLPICLP-2005-Ray #horn clause #logic #query
The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic (OR), pp. 410–411.
ICSTSAT-2005-GalesiT #game studies
Resolution and Pebbling Games (NG, NT), pp. 76–90.
ICSTSAT-2005-Gelder #bound #distance #proving
Input Distance and Lower Bounds for Propositional Resolution Proof Length (AVG), pp. 282–293.
ICSTSAT-2005-GershmanS #effectiveness #preprocessor
Cost-Effective Hyper-Resolution for Preprocessing CNF Formulas (RG, OS), pp. 423–429.
ICSTSAT-2005-HirschN #proving #simulation #strict
Simulating Cutting Plane Proofs with Restricted Degree of Falsity by Resolution (EAH, SIN), pp. 135–142.
ICSTSAT-2005-KourilF #performance #satisfiability
Resolution Tunnels for Improved SAT Solver Performance (MK, JVF), pp. 143–157.
DATEDATE-v1-2004-Taherzadeh-SaniLS #design #optimisation #pipes and filters
Systematic Design for Optimization of High-Resolution Pipelined ADCs (MTS, RL, OS), pp. 678–679.
DocEngDocEng-2004-BeheraLI #documentation #identification #image #visual notation
Visual signature based identification of Low-resolution document images (AB, DL, RI), pp. 178–187.
ICPRICPR-v1-2004-GotoA #documentation #image
Screen Pattern Removal for Character Pattern Extraction from High-resolution Color Document Images (HG, HA), pp. 490–493.
ICPRICPR-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.
ICPRICPR-v2-2004-BeginF #approach #using
Blind Super-Resolution Using a Learning-Based Approach (IB, FPF), pp. 85–89.
ICPRICPR-v2-2004-LachaudT #independence
Resolution Independent Deformable Model (JOL, BT), pp. 237–240.
ICPRICPR-v2-2004-NeedhamB #kernel #multi
Multi-Resolution Template Kernels (CJN, RDB), pp. 233–236.
ICPRICPR-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.
ICPRICPR-v3-2004-ShimizuYO #image
Super-Resolution under Image Deformation (MS, TY, MO), pp. 586–589.
ICPRICPR-v3-2004-WuTR #algorithm #component #video
High Frequency Component Compensation based Super-Resolution Algorithm for Face Video Enhancement (JW, MMT, BDR), pp. 598–601.
ICPRICPR-v4-2004-CuiWHTS #image #synthesis
An Iris Image Synthesis Method Based on PCA and Super-Resolution (JC, YW, JH, TT, ZS), pp. 471–474.
ICPRICPR-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.
ICPRICPR-v4-2004-WuTR04a
Resolution Enhancement by AdaBoost (JW, MMT, BDR), pp. 893–896.
SIGIRSIGIR-2004-Leidner
Toponym resolution in text (abstract only): “which sheffield is it?” (JLL), p. 602.
SACSAC-2004-BelwalSC #adaptation #modelling #quality
Adaptive resolution modeling of regional air quality (CB, AS, EMC), pp. 235–239.
ICLPICLP-2004-CaldonM #implementation
Limiting Resolution: From Foundations to Implementation (PC, EM), pp. 149–164.
IJCARIJCAR-2004-KazakovN #transitive
A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards (YK, HdN), pp. 122–136.
IJCARIJCAR-2004-MengP #interactive #proving #using
Experiments on Supporting Interactive Proof Using Resolution (JM, LCP), pp. 372–384.
IJCARIJCAR-2004-Tammet #semantics #web
Chain Resolution for the Semantic Web (TT), pp. 307–320.
DACDAC-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.
DATEDATE-2003-FreitasO #equation #estimation
Implicit Resolution of the Chapman-Kolmogorov Equations for Sequential Circuits: An Application in Power Estimation (ATF, ALO), pp. 10764–10769.
DATEDATE-2003-MadalinskiBKY #design #visualisation
Visualization and Resolution of Coding Conflicts in Asynchronous Circuit Design (AM, AVB, VK, AY), pp. 10926–10931.
DATEDATE-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.
EDOCEDOC-2003-DunlopIR
Methods for Conflict Resolution in Policy-Based Management Systems (ND, JI, KR), pp. 98–111.
CIKMCIKM-2003-AmitayNNSS #ambiguity #multi
Multi-resolution disambiguation of term occurrences (EA, RN, WN, RS, AS), pp. 255–262.
CIKMCIKM-2003-BaldwinAC #modelling #multi #scalability #simulation
Multi-resolution modeling of large scale scientific simulation data (CB, GA, TC), pp. 40–48.
SIGIRSIGIR-2003-EdensGJL #automation #information retrieval
An investigation of broad coverage automatic pronoun resolution for information retrieval (RJE, HLG, GJFJ, AMLA), pp. 381–382.
CADECADE-2003-DegtyarevFK
Monodic Temporal Resolution (AD, MF, BK), pp. 397–411.
CADECADE-2003-HustadtK #proving
TRP++2.0: A Temporal Resolution Prover (UH, BK), pp. 274–278.
CADECADE-2003-Nivelle #axiom #first-order #proving
Translation of Resolution Proofs into Short First-Order Proofs without Choice Axioms (HdN), pp. 365–379.
LICSLICS-2003-Buresh-OppenheimP #complexity
The Complexity of Resolution Refinements (JBO, TP), p. 138–?.
ICSTSAT-2003-BacchusW #effectiveness #preprocessor #reduction #similarity
Effective Preprocessing with Hyper-Resolution and Equality Reduction (FB, JW), pp. 341–355.
ICSTSAT-2003-BuningZ
Read-Once Unit Resolution (HKB, XZ), pp. 356–369.
ICSTSAT-2003-GoldbergN #how #question
How Good Can a Resolution Based SAT-solver Be? (EG, YN), pp. 37–52.
VMCAIVMCAI-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.
FoSSaCSFoSSaCS-2002-KochMP #data access #detection #policy #specification
Conflict Detection and Resolution in Access Control Policy Specifications (MK, LVM, FPP), pp. 223–237.
STOCSTOC-2002-AlekhnovichJPU #exponential
An exponential separation between regular and general resolution (MA, JJ, TP, AU), pp. 448–456.
STOCSTOC-2002-Ben-Sasson #trade-off
Size space tradeoffs for resolution (EBS), pp. 457–464.
STOCSTOC-2002-Raz02a #bound #principle
Resolution lower bounds for the weak pigeonhole principle (RR), pp. 553–562.
ICALPICALP-2002-EstebanGM #bound #complexity #on the
On the Complexity of Resolution with Bounded Conjunctions (JLE, NG, JM), pp. 220–231.
ICPRICPR-v1-2002-GongY #algorithm #estimation #multi #search-based
Multi-Resolution Genetic Algorithm and Its Application in Motion Estimation (MG, YHY), pp. 644–647.
ICPRICPR-v1-2002-UnsalanB #development #image #statistics #using
Classifying Land Development in High Resolution Satellite Images Using Straight Line Statistics (, KLB), pp. 127–130.
ICPRICPR-v2-2002-TaylorGB #3d
Heritage Recording Applications of High Resolution 3D Imaging (JMT, GG, JAB), p. 520.
ICPRICPR-v2-2002-YangP02a #re-engineering
High-Resolution Reconstruction of Sparse Data from Dense Low-Resolution Spatio-Temporal Data (QY, BP), pp. 261–264.
ICPRICPR-v2-2002-ZhaoSHS #named
Super-Fusion: A Super-Resolution Method Based on Fusion (WYZ, HSS, MWH, SS), pp. 269–272.
ICPRICPR-v3-2002-KongZ #analysis #authentication #image
Palmprint Texture Analysis Based on Low-Resolution Images for Personal Authentication (AWKK, DZ), pp. 807–810.
GPCEGPCE-2002-DouenceFS #detection #framework #interactive
A Framework for the Detection and Resolution of Aspect Interactions (RD, PF, MS), pp. 173–188.
LOPSTRLOPSTR-2002-AbdennadherR #constraints #logic programming #synthesis #theorem proving #using
Constraint Solver Synthesis Using Tabled Resolution for Constraint Logic Programming (SA, CR), pp. 32–47.
FSEFSE-2002-CapraEM #approach #mobile
A micro-economic approach to conflict resolution in mobile computing (LC, WE, CM), pp. 31–40.
CADECADE-2002-ArecesH #hybrid #logic
HyLoRes 1.0: Direct Resolution for Hybrid Logics (CA, JH), pp. 156–160.
CADECADE-2002-Baaz #analysis #proving
Proof Analysis by Resolution (MB), pp. 517–532.
CSLCSL-2002-AtseriasB #on the #proving
On the Automatizability of Resolution and Related Propositional Proof Systems (AA, MLB), pp. 569–583.
CSLCSL-2002-Beckmann #proving #strict
Resolution Refutations and Propositional Proofs with Height-Restrictions (AB), pp. 599–612.
SATSAT-2002-DrakeFW #satisfiability
Adding resolution to the DPLL procedure for satisfiability (LD, AF, TW), p. 46.
SATSAT-2002-Kusper #linear #problem #satisfiability
Solving the resolution-free SAT problem by hyper-unit propagation in linear time (GK), p. 32.
SATSAT-2002-ManyaABCL
Resolution methods for many-valued CNF formulas (FM, CA, RB, AC, CML), p. 42.
SATSAT-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.
ICDARICDAR-2001-ViglinoG #game studies
Cadastre Map Assembling: A Puzzle Game Resolution (JMV, LG), p. 1235–?.
STOCSTOC-2001-PitassiR #bound #principle
Regular resolution lower bounds for the weak pigeonhole principle (TP, RR), pp. 347–355.
ICALPICALP-2001-AtseriasBE #bound
Lower Bounds for the Weak Pigeonhole Principle Beyond Resolution (AA, MLB, JLE), pp. 1005–1016.
ICEISICEIS-v1-2001-LeeK #approach #logic programming
A Logic Programming Approach to Negotiation for Conflict Resolution in BDI Agents System (MJL, JSK), pp. 514–517.
SEKESEKE-2001-MorenoS #classification #detection #requirements
A Method for Detection, Classification and Resolution of Discrepancies in Viewpoint-based Requirements Engineering (AMM, AS), pp. 110–119.
RERE-2001-InR #visualisation
Issues of Visualized Conflict Resolution (HI, SR), pp. 314–315.
HPDCHPDC-2001-SkicewiczDS #behaviour #multi #query #using
Multi-Resolution Resource Behaviour Queries Using Wavelets (JAS, PAD, JMS), pp. 395–394.
ICLPICLP-2001-KaneiwaT #order
An Order-Sorted Resolution with Implicitly Negative Sorts (KK, ST), pp. 300–314.
IJCARIJCAR-2001-HahnleMR #graph #order
Ordered Resolution vs. Connection Graph Resolution (RH, NVM, ER), pp. 182–194.
IJCARIJCAR-2001-NivelleP #similarity
A Resolution-Based Decision Procedure for the Two-Variable Fragment with Equality (HdN, IPH), pp. 211–225.
IJCARIJCAR-2001-Stuber #modelling #proving
A Model-Based Completeness Proof of Extended Narrowing and Resolution (JS), pp. 195–210.
IJCARIJCAR-2001-Szeider
NP-Completeness of Refutability by Literal-Once Resolution (SS), pp. 168–181.
ICSTSAT-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.
ICSTSAT-2001-Gelder #satisfiability
Combining Preorder and Postorder Resolution in a Satisfiability Solver (AVG), pp. 115–128.
DATEDATE-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.
ICEISICEIS-2000-OrasanE #optimisation
Experiments in Optimising the Task of Anaphora Resolution (CO, RE), pp. 191–195.
ICMLICML-2000-MunosM #convergence
Rates of Convergence for Variable Resolution Schemes in Optimal Control (RM, AWM), pp. 647–654.
ICMLICML-2000-Reynolds #adaptation #bound #clustering #learning
Adaptive Resolution Model-Free Reinforcement Learning: Decision Boundary Partitioning (SIR), pp. 783–790.
ICPRICPR-v1-2000-CapelZ #image #sequence
Super-Resolution Enhancement of Text Image Sequences (DPC, AZ), pp. 1600–1605.
ICPRICPR-v1-2000-ZometP #performance
Efficient Super-Resolution and Applications to Mosaics (AZ, SP), pp. 1579–1583.
ICPRICPR-v3-2000-BorghysPA #detection #image #multi
A Multi-Variate Contour Detector for High-Resolution Polarimetric SAR Images (DB, CP, MA), pp. 3650–3655.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-v4-2000-BolterL #detection #re-engineering
Detection and Reconstruction of Human Scale Features from High Resolution Interferometric SAR Data (RB, FL), pp. 4291–4294.
KRKR-2000-ChomickiLN #approach #logic programming #policy
A Logic Programming Approach to Conflict Resolution in Policy Management (JC, JL, SAN), pp. 121–132.
KRKR-2000-Stell #multi #representation
The Representation of Discrete Multi-resolution Spatial Knowledge (JGS), pp. 38–49.
OOPSLAOOPSLA-2000-SundaresanHRVLGG #java
Practical virtual method call resolution for Java (VS, LJH, CR, RVR, PL, EG, CG), pp. 264–280.
CADECADE-2000-BezemHN #automation #proving #type system #using
Automated Proof Construction in Type Theory Using Resolution (MB, DH, HdN), pp. 148–163.
CADECADE-2000-DegtyarevV
Stratified Resolution (AD, AV), pp. 365–384.
CADECADE-2000-SchmidtH #logic
A Resolution Decision Procedure for Fluted Logic (RAS, UH), pp. 433–448.
CADECADE-2000-SpencerH #order
Support Ordered Resolution (BS, JDH), pp. 385–400.
ICLPCL-2000-Dierkes
An Application of Model Building in a Resolution Decision Procedure for Guarded Formulas (MD), pp. 583–597.
RTARTA-2000-Struth #algebra
An Algebra of Resolution (GS), pp. 214–228.
ICDARICDAR-1999-KamadaF #image #performance
High-speed, High-accuracy Binarization Method for Recognizing Text in Images of Low Spatial Resolutions (HK, KF), pp. 139–142.
ICDARICDAR-1999-OkunPS #documentation #estimation #image #robust
Robust Skew Estimation on Low-Resolution Document Images (OO, MP, JJS), pp. 621–624.
STOCSTOC-1999-Ben-SassonW #proving
Short Proofs are Narrow — Resolution Made Simple (EBS, AW), pp. 517–526.
CIKMCIKM-1999-EpterK #clustering #multi
A Multiple-Resolution Method for Edge-Centric Data Clustering (SE, MSK), pp. 491–498.
CADECADE-1999-ArecesNR #logic
Prefixed Resolution: A Resolution Method for Modal and Description Logics (CA, HdN, MdR), pp. 187–201.
CADECADE-1999-BaazLM
System Description: CutRes 0.1: Cut Elimination by Resolution (MB, AL, GM), pp. 212–216.
CADECADE-1999-Benzmuller #higher-order
Extensional Higher-Order Paramodulation and RUE-Resolution (CB), pp. 399–413.
CSLCSL-1999-HagiharaY #logic
Resolution Method for Modal Logic with Well-Founded Frames (SH, NY), pp. 277–291.
CSLCSL-1999-Toran #bound
Lower Bounds for Space in Resolution (JT), pp. 362–373.
VLDBVLDB-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.
CIKMCIKM-1998-ChiuehBK #image #multi
Multi-Resolution Indexing for Shape Images (TcC, AB, KK), pp. 297–305.
ICPRICPR-1998-AlbrechtM
Stereo photogrammetry with improved spatial resolution (PA, BM), pp. 845–849.
ICPRICPR-1998-AvrinD #estimation #sequence #video
Local motion estimation and resolution enhancement of video sequences (VA, ID), pp. 539–541.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-1998-ZhaTH #3d #adaptation #multi
Multi-resolution surface description of 3D objects by shape-adaptive triangular meshes (HZ, ST, TH), pp. 954–958.
TOOLSTOOLS-USA-1998-Lauinger #design
Resolutions of an Object Designer (TL), p. 402.
CADECADE-1998-BenzmullerK #higher-order
Extensional Higher-Order Resolution (CB, MK), pp. 56–71.
CADECADE-1998-HortonS #canonical #named #process #rank
Rank/Activity: A Canonical Form for Binary Resolution (JDH, BS), pp. 412–426.
CADECADE-1998-Nivelle
A Resolution Decision Procedure for the Guarded Fragment (HdN), pp. 191–204.
CADECADE-1998-Ohlbach #framework #reasoning #semantics
Combining Hilbert Style and Semantic Reasoning in a Resolution Framework (HJO), pp. 205–219.
CSLCSL-1998-Buning #bound
An Upper Bound for Minimal Resolution Refutations (HKB), pp. 171–178.
ICLPJICSLP-1998-RaoRR #on the #scheduling
On the Optimality of Scheduling Strategies in Subsumption-based Tabled Resolution (PR, CRR, IVR), pp. 310–324.
DLTDLT-1997-Kurerov #graph grammar
Resolution-Similar Graph Grammars (YNK), pp. 567–577.
PPDPPLILP-1997-BowersHI #logic programming #quantifier
Resolution for Logic Programming with Universal Quantifiers (AFB, PMH, FI), pp. 63–77.
CADECADE-1997-GanzingerMW #order #type system
Soft Typing for Ordered Resolution (HG, CM, CW), pp. 321–335.
CADECADE-1997-Nivelle #classification #order
A Classification of Non-liftable Orders for Resolution (HdN), pp. 336–350.
CAVCAV-1997-RamakrishnanRRSSW #model checking #performance #using
Efficient Model Checking Using Tabled Resolution (YSR, CRR, IVR, SAS, TS, DSW), pp. 143–154.
CSLCSL-1997-BussP #principle
Resolution and the Weak Pigeonhole Principle (SRB, TP), pp. 149–156.
ICLPICLP-1997-FreireSW
Taking I/O Seriously: Resolution Reconsidered for Disk (JF, TS, DSW), pp. 198–212.
SASSAS-1996-PandeR #data flow
Data-Flow-Based Virtual Function Resolution (HDP, BGR), pp. 238–254.
ICPRICPR-1996-LimVW
Resolution consideration in spatially variant sensors (FLL, SV, GAWW), pp. 795–799.
ICPRICPR-1996-MenardL #multi #robust
Robust stereo on multiple resolutions (CM, AL), pp. 910–914.
ICPRICPR-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.
SEKESEKE-1996-FoxvogT #realtime
Variable Depth Resolution for Intelligent Real-Time Systems (DF, TT), pp. 400–407.
SACSAC-1996-DurandAN #algorithm #automation #search-based #using
Automatic aircraft conflict resolution using genetic algorithms (ND, JMA, JN), pp. 289–298.
CADECADE-1996-Dixon #logic
Search Strategies for Resolution in Temporal Logics (CD), pp. 673–687.
CADECADE-1996-Nonnengart #calculus #logic
Resolution-Based Calculi for Modal and Temporal Logics (AN), pp. 598–612.
CADECADE-1996-RitterPW
Proof-Terms for Classical and Intuitionistic Resolution (Extended Abstract) (ER, DJP, LAW), pp. 17–31.
CADECADE-1996-Tammet #logic #proving #theorem proving
A Resolution Theorem Prover for Intuitonistic Logic (TT), pp. 2–16.
CADECADE-1996-Tour #semantics #symmetry
Ground Resolution with Group Computations on Semantic Symmetries (TBdlT), pp. 478–492.
LICSLICS-1996-BasinG #analysis #complexity #order
Complexity Analysis Based on Ordered Resolution (DAB, HG), pp. 456–465.
STOCSTOC-1995-RaghavanU #probability
Stochastic contention resolution with short delays (PR, EU), pp. 229–237.
CIKMCIKM-1995-MakkiP #database #detection #distributed
Detection and Resolution of Deadlocks in Distributed Database Systems (KM, NP), pp. 411–416.
CIKMCIKM-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.
CIKMCIKM-1995-Tammet #using
Using Resolution for Extending KL-ONE-type Languages (TT), pp. 326–332.
PPDPPLILP-1995-Rety #revisited
The Notion of Floundering for SLDNF-Resolution Revisited (JHR), pp. 380–396.
ICLPICLP-1995-BarklundDCL #semantics
Semantical Properties of SLD-Resolution with Reflection (JB, PD, SC, GAL), p. 830.
ICLPILPS-1995-DawsonRRS #optimisation #unification
Optimizing Clause Resolution: Beyond Unification Factoring (SD, CRR, IVR, TS), pp. 194–208.
ICLPILPS-1995-JamilL #behaviour #declarative #inheritance #semantics
A Declarative Semantics for Behavioral Inheritance and Conflict Resolution (HMJ, LVSL), pp. 130–144.
ICLPILPS-1995-MessingS #logic programming #source code
Regular Signed Resolution Applied to Annotated Logic Programs (BM, PvS), p. 638.
RTARTA-1995-Stickel #proving #term rewriting #theorem proving
Term Rewriting in Contemporary Resolution Theorem Proving (Abstract) (MES), p. 101.
DATEEDAC-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.
STOCSTOC-1994-MacKenziePR #on the #probability #protocol
On contention resolution protocols and associated probabilistic phenomena (PDM, CGP, RR), pp. 153–162.
KRKR-1994-DechterR #revisited
Directional Resolution: The Davis-Putnam Procedure, Revisited (RD, IR), pp. 134–145.
KRKR-1994-Val #compilation #database #how
Tractable Databases: How to Make Propositional Unit Resolution Complete Through Compilation (AdV), pp. 551–561.
ICLPILPS-1994-BarklundDCL #named
SLD — Resolution with Reflection (JB, PD, SC, GAL), pp. 554–568.
ICLPILPS-1994-Hui-Bon-Hoa
Intuitionistic Implication and Resolution (AHBH), pp. 409–423.
ICLPILPS-1994-RameshC #prolog
A Portable Method of Integrating SLG Resolution into Prolog Systems (RR, WC), pp. 618–632.
ICLPILPS-1994-SwiftW94a #automaton #source code
An Abstract Machine for SLG Resolution: Definite Programs (TS, DSW), pp. 633–652.
FPCAFPCA-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.
SACSAC-1993-BeaversB
“Dynamic” Inferencing with Generalized Resolution (GB, HB), pp. 614–621.
ICLPILPS-1993-BolD #semantics
Tabulated Resolution for Well Founded Semantics (RNB, LD), pp. 199–219.
ICLPILPS-1993-Drabent #query
Completeness of SLDNF-Resolution for Non-Floundering Queries (WD), p. 643.
ICLPILPS-1993-Hui-Bon-Hoa #constraints
An Intuitionistic Resolution Method for a Language Dealing with Scope Constraints (AHBH), p. 667.
ICLPILPS-1993-Spencer #order #strict
The Ordered Clause Restriction of Model Elimination and SLI Resolution (BS), p. 678.
DACDAC-1992-KubiakPFS #evaluation
Exact Evaluation of Diagnostic Test Resolution (KK, SP, WKF, RAS), pp. 347–352.
VLDBVLDB-1992-ReadFS #multi #relational
A Multi-Resolution Relational Data Model (RLR, DSF, AS), pp. 139–150.
STOCSTOC-1992-MalitzP #graph #on the
On the Angular Resolution of Planar Graphs (SMM, AP), pp. 527–538.
ICALPICALP-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.
ICMLML-1992-Singh #algorithm #learning #modelling #scalability
Scaling Reinforcement Learning Algorithms by Learning Variable Temporal Resolution Models (SPS), pp. 406–415.
OOPSLAOOPSLA-1992-DucournauHHM #inheritance
Monotonic Conflict Resolution Mechanisms for Inheritance (RD, MH, MH, MLM), pp. 16–24.
CADECADE-1992-DigricoliK #challenge #problem
LIM+ Challenge Problems by RUE Hyper-Resolution (VJD, EK), pp. 239–252.
CADECADE-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.
CADECADE-1992-VershininR #logic #nondeterminism
One More Logic with Uncertainty and Resolution Principle for it (KV, IR), pp. 663–667.
CSLCSL-1992-FernmullerL
Model Building by Resolution (CGF, AL), pp. 134–148.
ICLPJICSLP-1992-Dumant
Checking the Soundness of Resolution Schemes (BD), pp. 37–51.
ESOPESOP-J-1990-Helmink91 #type system
Resolution and Type Theory (LH), pp. 119–138.
ICALPICALP-1991-Fouks
General Resolution of Tseitin Formulas is Hard (JDF), pp. 151–162.
FPCAFPCA-1991-NipkowS #order #unification
Type Classes and Overloading Resolution via Order-Sorted Unification (TN, GS), pp. 1–14.
ICMLML-1991-GiordanaSR #concept
Abstracting Concepts with Inverse Resolution (AG, LS, DR), pp. 142–146.
ICMLML-1991-HummeS #using
Using Inverse Resolution to Learn Relations from Experiments (DH, CS), pp. 412–416.
ICMLML-1991-LingN #comparison
Comparison of Methods Based on Inverse Resolution (XL, MAN), pp. 168–172.
ICMLML-1991-Moore #programming
Variable Resolution Dynamic Programming (AWM), pp. 333–337.
PPDPPLILP-1991-Boye #logic programming #named #semantics #source code
S-SLD-resolution — An Operational Semantics for Logic Programs with External Procedures (JB), pp. 383–393.
CSLCSL-1991-HeuschS #aspect-oriented #behaviour #probability
Some Aspects of the Probabilistic Behavior of Variants of Resolution (PH, ES), pp. 164–172.
ICLPICLP-1991-CasanovaHG
Explaining SLDNF Resolution with Non-Normal Defaults (MAC, ASH, RAdTG), pp. 18–31.
ICLPICLP-1991-Lever #proving
Proving Program Properties by Means of SLS-Resolution (JML), pp. 614–628.
ICLPISLP-1991-BeierleMS #automaton #order #polymorphism
Extending the Warren Abstract Machine to Polymorphic Order-Sorted Resolution (CB, GM, HS), pp. 272–286.
ESOPESOP-1990-Helmink #type system
Resolution and Type Theory (LH), pp. 197–211.
ICMLML-1990-RouveirolP
Beyond Inversion of Resolution (CR, JFP), pp. 122–130.
PPDPPLILP-1990-GroschS #ada
Inference-Based Overloading Resolution for ADA (FJG, GS), pp. 30–44.
CADECADE-1990-Burckert #constraints
A Resolution Principle for Clauses with Constraints (HJB), pp. 178–192.
CADECADE-1990-OzturkH #axiom #similarity
Hyper Resolution and Equality Axioms without Function Substitutions (YO, LJH), pp. 456–469.
ICLPCLP-1990-GiordanoM90 #maintenance #modelling
Generalized Stable Models, Truth Maintenance and Conflict Resolution (LG, AM), pp. 427–441.
CSLCSL-1990-Fermuller #set
A Resolution Variant Deciding some Classes of Clause Sets (CGF), pp. 128–144.
SIGMODSIGMOD-1989-IoannidisS
Conflict Resolution of Rules Assigning Values to Virtual Attributes (YEI, TKS), pp. 205–214.
CSLCSL-1989-DeckerC
Generalizing Allowedness While Retaining Completeness of SLDNF-Resolution (HD, LC), pp. 98–115.
CSLCSL-1989-Goerdt #strict
Davis-Putnam Resolution versus Unrestricted Resolution (AG), pp. 143–162.
CSLCSL-1989-Stark #proving
A Direct Proof for the Completeness of SLD-Resolution (RFS), pp. 382–383.
ICLPNACLP-1989-Wakayama #monad
Monadic Cases: Rediscovering Input Resolution (TW), pp. 115–130.
RTARTA-1989-Bachmair #normalisation #proving
Proof Normalization for Resolution and Paramodulation (LB), pp. 15–28.
DACDAC-1988-Schiele #constraints #incremental
Compaction with Incremental Over-Constraint Resolution (WLS), pp. 390–395.
SIGMODSIGMOD-1988-RoeslerB #concurrent #distributed #modelling #object-oriented #semantics
Deadlock Resolution and Semantic Lock Models in Object-Oriented Distributed Systems (MR, WAB), pp. 361–370.
ICMLML-1988-MuggletonB #first-order
Machine Invention of First Order Predicates by Inverting Resolution (SM, WLB), pp. 339–352.
SIGIRSIGIR-1988-BonziL #documentation #information retrieval
The Use of Anaphoric Resolution for Document Description in Information Retrieval (SB, EDL), pp. 53–66.
PPDPALP-1988-Giovannetti #programming language
Narrowing and Resolution in Logic-Functional programming Languages (Abstract) (EG), p. 30.
CADECADE-1988-DonatW #higher-order #learning #using
Learning and Applying Generalised Solutions using Higher Order Resolution (MRD, LAW), pp. 41–60.
CADECADE-1988-Ohlbach #calculus #logic
A Resolution Calculus for Modal Logics (HJO), pp. 500–516.
CADECADE-1988-Rabinov #strict
A Restriction of Factoring in Binary Resolution (AR), pp. 582–591.
CADECADE-1988-WakayamaP
Case Inference in Resolution-Based Languages (TW, THP), pp. 313–322.
CSLCSL-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.
CSLCSL-1987-BlasiusH #unification
Resolution with Feature Unification (KHB, UH), pp. 17–26.
ICLPICLP-1987-Vieille87 #proving
A Database-Complete Proof Procedure Based on SLD-Resolution (LV), pp. 74–103.
ICLPICLP-1987-Yamamoto87
A Theoretical Combination of SLD-Resolution and Narrowing (AY), pp. 470–487.
ICLPSLP-1987-HuberV87 #order #prolog
Extended Prolog for Order-Sorted Resolution (MH, IV), pp. 34–43.
ESOPESOP-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.
CADECADE-1986-Dietrich #algebra #logic
Relating Resolution and Algebraic Completion for Horn Logic (RD), pp. 62–78.
CADECADE-1986-Eisinger #graph #what
What You Always Wanted to Know About Clause Graph Resolution (NE), pp. 316–336.
CADECADE-1986-GreenbaumP #proving #theorem proving
The Illinois Prover: A General Purpose Resolution Theorem Prover (SG, DAP), pp. 685–687.
CADECADE-1986-Konolige #logic #quantifier
Resolution and Quantified Epistemic Logics (KK), pp. 199–208.
CADECADE-1986-Lim #heuristic
The Heuristics and Experimental Results of a New Hyperparamodulation: HL-Resolution (YL), pp. 240–253.
CADECADE-1986-Traugott
Nested Resolution (JT), pp. 394–402.
CADECADE-1986-Wang #named #proving #similarity
ECR: An Equality Conditional Resolution Proof Procedure (TCW), pp. 254–271.
ICLPICLP-1986-BarbutiM86 #logic programming #source code
Completeness of the SLDNF-resolution for a class of logic programs (RB, MM), pp. 600–614.
ICLPICLP-1986-TamakiS86
OLD Resolution with Tabulation (HT, TS), pp. 84–98.
LICSLICS-1986-AbadiM
A Timely Resolution (MA, ZM), pp. 176–186.
ICLPSLP-1986-GallierR86 #horn clause #similarity
SLD-Resolution Methods for Horn Clauses with Equality Based on E-Unification (JHG, SR), pp. 168–179.
CADECADE-1984-Paul #principle
A New Interpretation of the Resolution Principle (EP), pp. 333–355.
ICLPILPC-1984-WolframML84 #logic programming #source code
A Unified Treatment of Resolution Strategies for Logic Programs (DAW, MJM, JLL), pp. 263–276.
CADECADE-1982-GreenbaumNOP #comparison #deduction #implementation
Comparison of Natural Deduction and Locking Resolution Implementations (SG, AN, PO, DAP), pp. 159–171.
DACDAC-1981-Abramovici #algorithm #testing
A maximal resolution guided-probe testing algorithm (MA), pp. 189–195.
CADECADE-1980-BledsoeH #proving
Variable Elimination and Chaining in a Resolution-based Prover for Inequalities (WWB, LMH), pp. 70–87.
CADECADE-1980-Noll #how
A Note on Resolution: How to Get Rid of Factoring without Loosing Completeness (HN), pp. 250–263.
DACDAC-1976-GoundanH #clustering #fault #logic
Partitioning logic circuits to maximize fault resolution (AG, JPH), pp. 271–277.
SIGMODSIGMOD-1976-Macri #concurrent #data transformation #detection
Deadlock Detection and Resolution in a CODASYL Based Data Management System (PPM), pp. 45–49.
STOCSTOC-1975-Galil #bound #complexity #on the
On the Validity and Complexity of Bounded Resolution (ZG), pp. 72–82.

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.