The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase resolution methods (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1980-1998 (15) 1999-2001 (17) 2002-2004 (16) 2005-2007 (20) 2008-2011 (21)
Publication types (Num. hits)
article(22) book(1) incollection(1) inproceedings(65)
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
2Yu Wang, Zhichun Mu, Hui Zeng Block-based and multi-resolution methods for ear recognition using wavelet transform and uniform local binary patterns. Search on Bibsonomy ICPR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
2Gilson A. Giraldi, Edilberto Strauss, Antonio A. F. Oliveira Boundary Extraction Approach Based on Multi-Resolution Methods and the T-Snakes Framework. Search on Bibsonomy SIBGRAPI The full citation details ... 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
2Woohyuk Lee, Abelardo Pardo, Jae-Young Jang, Gary D. Hachtel, Fabio Somenzi Tearing based automatic abstraction for CTL model checking. Search on Bibsonomy ICCAD The full citation details ... 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
2Harpreet S. Sawhney, Serge Ayer, Monika Gorkani Model-Based 2D&3D Dominant Motion Estimation for Mosaicing and Video Representation. (PDF / PS) Search on Bibsonomy ICCV The full citation details ... 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
2Kwok-Wa Lam, Kam-yiu Lam, Sheung-lun Hung Real-time optimistic concurrency control protocol with dynamic adjustment of serialization order. (PDF / PS) Search on Bibsonomy IEEE Real Time Technology and Applications Symposium The full citation details ... 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
1Fereidoon Moghadas Nejad, Hamzeh Zakeri A comparison of multi-resolution methods for detection and isolation of pavement distress. Search on Bibsonomy Expert Syst. Appl. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jirí Mikyska, Abbas Firoozabadi Application of high-resolution methods in compositional simulation. Search on Bibsonomy Procedia CS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ju Xiang, Ke Hu Limitation of multi-resolution methods in community detection Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Santiago Garcia-Jimenez, Eduardo Magaña, Daniel Morató, Mikel Izal On the performance and improvement of alias resolution methods for Internet core networks. Search on Bibsonomy Annales des Télécommunications The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Admir Barolli, Fatos Xhafa, Makoto Takizawa Optimization Problems and Resolution Methods for Node Placement in Wireless Mesh Networks. Search on Bibsonomy NBiS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF Size of Giant Component, User Coverage, Genetic Algorithms, Local Search, Wireless Mesh Networks
1George Papadakis, Ekaterini Ioannou, Claudia Niederée, Themis Palpanas, Wolfgang Nejdl Eliminating the redundancy in blocking-based entity resolution methods. Search on Bibsonomy JCDL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1George Papadakis, Wolfgang Nejdl Efficient entity resolution methods for heterogeneous information spaces. Search on Bibsonomy ICDE Workshops The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Eric 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. Search on Bibsonomy J. Comput. Physics The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Zhiyan Du, Pavel Jaromersky, Yi-Jen Chiang, Nasir D. Memon Out-of-Core Progressive Lossless Compression and Selective Decompression of Large Triangle Meshes. Search on Bibsonomy DCC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Na Fan Super-Resolution Using Regularized Orthogonal Matching Pursuit Based on Compressed Sensing Theory in the Wavelet Domain. Search on Bibsonomy CGIV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Hui Ji, Cornelia Fermüller Robust Wavelet-Based Super-Resolution Reconstruction: Theory and Algorithm. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Yoshifumi 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. Search on Bibsonomy IEEE Transactions on Audio, Speech & Language Processing The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Witold Jacak, Karin Pröll Conflict Resolution in Multiagent Systems Based on Wireless Sensor Networks. Search on Bibsonomy EUROCAST The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Anne Schlicht, Heiner Stuckenschmidt Distributed Resolution for Expressive Ontology Networks. Search on Bibsonomy RR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Abdelfetah Hentout, Brahim Bouzouia, Zakaria Toukal Trajectories Planning in Presence of Obstacles for Manipulator Robots. Search on Bibsonomy Asia International Conference on Modelling and Simulation The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Varsha H. Patil, Dattatraya S. Bormane, Vaishalee S. Pawar Super Resolution Using Neural Network. Search on Bibsonomy Asia International Conference on Modelling and Simulation The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Neural Network, Super Resolution
1Michael Rübsamen, Alex B. Gershman Root-music based direction-of-arrival estimation methods for arbitrary non-uniform arrays. Search on Bibsonomy ICASSP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Cataldo Basile, Alberto Cappadonia, Antonio Lioy Geometric Interpretation of Policy Specification. Search on Bibsonomy POLICY The full citation details ... 2008 DBLP  DOI  BibTeX  RDF policy resolution, policy specification, policy conflict
1Michelle Chabrol, Michel Gourgand, Sophie Rodier A modeling methodology and its application to the design of decision-making aid tools dedicated to the hospital systems. Search on Bibsonomy RCIS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Stefano Chiaverini, Giuseppe Oriolo, Ian D. Walker Kinematically Redundant Manipulators. Search on Bibsonomy Springer Handbook of Robotics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Hideaki Kawano, Noriaki Suetake, Byungki Cha, Takashi Aso Super-Resolution via Matching from Self-Decomposed Codebook with Local Distance Measure Incorporating Pixel Correlation. Search on Bibsonomy DICTA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Ramtin Shams, Nick Barnes, Richard I. Hartley Image Registration in Hough Space Using Gradient of Images. Search on Bibsonomy DICTA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Mahim Mishra, Seth Copen Goldstein Virtualization on the Tartan Reconfigurable Architecture. Search on Bibsonomy FPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Vorapoj 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. Search on Bibsonomy ICIP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Vorapoj 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. Search on Bibsonomy ICME The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Yoshifumi Nagata, T. Fujioka, Masato Abe Two-Dimensional DOA Estimation of Sound Sources Based on Weighted Wiener Gain Exploiting Two-Directional Microphones. Search on Bibsonomy IEEE Transactions on Audio, Speech & Language Processing The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Pascal 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. Search on Bibsonomy IEEE Transactions on Signal Processing The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Luc Buatois, Guillaume Caumon, Bruno Lévy Concurrent Number Cruncher: An Efficient Sparse Linear Solver on the GPU. Search on Bibsonomy HPCC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Fatima Benbouzid-Sitayeb, Mourad Tirchi, Abid Mahloul An Integrated Resolution of Joint Production and Maintenance Scheduling Problem in Hybrid Flowshop. Search on Bibsonomy IWINAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Joint scheduling, Hybrid Flowshop, Genetic Algorithms, Production, Maintenance, Taboo Search
1Ruijiang Luo, Liyuan Li, Irene Y. H. Gu Efficient Adaptive Background Subtraction Based on Multi-resolution Background Modelling and Updating. Search on Bibsonomy PCM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Adaptive background subtraction, principal feature representation, statistical modelling, multi-resolution modelling
1Renate A. Schmidt Developing Modal Tableaux and Resolution Methods via First-Order Resolution. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2006 DBLP  BibTeX  RDF
1Marcelo Victor Wüst Zibetti, Joceli Mayer Outlier Robust and Edge-Preserving Simultaneous Super-Resolution. Search on Bibsonomy ICIP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Linda 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. Search on Bibsonomy ISBI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Dimitrios 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. Search on Bibsonomy IEEE Trans. Med. Imaging The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Roland Badeau, Bertrand David, Gaël Richard High-resolution spectral analysis of mixtures of complex exponentials modulated by polynomials. Search on Bibsonomy IEEE Transactions on Signal Processing The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Hui Ji, Cornelia Fermüller Wavelet-Based Super-Resolution Reconstruction: Theory and Algorithm. Search on Bibsonomy ECCV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Azadeh Mohebi, Paul W. Fieguth Posterior Sampling of Scientific Images. Search on Bibsonomy ICIAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1A. Cüneyd Tantug, Esref Adali, Kemal Oflazer Lexical Ambiguity Resolution for Turkish in Direct Transfer Machine Translation Models. Search on Bibsonomy ISCIS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1K. Su, Qi Tian, Qing Xue, Nicu Sebe, Jingsheng Ma Neighborhood issue in single-frame image super-resolution. Search on Bibsonomy ICME The full citation details ... 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
1Dong-Young Lee A Study on the Centralized Database of the Multi-agents Based Integrated Security Management System for Managing Heterogeneous Firewalls. Search on Bibsonomy KES The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Marek Brandner, Stanislav Mika High-resolution methods for two-component fluid flow problem with moving interface. Search on Bibsonomy Mathematics and Computers in Simulation The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Sina Farsiu, M. Dirk Robinson, Michael Elad, Peyman Milanfar Fast and robust multiframe super resolution. Search on Bibsonomy IEEE Transactions on Image Processing The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Michael Fisher, Alexei Lisitsa Monodic ASMs and Temporal Verification. Search on Bibsonomy Abstract State Machines The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Abdelilah Maach, Gregor von Bochmann, Hussein T. Mouftah Congestion Control and Contention Elimination in Optical Burst Switching. Search on Bibsonomy Telecommunication Systems The full citation details ... 2004 DBLP  DOI  BibTeX  RDF contention avoidance, load balancing, optical network, optical burst switching
1Ludovic Duponchel, Waiss Elmi-Rayaleh, Cyril Ruckebusch, Jean-Pierre Huvenne Multivariate Curve Resolution Methods in Imaging Spectroscopy: Influence of Extraction Methods and Instrumental Perturbations. Search on Bibsonomy Journal of Chemical Information and Computer Sciences The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Robert Kirby On the convergence of high resolution methods with multiple time scales for hyperbolic conservation laws. Search on Bibsonomy Math. Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Radu Mateescu A Generic On-the-Fly Solver for Alternation-Free Boolean Equation Systems. Search on Bibsonomy TACAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Chun Ruan, Vijay Varadharajan A formal graph based framework for supporting authorization delegations and conflict resolutions. Search on Bibsonomy Int. J. Inf. Sec. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Access control, Authorization, Conflict resolution
1Günter Gans, Matthias Jarke, Stefanie Kethers, Gerhard Lakemeyer Continuous requirements management for organisation networks: a (dis)trust-based approach. Search on Bibsonomy Requir. Eng. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF ConGolog, Inter-organisational systems, Viewpoint resolution, Trust, Requirements engineering, Conceptual modelling, Metadata management, Telos
1Edilberto 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. Search on Bibsonomy WSCG (Posters) The full citation details ... 2002 DBLP  BibTeX  RDF
1Karen L. Myers, David N. Morley Conflict management for agent guidance. Search on Bibsonomy AAMAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF advisability, agents, conflict resolution
1Wen-Yi Zhao, Harpreet S. Sawhney, Michael W. Hansen, Supun Samarasekera Super-Fusion: A Super-Resolution Method Based on Fusion. Search on Bibsonomy ICPR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Samy Ait-Aoudia Numerical Solving of Geometric Constraints. Search on Bibsonomy IV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF bisection method, constraints, geometric modeling
1Chun Ruan, Vijay Varadharajan Resolving Conflicts in Authorization Delegations. Search on Bibsonomy ACISP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Enrique 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). Search on Bibsonomy Euro-Par The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Rainer Feldmann, Catherine Roucairol Discrete Optimization. Search on Bibsonomy Euro-Par The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Catalina Barbu, Ruslan Mitkov Evaluation Tool for Rule-based Anaphora Resolution Methods. Search on Bibsonomy ACL The full citation details ... 2001 DBLP  BibTeX  RDF
1Augusto Sarti, Stefano Tubaro Image-Based Implicit Object Modeling: Direct and Indirect Multi-Resolution Methods. Search on Bibsonomy ICHIM The full citation details ... 2001 DBLP  BibTeX  RDF
1Harpreet 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. Search on Bibsonomy SIGGRAPH The full citation details ... 2001 DBLP  DOI  BibTeX  RDF stereo sequence synthesis, image-based rendering, image analysis
1Assaf Zomet, Alex Rav-Acha, Shmuel Peleg Robust Super-Resolution. Search on Bibsonomy CVPR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Sanda M. Harabagiu, Razvan C. Bunescu, Stefan Trausan-Matu COREFDRAW-A Tool for Annotation and Visualization of Coreference Data. (PDF / PS) Search on Bibsonomy ICTAI The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Samy Ait-Aoudia, Hakim Badis, Messaoud Kara Solving Geometric Constraints by a Hybrid Method. (PDF / PS) Search on Bibsonomy IV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF graph-based solver, Computer aided design, matching, bipartite graphs, constraints solving, geometric constraints
1Gü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) Search on Bibsonomy RE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Andreas 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) Search on Bibsonomy VR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Tie Zhou, Yinfan Li, Chi-Wang Shu Numerical Comparison of WENO Finite Volume and Runge-Kutta Discontinuous Galerkin Methods. Search on Bibsonomy J. Sci. Comput. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF WENO, comparison, discontinuous Galerkin, finite volume
1Kam-yiu Lam, Tei-Wei Kuo, Tony S. H. Lee Designing inter-class concurrency control strategies for real-time database systems with mixed transactions. Search on Bibsonomy ECRTS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Joel R. Tetreault Analysis of Syntax-Based Pronoun Resolution Methods. Search on Bibsonomy ACL The full citation details ... 1999 DBLP  BibTeX  RDF
1Danny S. P. To, Rynson W. H. Lau, Mark Green A method for progressive and selective transmission of multi-resolution models. Search on Bibsonomy VRST The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Holger Lange Advances in the Cooperation of Shape from Shading and Stereo Vision. Search on Bibsonomy 3DIM The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Jean Pierre Cocquerez, Matthieu Cord, Michel Jordan Accurate Building Structure Recovery from Aerial Imagery. (PDF / PS) Search on Bibsonomy SIBGRAPI The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Nail Çadalli, Orhan Arikan Wideband maximum likelihood direction finding and signal parameter estimation by using the tree-structured EM algorithm. Search on Bibsonomy IEEE Transactions on Signal Processing The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Dirk Bartz, Wolfgang Straßer Asynchronous Parallel Construction of Recursive Tree Hierarchies. Search on Bibsonomy ACPC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Parallel hierarchies, recursive tree structures, memory synchronization, shared memory, octrees, thread model
1Bill Triggs Optimal Estimation of Matching Constraints. Search on Bibsonomy SMILE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF multi-camera geometry, geometric fitting, constrained optimization, statistical estimation, Matching constraints
1Hamid K. Aghajan, Thomas Kailath SLIDE: Subspace-Based Line Detection. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 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
1Rudolf K. Keller, Marianne Ozkan, Xijin Shen Towards Comprehensive Support for the Dynamic Analysis of Petri Net Based Models. Search on Bibsonomy Application and Theory of Petri Nets The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Macronet, graphical simulation, visualization, performance analysis, Petri net, Dynamic analysis, business modelling, environment, tool evaluation
1Belaid Benhamou, Lakhdar Sais, Pierre Siegel Two Proof Procedures for a Cardinality Based Language in Propositional Calculus. Search on Bibsonomy STACS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF symmetry and cardinality, theorem proving, propositional calculus
1Christian G. Fermüller, Alexander Leitsch, Tanel Tammet, N. K. Zamov Resolution Methods for the Decision Problem Search on Bibsonomy 1993   DOI  RDF
1Masahiko Tsukamoto, Shojiro Nishio, Mitsuhiko Fujio DOT: A Term Reprentation using DOT Algebra for Knowledge-bases. Search on Bibsonomy DOOD The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Santiago Candela Solá, J. A. Muñoz-Blanco, Christophe Garcia, Francisco Alayón Hernández A CAST System for Visual Fault Detection Research. Search on Bibsonomy EUROCAST The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Alexander Leitsch A Strong Problem Reduction Method Based on Function Introduction. Search on Bibsonomy ISSAC The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Neil V. Murray, Erik Rosenthal Inference with path resolution and semantic graphs. Search on Bibsonomy J. ACM The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Jean H. Gallier, Stan Raatz SLD-Resolution Methods for Horn Clauses with Equality Based on E-Unification. Search on Bibsonomy SLP The full citation details ... 1986 DBLP  BibTeX  RDF
1Kurt Konolige Resolution and Quantified Epistemic Logics. Search on Bibsonomy CADE The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Kuo-Chung Tai, Alan L. Tharp An introduction to computed chaining. Search on Bibsonomy AFIPS National Computer Conference The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #89 of 89 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.