The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1975-1992 (19) 1993-2002 (19) 2003-2005 (17) 2006-2007 (25) 2008-2009 (17) 2010-2011 (4)
Publication types (Num. hits)
article(28) inproceedings(73)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 95 occurrences of 74 keywords

Results
Found 101 publication records. Showing 101 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
3James D. McCalley, Vasant Honavar, Sarah M. Ryan, William Q. Meeker, Daji Qiao, Ronald A. Roberts, Yuan Li, Jyotishman Pathak, Mujing Ye, Yili Hong Integrated Decision Algorithms for Auto-steered Electric Transmission System Asset Management. Search on Bibsonomy International Conference on Computational Science The full citation details ... 2007 DBLP  DOI  BibTeX  RDF electric transmission, software-hardware, optimization, service-oriented architecture, asset management, Benders decomposition, decision algorithms, condition monitoring
2Ling-Jiao Pan, Seung Hwan Kim, Yo-Sung Ho Fast Mode Decision Algorithms for Inter/Intra Prediction in H.264 Video Coding. Search on Bibsonomy PCM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF video coding, H.264/AVC, fast mode decision
2Lijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations. Search on Bibsonomy TACAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
2Byung-Heon Kang, Jun-Cheol Jeon, Kee-Young Yoo Decision Algorithms for Cellular Automata States Based on Periodic Boundary Condition. Search on Bibsonomy ACRI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
2Enrique Stevens-Navarro, Vincent W. S. Wong Comparison between Vertical Handoff Decision Algorithms for Heterogeneous Wireless Networks. Search on Bibsonomy VTC Spring The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
2Zdzislaw Pawlak Rough Sets and Flow Graphs. Search on Bibsonomy RSFDGrC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF rough sets, flow graphs, decision algorithms
2Zdzislaw Pawlak Flow Graphs and Data Mining. Search on Bibsonomy T. Rough Sets The full citation details ... 2005 DBLP  DOI  BibTeX  RDF data mining, knowledge discovery, flow graph, decision algorithms
2Zdzislaw Pawlak Decision Networks. Search on Bibsonomy Rough Sets and Current Trends in Computing The full citation details ... 2004 DBLP  DOI  BibTeX  RDF decision rules, decision algorithms, decision networks
2Zdzislaw Pawlak Flow Graphs and Decision Algorithms. Search on Bibsonomy RSFDGrC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
2Tuomas Sandholm Terminating Decision Algorithms Optimally. Search on Bibsonomy CP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
2Stefano Cattani, Roberto Segala Decision Algorithms for Probabilistic Bisimulation. Search on Bibsonomy CONCUR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
2Salvatore Greco, Zdzislaw Pawlak, Roman Slowinski Generalized Decision Algorithms, Rough Inference Rules, and Flow Graphs. Search on Bibsonomy Rough Sets and Current Trends in Computing The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
2Arkadiusz Wojna Constraint Based Incremental Learning of Classification Rules. Search on Bibsonomy Rough Sets and Current Trends in Computing The full citation details ... 2000 DBLP  DOI  BibTeX  RDF machine learning, rough sets, incremental learning, decision algorithms
2Dallas Lankford, Gregory Butler II, A. Michael Ballantyne A Progress Report on New Decision Algorithms for Finitely Prsented Abelian Groups. Search on Bibsonomy CADE The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
2Charles G. Nelson, Derek C. Oppen A Simplifier Based on Efficient Decision Algorithms. Search on Bibsonomy POPL The full citation details ... 1978 DBLP  DOI  BibTeX  RDF
1Shusmita Anwar Sharna, M. Manzur Murshed Adaptive weight factor estimation from user preferences for vertical handoff decision algorithms. Search on Bibsonomy WCNC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Urszula Stanczyk Reduct-Based Analysis of Decision Algorithms: Application in Computational Stylistics. Search on Bibsonomy HAIS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Xiaohuan Yan, Y. Ahmet Sekercioglu, Sathya Narayanan A survey of vertical handover decision algorithms in Fourth Generation heterogeneous wireless networks. Search on Bibsonomy Computer Networks The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Demin Li, Jie Zhou, Jiacun Wang, Chunjie Chen Connectivity Control Methods and Decision Algorithms Using Neural Network in Decentralized Networks. Search on Bibsonomy ISNN The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Qin Qin, Zhimin Zeng, Caili Guo A Study of Data Fusion and Decision Algorithms Based on Cooperative Spectrum Sensing. Search on Bibsonomy FSKD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Sergey Babenyshev, Vladimir V. Rybakov Describing Evolutions of Multi-Agent Systems. Search on Bibsonomy KES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF multi-agent systems, satisfiability, decision algorithms, Kripke semantics, multi-modal logics
1José Everardo Bessa Maia, Raimir Holanda Filho One-Against-All Methodology for Features Selection and Classification of Internet Applications. Search on Bibsonomy IPOM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF statistical discriminators, features selection, Traffic classification
1Sergiu Bursuc, Hubert Comon-Lundh Protocol Security and Algebraic Properties: Decision Results for a Bounded Number of Sessions. Search on Bibsonomy RTA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jan Sochman, Jiri Matas Learning Fast Emulators of Binary Decision Processes. Search on Bibsonomy International Journal of Computer Vision The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Sequential probability ratio test, WaldBoost, Interest point detectors, Machine learning, Boosting, AdaBoost, Sequential decision making
1Xiangwen Wang, Jun Sun 0005, Rong Xie, Songyu Yu, Wenjun Zhang An improved block size selection method based on macroblock movement characteristic. Search on Bibsonomy Multimedia Tools Appl. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Variable block size selection, MB movement characteristic, Image edge direction, Video encoder, Mode decision
1Lijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Lijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Sergey Babenyshev, Vladimir V. Rybakov Logic of Plausibility for Discovery in Multi-agent Environment Deciding Algorithms. Search on Bibsonomy KES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF multi-agent’s reasoning, Kripke/Hintikka models, linear temporal logic, hybrid logics, decision algorithms, plausibility
1Ileana Streinu, Louis Theran Combinatorial genericity and minimal rigidity. Search on Bibsonomy Symposium on Computational Geometry The full citation details ... 2008 DBLP  DOI  BibTeX  RDF computational geometry, rigidity, sparse graphs
1Meriem Kassar, Brigitte Kervella, Guy Pujolle Autonomic-Oriented Architecture for an Intelligent Handover Management Scheme. Search on Bibsonomy CNSR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Sui-Yuk Lam, Oscar C. Au, Peter H. W. Wong Complexity adaptive H.264 encoding using multiple reference frames. Search on Bibsonomy ICASSP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jiaying Liu, Zongming Guo Efficient intra-4×4 mode decision based on bit-rate estimation in H.264/AVC. Search on Bibsonomy ISCAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir E. Dullerud STORMED Hybrid Systems. Search on Bibsonomy ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Tiesong Zhao, Hanli Wang, Xiangyang Ji, Sam Kwong Two-Dimensional Map Based Fast Mode Decision for H.264/AVC. Search on Bibsonomy PCM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF temporal-spatial correlation, 2D map, H.264/AVC, mode decision
1Katharina Lürwer-Brüggemeier, Martin Ziegler On Faster Integer Calculations Using Non-arithmetic Primitives. Search on Bibsonomy UC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Gerardo Fernández-Escribano, Pedro Cuenca, Luis Orozco-Barbosa, Antonio Jose Garrido del Solo, Hari Kalva Simple intra prediction algorithms for heterogeneous MPEG-2/H.264 video transcoders. Search on Bibsonomy Multimedia Tools Appl. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF H.264, MPEG-2, Intra prediction, Video transcoding
1Yo-Sub Han Decision Algorithms for Subfamilies of Regular Languages using State-Pair Graphs. Search on Bibsonomy Bulletin of the EATCS The full citation details ... 2007 DBLP  BibTeX  RDF
1Chih-Wei Chiou, Chia-Ming Tsai, Chia-Wen Lin Fast Mode Decision Algorithms for Adaptive GOP Structure in the Scalable Extension of H.264/AVC. Search on Bibsonomy ISCAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Christian P. Minor, Kevin J. Johnson, Susan L. Rose-Pehrsson, Jeffrey C. Owrutsky, Stephen C. Wales, Daniel A. Steinhurst, Daniel T. Gottuk Data fusion with a multisensor system for damage control and situational awareness. Search on Bibsonomy AVSS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Meriem Kassar, Brigitte Kervella, Guy Pujolle Architecture of an Intelligent Inter-system Handover Management Scheme. Search on Bibsonomy FGCN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Vitor Jesus, Susana Sargento, Daniel Corujo, Nuno Senica, Miguel Almeida, Rui L. Aguiar Mobility with QoS Support for Multi-Interface Terminals: Combined User and Network Approach. Search on Bibsonomy ISCC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1R. Singh, Alfonso Ortega Reduced-Complexity Delayed-Decision Algorithm for Context-Based Image Processing Systems. Search on Bibsonomy IEEE Transactions on Image Processing The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Jan Sochman, Jiri Matas Learning a Fast Emulator of a Binary Decision Process. Search on Bibsonomy ACCV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Lijun Zhang, Holger Hermanns Deciding Simulations on Probabilistic Automata. Search on Bibsonomy ATVA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Fanchun Jin, Hyeong-Ah Choi, Jae-Hoon Kim 0004, SeHyun Oh, JongTae Ihm, JungKyo Sohn, Hyeong In Choi Cost-Based Approach to Access Selection and Vertical Handover Decision in Multi-access Networks. Search on Bibsonomy Networking The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Multi access networks, access selection, cost value, marginal cost function, call drop, vertical handover, network throughput
1Jun Xin, Jianjun Li, Anthony Vetro, Shun-ichi Sekiguchi Motion mapping and mode decision for MPEG-2 to H.264/AVC transcoding. Search on Bibsonomy Multimedia Tools Appl. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Motion mapping, H.264/AVC, MPEG-2, Video transcoding, Mode decision
1Domenico Cantone, Gianluca Cincotti, Giovanni Gallo Decision algorithms for fragments of real analysis. I. Continuous functions with strict convexity and concavity predicates. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Fang Zhu, Janise McNair Multiservice Vertical Handoff Decision Algorithms. Search on Bibsonomy EURASIP J. Wireless Comm. and Networking The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Walter Godoy Jr., Emílio C. G. Wille A Simple Acceptance Criterion for Binary Block Codes Soft-Decision Algorithms. Search on Bibsonomy AICT/ICIW The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Min Liu, Zhongcheng Li, Xiao-Bing Guo, Eryk Dutkiewicz, De-Kui Zhang Performance Evaluation of Vertical Handoff Decision Algorithms in Heterogeneous Wireless Networks. Search on Bibsonomy GLOBECOM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1M. Aziz Muslim, Masumi Ishikawa, Tetsuo Furukawa A New Approach to Task Segmentation in Mobile Robots by mnSOM. Search on Bibsonomy IJCNN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Celia Shahnaz, Wei-Ping Zhu, M. Omair Ahmad A multifeature voiced/unvoiced decision algorithm for noisy speech. Search on Bibsonomy ISCAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Yu-Kuang Tu, Jar-Ferr Yang, Ming-Ting Sun Efficient rate-distortion estimation for H.264/AVC coders. Search on Bibsonomy IEEE Trans. Circuits Syst. Video Techn. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Woongho Lee, Jungho Lee, Ikhwan Cho, Dongseok Jeong Reduction of Mode Decision Complexity in H.264/AVC Using Adaptive Selection of Reference Frame and Intra Prediction Mode. Search on Bibsonomy ICCSA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Sangwook Kang, Yunkuk Kim, Woojin Park, Jaejoon Jo, Sunshin An Optimized Handoff Decision Mechanisms for Scalable Network Mobility Support. Search on Bibsonomy Networking The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Joaquín Lopez Fernández, Rafael Sanz, Reid G. Simmons, Amador R. Diéguez Heuristic anytime approaches to stochastic decision processes. Search on Bibsonomy J. Heuristics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Planning, Heuristic algorithms, POMDP, Partially observable Markov decision process, Decision Systems
1Arfst Nickelsen, Birgit Schelm Average-Case Computations - Comparing AvgP, HP, and Nearly-P. Search on Bibsonomy IEEE Conference on Computational Complexity The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Lech Polkowski Formal granular calculi based on rough inclusions. Search on Bibsonomy GrC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Xiaoan Lu, Alexis Michael Tourapis, Peng Yin, Jill M. Boyce Fast mode decision and motion estimation for H.264 with a focus on MPEG-2/H.264 transcoding. Search on Bibsonomy ISCAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Gabriel Istrate, Stefan Boettcher, Allon G. Percus Spines of random constraint satisfaction problems: definition and connection with computational complexity. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF resolution complexity, constraint satisfaction problems, phase transitions, spine
1Satoshi Konishi, Masayuki Ishizaki, Shinobu Nanba, Shinichi Nomoto Dynamic TDD boundary decision algorithms for wireless communications systems using TDD. Search on Bibsonomy Communications, Internet, and Information Technology The full citation details ... 2004 DBLP  BibTeX  RDF
1Brian Leonard, Jeff Young, Ron Sass Online placement infrastructure to support run-time reconfiguration. Search on Bibsonomy FPGA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Phillip Stanley-Marbell, Diana Marculescu Local Decisions and Triggering Mechanisms for Adaptive Fault-Tolerance. Search on Bibsonomy DATE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Ahmed Nouh, Amir H. Banihashemi Reliability-based schedule for bit-flipping decoding of low-density Parity-check codes. Search on Bibsonomy IEEE Transactions on Communications The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Marek Kurzynski, Jerzy Sas Decision Support Server Architecture for Mobile Medical Applications. Search on Bibsonomy ISBMDA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Andrzej Wolczowski, Marek Kurzynski Control of Artificial Hand via Recognition of EMG Signals. Search on Bibsonomy ISBMDA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Kwang Hee Ko, Takashi Maekawa, Nicholas M. Patrikalakis, H. Masuda, Franz-Erich Wolter Shape intrinsic fingerprints for free-form object matching. Search on Bibsonomy Symposium on Solid Modeling and Applications The full citation details ... 2003 DBLP  DOI  BibTeX  RDF umbilics, localization, matching, similarity, fingerprints, registration, NURBS, partial matching
1Luigi Fortuna, M. Lo Presti, C. Vinci, A. Cucuccio Recent trends in fuzzy control of electrical drives: an industry point of view. Search on Bibsonomy ISCAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Zdzislaw Pawlak Rough sets, decision algorithms and Bayes' theorem. Search on Bibsonomy European Journal of Operational Research The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Zbigniew Suraj, James F. Peters, W. Rzqsa A Comparison of Different Decision Algorithms Used in Volumetric Storm Cells Classification. Search on Bibsonomy Fundam. Inform. The full citation details ... 2002 DBLP  BibTeX  RDF
1Carlos Areces, Juan Heguiabehere HyLoRes 1.0: Direct Resolution for Hybrid Logics. Search on Bibsonomy CADE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Lech Polkowski, Andrzej Skowron Towards grammars of decision algorithms. Search on Bibsonomy Where Mathematics, Computer Science, Linguistics and Biology Meet The full citation details ... 2001 DBLP  BibTeX  RDF
1János Levendovszky, Csaba Végsö, Edward C. van der Meulen Nonparametric decision algorithms for CAC in ATM networks. Search on Bibsonomy Perform. Eval. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Zdzislaw Pawlak Rough Sets and Decision Algorithms. Search on Bibsonomy Rough Sets and Current Trends in Computing The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Georg Gottlob, Reinhard Pichler Working with Arms: Complexity Results on Atomic Representations of Herbrand Models. Search on Bibsonomy LICS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Automated Model Building, Herbrand Models, Complexity, Knowledge Representation, Logic Programming, Automated Deduction
1Samarjit Chakraborty, Somenath Biswas Approximation Algorithms for 3-D Commom Substructure Identification in Drug and Protein Molecules. Search on Bibsonomy WADS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Marc P. C. Fossorier, Shu Lin A Unified Method for Evaluating the Error-Correction Radius of Reliability-Based Soft-Decision Algorithms for Linear Block Codes. Search on Bibsonomy IEEE Transactions on Information Theory The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Jon M. Kleinberg Decision Algorithms for Unsplittable Flow and the Half-Disjoint Paths Problem. Search on Bibsonomy STOC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Andrzej Skowron, Lech Polkowski Decision Algorithms: A Survey of Rough Set - Theoretic Methods. Search on Bibsonomy Fundam. Inform. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Christophe Ringeissen Combining Decision Algorithms for Matching in the Union of Disjoint Equational Theories. Search on Bibsonomy Inf. Comput. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Bruce D'Ambrosio, Scott Burgess Some Experiments with Real-time Decision Algorithms. Search on Bibsonomy UAI The full citation details ... 1996 DBLP  BibTeX  RDF
1Paul J. Heffernan, Stefan Schirra Approximate Decision Algorithms for Point Set Congruence. Search on Bibsonomy Comput. Geom. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Jan G. Bazan, Andrzej Skowron, Piotr Synak Dynamic Reducts as a Tool for Extracting Laws from Decisions Tables. Search on Bibsonomy ISMIS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF machine learning, rough sets, evolutionary computation, knowledge discovery, decision algorithms
1Ian Booth, Michael Barlow, Brett Watson Enhancements to DTW and VQ decision algorithms for speaker recognition. Search on Bibsonomy Speech Communication The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Stefan Schirra Approximate Decision Algorithms for Approximate Congruence. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Paul J. Heffernan, Stefan Schirra Approximate Decision Algorithms for Point Set Congruence. Search on Bibsonomy Symposium on Computational Geometry The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Neri Merhav, Meir Feder Universal Sequential Learning and Decision from Individual Data Sequences. Search on Bibsonomy COLT The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Robin A. Dillard Using Data Quality Measures in Decision-Making Algorithms. Search on Bibsonomy IEEE Expert The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Michael Wolfe, Chau-Wen Tseng The Power Test for Data Dependence. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF variable elimination, power test, data dependence decision algorithm, extended GCDalgorithm, Fourier-Motzkin method, simultaneous loop limits, interactive program restructuring environment, parallel algorithms, parallel programming, compiler, program compilers, programming theory, inequalities
1Lee-Chung Lu, Marina C. Chen Subdomain dependence test for massive parallelism. Search on Bibsonomy SC The full citation details ... 1990 DBLP  BibTeX  RDF
1Christian G. Fermüller A Resolution Variant Deciding some Classes of Clause Sets. Search on Bibsonomy CSL The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Sergei G. Vorobyov Conditional Rewrite Rule Systems with Built-In Arithmetic and Induction. Search on Bibsonomy RTA The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Joffroy Beauquier, Annie Choquet, Antoine Petit, Guy Vidal-Naquet Syntactical Properties of Unbounded Nets of Processors. Search on Bibsonomy TAPSOFT, Vol.1 The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Sergei G. Vorobyov A structural completeness theorem for a class of conditional rewrite rule systems. Search on Bibsonomy Conference on Computer Logic The full citation details ... 1988 DBLP  DOI  BibTeX  RDF conditional rewrite rules, case splitting, finite termination, reduction, inference rules, confluency, proof search, decision algorithms, strong completeness
1Michael R. Fellows, Michael A. Langston Nonconstructive tools for proving polynomial-time decidability. Search on Bibsonomy J. ACM The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1David de Frutos-Escrig Probabilistic Ianov's Schemes. Search on Bibsonomy CAAP The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Volker Weispfenning Efficient Decision Algorithms for Locally Finite Theories. Search on Bibsonomy AAECC The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Bruno Courcelle An Axiomatic Approach to the Korenjak-Hopcroft Algorithms. Search on Bibsonomy ICALP The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1Eduard Cerny, Daniel Mange, Eduardo Sanchez Synthesis of Minimal Binary Decision Trees. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1979 DBLP  DOI  BibTeX  RDF standard sets of implicants, Binary decision machines, minimization, characteristic functions, decision algorithms, binary decision trees
1Greg Nelson, Derek C. Oppen Fast Decision Algorithms Based on Union and Find Search on Bibsonomy FOCS The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 101 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.