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