|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 95 occurrences of 91 keywords
|
|
|
|
|
Results
Found 89 publication records. Showing 89 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 2 | Yu Wang, Zhichun Mu, Hui Zeng |
Block-based and multi-resolution methods for ear recognition using wavelet transform and uniform local binary patterns.  |
ICPR  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Gilson A. Giraldi, Edilberto Strauss, Antonio A. F. Oliveira |
Boundary Extraction Approach Based on Multi-Resolution Methods and the T-Snakes Framework.  |
SIBGRAPI  |
2000 |
DBLP DOI BibTeX RDF |
boundary extraction approach, multi-resolution methods, T-Snakes framework, image domain triangulation, low image resolution, polygonal curves, 2D medical imaging, image segmentation, edge detection, experimental results, image sampling, image thresholding |
| 2 | Woohyuk Lee, Abelardo Pardo, Jae-Young Jang, Gary D. Hachtel, Fabio Somenzi |
Tearing based automatic abstraction for CTL model checking.  |
ICCAD  |
1996 |
DBLP DOI BibTeX RDF |
ACTL model checking, CTL model checking, conservative ECTL, lattice set, lower bound approximations, pseudo-optimal shortest path, resolution methods, tearing based automatic abstraction, upper bound approximations, formal verification, reactive system, bipartition |
| 2 | Harpreet S. Sawhney, Serge Ayer, Monika Gorkani |
Model-Based 2D&3D Dominant Motion Estimation for Mosaicing and Video Representation. (PDF / PS)  |
ICCV  |
1995 |
DBLP DOI BibTeX RDF |
model-based 2D&3D dominant motion estimation, fixed background, dominant background changes, camera operations, dominant image transformation, dominant component estimation, model based robust estimation, multi resolution methods, 2D affine, plane projective models, true 3D model, rigid 3D scenes, motion estimation, image sequences, image registration, image registration, image representation, video sequences, least squares approximations, mosaicing, video signal processing, least squares methods, M estimators, image motion, video representation, uncalibrated cameras, image plane, scene structure |
| 2 | Kwok-Wa Lam, Kam-yiu Lam, Sheung-lun Hung |
Real-time optimistic concurrency control protocol with dynamic adjustment of serialization order. (PDF / PS)  |
IEEE Real Time Technology and Applications Symposium  |
1995 |
DBLP DOI BibTeX RDF |
real-time optimistic concurrency control protocol, serialization order dynamic adjustment, nonserious conflicting transactions, backward-adjustment, committing transactions, transaction restarts elimination, conflict constraints, serialization constraints, read phase, priority conflict resolution methods, Thomas's write rule, real-time systems, concurrency control, transaction processing, database theory, access protocols |
| 1 | Fereidoon Moghadas Nejad, Hamzeh Zakeri |
A comparison of multi-resolution methods for detection and isolation of pavement distress.  |
Expert Syst. Appl.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jirí Mikyska, Abbas Firoozabadi |
Application of high-resolution methods in compositional simulation.  |
Procedia CS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ju Xiang, Ke Hu |
Limitation of multi-resolution methods in community detection  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Santiago Garcia-Jimenez, Eduardo Magaña, Daniel Morató, Mikel Izal |
On the performance and improvement of alias resolution methods for Internet core networks.  |
Annales des Télécommunications  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Admir Barolli, Fatos Xhafa, Makoto Takizawa |
Optimization Problems and Resolution Methods for Node Placement in Wireless Mesh Networks.  |
NBiS  |
2011 |
DBLP DOI BibTeX RDF |
Size of Giant Component, User Coverage, Genetic Algorithms, Local Search, Wireless Mesh Networks |
| 1 | George Papadakis, Ekaterini Ioannou, Claudia Niederée, Themis Palpanas, Wolfgang Nejdl |
Eliminating the redundancy in blocking-based entity resolution methods.  |
JCDL  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | George Papadakis, Wolfgang Nejdl |
Efficient entity resolution methods for heterogeneous information spaces.  |
ICDE Workshops  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Johnsen, Johan Larsson, Ankit V. Bhagatwala, William H. Cabot, Parviz Moin, Britton J. Olson, Pradeep Singh Rawat, Santhosh K. Shankar, Björn Sjögreen, H. C. Yee, Xiaolin Zhong, Sanjiva K. Lele |
Assessment of high-resolution methods for numerical simulations of compressible turbulence with shock waves.  |
J. Comput. Physics  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiyan Du, Pavel Jaromersky, Yi-Jen Chiang, Nasir D. Memon |
Out-of-Core Progressive Lossless Compression and Selective Decompression of Large Triangle Meshes.  |
DCC  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Na Fan |
Super-Resolution Using Regularized Orthogonal Matching Pursuit Based on Compressed Sensing Theory in the Wavelet Domain.  |
CGIV  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hui Ji, Cornelia Fermüller |
Robust Wavelet-Based Super-Resolution Reconstruction: Theory and Algorithm.  |
IEEE Trans. Pattern Anal. Mach. Intell.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoshifumi Nagata, S. Iwasaki, T. Hariyama, T. Fujioka, T. Obara, T. Wakatake, Masato Abe |
Binaural Localization Based on Weighted Wiener Gain Improved by Incremental Source Attenuation.  |
IEEE Transactions on Audio, Speech & Language Processing  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Witold Jacak, Karin Pröll |
Conflict Resolution in Multiagent Systems Based on Wireless Sensor Networks.  |
EUROCAST  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Schlicht, Heiner Stuckenschmidt |
Distributed Resolution for Expressive Ontology Networks.  |
RR  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdelfetah Hentout, Brahim Bouzouia, Zakaria Toukal |
Trajectories Planning in Presence of Obstacles for Manipulator Robots.  |
Asia International Conference on Modelling and Simulation  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Varsha H. Patil, Dattatraya S. Bormane, Vaishalee S. Pawar |
Super Resolution Using Neural Network.  |
Asia International Conference on Modelling and Simulation  |
2008 |
DBLP DOI BibTeX RDF |
Neural Network, Super Resolution |
| 1 | Michael Rübsamen, Alex B. Gershman |
Root-music based direction-of-arrival estimation methods for arbitrary non-uniform arrays.  |
ICASSP  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Cataldo Basile, Alberto Cappadonia, Antonio Lioy |
Geometric Interpretation of Policy Specification.  |
POLICY  |
2008 |
DBLP DOI BibTeX RDF |
policy resolution, policy specification, policy conflict |
| 1 | Michelle Chabrol, Michel Gourgand, Sophie Rodier |
A modeling methodology and its application to the design of decision-making aid tools dedicated to the hospital systems.  |
RCIS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Chiaverini, Giuseppe Oriolo, Ian D. Walker |
Kinematically Redundant Manipulators.  |
Springer Handbook of Robotics  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hideaki Kawano, Noriaki Suetake, Byungki Cha, Takashi Aso |
Super-Resolution via Matching from Self-Decomposed Codebook with Local Distance Measure Incorporating Pixel Correlation.  |
DICTA  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramtin Shams, Nick Barnes, Richard I. Hartley |
Image Registration in Hough Space Using Gradient of Images.  |
DICTA  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mahim Mishra, Seth Copen Goldstein |
Virtualization on the Tartan Reconfigurable Architecture.  |
FPL  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Vorapoj Patanavijit, Sarawut Tae-O-Sot, Somchai Jitapunkul |
A Robust Iterative Super-Resolution Reconstruction of Image Sequences using a Lorentzian Bayesian Approach with Fast Affine Block-Based Registration.  |
ICIP  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Vorapoj Patanavijit, Parichat Sermwuthisarn, Somchai Jitapunkul |
A Robust Iterative Super-Resolution Reconstruction of Image Sequences using a Tukey's Biweigth Bayesian Approach with Fast Affine Block-Based Registration.  |
ICME  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoshifumi Nagata, T. Fujioka, Masato Abe |
Two-Dimensional DOA Estimation of Sound Sources Based on Weighted Wiener Gain Exploiting Two-Directional Microphones.  |
IEEE Transactions on Audio, Speech & Language Processing  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Chevalier, Anne Ferréol, Laurent Albera, Gwénaël Birot |
Higher Order Direction Finding From Arrays With Diversely Polarized Antennas: The PD-2q-MUSIC Algorithms.  |
IEEE Transactions on Signal Processing  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luc Buatois, Guillaume Caumon, Bruno Lévy |
Concurrent Number Cruncher: An Efficient Sparse Linear Solver on the GPU.  |
HPCC  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fatima Benbouzid-Sitayeb, Mourad Tirchi, Abid Mahloul |
An Integrated Resolution of Joint Production and Maintenance Scheduling Problem in Hybrid Flowshop.  |
IWINAC  |
2007 |
DBLP DOI BibTeX RDF |
Joint scheduling, Hybrid Flowshop, Genetic Algorithms, Production, Maintenance, Taboo Search |
| 1 | Ruijiang Luo, Liyuan Li, Irene Y. H. Gu |
Efficient Adaptive Background Subtraction Based on Multi-resolution Background Modelling and Updating.  |
PCM  |
2007 |
DBLP DOI BibTeX RDF |
Adaptive background subtraction, principal feature representation, statistical modelling, multi-resolution modelling |
| 1 | Renate A. Schmidt |
Developing Modal Tableaux and Resolution Methods via First-Order Resolution.  |
Advances in Modal Logic  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Marcelo Victor Wüst Zibetti, Joceli Mayer |
Outlier Robust and Edge-Preserving Simultaneous Super-Resolution.  |
ICIP  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Linda T. Nieman, Michael B. Sinclair, Jerilyn A. Timlin, Howland D. T. Jones, David M. Haaland |
Hyperspectral imaging system for quantitative identification and discrimination of fluorescent labels in the presence of autofluorescence.  |
ISBI  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitrios Charalampidis, M. Pascotto, E. K. Kerut, J. R. Lindner |
Anatomy and flow in normal and ischemic microvasculature based on a novel temporal fractal dimension analysis algorithm using contrast enhanced ultrasound.  |
IEEE Trans. Med. Imaging  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland Badeau, Bertrand David, Gaël Richard |
High-resolution spectral analysis of mixtures of complex exponentials modulated by polynomials.  |
IEEE Transactions on Signal Processing  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hui Ji, Cornelia Fermüller |
Wavelet-Based Super-Resolution Reconstruction: Theory and Algorithm.  |
ECCV  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Azadeh Mohebi, Paul W. Fieguth |
Posterior Sampling of Scientific Images.  |
ICIAR  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Cüneyd Tantug, Esref Adali, Kemal Oflazer |
Lexical Ambiguity Resolution for Turkish in Direct Transfer Machine Translation Models.  |
ISCIS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | K. Su, Qi Tian, Qing Xue, Nicu Sebe, Jingsheng Ma |
Neighborhood issue in single-frame image super-resolution.  |
ICME  |
2005 |
DBLP DOI BibTeX RDF |
training image, multiple-frame super-resolution, single-frame image super-resolution method, manifold learning method, neighborhood issue, image sequence, locally linear embedding, LLE |
| 1 | Dong-Young Lee |
A Study on the Centralized Database of the Multi-agents Based Integrated Security Management System for Managing Heterogeneous Firewalls.  |
KES  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Marek Brandner, Stanislav Mika |
High-resolution methods for two-component fluid flow problem with moving interface.  |
Mathematics and Computers in Simulation  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sina Farsiu, M. Dirk Robinson, Michael Elad, Peyman Milanfar |
Fast and robust multiframe super resolution.  |
IEEE Transactions on Image Processing  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Fisher, Alexei Lisitsa |
Monodic ASMs and Temporal Verification.  |
Abstract State Machines  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdelilah Maach, Gregor von Bochmann, Hussein T. Mouftah |
Congestion Control and Contention Elimination in Optical Burst Switching.  |
Telecommunication Systems  |
2004 |
DBLP DOI BibTeX RDF |
contention avoidance, load balancing, optical network, optical burst switching |
| 1 | Ludovic Duponchel, Waiss Elmi-Rayaleh, Cyril Ruckebusch, Jean-Pierre Huvenne |
Multivariate Curve Resolution Methods in Imaging Spectroscopy: Influence of Extraction Methods and Instrumental Perturbations.  |
Journal of Chemical Information and Computer Sciences  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Kirby |
On the convergence of high resolution methods with multiple time scales for hyperbolic conservation laws.  |
Math. Comput.  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Mateescu |
A Generic On-the-Fly Solver for Alternation-Free Boolean Equation Systems.  |
TACAS  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Chun Ruan, Vijay Varadharajan |
A formal graph based framework for supporting authorization delegations and conflict resolutions.  |
Int. J. Inf. Sec.  |
2003 |
DBLP DOI BibTeX RDF |
Access control, Authorization, Conflict resolution |
| 1 | Günter Gans, Matthias Jarke, Stefanie Kethers, Gerhard Lakemeyer |
Continuous requirements management for organisation networks: a (dis)trust-based approach.  |
Requir. Eng.  |
2003 |
DBLP DOI BibTeX RDF |
ConGolog, Inter-organisational systems, Viewpoint resolution, Trust, Requirements engineering, Conceptual modelling, Metadata management, Telos |
| 1 | Edilberto Strauss, Walter Jiménez, Gilson A. Giraldi, Rodrigo L. S. Silva, Antonio A. F. Oliveira |
A Surface Reconstruction Approach Based on Multi-resolution Methods and the T-Surfaces Framework.  |
WSCG (Posters)  |
2002 |
DBLP BibTeX RDF |
|
| 1 | Karen L. Myers, David N. Morley |
Conflict management for agent guidance.  |
AAMAS  |
2002 |
DBLP DOI BibTeX RDF |
advisability, agents, conflict resolution |
| 1 | Wen-Yi Zhao, Harpreet S. Sawhney, Michael W. Hansen, Supun Samarasekera |
Super-Fusion: A Super-Resolution Method Based on Fusion.  |
ICPR  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Samy Ait-Aoudia |
Numerical Solving of Geometric Constraints.  |
IV  |
2002 |
DBLP DOI BibTeX RDF |
bisection method, constraints, geometric modeling |
| 1 | Chun Ruan, Vijay Varadharajan |
Resolving Conflicts in Authorization Delegations.  |
ACISP  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrique Alba, Francisco Almeida, Maria J. Blesa, J. Cabeza, Carlos Cotta, M. Díaz, Isabel Dorta, Joaquim Gabarró, Coromoto León, J. Luna, Luz Marina Moreno, C. Pablos, Jordi Petit, Angélica Rojas, Fatos Xhafa |
MALLBA: A Library of Skeletons for Combinatorial Optimisation (Research Note).  |
Euro-Par  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Rainer Feldmann, Catherine Roucairol |
Discrete Optimization.  |
Euro-Par  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Catalina Barbu, Ruslan Mitkov |
Evaluation Tool for Rule-based Anaphora Resolution Methods.  |
ACL  |
2001 |
DBLP BibTeX RDF |
|
| 1 | Augusto Sarti, Stefano Tubaro |
Image-Based Implicit Object Modeling: Direct and Indirect Multi-Resolution Methods.  |
ICHIM  |
2001 |
DBLP BibTeX RDF |
|
| 1 | Harpreet S. Sawhney, Yanlin Guo, Keith J. Hanna, Rakesh Kumar, Sean Adkins, Samuel Zhou |
Hybrid stereo camera: an IBR approach for synthesis of very high resolution stereoscopic image sequences.  |
SIGGRAPH  |
2001 |
DBLP DOI BibTeX RDF |
stereo sequence synthesis, image-based rendering, image analysis |
| 1 | Assaf Zomet, Alex Rav-Acha, Shmuel Peleg |
Robust Super-Resolution.  |
CVPR  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanda M. Harabagiu, Razvan C. Bunescu, Stefan Trausan-Matu |
COREFDRAW-A Tool for Annotation and Visualization of Coreference Data. (PDF / PS)  |
ICTAI  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Samy Ait-Aoudia, Hakim Badis, Messaoud Kara |
Solving Geometric Constraints by a Hybrid Method. (PDF / PS)  |
IV  |
2001 |
DBLP DOI BibTeX RDF |
graph-based solver, Computer aided design, matching, bipartite graphs, constraints solving, geometric constraints |
| 1 | Günter Gans, Matthias Jarke, Stefanie Kethers, Gerhard Lakemeyer, Lutz Ellrich, Christiane Funken, Martin Meister 0002 |
Requirements Modeling for Organization Networks: A (Dis-)Trust-Based Approach. (PDF / PS)  |
RE  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas O. Frank, I. Alexander Twombly, Timothy J. Barth, Jeffrey D. Smith |
Finite Element Methods for Real-Time Haptic Feedback of Soft-Tissue Models in Virtual Reality Simulators. (PDF / PS)  |
VR  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Tie Zhou, Yinfan Li, Chi-Wang Shu |
Numerical Comparison of WENO Finite Volume and Runge-Kutta Discontinuous Galerkin Methods.  |
J. Sci. Comput.  |
2001 |
DBLP DOI BibTeX RDF |
WENO, comparison, discontinuous Galerkin, finite volume |
| 1 | Kam-yiu Lam, Tei-Wei Kuo, Tony S. H. Lee |
Designing inter-class concurrency control strategies for real-time database systems with mixed transactions.  |
ECRTS  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Joel R. Tetreault |
Analysis of Syntax-Based Pronoun Resolution Methods.  |
ACL  |
1999 |
DBLP BibTeX RDF |
|
| 1 | Danny S. P. To, Rynson W. H. Lau, Mark Green |
A method for progressive and selective transmission of multi-resolution models.  |
VRST  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Lange |
Advances in the Cooperation of Shape from Shading and Stereo Vision.  |
3DIM  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean Pierre Cocquerez, Matthieu Cord, Michel Jordan |
Accurate Building Structure Recovery from Aerial Imagery. (PDF / PS)  |
SIBGRAPI  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Nail Çadalli, Orhan Arikan |
Wideband maximum likelihood direction finding and signal parameter estimation by using the tree-structured EM algorithm.  |
IEEE Transactions on Signal Processing  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Bartz, Wolfgang Straßer |
Asynchronous Parallel Construction of Recursive Tree Hierarchies.  |
ACPC  |
1999 |
DBLP DOI BibTeX RDF |
Parallel hierarchies, recursive tree structures, memory synchronization, shared memory, octrees, thread model |
| 1 | Bill Triggs |
Optimal Estimation of Matching Constraints.  |
SMILE  |
1998 |
DBLP DOI BibTeX RDF |
multi-camera geometry, geometric fitting, constrained optimization, statistical estimation, Matching constraints |
| 1 | Hamid K. Aghajan, Thomas Kailath |
SLIDE: Subspace-Based Line Detection.  |
IEEE Trans. Pattern Anal. Mach. Intell.  |
1994 |
DBLP DOI BibTeX RDF |
subspace-based line detection, direction-of-arrival estimation, sensor array processing, line parameter estimation, computational complexity, computational complexity, object recognition, edge detection, parameter estimation, Hough transform, curve fitting, 3D images, array signal processing, straight lines, signal representation, SLIDE, grey-scale images |
| 1 | Rudolf K. Keller, Marianne Ozkan, Xijin Shen |
Towards Comprehensive Support for the Dynamic Analysis of Petri Net Based Models.  |
Application and Theory of Petri Nets  |
1994 |
DBLP DOI BibTeX RDF |
Macronet, graphical simulation, visualization, performance analysis, Petri net, Dynamic analysis, business modelling, environment, tool evaluation |
| 1 | Belaid Benhamou, Lakhdar Sais, Pierre Siegel |
Two Proof Procedures for a Cardinality Based Language in Propositional Calculus.  |
STACS  |
1994 |
DBLP DOI BibTeX RDF |
symmetry and cardinality, theorem proving, propositional calculus |
| 1 | Christian G. Fermüller, Alexander Leitsch, Tanel Tammet, N. K. Zamov |
Resolution Methods for the Decision Problem  |
|
1993 |
DOI RDF |
|
| 1 | Masahiko Tsukamoto, Shojiro Nishio, Mitsuhiko Fujio |
DOT: A Term Reprentation using DOT Algebra for Knowledge-bases.  |
DOOD  |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Santiago Candela Solá, J. A. Muñoz-Blanco, Christophe Garcia, Francisco Alayón Hernández |
A CAST System for Visual Fault Detection Research.  |
EUROCAST  |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Alexander Leitsch |
A Strong Problem Reduction Method Based on Function Introduction.  |
ISSAC  |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil V. Murray, Erik Rosenthal |
Inference with path resolution and semantic graphs.  |
J. ACM  |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean H. Gallier, Stan Raatz |
SLD-Resolution Methods for Horn Clauses with Equality Based on E-Unification.  |
SLP  |
1986 |
DBLP BibTeX RDF |
|
| 1 | Kurt Konolige |
Resolution and Quantified Epistemic Logics.  |
CADE  |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Kuo-Chung Tai, Alan L. Tharp |
An introduction to computed chaining.  |
AFIPS National Computer Conference  |
1980 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #89 of 89 (100 per page; Change: )
|
|