The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Multi-valued (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1963-1986 (16) 1987-1990 (19) 1991-1993 (22) 1994-1995 (23) 1996-1997 (31) 1998 (17) 1999 (19) 2000 (27) 2001 (29) 2002 (36) 2003 (34) 2004 (34) 2005 (38) 2006 (40) 2007 (76) 2008 (51) 2009 (41) 2010 (29) 2011 (34) 2012 (36) 2013 (26) 2014 (50) 2015 (47) 2016 (30) 2017 (37) 2018 (29) 2019 (31) 2020 (30) 2021 (29) 2022 (20) 2023 (46) 2024 (6)
Publication types (Num. hits)
article(339) book(3) incollection(41) inproceedings(644) phdthesis(6)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 441 occurrences of 309 keywords

Results
Found 1033 publication records. Showing 1033 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
107Marsha Chechik, Benet Devereux, Steve M. Easterbrook, Arie Gurfinkel Multi-valued symbolic model-checking. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF ?Chek., model-checking, fairness, inconsistency, CTL, multi-valued logic, partiality
72Craig M. Files, Rolf Drechsler, Marek A. Perkowski Functional Decomposition of MVL Functions Using Multi-Valued Decision Diagrams. Search on Bibsonomy ISMVL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF learning samples, minterms, machine learning, learning (artificial intelligence), minimization, functional decomposition, multi-valued logic, multi-valued decision diagrams, problem complexity, MVL functions
66Sunil P. Khatri, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli Sequential Multi-Valued Network Simplification using Redundancy Removal. Search on Bibsonomy VLSI Design The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
65Jefferson O. Andrade, Yukiyoshi Kameyama A Direct Algorithm for Multi-valued Bounded Model Checking. Search on Bibsonomy ATVA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
64Rolf Drechsler, Rolf Krieger, Bernd Becker 0001 Random Pattern Fault Simulation in Multi-Valued Circuits. Search on Bibsonomy ISMVL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF random pattern fault simulation, multi-valued circuits, multi-valued logic networks, fault diagnosis, logic testing, integrated circuit testing, fault simulator, circuit analysis computing, multivalued logic circuits, random pattern testability
60Ajay Mallya Deductive Multi-valued Model Checking. Search on Bibsonomy ICLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
53Rolf Drechsler Verification of Multi-Valued Logic Networks. Search on Bibsonomy ISMVL The full citation details ... 1996 DBLP  DOI  BibTeX  RDF multi-valued logic networks verification, ordered multi-valued decision diagrams, two-valued circuits, formal verification, heuristics, logic testing, directed graphs, directed acyclic graph, multivalued logic circuits, functional equivalence
50Hailiang Liu, Zhongming Wang Superposition of Multi-Valued Solutions in High Frequency Wave Dynamics. Search on Bibsonomy J. Sci. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF WKB system, Multi-valued solution, Level set method, Superposition
50Ana Fernández Vilas, José Juan Pazos-Arias, Ana Belén Barragáns-Martínez, Martín López Nores, Rebeca P. Díaz Redondo, Alberto Gil-Solla, Jorge García Duque, Manuel Ramos Cabrer Multi-valued Model Checking in Dense-Time. Search on Bibsonomy ECSQARU The full citation details ... 2005 DBLP  DOI  BibTeX  RDF dense real-time, model checking, formal methods, multi-valued logic
49Xiaodong Gu 0001 Classification Using Multi-valued Pulse Coupled Neural Network. Search on Bibsonomy ICONIP (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF PCNN (Pulse Coupled Neural Network), Multi-valued PCNN, Pulse waves, Classification
48JunYong Yan, Yi Jin, KaiZhong Zuo Decrease-radix design principle for carrying/borrowing free multi-valued and application in ternary optical computer. Search on Bibsonomy Sci. China Ser. F Inf. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF carrying/borrowing free operating units, decrease-radix design, re-constructible, ternary optical computer
47Marsha Chechik, Benet Devereux, Steve M. Easterbrook Implementing a Multi-valued Symbolic Model Checker. Search on Bibsonomy TACAS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
47Rolf Drechsler, Martin Keim, Bernd Becker 0001 Fault Simulation in Sequential Multi-Valued Logic Networks. Search on Bibsonomy ISMVL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF sequential multi-valued logic networks, multi-valued logic networks, logic testing, sequential circuits, fault models, fault simulator, random pattern testability
47Hui Min Wang, Chung-Len Lee 0001, Jwu E. Chen Factorization of Multi-Valued Logic Functions. Search on Bibsonomy ISMVL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF multi-valued logic function factorization, multi valued logic functions, rectangular covering problem, MVL algebraic factorization algorithm, MVL Boolean properties, purely algebraic factorization algorithm, multilevel implementation, Boolean method, MVL example functions, computational complexity, complexity, Boolean functions, multivalued logic
46Neda Sepasian, Jan H. M. ten Thije Boonkkamp, Luc M. J. Florack, Bart M. ter Haar Romeny, Anna Vilanova Riemann-Finsler Multi-valued Geodesic Tractography for HARDI. Search on Bibsonomy Visualization and Processing of Tensors and Higher Order Descriptors for Multi-Valued Data The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
44Igor N. Aizenberg, Naum N. Aizenberg, Constantine Butakoff, Elya Farberov Image Recognition on the Neural Network Based on Multi-Valued Neurons. Search on Bibsonomy ICPR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
44Arnon Avron Multi-valued Semantics: Why and How. Search on Bibsonomy Stud Logica The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Multi-valued semantics, Suszko’s Thesis, analycity, modularity, many-valued logics, non-deterministic matrices
44Alonso Ramirez-Manzanares, Mariano Rivera, Pierre Kornprobst, François Lauze A Variational Approach for Multi-valued Velocity Field Estimation in Transparent Sequences. Search on Bibsonomy SSVM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF transparent motion, multi-valued velocity fields, model competition, Variational approaches
44Hafiz Md. Hasan Babu, Md. Rafiqul Islam 0001, Amin Ahsan Ali, Mohammad Musa Salehin Akon A Technique for Logic Design of Voltage-Mode Pass Transistor Based Multi-Valued Multiple-Output Logic Circuits. Search on Bibsonomy ISMVL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Multi-valued logic (MVL), TMOS logic circuits, Support set, Residual, Literals
44Motoi Inaba, Koichi Tanno, Okihiko Ishizuka Multi-Valued Flip-Flop with Neuron-CMOS NMIN Circuits. Search on Bibsonomy ISMVL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Multi-valued flip-flop, Down literal circuit, Analog inverter, Voltage comparator, NMIN circuit
43Shoujue Wang, Xunwei Wu, Hongjuan Feng The High-Speed Ternary Logic Gates Based on the Multiple beta Transistors. Search on Bibsonomy ISMVL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF high speed ternary logic gates, multiple /spl beta/ transistors, multiple emitter transistor, current gain, linear AND/OR gates, multi valued literal circuits, high speed multi valued logic circuits, multivalued logic circuits, logic gates, ternary logic, transistors
43Igor N. Aizenberg, Claudio Moraga The Genetic Code as a Multiple-Valued Function and Its Implementation Using Multilayer Neural Network Based on Multi-Valued Neurons. Search on Bibsonomy ISMVL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
41Jinzhao Wu, Lin Zhao Multi-Valued Model Checking via Groebner Basis Approach. Search on Bibsonomy TASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
41Arie Gurfinkel, Marsha Chechik Generating Counterexamples for Multi-valued Model-Checking. Search on Bibsonomy FME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF De Morgan algebras, model-checking, CTL, counterexamples, witnesses
41Daniel Große, Görschwin Fey, Rolf Drechsler Modeling Multi-Valued Circuits in SystemC. Search on Bibsonomy ISMVL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
40Vlad P. Shmerko, Svetlana N. Yanushkevich, Vitaly G. Levashenko Test Pattern Generation for Combinatorial Multi-Valued Networks Based on Generalized D-Algorithm. Search on Bibsonomy ISMVL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF logic differential calculus, multi-valued circuits, generalized D-algorithm, fault detection, fault models, multi-valued logic
40Glenn Bruns, Patrice Godefroid Model Checking with Multi-valued Logics. Search on Bibsonomy ICALP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
39Qin Zhang The Difference between Single-Valued and Multi-Valued Cases in the Compact Representation of CPD in Bayesian Networks. Search on Bibsonomy Complex (1) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF knowledge representation, uncertainty, causality, probabilistic inference
39Craig M. Files, Mark H. Nodine MDD with Added Null-Value and All-Value Edges. Search on Bibsonomy ISMVL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Multi-valued, Synthesis, MDD, Logic, Domino Logic
38Igor N. Aizenberg, Naum N. Aizenberg Pattern Recognition Using Neural Based on Multi-valued Neurons. Search on Bibsonomy IWANN (2) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
37Marsha Chechik, Arie Gurfinkel, Benet Devereux, Albert Y. C. Lai, Steve M. Easterbrook Data structures for symbolic multi-valued model-checking. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Symbolic model-checking, Decision diagrams, Multi-valued logic
37Tran Cao Son, Phan Huy Tu, Xin Zhang 0005 Reasoning about Sensing Actions in Domains with Multi-Valued Fluents. Search on Bibsonomy Stud Logica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Sensing Actions, Multi-valued Fluents, Incomplete Information, Actions Languages
36Daniel Jörgens, Rodrigo Moreno Tensor Voting: Current State, Challenges and New Trends in the Context of Medical Image Analysis. Search on Bibsonomy Visualization and Processing of Higher Order Descriptors for Multi-Valued Data The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
36Cem Yolcu, Evren Özarslan Diffusion-Weighted Magnetic Resonance Signal for General Gradient Waveforms: Multiple Correlation Function Framework, Path Integrals, and Parallels Between Them. Search on Bibsonomy Visualization and Processing of Higher Order Descriptors for Multi-Valued Data The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
36Jasper J. van de Gronde, Mikola Lysenko, Jos B. T. M. Roerdink Path-Based Mathematical Morphology on Tensor Fields. Search on Bibsonomy Visualization and Processing of Higher Order Descriptors for Multi-Valued Data The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
36Carmeliza Navasca, Deonnia N. Pompey Random Projections for Low Multilinear Rank Tensors. Search on Bibsonomy Visualization and Processing of Higher Order Descriptors for Multi-Valued Data The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
36Maxime Taquet, Benoit Scherrer, Simon K. Warfield A Framework for the Analysis of Diffusion Compartment Imaging (DCI). Search on Bibsonomy Visualization and Processing of Higher Order Descriptors for Multi-Valued Data The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
36Lauren J. O'Donnell, Thomas Schultz 0001 Statistical and Machine Learning Methods for Neuroimaging: Examples, Challenges, and Extensions to Diffusion Imaging Data. Search on Bibsonomy Visualization and Processing of Higher Order Descriptors for Multi-Valued Data The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
36Andreas Kleefeld, Bernhard Burgeth Processing Multispectral Images via Mathematical Morphology. Search on Bibsonomy Visualization and Processing of Higher Order Descriptors for Multi-Valued Data The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
36Marc Schöneich, Andrea Kratz, Valentin Zobel, Gerik Scheuermann, Markus Stommel, Ingrid Hotz Tensor Lines in Engineering: Success, Failure, and Open Questions. Search on Bibsonomy Visualization and Processing of Higher Order Descriptors for Multi-Valued Data The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
36Vesna Prckovska, Magí Andorrà, Pablo Villoslada, Eloy Martinez-Heras, Remco Duits, David Fortin, Paulo Reis Rodrigues, Maxime Descoteaux Contextual Diffusion Image Post-processing Aids Clinical Applications. Search on Bibsonomy Visualization and Processing of Higher Order Descriptors for Multi-Valued Data The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
36Olivier Vaillancourt, Maxime Chamberland, Jean-Christophe Houde, Maxime Descoteaux Visualization of Diffusion Propagator and Multiple Parameter Diffusion Signal. Search on Bibsonomy Visualization and Processing of Higher Order Descriptors for Multi-Valued Data The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
36Valentin Zobel, Jan Reininghaus, Ingrid Hotz Visualizing Symmetric Indefinite 2D Tensor Fields Using the Heat Kernel Signature. Search on Bibsonomy Visualization and Processing of Higher Order Descriptors for Multi-Valued Data The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
36Tobias Isenberg 0001 A Survey of Illustrative Visualization Techniques for Diffusion-Weighted MRI Tractography. Search on Bibsonomy Visualization and Processing of Higher Order Descriptors for Multi-Valued Data The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
36Sujal Bista, Jiachen Zhuo, Rao P. Gullapalli, Amitabh Varshney Visual Knowledge Discovery for Diffusion Kurtosis Datasets of the Human Brain. Search on Bibsonomy Visualization and Processing of Higher Order Descriptors for Multi-Valued Data The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
36Adrian Maries, Timothy Luciani, Patrick H. Pisciuneri, Mehdi B. Nik, Server Levent Yilmaz, Peyman Givi, G. Elisabeta Marai A Clustering Method for Identifying Regions of Interest in Turbulent Combustion Tensor Fields. Search on Bibsonomy Visualization and Processing of Higher Order Descriptors for Multi-Valued Data The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
36Tom C. J. Dela Haije, Andrea Fuster, Luc M. J. Florack Finslerian Diffusion and the Bloch-Torrey Equation. Search on Bibsonomy Visualization and Processing of Higher Order Descriptors for Multi-Valued Data The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
36Maher Moakher, Peter J. Basser Fiber Orientation Distribution Functions and Orientation Tensors for Different Material Symmetries. Search on Bibsonomy Visualization and Processing of Higher Order Descriptors for Multi-Valued Data The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
36Yue Zhang 0009, Jonathan Palacios, Eugene Zhang Topology of 3D Linear Symmetric Tensor Fields. Search on Bibsonomy Visualization and Processing of Higher Order Descriptors for Multi-Valued Data The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
36Luc Florack, Tom C. J. Dela Haije, Andrea Fuster Direction-Controlled DTI Interpolation. Search on Bibsonomy Visualization and Processing of Higher Order Descriptors for Multi-Valued Data The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
36Luc Florack, Andrea Fuster Riemann-Finsler Geometry for Diffusion Weighted Magnetic Resonance Imaging. Search on Bibsonomy Visualization and Processing of Tensors and Higher Order Descriptors for Multi-Valued Data The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
36Yogesh Rathi, Martha Elizabeth Shenton, Carl-Fredrik Westin Preliminary Findings in Diagnostic Prediction of Schizophrenia Using Diffusion Tensor Imaging. Search on Bibsonomy Visualization and Processing of Tensors and Higher Order Descriptors for Multi-Valued Data The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
36Eugene Zhang Tensors in Geometry Processing. Search on Bibsonomy Visualization and Processing of Tensors and Higher Order Descriptors for Multi-Valued Data The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
36Andrea Kratz, Cornelia Auer, Ingrid Hotz Tensor Invariants and Glyph Design. Search on Bibsonomy Visualization and Processing of Tensors and Higher Order Descriptors for Multi-Valued Data The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
36Thomas C. J. Dela Haije, Remco Duits, Chantal M. W. Tax Sharpening Fibers in Diffusion Weighted MRI via Erosion. Search on Bibsonomy Visualization and Processing of Tensors and Higher Order Descriptors for Multi-Valued Data The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
36Mario Hlawitschka, Ingrid Hotz, Andrea Kratz, G. Elisabeta Marai, Rodrigo Moreno, Gerik Scheuermann, Markus Stommel, Alexander Wiebel, Eugene Zhang Top Challenges in the Visualization of Engineering Tensor Fields. Search on Bibsonomy Visualization and Processing of Tensors and Higher Order Descriptors for Multi-Valued Data The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
36Hans Knutsson, Carl-Fredrik Westin Monomial Phase: A Matrix Representation of Local Phase. Search on Bibsonomy Visualization and Processing of Tensors and Higher Order Descriptors for Multi-Valued Data The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
36Ofer Pasternak, Klaus H. Maier-Hein, Christian F. Baumgartner, Martha Elizabeth Shenton, Yogesh Rathi, Carl-Fredrik Westin The Estimation of Free-Water Corrected Diffusion Tensors. Search on Bibsonomy Visualization and Processing of Tensors and Higher Order Descriptors for Multi-Valued Data The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
36Thomas Schultz 0001, Andrea Fuster, Aurobrata Ghosh, Rachid Deriche, Luc Florack, Lek-Heng Lim Higher-Order Tensors in Diffusion Imaging. Search on Bibsonomy Visualization and Processing of Tensors and Higher Order Descriptors for Multi-Valued Data The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
36Madhura Ingalhalikar, Parmeshwar Khurd, Ragini Verma Kernel-Based Morphometry of Diffusion Tensor Images. Search on Bibsonomy Visualization and Processing of Tensors and Higher Order Descriptors for Multi-Valued Data The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
36Alexander Wiebel, Cornelius Müller, Christoph Garth, Thomas R. Knösche A System for Combined Visualization of EEG and Diffusion Tensor Imaging Tractography Data. Search on Bibsonomy Visualization and Processing of Tensors and Higher Order Descriptors for Multi-Valued Data The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
36Rodrigo Moreno, Magnus Borga, Örjan Smedby Techniques for Computing Fabric Tensors: A Review. Search on Bibsonomy Visualization and Processing of Tensors and Higher Order Descriptors for Multi-Valued Data The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
36Bernhard Burgeth, Andreas Kleefeld Order Based Morphology for Color Images via Matrix Fields. Search on Bibsonomy Visualization and Processing of Tensors and Higher Order Descriptors for Multi-Valued Data The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
36Aurobrata Ghosh, Rachid Deriche Fourth Order Symmetric Tensors and Positive ADC Modeling. Search on Bibsonomy Visualization and Processing of Tensors and Higher Order Descriptors for Multi-Valued Data The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
36Elisabetta Allevi, Adriana Gnudi, Igor V. Konnov 0002 An extended Gauss-Seidel method for a class of multi-valued complementarity problems. Search on Bibsonomy Optim. Lett. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Multi-valued mappings, Off-diagonally antitone mappings, Gauss-Seidel algorithm, Complementarity problems
36Jinzhao Wu, Lin Zhao An Algebraic Approach to Multi-Valued Model Checking. Search on Bibsonomy ACSD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
36Artur Chojnacki, Lech Józwiak Multi-Valued Sub-Function Encoding in Functional Decomposition Based on Information Relationships Measures. Search on Bibsonomy ISMVL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
36Tutut Herawan, Mustafa Mat Deris On Multi-soft Sets Construction in Information Systems. Search on Bibsonomy ICIC (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Multi-valued information system, Multi-soft set
35Alarico Campetelli, Alexander Gruler, Martin Leucker, Daniel Thoma Don't Know for Multi-valued Systems. Search on Bibsonomy ATVA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
35Yael Meller, Orna Grumberg, Sharon Shoham A Framework for Compositional Verification of Multi-valued Systems via Abstraction-Refinement. Search on Bibsonomy ATVA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
35Athanasios Kehagias A Family of Multi-valued t-norms and t-conorms. Search on Bibsonomy Computational Intelligence Based on Lattice Theory The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
35Sharon Shoham, Orna Grumberg Multi-valued Model Checking Games. Search on Bibsonomy ATVA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Nan Jiang, Zhaozhi Zhang, Xiaomin Ma, Jian Wang, Yixian Yang Analysis of nonseparable property of multi-valued multi-threshold neuron. Search on Bibsonomy IJCNN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
33Robert K. Brayton, M. Gao, Jie-Hong Roland Jiang, Yunjian Jiang, Yinghua Li, Alan Mishchenko, Subarnarekha Sinha, Tiziano Villa Optimization of Multi-Valued Multi-Level Networks. Search on Bibsonomy ISMVL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
32Igor N. Aizenberg, Claudio Moraga Multilayer Feedforward Neural Network Based on Multi-valued Neurons (MLMVN) and a Backpropagation Learning Algorithm. Search on Bibsonomy Soft Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Feedforward complex-valued neural network, Derivative free backpropagation learning
32Mustafa Atay, Artem Chebotko, Shiyong Lu, Farshad Fotouhi XML-to-SQL Query Mapping in the Presence of Multi-valued Schema Mappings and Recursive XML Schemas. Search on Bibsonomy DEXA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
31Yunjian Jiang, Robert K. Brayton Logic optimization and code generation for embedded control applications. Search on Bibsonomy CODES The full citation details ... 2001 DBLP  DOI  BibTeX  RDF code generation, MDD, Esterel, logic optimization, multiple-valued
31Igor V. Konnov 0002 A splitting type algorithm for multi-valued complementarity problems. Search on Bibsonomy Optim. Lett. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Multi-valued mappings, Z-mappings, Antitone mappings, Splitting algorithm, Jacobi algorithm, Complementarity problem
31Saoussen Bel Hadj Kacem, Amel Borgi, Khaled Ghédira Generalized Modus Ponens Based on Linguistic Modifiers in a Symbolic Multi-Valued Framework. Search on Bibsonomy ISMVL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Generalized Modus Ponens, linguistic modifiers, symbolic multi-valued logic, Approximate reasoning
31David Tschumperlé Fast Anisotropic Smoothing of Multi-Valued Images using Curvature-Preserving PDE's. Search on Bibsonomy Int. J. Comput. Vis. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF multi-valued images, data regularization, anisotropic smoothing, diffusion PDE's, tensor-valued geometry, nonlinear interpolation, denoising, inpainting
31Hiroaki Tanaka, Yoshinori Takeuchi, Keishi Sakanushi, Masaharu Imai, Yutaka Ota, Nobu Matsumoto, Masaki Nakagawa Pack instruction generation for media pUsing multi-valued decision diagram. Search on Bibsonomy CODES+ISSS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF multi-valued decision diagram, SIMD instructions
31Côme Rozon On the Use of VHDL as a Multi-Valued Logic Simulator. Search on Bibsonomy ISMVL The full citation details ... 1996 DBLP  DOI  BibTeX  RDF multi-valued logic simulator, ternary circuits, simulation, VHDL, logic CAD, functionality, circuit analysis computing, hardware description languages, digital circuits, multivalued logic circuits, timing specifications
31Keren Censor-Hillel Multi-sided shared coins and randomized set-agreement. Search on Bibsonomy SPAA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF multi-valued shared coins, distributed computing, randomized algorithms, shared memory, set-agreement
30Mark H. Nodine, Craig M. Files A Mature Methodology for Implementing Multi-Valued Logic in Silicon. Search on Bibsonomy ISMVL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF one-hot encoding, 1-of-N encoding, domino logic, null value
28Daniel Stamate Assumption based multi-valued semantics for extended logic programs. Search on Bibsonomy ISMVL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
28Marsha Chechik, Steve M. Easterbrook, Victor Petrovykh Model-Checking over Multi-valued Logics. Search on Bibsonomy FME The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
28Makoto Syuto, Jing Shen, Koichi Tanno, Okihiko Ishizuka Multi-Input Variable-Threshold Circuits for Multi-Valued Logic Functions. Search on Bibsonomy ISMVL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
28Arie Gurfinkel, Marsha Chechik, Benet Devereux Temporal Logic Query Checking: A Tool for Model Exploration. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF query checking, TLQSolver, model understanding, model checking, CTL, multi-valued logic
27Igor N. Aizenberg, Jacek M. Zurada Solving Selected Classification Problems in Bioinformatics Using Multilayer Neural Network Based on Multi-Valued Neurons (MLMVN). Search on Bibsonomy ICANN (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Hailiang Liu, Li-Tien Cheng, Stanley J. Osher A Level Set Framework for Capturing Multi-Valued Solutions of Nonlinear First-Order Equations. Search on Bibsonomy J. Sci. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF AMS subject classification Primary 35F25, Secondary 65M25, nonlinear first-order equations
27Bernd Steinbach, Marek A. Perkowski, Christian Lang 0001 Bi-Decompositions of Multi-Valued Functions for Circuit Design and Data Mining Applications. Search on Bibsonomy ISMVL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Bi-Decomposition, Data Mining, Multiple-Valued Logic, Functional Decomposition, Constructive Induction
27Naum N. Aizenberg, Igor N. Aizenberg, Georgy A. Krivosheev Multi-Valued Neurons: Learning, Networks, Application to Image Recognition and Extrapolation of Temporal Series. Search on Bibsonomy IWANN The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
27Raul Cruz-Cano, Igor N. Aizenberg Soft Computing Methods for Prediction of Replication Origins in Caudoviruses. Search on Bibsonomy ISMVL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Replication Origins, Caudoviruses, multilayer feedforward neural network with multi-valued neurons, least-squares support vector machine
27Wendy MacCaull, Dimiter Vakarelov Lattice-Based Paraconsistent Logic. Search on Bibsonomy RelMiCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF lattice representation, graded information, paraconsistent logic, negation, multi-valued logic, Kripke semantics
26Boguslaw Cyganek Computational Framework for Family of Order Statistic Filters for Tensor Valued Data. Search on Bibsonomy ICIAR (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF weighted rank filters, tensor data, median filtering, Order statistics
26Arnon Avron, Anna Zamansky Quantification in Non-Deterministic Multi-Valued Structures. Search on Bibsonomy ISMVL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
26Igor N. Aizenberg, Constantine Butakoff Image processing using cellular neural networks based on multi-valued and universal binary neurons. Search on Bibsonomy J. VLSI Signal Process. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF neural networks, image processing, nonlinear filtering
26Igor N. Aizenberg, Ekaterina M. Myasnikova, Maria Samsonova Classification of the Images of Gene Expression Patterns Using Neural Networks Based on Multi-valued Neurons. Search on Bibsonomy IWANN (2) The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
26Igor N. Aizenberg, Ekaterina M. Myasnikova, Maria Samsonova, John Reinitz Application of the Neural Networks Based on Multi-valued Neurons to Classification of the Images of Gene Expression Patterns. Search on Bibsonomy Fuzzy Days The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
26Igor N. Aizenberg Multi-valued and Universal Binary Neurons: New Applications in Intelligent Image Processing. Search on Bibsonomy Fuzzy Days The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1033 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license