Search results for "Covering"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Monica Gentili, Pitu B. Mirchandani	Locating Active Sensors on Traffic Networks.	Ann. Oper. Res.	2005	DBLP DOI BibTeX RDF	network covering problems, linearly independent equations, sensors, location theory, traffic networks
13	Nageswara S. V. Rao, David B. Reister, Jacob Barhen	Information Fusion Methods Based on Physical Laws.	IEEE Trans. Pattern Anal. Mach. Intell.	2005	DBLP DOI BibTeX RDF	distribution free bounds, Vapnik-Chervonenkis theory, physical laws, methane hydrates exploration, sensor fusion, Information fusion, covering numbers
13	Tínaz Ekim, Dominique de Werra	On Split-Coloring Problems.	J. Comb. Optim.	2005	DBLP DOI BibTeX RDF	split-coloring, vertex covering by split graphs, partitioning, packing
13	Aygul Mamut, Elkin Vumar	A Note on the Integrity of Middle Graphs.	CJCDGCGT	2005	DBLP DOI BibTeX RDF	vertex dominating number, integrity, independence number, covering number
13	Praveen K. Murthy, Shuvra S. Bhattacharyya	Buffer merging - a powerful technique for reducing memory requirements of synchronous dataflow specifications.	ACM Trans. Design Autom. Electr. Syst.	2004	DBLP DOI BibTeX RDF	DSP and embedded systems, array lifetime, block diagram compiler, buffer overlaying, lifetime analysis, design methodology, graph coloring, dataflow, memory optimization, Synchronous dataflow, path covering
13	Jason Cong, Yiping Fan, Guoling Han, Zhiru Zhang	Application-specific instruction generation for configurable processor architectures.	FPGA	2004	DBLP DOI BibTeX RDF	binate covering, compilation, ASIP, technology mapping, configurable processor
13	Pilar de la Torre	How efficiently can room at the bottom be traded away for speed at the top?	Nat. Comput.	2003	DBLP DOI BibTeX RDF	bio-molecular and classical algorithms, Covering Code Creation, randomized bio-molecular computing model, sub-exponential space and time product efficiency, k-SAT
13	Kaspar Fischer, Bernd Gärtner	The smallest enclosing ball of balls: combinatorial structure and algorithms.	SCG	2003	DBLP DOI BibTeX RDF	distance to convex hull, minimal covering ball, minimum volume sphere, unique sink orientation
13	Krishnendu Chakrabarty, S. Sitharama Iyengar, Hairong Qi 0001, Eungchun Cho	Grid Coverage for Surveillance and Target Location in Distributed Sensor Networks.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	Covering codes, identifying codes, sensor density, sensor field, optimization, integer linear programming
13	David B. Skillicorn, Yu Wang	Parallel and Sequential Algorithms for Data Mining Using Inductive Logic.	Knowl. Inf. Syst.	2001	DBLP DOI BibTeX RDF	Bump hunting, Progol, Cost modeling, Covering, BSP, Inductive logic, Superlinear speedup, Bulk synchronous parallelism
13	Noritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno	Applicability of Non-Specification-Based Approaches to Logic Testing for Software.	DSN	2001	DBLP DOI BibTeX RDF	factor covering design, software testing, logic testing, mutation analysis, boolean specification
13	Venkatesan Guruswami, Johan Håstad, Madhu Sudan 0001	Hardness of Approximate Hypergraph Coloring.	FOCS	2000	DBLP DOI BibTeX RDF	approximate hypergraph coloring, covering complexity, probabilistic verifier, PCP verifier, 2-colorable 4-uniform hypergraph, hardness assumption, computational complexity, computational geometry, minimisation, graph colouring, hardness, minimization problems
13	Tsong Yueh Chen, Man Fai Lau	On the Minimal Essential Subsets and Minimal Representative Sets.	Ada-Europe	2000	DBLP DOI BibTeX RDF	minimal essential set, minimal representative set, software testing, set covering, test suite reduction
13	Nur A. Touba	Obtaining High Fault Coverage with Circular BIST Via State Skipping.	VTS	1997	DBLP DOI BibTeX RDF	Circular BIST, Circular Self-Test Path, Conflict Matrix, Column Covering, Built-In Self-Test (BIST), Linear Feedback Shift Register, Pseudo-Random Testing, Digital Testing
13	Aravind Srinivasan, Chung-Piaw Teo	A Constant-Factor Approximation Algorithm for Packet Routing, and Balancing Local vs. Global Criteria.	STOC	1997	DBLP DOI BibTeX RDF	covering integer programs, discrete ham-sandwich theorems, rounding theorems, approximation algorithms, linear programming, randomized algorithms, packet routing, randomized rounding
13	Jairo Rocha, Rafael Bernardino	Singularities and Regularities on Line Pictures via Symmetrical Trapezoids.	ICDAR	1997	DBLP DOI BibTeX RDF	Singular-Regular Polygon Decomposition, Trapezoid Covering, Skeleton
13	Iiro S. Honkala, Yrjö Kaipainen, Aimo Tietäväinen	Long binary narrow-sense BCH codes are normal.	Appl. Algebra Eng. Commun. Comput.	1996	DBLP DOI BibTeX RDF	Finite fields, Code, Covering radius, BCH code, Character sum
13	Olivier Coudert, C.-J. Richard Shi	Exact Dichotomy-based Constrained Encodi.	ICCD	1996	DBLP DOI BibTeX RDF	Sequential logic synthesis, constrained state encoding, clique partition, set covering, dichotomy, ZBDD
13	Anne Bottreau, Yves Métivier	The Kronecker Product and Local Computations in Graphs.	CAAP	1996	DBLP DOI BibTeX RDF	Cut-edge, Cut-vertex, k-covering, Local computations on graphs, The Kronecker product, Planar, Subgraph, Minor
13	Bruno Becker, Paolo Giulio Franciosa, Stephan Gschwind, Thomas Ohler, Gerald Thiemt, Peter Widmayer	Enclosing Many Boxes by an Optimal Pair of Boxes.	STACS	1992	DBLP DOI BibTeX RDF	axis-parallel rectangles, computational geometry, covering problems
13	Wen-Guey Tzeng	The Equivalence and Learning of Probabilistic Automata (Extended Abstract)	FOCS	1989	DBLP DOI BibTeX RDF	learning protocol, coNP, learning, polynomial-time algorithm, upper bound, equivalence, covering, probabilistic automata, nondeterministic finite automata
13	Benjamin W. Wah, Y. W. Eva Ma	MANIP - A Multicomputer Architecture for Solving Combinatorial Extremum-Search Problems.	IEEE Trans. Computers	1984	DBLP DOI BibTeX RDF	Approximate branch-and-bound, parallel branch-and-bound, vertex-covering problem, selection, virtual memory, NP-hard problems, ring network
13	Gardner Pomper, James R. Armstrong	Representation of Multivalued Functions Using the Direct Cover Method.	IEEE Trans. Computers	1981	DBLP DOI BibTeX RDF	Covering algorithms, multivalued logic, functional representation, I
13	Tok Wang Ling, Frank Wm. Tompa, Tiko Kameda	An Improved Third Normal Form for Relational Databases.	ACM Trans. Database Syst.	1981	DBLP DOI BibTeX RDF	prime attribute, transitive dependency, reconstructibility, normalization, database design, functional dependency, covering, relational schema, third normal form
13	Robert Brian Cutler, Saburo Muroga	Comments on "Computing Irredundant Normal Forms from Abbreviated Presence Functions".	IEEE Trans. Computers	1979	DBLP DOI BibTeX RDF	implication relations, minimal sum, presence function, Boolean algebra, prime implicants, covering problem
13	Constantinos Halatsis, Nikolaos Gaitanis	Positive Fail-Safe Realization of Synchronous Sequential Machines.	IEEE Trans. Computers	1979	DBLP DOI BibTeX RDF	Covering set, destination set, k-out-of-n code, positive fail-safe assignment, positive realization, realization free, sequential machines, fail-safe
13	George H. Williams	Uniform Decomposition of Incompletely Specified Sequential Machines.	IEEE Trans. Computers	1975	DBLP DOI BibTeX RDF	incompletely specified, uniform decomposition, sequential machines, Covering problem
11	Albert Orriols-Puig, Xavier Llorà, David E. Goldberg	How XCS deals with rarities in domains with continuous attributes.	GECCO	2010	DBLP DOI BibTeX RDF	small disjuncts, learning classifier systems, genetic-based machine learning, class imbalance problem
11	Alexander Markowetz, Yin Yang 0001, Dimitris Papadias	Keyword search over relational tables and streams.	ACM Trans. Database Syst.	2009	DBLP DOI BibTeX RDF	data graph, Search, query processing, relational databases, data streams
11	Hojjat Jafarpour, Sharad Mehrotra, Nalini Venkatasubramanian, Mirko Montanari	MICS: an efficient content space representation model for publish/subscribe systems.	DEBS	2009	DBLP DOI BibTeX RDF	publish/subscribe, event notification
11	David Pinelle, Nelson Wong, Tadeusz Stach, Carl Gutwin	Usability heuristics for networked multiplayer games.	GROUP	2009	DBLP DOI BibTeX RDF	NGH, game usability, networked game heuristics, usability, heuristic evaluation, networked games, multiplayer games
11	Henri Prade, Agnès Rico, Mathieu Serrurier, Eric Raufaste	Elicitating Sugeno Integrals: Methodology and a Case Study.	ECSQARU	2009	DBLP DOI BibTeX RDF
11	Pankaj K. Agarwal, Esther Ezra, Shashidhara K. Ganjugunte	Efficient Sensor Placement for Surveillance Problems.	DCOSS	2009	DBLP DOI BibTeX RDF
11	Nuno Filipe Escudeiro, Alípio Mário Jorge	Efficient Coverage of Case Space with Active Learning.	EPIA	2009	DBLP DOI BibTeX RDF
11	Yuval Rabani, Amir Shpilka	Explicit construction of a small epsilon-net for linear threshold functions.	STOC	2009	DBLP DOI BibTeX RDF	linear threshold function, explicit construction, epsilon-net
11	Yasunori Ishihara, Takuji Morimoto, Shougo Shimizu, Kenji Hashimoto, Toru Fujiwara	A Tractable Subclass of DTDs for XPath Satisfiability with Sibling Axes.	DBPL	2009	DBLP DOI BibTeX RDF
11	Shu Chen, Yingying Chen 0001, Wade Trappe	Exploiting environmental properties for wireless localization.	ACM SIGMOBILE Mob. Comput. Commun. Rev.	2008	DBLP DOI BibTeX RDF
11	Wenbo He, Ying Huang, Klara Nahrstedt, Whay Chiou Lee	Alert propagation in mobile ad hoc networks.	ACM SIGMOBILE Mob. Comput. Commun. Rev.	2008	DBLP DOI BibTeX RDF
11	Marios Mavronicolas, Vicky Papadopoulou, Anna Philippou, Paul G. Spirakis	A Network Game with Attackers and a Defender.	Algorithmica	2008	DBLP DOI BibTeX RDF	Attacks and defenses, Security, Game theory, Graph theory, Nash equilibria
11	Hadas Shachnai, Tami Tamir, Omer Yehezkely	Approximation Schemes for Packing with Item Fragmentation.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Item fragmentation, Algorithms, Linear programming, Bin packing, Polynomial time approximation schemes
11	Kai-Uwe Schmidt	On the peak-to-mean envelope power ratio of phase-shifted binary codes.	IEEE Trans. Commun.	2008	DBLP DOI BibTeX RDF
11	Christoph Hornung, Andrina Granic, Maja Cukusic, Kawa Nazemi	eKnowledge Repositories in eLearning 2.0: UNITE - a European-Wide Network of Schools.	ICWL	2008	DBLP DOI BibTeX RDF	eLearning 2.0, eKnowledge repositories, eLearning standards, e/mLearning, Web 2.0, knowledge processing
11	Koshi Asano, Kazuhito Murakami, Tadashi Naruse	Detection of Basic Behaviors in Logged Data in RoboCup Small Size League.	RoboCup	2008	DBLP DOI BibTeX RDF
11	Joachim Kneis, Alexander Langer, Peter Rossmanith	Improved Upper Bounds for Partial Vertex Cover.	WG	2008	DBLP DOI BibTeX RDF
11	Azarakhsh Malekian, Chi-Chao Chang, Ravi Kumar 0001, Grant Wang	Optimizing query rewrites for keyword-based advertising.	EC	2008	DBLP DOI BibTeX RDF	keyword-based advertising, greedy algorithm, query rewriting, submodularity
11	Daniela Bianucci, Gianpiero Cattaneo	On Non-pointwise Entropies of Coverings: Relationship with Anti-monotonicity.	RSKT	2008	DBLP DOI BibTeX RDF	Co-entropy, Anti-monotonicity, Induced partition, Partitions, Entropy, Partial order, Monotonicity, Coverings, Quasi-order
11	Quanhong Wang, Kenan Xu, Glen Takahara, Hossam S. Hassanein	Transactions Papers - Device Placement for Heterogeneous Wireless Sensor Networks: Minimum Cost with Lifetime Constraints.	IEEE Trans. Wirel. Commun.	2007	DBLP DOI BibTeX RDF
11	Esa Antero Seuranen	New lower bounds for multiple coverings.	Des. Codes Cryptogr.	2007	DBLP DOI BibTeX RDF	AMS Classifications 05B40, 05A99, 90C27
11	R. Krishnan, S. Murali Krishna, P. Siva Nandhan	Combinatorial testing: learnings from our experience.	ACM SIGSOFT Softw. Eng. Notes	2007	DBLP DOI BibTeX RDF	testcase generation, orthogonal arrays, combinatorial testing
11	Bernard Haasdonk, Hans Burkhardt	Invariant kernel functions for pattern analysis and machine learning.	Mach. Learn.	2007	DBLP DOI BibTeX RDF	Pattern recognition, Invariance, Kernel methods, Pattern analysis, Invariant features
11	Kenneth L. Clarkson, Kasturi R. Varadarajan	Improved Approximation Algorithms for Geometric Set Cover.	Discret. Comput. Geom.	2007	DBLP DOI BibTeX RDF
11	Yueping Li	Constrained Cycle Covers in Halin Graphs.	ESCAPE	2007	DBLP DOI BibTeX RDF	Halin graph, algorithm, network, cycle cover
11	Uriel Feige, Kamal Jain, Mohammad Mahdian, Vahab S. Mirrokni	Robust Combinatorial Optimization with Exponential Scenarios.	IPCO	2007	DBLP DOI BibTeX RDF
11	Timo Lilja, Riku Saikkonen, Seppo Sippu, Eljas Soisalon-Soininen	Online Bulk Deletion.	ICDE	2007	DBLP DOI BibTeX RDF
11	Xi Chen, Mark Staples	Using Practice Outcome Areas to Understand Perceived Value of CMMI Specific Practices for SMEs.	EuroSPI	2007	DBLP DOI BibTeX RDF	Specific Practice, Software Process Improvement, SME, CMMI
11	Tomoyuki Noda, Takahiro Miyashita, Hiroshi Ishiguro, Norihiro Hagita	Map acquisition and classification of haptic interaction using cross correlation between distributed tactile sensors on the whole body surface.	IROS	2007	DBLP DOI BibTeX RDF
11	Milan Narandzic, Christian Schneider 0003, Reiner S. Thomä, Tommi Jämsä, Pekka Kyösti, Xiongwen Zhao	Comparison of SCM, SCME, and WINNER Channel Models.	VTC Spring	2007	DBLP DOI BibTeX RDF
11	John J. Metzner	Packet-Symbol Decoding for Reliable Multipath Reception with No Sequence Numbers.	ICC	2007	DBLP DOI BibTeX RDF
11	Reuven Bar-Yehuda, Guy Flysher, Julián Mestre, Dror Rawitz	Approximation of Partial Capacitated Vertex Cover.	ESA	2007	DBLP DOI BibTeX RDF
11	Yanzheng Liu, Guanghui Teng, Chengwei Ma, Shirong Liu	The Thermal Measurement System.	CCTA	2007	DBLP DOI BibTeX RDF	thermal measurement system, virtual instrumentation, greenhouse
11	Byron J. Gao, Martin Ester, Jin-yi Cai, Oliver Schulte, Hui Xiong 0001	The minimum consistent subset cover problem and its applications in data mining.	KDD	2007	DBLP DOI BibTeX RDF	converse k-clustering, minimum consistent subset cover, minimum rule set, pattern summarization
11	Jingren Zhou, Per-Åke Larson, Johann Christoph Freytag, Wolfgang Lehner	Efficient exploitation of similar subexpressions for query processing.	SIGMOD Conference	2007	DBLP DOI BibTeX RDF	similar subexpressions, query processing, query optimization
11	Baruch Awerbuch, Rohit Khandekar	Distributed network monitoring and multicommodity flows: a primal-dual approach.	PODC	2007	DBLP DOI BibTeX RDF	passive network measurement, distributed algorithms, multi-commodity flows
11	Il-Chul Yoon, Alan Sussman, Atif M. Memon, Adam A. Porter	Direct-dependency-based software compatibility testing.	ASE	2007	DBLP DOI BibTeX RDF	compatibility testing, component-based software system
11	John R. Wilson, Beverley J. Norris	Human factors in support of a successful railway: a review.	Cogn. Technol. Work.	2006	DBLP DOI BibTeX RDF	Centres, Trains, Human factors, Safety, Signalling, Railways
11	Sasu Tarkoma, Jaakko Kangasharju	Optimizing content-based routers: posets and forests.	Distributed Comput.	2006	DBLP DOI BibTeX RDF	Publish/Subscribe, Content-based routing, Event systems
11	Laura Heinrich-Litan, Marco E. Lübbecke	Rectangle covers revisited computationally.	ACM J. Exp. Algorithmics	2006	DBLP DOI BibTeX RDF	Linear programming, integer programming
11	Henry Wai Kit Chia, Chew Lim Tan, Sam Yuan Sung	Enhancing Knowledge Discovery via Association-Based Evolution of Neural Logic Networks.	IEEE Trans. Knowl. Data Eng.	2006	DBLP DOI BibTeX RDF	connectionism and neural nets, rule-based knowledge representation, Data mining, genetic programming, knowledge acquisition
11	Jianyong Wang 0001, George Karypis	On Mining Instance-Centric Classification Rules.	IEEE Trans. Knowl. Data Eng.	2006	DBLP DOI BibTeX RDF	instance-centric, Data mining, classifier, classification rule
11	J. T. Yao 0001, Y. Y. Yao, Yan Zhao 0001	Foundations of Classification.	Foundations and Novel Approaches in Data Mining	2006	DBLP DOI BibTeX RDF
11	Shihong Shi, Keyun Di, Anjun Wang	The Coverage form of Surface Coating and Crack of Basal Body Under Multi-Impact Loads.	PROLAMAT	2006	DBLP DOI BibTeX RDF	Laser coat, cladding structure, repeated-impact crack
11	Fabian Kuhn, Thomas Moscibroda, Roger Wattenhofer	The price of being near-sighted.	SODA	2006	DBLP DOI BibTeX RDF
11	Noam D. Elkies	Shimura Curves for Level-3 Subgroups of the (2, 3, 7) Triangle Group, and Some Other Examples.	ANTS	2006	DBLP DOI BibTeX RDF
11	Broderick Crawford, Carlos Castro 0001	Ant Colonies using Arc Consistency Techniques for the Set Partitioning Problem.	IFIP PPAI	2006	DBLP DOI BibTeX RDF
11	Jun Yan 0009, Jian Zhang 0001	Backtracking Algorithms and Search Heuristics to Generate Test Suites for Combinatorial Testing.	COMPSAC (1)	2006	DBLP DOI BibTeX RDF
11	Marek Ostaszewski, Franciszek Seredynski, Pascal Bouvry	A nonself space approach to network anomaly detection.	IPDPS	2006	DBLP DOI BibTeX RDF
11	Weijun Chen, Bo Zhang	A Constructive Learning Algorithm for Text Categorization.	ISNN (2)	2006	DBLP DOI BibTeX RDF
11	Marek Ostaszewski, Franciszek Seredynski, Pascal Bouvry	Immune anomaly detection enhanced with evolutionary paradigms.	GECCO	2006	DBLP DOI BibTeX RDF	artificial immune systems, coevolution, network anomaly detection
11	Xibin Zhao, Kwok-Yan Lam, Guiming Luo, Siu Leung Chung, Ming Gu 0001	Minimal Threshold Closure.	ESORICS	2006	DBLP DOI BibTeX RDF	Threshold Closure, Access Control, Authorization, Threshold Schemes
11	Arjan Durresi, Vamsi Paruchuri, Leonard Barolli	Clustering Protocol for Sensor Networks.	AINA (2)	2006	DBLP DOI BibTeX RDF
11	Changhai Nie, Baowen Xu, Ziyuan Wang, Liang Shi	Generating Optimal Test Set for Neighbor Factors Combinatorial Testing.	QSIC	2006	DBLP DOI BibTeX RDF	neighbor factors interaction, Software testing, combinatorial testing
11	Yufei Tao 0001, Marios Hadjieleftheriou	Processing Ranked Queries with the Minimum Space.	FoIKS	2006	DBLP DOI BibTeX RDF
11	Thomas A. Alspaugh, Debra J. Richardson, Thomas A. Standish	Scenarios, state machines and purpose-driven testing.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF
11	Tuvi Etzion, Beniamin Mounits	Quasi-perfect codes with small distance.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
11	Károly J. Böröczky	Finite Coverings in the Hyperbolic Plane.	Discret. Comput. Geom.	2005	DBLP DOI BibTeX RDF
11	Boualem Benatallah, Mohand-Said Hacid, Alain Léger, Christophe Rey, Farouk Toumani	On automating Web services discovery.	VLDB J.	2005	DBLP DOI BibTeX RDF	Description logics, Hypergraphs, Web services Discovery, Semantic matchmaking
11	Rolly Intan, Masao Mukaidono	On The Generalization of Fuzzy Rough Approximation Based on Asymmetric Relation.	Computational Intelligence for Modelling and Prediction	2005	DBLP DOI BibTeX RDF
11	Refael Hassin, Danny Segev	Rounding to an Integral Program.	WEA	2005	DBLP DOI BibTeX RDF
11	Laura Heinrich-Litan, Marco E. Lübbecke	Rectangle Covers Revisited Computationally.	WEA	2005	DBLP DOI BibTeX RDF
11	Sanjay Jain 0001, Efim B. Kinber	Learning Multiple Languages in Groups.	ALT	2005	DBLP DOI BibTeX RDF
11	Kenneth L. Clarkson, Kasturi R. Varadarajan	Improved approximation algorithms for geometric set cover.	SCG	2005	DBLP DOI BibTeX RDF	algorithms, approximation, set cover
11	Christophe Bobda	Building Up a Course in Reconfigurable Computing.	MSE	2005	DBLP DOI BibTeX RDF
11	Lunwen Wang, Ying Tan 0002, Ling Zhang	Constructive Fuzzy Neural Networks and Its Application.	ISNN (1)	2005	DBLP DOI BibTeX RDF
11	Gershon Elber, Robert Sayegh, Gill Barequet, Ralph R. Martin	Two-Dimensional Visibility Charts for Continuous Curves.	SMI	2005	DBLP DOI BibTeX RDF
11	Daqian Gu, Yang Gao 0001	Incremental gradient descent imputation method for missing data in learning classifier systems.	GECCO Workshops	2005	DBLP DOI BibTeX RDF	InGrImputation method, missing data, LCS
11	Atsushi Wada, Keiki Takadama, Katsunori Shimohara, Osamu Katai	Analyzing Parameter Sensitivity and Classifier Representations for Real-Valued XCS.	IWLCS	2005	DBLP DOI BibTeX RDF
11	Guy Eitzen, David Panton, Graham Mills	Multi-Skilled Workforce Optimisation.	Ann. Oper. Res.	2004	DBLP DOI BibTeX RDF	multi-skilling, optimisation, rostering, personnel scheduling
11	Johannes Fürnkranz	From Local to Global Patterns: Evaluation Issues in Rule Learning Algorithms.	Local Pattern Detection	2004	DBLP DOI BibTeX RDF
11	Kun-Lung Wu, Shyh-Kwei Chen, Philip S. Yu	VCR indexing for fast event matching for highly-overlapping range predicates.	SAC	2004	DBLP DOI BibTeX RDF	VCR indexing, event matching, predicate indexing, virtual construct rectangles, continual queries, Pub/Sub
11	Hafiz Md. Hasan Babu, Moinul Islam Zaber, Md. Rafiqul Islam 0001, Md. Mazder Rahman	On the Minimization of Multiple-Valued Input Binary-Valued Output Functions.	ISMVL	2004	DBLP DOI BibTeX RDF	Multiple-Valued Input Two-Valued Output Functions, Sum-of-Products (SOPs), Logic Minimization, Prime Implicant