Search results for "Multivalued"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Alan Mishchenko, Robert K. Brayton	A theory of nondeterministic networks.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
12	Arie Ben-David	What's Wrong with Hit Ratio?	IEEE Intell. Syst.	2006	DBLP DOI BibTeX RDF	Cohen's kappa, classification accuracy, hit ratio
12	Xiaogang Dong, Ilya Pollak	Multiscale Segmentation With Vector-Valued Nonlinear Diffusions on Arbitrary Graphs.	IEEE Trans. Image Process.	2006	DBLP DOI BibTeX RDF
12	Aleksandra Pizurica, Wilfried Philips	Estimating the probability of the presence of a signal of interest in multiresolution single- and multiband image denoising.	IEEE Trans. Image Process.	2006	DBLP DOI BibTeX RDF
12	Zijing Tan, Wei Wang 0009, Jianjun Xu, Baile Shi	Repairing Inconsistent XML Documents.	KSEM	2006	DBLP DOI BibTeX RDF
12	Svetlana N. Yanushkevich, Vlad P. Shmerko, Oleg Boulanov	Embedding and Assembling Techniques for Spatial Computing Structure Design using Decision Trees and Diagrams.	ISMVL	2006	DBLP DOI BibTeX RDF
12	Shiguo Huang, Mingquan Zhou, Guohua Geng	An Improved Geometric Deformable Model for Color Image Segmentation.	ICAT Workshops	2006	DBLP DOI BibTeX RDF
12	Domingo López-Rodríguez, Enrique Mérida Casermeiro, Juan Miguel Ortiz-de-Lazcano-Lobato, Ezequiel López-Rubio	Image Compression by Vector Quantization with Recurrent Discrete Networks.	ICANN (2)	2006	DBLP DOI BibTeX RDF
12	Konstantin Mischaikow, Marian Mrozek, Pawel Pilarczyk	Graph Approach to the Computation of the Homology of Continuous Maps.	Found. Comput. Math.	2005	DBLP DOI BibTeX RDF	Computational homology, Homology maps, Cubical complexes
12	James N. Damon	Determining the Geometry of Boundaries of Objects from Medial Data.	Int. J. Comput. Vis.	2005	DBLP DOI BibTeX RDF	Blum medial axis, skeletal structures, intrinsic geometry, relative geometry, radial shape operator, grassfire flow, radial flow, geometric medial map, relative critical set
12	Marie Agier, Jean-Marc Petit, Einoshin Suzuki	Towards Ad-Hoc Rule Semantics for Gene Expression Data.	ISMIS	2005	DBLP DOI BibTeX RDF
12	Nedka Pulova, Vladimir Pulov	The Implicit Midpoint Rule for a Class of Convex Differential Inclusions.	LSSC	2005	DBLP DOI BibTeX RDF
12	Cristian Sminchisescu, Atul Kanaujia, Zhiguo Li, Dimitris N. Metaxas	Discriminative Density Propagation for 3D Human Motion Estimation.	CVPR (1)	2005	DBLP DOI BibTeX RDF	density propagation, hierarchical mixture of experts, 3D human tracking, sparse regression, mixture modeling, Bayesian methods
12	Mahilchi Milir Vaseekar Kumar, Spyros Tragoudas	Quality Transition Fault Tests Suitable for Small Delay Defects.	ICCD	2005	DBLP DOI BibTeX RDF
12	Michal Walicki	Bireachability and Final Multialgebras.	CALCO	2005	DBLP DOI BibTeX RDF
12	Huyen-Trang Vu, Patrick Gallinari	On Effectiveness Measures and Relevance Functions in Ranking INEX Systems.	AIRS	2005	DBLP DOI BibTeX RDF
12	Slim Abdennadher, Christophe Rigotti	Automatic generation of rule-based constraint solvers over finite domains.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	Rule-based constraint programming, generation of solvers, finite domains
12	Leslaw Gniewek, Jacek Kluska	Hardware implementation of fuzzy Petri net as a controller.	IEEE Trans. Syst. Man Cybern. Part B	2004	DBLP DOI BibTeX RDF
12	Adam B. Levy, Boris S. Mordukhovich	Coderivatives in parametric optimization.	Math. Program.	2004	DBLP DOI BibTeX RDF
12	Shinobu Nagayama, Tsutomu Sasao	Minimization of memory size for heterogeneous MDDs.	ASP-DAC	2004	DBLP DOI BibTeX RDF
12	F. A. Pérez, José Manuel Cascón, Luis Ferragut	A Numerical Adaptive Algorithm for the Obstacle Problem.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
12	Annie Yao, Andrew Calway	Interpolating Novel Views from Image Sequences by Probabilistic Depth Carving.	ECCV (2)	2004	DBLP DOI BibTeX RDF
12	T. Felicijan, Stephen B. Furber	An asynchronous ternary logic signaling system.	IEEE Trans. Very Large Scale Integr. Syst.	2003	DBLP DOI BibTeX RDF
12	Frank Schmiedle, Rolf Drechsler, Bernd Becker 0001	Exact Routing with Search Space Reduction.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	forced cells, MDDs, Detailed routing, fixed point iteration
12	James C. Beaumont, Russell J. Bradford, James H. Davenport	Better simplification of elementary functions through power series.	ISSAC	2003	DBLP DOI BibTeX RDF	simplification power series
12	Witold Pedrycz, Giancarlo Succi	fXOR fuzzy logic networks.	Soft Comput.	2002	DBLP DOI BibTeX RDF	Fuzzy hardware, Algebraic form of fuzzy functions, Optimization, Learning, Reed-Muller expansion, Logic networks, Fuzzy functions
12	Erkki Laitinen, Jali Pieskä, Alexander Lapin	Parallel Domain Decomposition Methods for Dam Problem.	ICPP Workshops	2001	DBLP DOI BibTeX RDF
12	Maciej J. Ogorzalek	Analysis of a class of constrained nonlinear dynamic circuits.	ISCAS (3)	2001	DBLP DOI BibTeX RDF
12	Karsten Strehl, Lothar Thiele	Interval diagrams for efficient symbolic verification of processnetworks.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2000	DBLP DOI BibTeX RDF
12	Alejandro F. González, Mayukh Bhattacharya, Shriram Kulkarni, Pinaki Mazumder	Standard CMOS Implementation of a Multiple-Valued Logic Signed-Digit Adder Based on Negative Differential-Resistance Devices.	ISMVL	2000	DBLP DOI BibTeX RDF	signed-digit adder, negative differential-resistance devices, NDR devices, multiple-valued logic, resonant-tunneling diodes, redundant number systems, RTDs
12	Subarnarekha Sinha, Sunil P. Khatri, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli	Binary and Multi-Valued SPFD-Based Wire Removal in PLA Networks.	ICCD	2000	DBLP DOI BibTeX RDF
12	Millist W. Vincent	Semantic Foundations of 4NF in Relational Database Design.	Acta Informatica	1999	DBLP DOI BibTeX RDF
12	Meide Zhao, Francis K. H. Quek, Xindong Wu 0001	RIEVL: Recursive Induction Learning in Hand Gesture Recognition.	IEEE Trans. Pattern Anal. Mach. Intell.	1998	DBLP DOI BibTeX RDF	hand pose recognition, rule-based induction, disjunctive norm form, variable-valued logic, machine learning, feature selection, feature detection, Hand gesture
12	Sven Kosub, Heinz Schmitz, Heribert Vollmer	Uniformly Defining Complexity Classes of Functions.	STACS	1998	DBLP DOI BibTeX RDF
12	Veselka Boeva, Elena Tsiporkova, Bernard De Baets	Modelling Uncertainty with Kripke's Semantics.	AIMSA	1998	DBLP DOI BibTeX RDF
12	O. D. Zhukov, Naphtali Rishe	Effective Computer Technology for Data Processing.	ICPADS	1997	DBLP DOI BibTeX RDF
12	Arkadij Zakrevskij, Lev Zakrevski	Fast Algorithm for Minimizing Reed-Muller Expansions of Systems of Incompletely Specified MVL Functions.	ISMVL	1997	DBLP DOI BibTeX RDF
12	Krzysztof Goczyla	The Partial-Order Tree: A New Structure for Indexing on Complex Attributes in Object Oriented Databases.	EUROMICRO	1997	DBLP DOI BibTeX RDF
12	Gösta Grahne, Nicolas Spyratos, Daniel Stamate	Semantics and Containment with Internal and External Conjunctions.	ICDT	1997	DBLP DOI BibTeX RDF
12	Alejandro F. González, Pinaki Mazumder	Compact Signed-Digit Adder Using Multiple-Valued Logic.	ARVLSI	1997	DBLP DOI BibTeX RDF
12	Josep Miró, Margaret Miró-Julià	A Numerical Computation for Declarative Expressions.	EUROCAST	1997	DBLP DOI BibTeX RDF
12	Robert M. Corless, Gaston H. Gonnet, D. E. G. Hare, David J. Jeffrey, Donald E. Knuth	On the LambertW function.	Adv. Comput. Math.	1996	DBLP DOI BibTeX RDF
12	Marzena Kryszkiewicz, Henryk Rybinski	Reducing Information Systems with Uncertain Attributes.	ISMIS	1996	DBLP DOI BibTeX RDF	Uncertain Information System, Knowledge Representation Reduction, Rough Sets, Knowledge Discovery, Approximate Reasoning
12	Stephen A. Fenner, Lance Fortnow, Ashish V. Naik, John D. Rogers	Inverting Onto Functions.	CCC	1996	DBLP DOI BibTeX RDF	function classes, total functions, nondeterministic Turing machines, unambiguous computation, Computational complexity, invertibility
12	Maroua Bouzid, Antoni Ligeza	Temporal Causal Networks for Simulation and Diagnosis.	ICECCS	1996	DBLP DOI BibTeX RDF
12	Patrick Girard 0001, Christian Landrault, Serge Pravossoudovitch	An advanced diagnostic method for delay faults in combinational faulty circuits.	J. Electron. Test.	1995	DBLP DOI BibTeX RDF	simulation, diagnosis, delay fault, critical path tracing
12	Seong-Whan Lee, Young-Joon Kim	Direct Extraction of Topographic Features for Gray Scale Character Recognition.	IEEE Trans. Pattern Anal. Mach. Intell.	1995	DBLP DOI BibTeX RDF	principal orthogonal elements, topographic feature extraction, principal curvature, Gray scale character recognition
12	Georges Gardarin, Fernando Machuca, Philippe Pucheral	OFL: A Functional Execution Model for Object Query Languages.	SIGMOD Conference	1995	DBLP DOI BibTeX RDF
12	Sungho Kang, Stephen A. Szygenda	The simulation automation system (SAS); concepts, implementation, and results.	IEEE Trans. Very Large Scale Integr. Syst.	1994	DBLP DOI BibTeX RDF
12	Tok Wang Ling, Ling-Ling Yan	NF-NR: A practical normal form for nested relations.	J. Syst. Integr.	1994	DBLP DOI BibTeX RDF	Entity-Relationship Approach, extended-functional dependency, normal forms, Nested relation
12	Allan L. Fisher, Anwar M. Ghuloum	Parallelizing Complex Scans and Reductions.	PLDI	1994	DBLP DOI BibTeX RDF
12	Raimund Ubar	Test Generation for Digital Systems Based on Alternative Graphs.	EDCC	1994	DBLP DOI BibTeX RDF
12	Werasak Kurutach, James Franklin	On Temporal-fuzziness in Temporal Fuzzy Databases.	DEXA	1993	DBLP DOI BibTeX RDF	temporal-fuzziness, qualitative data, measures, time, objectivity, temporal data, subjectivity, fuzzy data, quantitative data
12	Daniel Etiemble, Keivan Navi	Algorithms and multi-valued circuits for the multioperand addition in the binary stored-carry number system.	IEEE Symposium on Computer Arithmetic	1993	DBLP DOI BibTeX RDF
12	Sibsankar Haldar, K. Vidyasankar	Counteraxamples to a One Writer Multireader Atomic Variable Construction of Burns and Peterson.	ACM SIGOPS Oper. Syst. Rev.	1992	DBLP DOI BibTeX RDF
12	Eric Andonoff, Christian Sallaberry, Gilles Zurfluh	Interactive Design of Object-Oriented Databases.	CAiSE	1992	DBLP DOI BibTeX RDF
12	Bruno Courcelle	Monadic Second-Order Graph Transductions.	CAAP	1992	DBLP DOI BibTeX RDF
12	János Demetrovics, Lajos Rónyai, Hua nam Son	On the Composition and Decomposition of Attributes and Tuples.	ICDT	1992	DBLP DOI BibTeX RDF
12	Martin Gogolla, Uwe Hohenstein	Towards a Semantic View of an Extended Entity-Relationship Model.	ACM Trans. Database Syst.	1991	DBLP DOI BibTeX RDF	relational completeness, abstract data type, formal semantics, entity-relationship model, calculus, semantic data model, aggregate function, safeness
12	Norbert Fuhr	Optimum Polynomial Retrieval Functions Based on the Probability Ranking Principle.	ACM Trans. Inf. Syst.	1989	DBLP DOI BibTeX RDF
12	Michael Merritt	Completeness Theorems for Automata.	REX Workshop	1989	DBLP DOI BibTeX RDF	state mappings, Specification, implementation, products, completeness, automata
12	William M. Coughran Jr., Mark R. Pinto, R. Kent Smith	Computation of steady-state CMOS latchup characteristics.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1988	DBLP DOI BibTeX RDF
12	Catriel Beeri, Michael Kifer	A theory of intersection anomalies in relational database schemes.	J. ACM	1987	DBLP DOI BibTeX RDF
12	Z. Meral Özsoyoglu, Li-Yan Yuan	Reduced MVDs and Minimal Covers.	ACM Trans. Database Syst.	1987	DBLP DOI BibTeX RDF
12	Z. Meral Özsoyoglu, Li-Yan Yuan	A New Normal Form for Nested Relations.	ACM Trans. Database Syst.	1987	DBLP DOI BibTeX RDF
12	Li-Yan Yuan, Z. Meral Özsoyoglu	Logical Design of Relational Database Systems.	PODS	1987	DBLP DOI BibTeX RDF
12	Edward P. Stabler, Haluk Bingol	Boolean Comparison by Simulation.	DAC	1987	DBLP DOI BibTeX RDF
12	Catriel Beeri, Michael Kifer	Elimination of intersection anomalies from database schemes.	J. ACM	1986	DBLP DOI BibTeX RDF
12	Catriel Beeri, Michael Kifer	An Integrated Approach to Logical Design of Relational Database Schemes.	ACM Trans. Database Syst.	1986	DBLP DOI BibTeX RDF
12	Joost N. Kok	Denotational Semantics of Nets with Nondeterminism.	ESOP	1986	DBLP DOI BibTeX RDF
12	Karel Culík II, Juhani Karhumäki	The Equivalence of Finite Valued Transducers (on HDTOL Languages) is Decidable.	MFCS	1986	DBLP DOI BibTeX RDF
12	V. S. Lakshmanan 0001, C. E. Veni Madhavan	Binary Decompositions and Acyclic Schemes.	FSTTCS	1986	DBLP DOI BibTeX RDF
12	Catriel Beeri, Michael Kifer	Elimination of Intersection Anomalies from Database Schemes.	PODS	1983	DBLP DOI BibTeX RDF
12	Tomasz Imielinski, Witold Lipski Jr.	A Systematic Approach to Relational Database Theory.	SIGMOD Conference	1982	DBLP DOI BibTeX RDF
12	Moshe Y. Vardi	The Implication and Finite Implication Problems for Typed Template Dependencies.	PODS	1982	DBLP DOI BibTeX RDF
12	Zvi Galil	An Almost Linaer Time Algorithm for Computing a Dependency Basis in a Relational Data Base.	ICALP	1980	DBLP DOI BibTeX RDF
12	Fereidoon Sadri, Jeffrey D. Ullman	The Interaction between Functional Dependencies and Template Dependencies.	SIGMOD Conference	1980	DBLP DOI BibTeX RDF
12	Jorma Rissanen	Theory of Relations for Databases - A Tutorial Survey.	MFCS	1978	DBLP DOI BibTeX RDF
12	Alfred A. Schmitt	Zur Theorie der nichtdeterministischen und unvollständigen Automaten.	Computing	1969	DBLP DOI BibTeX RDF
12	Michael Yoeli	Generalized Cascade Decompositions of Automata.	J. ACM	1965	DBLP DOI BibTeX RDF