|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 11395 occurrences of 5147 keywords
|
|
|
Results
Found 48800 publication records. Showing 48800 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Paul K. Davis, James H. Bigelow, Jimmie McEver |
Model abstraction techniques and applications: informing and calibrating a multiresolution exploratory analysis model with high resolution simulation: the interdiction problem as a case history. |
WSC |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Marc Bezem, Dimitri Hendriks, Hans de Nivelle |
Automated Proof Construction in Type Theory Using Resolution. |
CADE |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Georg Struth |
An Algebra of Resolution. |
RTA |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Alexander Bolotov, Clare Dixon, Michael Fisher 0001 |
Clausal Resolution for CTL*. |
MFCS |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Joseph Douglas Horton, Bruce Spencer |
Rank/Activity: A Canonical Form for Binary Resolution. |
CADE |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Stéphane Coulondre, Eric Salvat |
Piece Resolution: Towards Larger Perspectives. |
ICCS |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Arthur K. Liu, John W. Belliveau, Anders M. Dale |
Visualizing Spatial Resolution of Linear Estimation Techniques of Electromagnetic Brain Activity Localization. |
MICCAI |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Carles L. Matson |
Resolution Limits for Band-Limited Positivity-Constrained 1-D Signals. |
ICIP (1) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Adrian Hilton 0001, John Illingworth |
Multi-Resolution Geometric Fusion. |
3DIM |
1997 |
DBLP DOI BibTeX RDF |
multiresolution geometric fusion, overlapping surface measurements, discrete implicit surface representation, arbitrary triangulated mesh, volumetric envelope, fixed error bound, bounded error, solid modelling, surface models, environment modelling |
17 | Clare Dixon |
Temporal Resolution: Removing Irrelevant Information. |
TIME |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Samuel R. Buss, Toniann Pitassi |
Resolution and the Weak Pigeonhole Principle. |
CSL |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Jeffrey A. Fessler, W. Leslie Rogers |
Spatial resolution properties of penalized-likelihood image reconstruction: space-invariant tomographs. |
IEEE Trans. Image Process. |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Jean-Hugues Réty |
The Notion of Floundering for SLDNF-Resolution Revisited |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Donald A. Smith, Timothy J. Hickey |
Multi-SLD Resolution. |
LPAR |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Ashim Garg, Roberto Tamassia |
Planar Drawings and Angular Resolution: Algorithms and Bounds (Extended Abstract). |
ESA |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Hans de Nivelle |
A Unification of Ordering Refinements of Resolution in Classical Logic. |
JELIA |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Seung P. Kim, Wen-Yu Su |
Recursive high-resolution reconstruction of blurred multiframe images. |
IEEE Trans. Image Process. |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Anup Basu, Xiaobo Li 0001 |
A Framework for Variable -Resolution Vision. |
ICCI |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Thomas J. Weigert |
Resolution-based Reasoning for Fuzzy Logic. |
Expert Systems in Engineering |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Roland Dietrich |
Relating Resolution and Algebraic Completion for Horn Logic. |
CADE |
1986 |
DBLP DOI BibTeX RDF |
|
17 | Jonathan Traugott |
Nested Resolution. |
CADE |
1986 |
DBLP DOI BibTeX RDF |
|
17 | William H. Joyner Jr. |
Resolution Strategies as Decision Procedures. |
J. ACM |
1976 |
DBLP DOI BibTeX RDF |
|
17 | Philip P. Macri |
Deadlock Detection and Resolution in a CODASYL Based Data Management System. |
SIGMOD Conference |
1976 |
DBLP DOI BibTeX RDF |
|
17 | John K. Dixon |
Z-Resolution: Theorem-Proving with Compiled Axioms. |
J. ACM |
1973 |
DBLP DOI BibTeX RDF |
|
17 | Yong-Bin Kang, Arkady B. Zaslavsky, Shonali Krishnaswamy, Claudio Bartolini |
A knowledge-rich similarity measure for improving IT incident resolution process. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
IT incident management, incident resolution process, knowledge-rich similarity measure, IT service management |
17 | Jia Zhu 0003, Gabriel Pui Cheong Fung, Xiaofang Zhou 0001 |
Efficient web pages identification for entity resolution. |
WWW |
2010 |
DBLP DOI BibTeX RDF |
web pages identification, name disambiguation, entity resolution |
17 | Matt Billings, Leon Adam Watts |
Understanding dispute resolution online: using text to reflect personal and substantive issues in conflict. |
CHI |
2010 |
DBLP DOI BibTeX RDF |
computer-mediated communication, wikipedia, virtual communities, conflict, online dispute resolution |
17 | Wamberto Weber Vasconcelos, Martin J. Kollingbaum, Timothy J. Norman |
Normative conflict resolution in multi-agent systems. |
Auton. Agents Multi Agent Syst. |
2009 |
DBLP DOI BibTeX RDF |
Detection and resolution of normative conflicts, Norms |
17 | Steven Euijong Whang, Omar Benjelloun, Hector Garcia-Molina |
Generic entity resolution with negative rules. |
VLDB J. |
2009 |
DBLP DOI BibTeX RDF |
Generic entity resolution, Negative rule, Data cleaning, Inconsistency |
17 | Sridhar Subbanna, Shrinivasa Varakhedi |
Computational Structure of the Ast adhya yi and Conflict Resolution Techniques. |
Sanskrit Computational Linguistics |
2009 |
DBLP DOI BibTeX RDF |
A???dhy?y?, Vy?kara?a, S?tra, Mathematical Representation, Object Oriented Programming, Computer Modelling, Conflict Resolution, P??ini, Sanskrit |
17 | Matjaz Kukar, Luka Sajn |
Supporting Diagnostics of Coronary Artery Disease with Multi-resolution Image Parameterization and Data Mining. |
MIRAGE |
2009 |
DBLP DOI BibTeX RDF |
medical diagnostics, multi-resolution image parameterization, machine learning, principal component analysis, association rules, coronary artery disease |
17 | Agathe Chollet, Guy Wallet, Laurent Fuchs, Eric Andres, Gaëlle Largeteau-Skapin |
Omega-Arithmetization: A Discrete Multi-resolution Representation of Real Functions. |
IWCIA |
2009 |
DBLP DOI BibTeX RDF |
nonstandard analysis, discrete geometry, multi-resolution analysis, constructive mathematics |
17 | Zhaoqi Chen, Dmitri V. Kalashnikov, Sharad Mehrotra |
Exploiting context analysis for combining multiple entity resolution systems. |
SIGMOD Conference |
2009 |
DBLP DOI BibTeX RDF |
er ensemble, entity resolution, context analysis |
17 | Steven Euijong Whang, David Menestrina, Georgia Koutrika, Martin Theobald, Hector Garcia-Molina |
Entity resolution with iterative blocking. |
SIGMOD Conference |
2009 |
DBLP DOI BibTeX RDF |
iterative blocking, blocking, entity resolution |
17 | Norman K. Sondheimer, Ethan Katsh, Lori A. Clarke, Leon J. Osterweil, Daniel Rainey 0001 |
Dispute prevention and dispute resolution in networked health information technology. |
D.GO |
2009 |
DBLP BibTeX RDF |
misunderstandings, security, process, accuracy, medical information systems, electronic health records, online dispute resolution, disputes |
17 | Yen-Wei Chen 0001, Xian-Hua Han |
Supervised Local Subspace Learning for Region Segmentation and Categorization in High-Resolution Satellite Images. |
CCIW |
2009 |
DBLP DOI BibTeX RDF |
supervised locality preserving projections, high-resolution satellite images, generalization, independent component analysis, categorization, region segmentation, subspace learning |
17 | Bisheng Yang, Ross S. Purves, Robert Weibel |
Variable-resolution Compression of Vector Data. |
GeoInformatica |
2008 |
DBLP DOI BibTeX RDF |
variable-resolution, spatial data compression, error evaluation |
17 | Srividya Kadiyala, Nematollaah Shiri |
A compact multi-resolution index for variable length queries in time series databases. |
Knowl. Inf. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Multi-resolution index, Variable length queries, Performance, Query optimization, Time series, Dimensionality reduction, Similarity search, R-trees |
17 | Sung Won Yoon, Chungkeun Lee, Jin Kwon Kim, Myoungho Lee |
Wavelet-based Multi-resolution Deformation for Medical Endoscopic Image Segmentation. |
J. Medical Syst. |
2008 |
DBLP DOI BibTeX RDF |
Segmentation, Wavelet, Snake, Multi-resolution, Active contour model |
17 | Yevgeny Kazakov, Boris Motik |
A Resolution-Based Decision Procedure for SHOIQ. |
J. Autom. Reason. |
2008 |
DBLP DOI BibTeX RDF |
Resolution decision procedures, Description logics, Nominals |
17 | Jeff Janies |
Existence Plots: A Low-Resolution Time Series for Port Behavior Analysis. |
VizSEC |
2008 |
DBLP DOI BibTeX RDF |
Network traffic visualization, Low-resolution visualization, Time series |
17 | Susana Ladra, Miguel Rodríguez Luaces, Oscar Pedreira, Diego Seco |
A Toponym Resolution Service Following the OGC WPS Standard. |
W2GIS |
2008 |
DBLP DOI BibTeX RDF |
Open Geospatial Consortium, Web Processing Service, Toponym Resolution, Web Services |
17 | Yen-Wei Chen 0001, Xian-Hua Han |
Classification of High-Resolution Satellite Images Using Supervised Locality Preserving Projections. |
KES (2) |
2008 |
DBLP DOI BibTeX RDF |
High-resolution satellite image, classification, supervised, locality preserving projections, multi-spectral image |
17 | Andreas Ingmar Schmied, Franz J. Hauck |
Practical Conflict Resolution for the Composition of Program Transformations. |
SC@ETAPS |
2008 |
DBLP DOI BibTeX RDF |
Conflict Resolution, Software Composition, Software Transformation, Transformation Language |
17 | Minmin Shen, Ping Xue 0001, Ci Wang |
The Influence of Regularization Parameter on Error Bound in Super-Resolution Reconstruction. |
PCM |
2008 |
DBLP DOI BibTeX RDF |
regularization, super-resolution, Error bound |
17 | Nathan Segerlind |
On the Relative Efficiency of Resolution-Like Proofs and Ordered Binary Decision Diagram Proofs. |
CCC |
2008 |
DBLP DOI BibTeX RDF |
lower bounds, resolution, ordered binary decision diagrams, propositional proof complexity |
17 | Ovidiu Ghita, Paul F. Whelan, Dana Elena Ilea |
Multi-resolution Texture Classification Based on Local Image Orientation. |
ICIAR |
2008 |
DBLP DOI BibTeX RDF |
Local image orientation, SVM, multi-resolution, texture classification |
17 | Daniela De Venuto, Leonardo Reyneri |
Fast PWM-Based Test for High Resolution SigmaDelta ADCs. |
J. Electron. Test. |
2007 |
DBLP DOI BibTeX RDF |
Test of high resolution ADC, Sigma-Delta ADC, PWM test signal |
17 | Shivanand S. Gornale, V. T. Humbe, S. S. Jambhorkar, Pravin L. Yannawar, Ramesh R. Manza, K. V. Kale 0001 |
Multi-Resolution System for MRI (Magnetic Resonance Imaging) Image Compression: A Heterogeneous Wavelet Filters Bank Approach. |
CGIV |
2007 |
DBLP DOI BibTeX RDF |
MRI Image compression, Retain Energy (RE), Number of Zeros (NZ), Multi- Resolution Techniques, Wavelet Filters |
17 | Haining Lee, Jaeil Park, Peom Park, Myungchul Jung, Dongmin Shin |
Dynamic Conflict Detection and Resolution in a Human-Centered Ubiquitous Environment. |
HCI (6) |
2007 |
DBLP DOI BibTeX RDF |
human-centered ubiquitous environment, resolution, human interaction, Conflicts detection |
17 | Savas Yildirim, Yilmaz Kiliçaslan, Tugba Yildiz |
Pronoun Resolution in Turkish Using Decision Tree and Rule-Based Learning Algorithms. |
LTC |
2007 |
DBLP DOI BibTeX RDF |
Anaphora, Pronoun Resolution |
17 | Wei Geng, Yunhong Wang |
Aging Simulation of Face Images Based on Super-Resolution. |
ICIC (3) |
2007 |
DBLP DOI BibTeX RDF |
Aging simulation, super-resolution, face hallucination |
17 | Hongbo Luo, Guoliang Xing, Minming Li, Xiaohua Jia |
Dynamic multi-resolution data dissemination in storage-centric wireless sensor networks. |
MSWiM |
2007 |
DBLP DOI BibTeX RDF |
storage-centric sensor networks, temporal resolution, data dissemination |
17 | Kamel Mecheri, Djemel Ziou, François Deschênes |
Super-resolution based on interpolation and global sub pixel translation. |
CRV |
2007 |
DBLP DOI BibTeX RDF |
Intra-Pixel Restoration, Interpolation, Reconstruction, Super-Resolution |
17 | Frederick W. Wheeler, Anthony J. Hoogs |
Moving Vehicle Registration and Super-Resolution. |
AIPR |
2007 |
DBLP DOI BibTeX RDF |
aerial surveillance, super-resolution, vehicle |
17 | Minseok Song 0001, Heonshik Shin |
Replication and retrieval strategies for resource-effective admission control in multi-resolution video servers. |
Multim. Tools Appl. |
2006 |
DBLP DOI BibTeX RDF |
Multi-resolution video severs, Striping unit size, Replication, Admission control |
17 | Hector Garcia-Molina |
Pair-Wise entity resolution: overview and challenges. |
CIKM |
2006 |
DBLP DOI BibTeX RDF |
data cleaning, entity resolution |
17 | Manuel Prieto 0002, Jesús E. Villadangos, Federico Fariña, Alberto Córdoba |
An O(n) Distributed Deadlock Resolution Algorithm. |
PDP |
2006 |
DBLP DOI BibTeX RDF |
Deadlock detection/resolution, Single-resource request model, Distributed systems, Complexity, Distributed algorithms |
17 | Byung-Won On, Ergin Elmacioglu, Dongwon Lee 0001, Jaewoo Kang, Jian Pei |
An effective approach to entity resolution problem using quasi-clique and its application to digital libraries. |
JCDL |
2006 |
DBLP DOI BibTeX RDF |
graph partition, name disambiguation, entity resolution |
17 | Marc Aiguier, Karim Berkani, Pascale Le Gall |
Feature Specification and Static Analysis for Interaction Resolution. |
FM |
2006 |
DBLP DOI BibTeX RDF |
pre-post formalism, specification consistency, feature interaction resolution, static analysis, feature integration |
17 | Lauren Shupp, Robert Ball, Beth Yost, John Booker, Chris North 0001 |
Evaluation of viewport size and curvature of large, high-resolution displays. |
Graphics Interface |
2006 |
DBLP BibTeX RDF |
large tiled display, reconfigurable display, viewport size, curvature, geospatial, high-resolution |
17 | Siddhartha Chattopadhyay, Suchendra M. Bhandarkar, Kang Li 0001 |
FGS-MR: MPEG4 fine grained scalable multi-resolution layered video encoding. |
NOSSDAV |
2006 |
DBLP DOI BibTeX RDF |
multi-resolution, scalable video, MPEG-4 FGS |
17 | Salima Benbernou, Mohand-Said Hacid |
Resolution and Constraint Propagation for Semantic Web Services Discovery. |
Distributed Parallel Databases |
2005 |
DBLP DOI BibTeX RDF |
constrained rules, semantic web services, resolution, subsumption |
17 | Katherine Donaldson, Gregory K. Myers |
Bayesian super-resolution of text in videowith a text-specific bimodal prior. |
Int. J. Document Anal. Recognit. |
2005 |
DBLP DOI BibTeX RDF |
Video, OCR, Super-resolution |
17 | Xiaojun Wan 0001, Jianfeng Gao 0001, Mu Li, Binggong Ding |
Person resolution in person search results: WebHawk. |
CIKM |
2005 |
DBLP DOI BibTeX RDF |
junk filtering, person resolution, clustering, person search |
17 | Hendrik Knoche, John D. McCarthy, Martina Angela Sasse |
Can small be beautiful?: assessing image resolution requirements for mobile TV. |
ACM Multimedia |
2005 |
DBLP DOI BibTeX RDF |
viewing distance, resolution, acceptability, mobile TV |
17 | Takao Yokoi, Hironobu Fujiyoshi |
Virtual camerawork for generating lecture video from high resolution images. |
ICME |
2005 |
DBLP DOI BibTeX RDF |
pseudo camera motion, virtual camerawork, dynamic lecture video generation, high image resolution, HDV camcorder, instructor region tracking, temporal differencing, bilateral filtering |
17 | Véronique Cortier, Michaël Rusinowitch, Eugen Zalinescu |
A resolution strategy for verifying cryptographic protocols with CBC encryption and blind signatures. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
resolution strategies, verification, cryptographic protocols, horn clauses |
17 | Michael Alekhnovich |
Lower bounds for k-DNF resolution on random 3-CNFs. |
STOC |
2005 |
DBLP DOI BibTeX RDF |
random 3CNF, res(k), resolution |
17 | K. Subramani 0001 |
Optimal length tree-like resolution refutations for 2SAT formulas. |
ACM Trans. Comput. Log. |
2004 |
DBLP DOI BibTeX RDF |
2SAT formulas, tree-like proofs, Resolution |
17 | John D. Kelleher, Josef van Genabith |
Visual Salience and Reference Resolution in Simulated 3-D Environments. |
Artif. Intell. Rev. |
2004 |
DBLP DOI BibTeX RDF |
virtual environments, natural language interfaces, reference resolution, visual salience |
17 | Sudha Ram, Jinsoo Park 0001 |
Semantic Conflict Resolution Ontology (SCROL): An Ontology for Detecting and Resolving Data and Schema-Level Semantic Conflicts. |
IEEE Trans. Knowl. Data Eng. |
2004 |
DBLP DOI BibTeX RDF |
semantic conflict resolution, ontology, semantic modeling, Heterogeneous databases |
17 | Yiqun Hu, Liang-Tien Chia, Deepu Rajan |
Region-of-interest based image resolution adaptation for MPEG-21 digital item. |
ACM Multimedia |
2004 |
DBLP DOI BibTeX RDF |
intelligent resolution, MPEG-21, saliency map, image adaptation |
17 | Jan Chomicki, Jorge Lobo 0001, Shamim A. Naqvi |
Conflict Resolution Using Logic Programming. |
IEEE Trans. Knowl. Data Eng. |
2003 |
DBLP DOI BibTeX RDF |
action constraint, Policy, event, conflict resolution, action, active rules |
17 | Veruska R. Aragão, Alvaro A. A. Fernandes |
Conflict Resolution in Web Service Federations. |
ICWS-Europe |
2003 |
DBLP DOI BibTeX RDF |
Dynamic business process adaptation and composition, Mediation middleware, Rule-based conflict resolution of heterogeneities, Web services, Virtual Enterprises |
17 | Richard J. Edens, Helen L. Gaylard, Gareth J. F. Jones, Adenike M. Lam-Adesina |
An investigation of broad coverage automatic pronoun resolution for information retrieval. |
SIGIR |
2003 |
DBLP DOI BibTeX RDF |
co-reference resolution, information retrieval, term weighting |
17 | Soojung Le |
Fast Detection and Resolution of Generalized Distributed Deadlock. |
PDP |
2002 |
DBLP DOI BibTeX RDF |
distributed deadlock, generalized deadlock, distributed algorithms, deadlock detection, deadlock resolution |
17 | Irene Cheng 0001, Anup Basu |
Super High Resolution 3D Imaging and Efficient Visualization. |
3DPVT |
2002 |
DBLP DOI BibTeX RDF |
Super high resolution & 3D Imaging, User Interface, Interactive Visualization |
17 | Yun Peng, Youyong Zou, Xiaocheng Luan, Nenad Ivezic, Michael Grüninger, Albert T. Jones |
Semantic resolution for e-commerce. |
AAMAS |
2002 |
DBLP DOI BibTeX RDF |
semantic resolution, multi-agent system, e-Commerce |
17 | Leslie Ann Goldberg, Philip D. MacKenzie, Mike Paterson, Aravind Srinivasan |
Contention resolution with constant expected delay. |
J. ACM |
2000 |
DBLP DOI BibTeX RDF |
Markov chains, ethernet, multiple-access channel, contention resolution |
17 | ChangHun Park, Heedong Ko, Taiyun Kim |
Multi-resolution spatial model for large-scale virtual environment. |
VRST |
2000 |
DBLP DOI BibTeX RDF |
Networked virtual space, filter update, multi-resolution spatial model (MRSM), relevance realization, Scalability, level-of-detail (LOD), Interest management, state update |
17 | Konstantinos Georgatos |
Resolution Spaces: A Topological Approach to Similarity. |
DEXA Workshops |
2000 |
DBLP DOI BibTeX RDF |
resolution spaces, topological approach, vagueness paradox, query word, information retrieval, information retrieval, documents, similarity, reasoning, discriminating power, mathematical framework |
17 | Ruslan Mitkov |
Multilingual Anaphora Resolution. |
Mach. Transl. |
1999 |
DBLP DOI BibTeX RDF |
technical manuals, multilingual, Arabic, Polish, anaphora resolution |
17 | Khalid Al-Kofahi, Brian Grom, Peter Jackson |
Anaphora resolution in the extraction of treatment history language from court opinions by partial parsing. |
ICAIL |
1999 |
DBLP DOI BibTeX RDF |
information extraction, anaphora resolution |
17 | Ilan Shimshoni, Jean Ponce |
Finite-Resolution Aspect Graphs of Polyhedral Objects. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1997 |
DBLP DOI BibTeX RDF |
Computer vision, image resolution, aspect graphs, 3D object modeling |
17 | Leslie Ann Goldberg, Philip D. MacKenzie |
Contention Resolution with Guaranteed Constant Expected Delay. |
FOCS |
1997 |
DBLP DOI BibTeX RDF |
synchronization, ethernet, multiple-access channel, contention resolution |
17 | Chan Park, Hee Sook Choi, Jin-Oh Kim, Jong Hyup Lee |
Next hop resolution using classical IP over ATM. |
LCN |
1997 |
DBLP DOI BibTeX RDF |
classical IP, IP subnets, logical IP subnet, direct virtual channel connection, next hop resolution protocol, multi-protocol over ATM, inter-LIS communication, RFC1577, test-bed network, protocols, ATM, prototype systems |
17 | José Ramón González de Mendívil, Federico Fariña, Jesús E. Villadangos, José Ramón Garitagoitia |
Liveness Conditions for a Safe Distributed Deadlock Resolution Algorithm. |
PDP |
1996 |
DBLP DOI BibTeX RDF |
safe distributed deadlock resolution algorithm, liveness conditions, strong safety condition, distributed algorithms, concurrency control, system recovery, software fault tolerance |
17 | Shan-Hwei Nienhuys-Cheng, Peter A. Flach |
Consistent Term Mappings, Term Partitions and Inverse Resolution. |
EWSL |
1991 |
DBLP DOI BibTeX RDF |
Inverse resolution, absorption, substitution |
17 | Alok N. Choudhary, Walter H. Kohler, John A. Stankovic, Donald F. Towsley |
A Modified Priority Based Probe Algorithm for Distributed Deadlock Detection and Resolution. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
modified priority based probe algorithm, distributed databases, system recovery, distributed database system, distributed deadlock detection, deadlock resolution |
17 | Michael R. Donat, Lincoln A. Wallen |
Learning and Applying Generalised Solutions using Higher Order Resolution. |
CADE |
1988 |
DBLP DOI BibTeX RDF |
higher order unification, Resolution, generalisation, Explanation Based Learning |
17 | Hans Jürgen Ohlbach |
A Resolution Calculus for Modal Logics. |
CADE |
1988 |
DBLP DOI BibTeX RDF |
resolution principle, modal logic, unification |
16 | Roland Stuckardt |
Applying Backpropagation Networks to Anaphor Resolution. |
DAARC |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Ariel Cohen 0004 |
Anaphora Resolution as Equality by Default. |
DAARC |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Gordana Ilic Holen |
Automatic Anaphora Resolution for Norwegian (ARN). |
DAARC |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Yushin Cho, William A. Pearlman, Amir Said |
Low complexity resolution progressive image coding algorithm: progres (progressive resolution decompression). |
ICIP (3) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Hans de Nivelle |
Resolution Games and Non-Liftable Resolution Orderings. |
CSL |
1994 |
DBLP DOI BibTeX RDF |
|
15 | Alexander Wong, Jacob Scharcanski |
Phase-Adaptive Superresolution of Mammographic Images Using Complex Wavelets. |
IEEE Trans. Image Process. |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Takayuki Okatani, Mikio Wada, Koichiro Deguchi |
Study of Image Quality of Superimposed Projection Using Multiple Projectors. |
IEEE Trans. Image Process. |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Hou Guan Ng, Mohd. Zubir MatJafri, Khiruddin Abdullah, Nadzri Othman |
Merging Infrared and Microwave SST Data at South China Sea. |
CGIV |
2009 |
DBLP DOI BibTeX RDF |
|
|
|