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