Search results for "realizations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
85	George W. Ernst, Raymond J. Hookway, William F. Ogden	Modular Verification of Data Abstractions with Shared Realizations.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	shared realizations, realization level data structure, abstract specification, data structures, semantics, program verification, specification languages, data abstractions, quantification, modular verification, modular specification
69	Jack H. Koolen, Alice Lesser, Vincent Moulton	Concerning the Relationship between Realizations and Tight Spans of Finite Metrics.	Discret. Comput. Geom.	2007	DBLP DOI BibTeX RDF
51	Gang Li 0010, Chunru Wan, Xiongxiong He	Digital filter realizations absent of self-sustained oscillations.	ISCAS	2008	DBLP DOI BibTeX RDF
51	Pan Zhongliang	Fault Detection for Testable Realizations of Multiple-Valued Logic Functions.	Asian Test Symposium	2003	DBLP DOI BibTeX RDF
50	Josep Freixas, Xavier Molinero	On the existence of a minimum integer representation for weighted voting systems.	Ann. Oper. Res.	2009	DBLP DOI BibTeX RDF	Minimal realizations, Minimum realization, Realizations with minimum sum, Weighted voting games, Simple games
45	Shunsuke Koshita, Masahide Abe, Masayuki Kawamata	Gramian-Preserving Frequency Transformation for State-Space Digital Filters.	APCCAS	2006	DBLP DOI BibTeX RDF
45	G. David Forney Jr.	Codes on Graphs: A Survey for Algebraists.	AAECC	1999	DBLP DOI BibTeX RDF
43	Alain Hertz, Sacha Varone	The Metric Cutpoint Partition Problem.	J. Classif.	2008	DBLP DOI BibTeX RDF	Optimal realizations, Cutpoint, Metric spaces, Bridge, Polynomial algorithm
42	Li-Juan Jia, Ran Tao 0003, Yue Wang 0001, Kiyoshi Wada	Realizations of BELS as WIV method in both direct and indirect closed-loop system identification.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	direct closed-loop system identification, indirect closed-loop system identification, bias eliminated least squares method, weighted instrumental variables method
42	Bill Jackson, Tibor Jordán, Zoltan Szabadka	Globally Linked Pairs of Vertices in Equivalent Realizations of Graphs.	Discret. Comput. Geom.	2006	DBLP DOI BibTeX RDF
42	Shengqi Yang, Wayne H. Wolf, Narayanan Vijaykrishnan	Power and Performance Analysis of Motion Estimation Based on Hardware and Software Realizations.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	performance optimization, power modeling, Motion estimation algorithm
42	Karl-Heinz Förster, Béla Nagy	On Nonnegative Realizations.	POSTA	2003	DBLP DOI BibTeX RDF
34	Irith Pomeranz, Sudhakar M. Reddy	Functional test generation for delay faults in combinational circuits.	ICCAD	1995	DBLP DOI BibTeX RDF	gate-level realizations, logic testing, delays, test generation, test generators, combinational circuits, fault simulated, logic CAD, delay faults, functional fault model, functional test generation
33	Michael E. Kuhl, Shalaka C. Deo, James R. Wilson	Smooth flexible models of nonhomogeneous poisson processes using one or more process realizations.	WSC	2008	DBLP DOI BibTeX RDF
33	Christophe Hohlweg, Carsten E. M. C. Lange	Realizations of the Associahedron and Cyclohedron.	Discret. Comput. Geom.	2007	DBLP DOI BibTeX RDF
33	George E. Antoniou	2-D Tridiagonal IIR Filters/Systems: State Space and Circuit Realizations.	ISCAS	2007	DBLP DOI BibTeX RDF
33	Yuwei Sun, Wensheng Yu, Long Wang 0001	A Note on Minimal Positive Realizations of Continuous-Time Linear Systems.	ICNSC	2007	DBLP DOI BibTeX RDF
33	Tsutomu Sasao, Yukihiro Iguchi, Takahiro Suzuki	On LUT Cascade Realizations of FIR Filters.	DSD	2005	DBLP DOI BibTeX RDF
33	Nam Yul Yu, Guang Gong	Realizations from Decimation Hadamard Transform for Special Classes of Binary Sequences with Two-Level Autocorrelation.	WCC	2005	DBLP DOI BibTeX RDF
33	Pan Zhongliang	Bridging Fault Detections for Testable Realizations of Logic Functions.	VLSI Design	2003	DBLP DOI BibTeX RDF
33	P. Zhongliang	Testable Realizations for ESOP Expressions of Logic Functions.	Asian Test Symposium	2002	DBLP DOI BibTeX RDF
31	Milan S. Derpich	The Structure of the Realizations of the Causal Information Rate-Distortion Function for Markovian Sources: Realizations with Densities.	CoRR	2018	DBLP BibTeX RDF
27	Henrique G. Momm, Greg Easson	Population restarting: a study case of feature extraction from remotely sensed imagery using textural information.	GECCO	2010	DBLP DOI BibTeX RDF	genetic programming, texture, diversity, remote sensing
27	Alain Hertz, Sacha Varone	The Metric Bridge Partition Problem: Partitioning of a Metric Space into Two Subspaces Linked by an Edge in Any Optimal Realization.	J. Classif.	2007	DBLP DOI BibTeX RDF
27	Sajjad Baloch, Hamid Krim	Flexible Skew-Symmetric Shape Model for Shape Representation, Classification, and Sampling.	IEEE Trans. Image Process.	2007	DBLP DOI BibTeX RDF
27	Tomas Dedek, Tomas Marek, Tomás Martínek	High Level Abstraction Language as an Alternative to Embedded Processors for Internet Packet Processing in FPGA.	FPL	2007	DBLP DOI BibTeX RDF
27	Ana Isabel González, Alicia D'Anjou, M. Teresa García-Sebastián, Manuel Graña	SOM and Neural Gas as Graduated Nonconvexity Algorithms.	ICCSA (3)	2006	DBLP DOI BibTeX RDF
27	Seung-Woo Seo, Tse-Yun Feng, Hyoung-Il Lee	Permutation Realizability and Fault Tolerance Property of the Inside-Out Routing Algorithm.	IEEE Trans. Parallel Distributed Syst.	1999	DBLP DOI BibTeX RDF	Omega + Omega network, looping algorithm, inside-out routing algorithm, fault tolerance, Benes network, Rearrangeable networks
27	Sven Wuytack, Francky Catthoor, Hugo De Man	Transforming set data types to power optimal data structures.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1996	DBLP DOI BibTeX RDF
25	Josep Freixas, Xavier Molinero, Salvador Roura	Minimal Representations for Majority Games.	CiE	2007	DBLP DOI BibTeX RDF	Weighted games, Majority games, Minimum and minimal weighted representations/realizations, Computing games, Simple games
25	Alison L. Love, Alex Pang, David L. Kao	Visualizing Spatial Multivalue Data.	IEEE Computer Graphics and Applications	2005	DBLP DOI BibTeX RDF	ensemble forecast, parametric statistics, distributions, uncertainty, shape descriptors, realizations
25	Ugur Kalay, Douglas V. Hall, Marek A. Perkowski	A Minimal Universal Test Set for Self-Test of EXOR-Sum-of-Products Circuits.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	AND-EXOR realizations, Reed-Muller expressions, single stuck-at fault model, easily testable combinational networks, self-testable circuits, Built-in Self-Test (BIST), test pattern generation, Design for Testing (DFT), Universal test set
25	J. Kirkland	Squad-based expert modules for closing diphthong recognition.	ANNES	1995	DBLP DOI BibTeX RDF	squad based expert modules, closing diphthong recognition, modular time delay neural networks, modular TDNNs, false positive error performances, TDNN variants, sequence token TDNN, phoneme realizations, speech recognition, expert systems, natural languages, neural nets, recognition performance, automated speech recognition
25	Horst Herrlich, Miroslav Husek	Some open categorical problems in Top.	Appl. Categorical Struct.	1993	DBLP DOI BibTeX RDF	(Almost) reflective subcategories, simple subcategories, orthogonal and implicational subcategories, injectivity- and projectivity-classes, limit-closed subcategories, algebraic constructs, cartesian-closedness, convenient hulls, realizations of constructs, normal functors
25	Graham A. Jullien	Residue Number Scaling and Other Operations Using ROM Arrays.	IEEE Trans. Computers	1978	DBLP DOI BibTeX RDF	scaling algorithms, Digital filter realizations, look-up table implementation, metric vector estimates, residue number system
24	Hans-Jörg Schek, Heiko Schuldt	The Hyperdatabase Project - From the Vision to Realizations.	BNCOD	2008	DBLP DOI BibTeX RDF	Hyperdatabases, Middleware, Digital Libraries, Transactional Process, Information Infrastructure
24	Sergejus Ivanikovas, Viktor Medvedev, Gintautas Dzemyda	Parallel Realizations of the SAMANN Algorithm.	ICANNGA (2)	2007	DBLP DOI BibTeX RDF
24	Tadeusz Kaczorek	Cone-Realizations of Discrete-Time Systems with Delays.	ICANNGA (2)	2007	DBLP DOI BibTeX RDF
24	Melvin Fitting	Realizations and LP.	LFCS	2007	DBLP DOI BibTeX RDF
24	S. M. Mortazavi Zanjani, Somayyeh Rahimian Omam, Seid Mehdi Fakhraie, Omid Shoaei	Experimental Evaluation of Different Realizations of Recursive CIC Filters.	CCECE	2006	DBLP DOI BibTeX RDF
24	Sergey G. Pushkov, Svetlana Yu. Kalinkina	Boundary Realizations Method for Interval Linear Dynamic Systems.	Reliab. Comput.	2005	DBLP DOI BibTeX RDF
24	Leonel Gómez, Ruben Budelli, Rafael Saa, Michael Stiber, José Pedro Segundo	Pooled spike trains of correlated presynaptic inputs as realizations of cluster point processes.	Biol. Cybern.	2005	DBLP DOI BibTeX RDF
24	Weihua Xu, Jun Wu 0003	Optimal controller realizations with minimum roundoff noise gain using delta-operator.	ICARCV	2004	DBLP DOI BibTeX RDF
24	Kostas Masselos, Francky Catthoor, Constantinos E. Goutis, Hugo De Man	A systematic methodology for the application of data transfer and storage optimizing code transformations for power consumption and execution time reduction in realizations of multimedia algorithms on programmable processors.	IEEE Trans. Very Large Scale Integr. Syst.	2002	DBLP DOI BibTeX RDF
24	R. Rother	Realizations of Topological Categories.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	initial completion, concrete universal category, topologically universal category, universal complete lattice
24	Bernhard Reus, Martin Wirsing, Rolf Hennicker	A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models.	FASE	2001	DBLP DOI BibTeX RDF
24	Sven Wuytack, Francky Catthoor, Gjalt G. de Jong, Hugo De Man	Minimizing the required memory bandwidth in VLSI system realizations.	IEEE Trans. Very Large Scale Integr. Syst.	1999	DBLP DOI BibTeX RDF
24	Richard H. Strandberg, Luis G. Bustamante, Vojin G. Oklobdzija, Michael A. Soderstrand, Jean-Claude Duc	Efficient realizations of squaring circuit and reciprocal used in adaptive sample rate notch filters.	J. VLSI Signal Process.	1996	DBLP DOI BibTeX RDF
24	Jien-Chung Lo, James C. Daly, Michael Nicolaidis	A strongly code disjoint built-in current sensor for strongly fault-secure static CMOS realizations.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1995	DBLP DOI BibTeX RDF
18	Jerzy Gorecki, Joanna Natalia Gorecka, Yasuhiro Igarashi	Information processing with structured excitable medium.	Nat. Comput.	2009	DBLP DOI BibTeX RDF	Oregonator model, Belousov-Zhabotinsky reaction, Information processing, Excitability
18	Heping Gao, Meera Sitharam	Characterizing 1-dof Henneberg-I graphs with efficient configuration spaces.	SAC	2009	DBLP DOI BibTeX RDF	Henneberg-I graph, combinatorial rigidity, geometric constraints and reasoning, graph characterization, one degree of freedom (1-dof), quadratic or radical solvability, triangle-decomposable or tree-decomposable graph, underconstrained geometric constraint solving, computer aided design, mechanism, linkage, graph minor, algebraic complexity, configuration space
18	Robert Wille, Daniel Große, Gerhard W. Dueck, Rolf Drechsler	Reversible Logic Synthesis with Output Permutation.	VLSI Design	2009	DBLP DOI BibTeX RDF
18	Tarek A. El-Moselhy, Ibrahim M. Elfadel, Bill Dewey	An efficient resistance sensitivity extraction algorithm for conductors of arbitrary shapes.	DAC	2009	DBLP DOI BibTeX RDF	resistance extraction, shape variations, finite-element method, sensitivity, adjoint method
18	Guy Campion, Woojin Chung	Wheeled Robots.	Springer Handbook of Robotics	2008	DBLP DOI BibTeX RDF
18	Ralf Küsters, Max Tuengerthal	Joint State Theorems for Public-Key Encryption and Digital Signature Functionalities with Local Computation.	CSF	2008	DBLP DOI BibTeX RDF	simulation-based security, joint state, secure composition, cryptographic protocols
18	Clemente Izurieta, James M. Bieman	Testing Consequences of Grime Buildup in Object Oriented Design Patterns.	ICST	2008	DBLP DOI BibTeX RDF	Software grime, decay, anti-patterns, testing, object oriented, design patterns
18	Debarati Sen, Saswat Chakrabarti, Ratnam V. Raja Kumar	Symbol timing synchronization for ultra-wideband (UWB) multi-band OFDM (MB-OFDM) systems.	COMSWARE	2008	DBLP DOI BibTeX RDF
18	Andreas Behrend, Rainer Manthey	A Transformation-Based Approach to View Updating in Stratifiable Deductive Databases.	FoIKS	2008	DBLP DOI BibTeX RDF
18	Marco Gaertler, Robert Görke, Dorothea Wagner	Significance-Driven Graph Clustering.	AAIM	2007	DBLP DOI BibTeX RDF
18	Elina Madetoja, Kaisa Miettinen, Pasi Tarvainen	Issues related to the computer realization of a multidisciplinary and multiobjective optimization system.	Eng. Comput.	2006	DBLP DOI BibTeX RDF	Multidisciplinary system, Computer realization, Paper making, Efficiency, Multiobjective optimization
18	Haixiao Cai, Sanjeev R. Kulkarni, Sergio Verdú	Universal Divergence Estimation for Finite-Alphabet Sources.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
18	Meera Sitharam, Adam Arbree, Yong Zhou 0002, Naganandhini Kohareswaran	Solution space navigation for geometric constraint systems.	ACM Trans. Graph.	2006	DBLP DOI BibTeX RDF	Root selection for geometric constraint systems, constraint graphs, cyclical and 3D geometric constraint systems, decomposition of geometric constraint systems, degree of freedom analysis, feature-based and assembly modeling, underconstrained and overconstrained systems, variational geometric constraint solving, well constrained systems, conceptual design
18	Nikolai Buzikashvili	Automatic Task Detection in the Web Logs and Analysis of Multitasking.	ICADL	2006	DBLP DOI BibTeX RDF
18	Robert S. Garfinkel, Ram D. Gopal, Daniel O. Rice	New Approaches to Disclosure Limitation While Answering Queries to a Database: Protecting Numerical Confidential Data against Insider Threat Based on Data or Algorithms.	HICSS	2006	DBLP DOI BibTeX RDF
18	Ana Isabel González, Alicia D'Anjou, Manuel Graña	Convergence of SOM and NG as GNC algorithms.	IJCNN	2006	DBLP DOI BibTeX RDF
18	Jelena Zdravkovic, Martin Henkel, Paul Johannesson	Moving from Business to Technology with Service-Based Processes.	IEEE Internet Comput.	2005	DBLP DOI BibTeX RDF	service-oriented computing, SOC
18	Yongyi Mao, Frank R. Kschischang	On factor graphs and the Fourier transform.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
18	Knut Hartmann, Sandra Hartmann, Matthias Feustel	Motif Definition and Classification to Structure Non-linear Plots and to Control the Narrative Flow in Interactive Dramas.	International Conference on Virtual Storytelling	2005	DBLP DOI BibTeX RDF	Non-linear Plots, Propp Functions, Narrative Control, ChatterBots, WordNet, Authoring Tools, Document Classification, Interactive Drama, Motifs
18	Bart R. Zeydel, Theo T. J. H. Kluter, Vojin G. Oklobdzija	Efficient Mapping of Addition Recurrence Algorithms in CMOS.	IEEE Symposium on Computer Arithmetic	2005	DBLP DOI BibTeX RDF
18	Karina Sosa, Luis Fernando González Pérez, Miguel Bazdresch, Jorgue Rodriguez-Guisantes	Performance Study of Space-Time Communications Systems Based on the VBLAST Algorithm.	CONIELECOMP	2005	DBLP DOI BibTeX RDF
18	Martin Henkel, Jelena Zdravkovic	Supporting Development and Evolution of Service-based Processes.	ICEBE	2005	DBLP DOI BibTeX RDF
18	James F. Whidborne, John McKernan, Da-Wei Gu	Kolmogorov-Chaitin complexity of linear digital controllers implemented using fixed-point arithmetic.	ICARCV	2004	DBLP DOI BibTeX RDF
18	Marc Alexa	Linear Shift-Invariant Operators for Processing Surface Meshes.	3DPVT	2004	DBLP DOI BibTeX RDF	shift-invariant operator, mesh, geometry processing
18	Mozammel H. A. Khan, Marek A. Perkowski, Pawel Kerntopf	Multi-Output Galois Field Sum of Products Synthesis with New Quantum Cascades.	ISMVL	2003	DBLP DOI BibTeX RDF
18	Zygmunt Ciota	Theoretical and Practical Aspects of Computer Speech Processing.	IEEE ICCI	2002	DBLP DOI BibTeX RDF	neural predictor, fuzzy logic, Natural Language processing, integrated circuits
18	Antoni Olivé	Representation of Generic Relationship Types in Conceptual Modeling.	CAiSE	2002	DBLP DOI BibTeX RDF
18	Thomas Rauber, Gudula Rünger	Selecting Data Distributions for Unbounded Loops.	IPDPS	2002	DBLP DOI BibTeX RDF	unbounded loops, cost model, data distribution, data redistribution
18	Marek A. Bednarczyk, Andrzej M. Borzyszkowski	On Concurrent Realization of Reactive Systems and Their Morphisms.	Unifying Petri Nets	2001	DBLP DOI BibTeX RDF
18	Philippas Tsigas, Yi Zhang 0004	Evaluating the performance of non-blocking synchronization on shared-memory multiprocessors.	SIGMETRICS/Performance	2001	DBLP DOI BibTeX RDF
18	Ugo Montanari, Marco Pistore	pi-Calculus, Structured Coalgebras, and Minimal HD-Automata.	MFCS	2000	DBLP DOI BibTeX RDF
18	Pavel A. Skrelin	Allophone- and Suballophone-Based Speech Synthesis System for Russian.	TSD	2000	DBLP DOI BibTeX RDF
18	Uwe Sparmann, Holger Müller, Sudhakar M. Reddy	Universal delay test sets for logic networks.	IEEE Trans. Very Large Scale Integr. Syst.	1999	DBLP DOI BibTeX RDF
18	Irith Pomeranz, Sudhakar M. Reddy	Functional test generation for delay faults in combinational circuits.	ACM Trans. Design Autom. Electr. Syst.	1998	DBLP DOI BibTeX RDF	function-robust tests, functional delay fault model, delay faults, path delay faults, robust tests
18	Balvinder Singh, Mohammad Umar Siddiqi	MAP estimation of finite gray-scale digital images corrupted by supremum/infimum noise.	IEEE Trans. Image Process.	1997	DBLP DOI BibTeX RDF
18	Jean-Marc DeBaud	DARE: Domain-Augmented ReEngineering.	WCRE	1997	DBLP DOI BibTeX RDF
18	Wenjun Wang, Claudio Moraga	Design of Multivalued Circuits using Genetic Algorithms.	ISMVL	1996	DBLP DOI BibTeX RDF
18	Nicholas D. Sidiropoulos, John S. Baras, Carlos Alberto Berenstein	Optimal filtering of digital binary images corrupted by union/intersection noise.	IEEE Trans. Image Process.	1994	DBLP DOI BibTeX RDF
18	Sybille Hellebrand, Hans-Joachim Wunderlich	An efficient procedure for the synthesis of fast self-testable controller structures.	ICCAD	1994	DBLP DOI BibTeX RDF
18	Arnold L. Rosenberg	Allocating Storage for Extendible Arrays.	J. ACM	1974	DBLP DOI BibTeX RDF
15	Jean Luck Randrianantenaina, Ahmet Yasin Baran, Nimet Korkmaz, Recai Kiliç	A New Nonlinear Ion Drift Model of Memristor Element and its Versatile Analog Reconfigurable Realizations.	J. Circuits Syst. Comput.	2024	DBLP DOI BibTeX RDF
15	Sammy Khalife, Yann Ponty, Laurent Bulteau	Sequence graphs realizations and ambiguity in language models.	CoRR	2024	DBLP DOI BibTeX RDF
15	Dario Catalano, Emanuele Giunta, Francesco Migliaro	Anamorphic Encryption: New Constructions and Homomorphic Realizations.	IACR Cryptol. ePrint Arch.	2024	DBLP BibTeX RDF
15	Sean Reiter, Tobias Damm, Mark Embree, Serkan Gugercin	On the balanced truncation error bound and sign parameters from arrowhead realizations.	Adv. Comput. Math.	2024	DBLP DOI BibTeX RDF
15	James M. Shook	Maximally edge-connected realizations and Kundu's k $k$ -factor theorem.	J. Graph Theory	2024	DBLP DOI BibTeX RDF
15	Mihály Petreczky, Roland Tóth, Guillaume Mercère	Minimal Realizations of Input-Output Behaviors by LPV State-Space Representations With Affine Dependence.	IEEE Control. Syst. Lett.	2023	DBLP DOI BibTeX RDF
15	Camille Combe	Geometric Realizations of Tamari Interval Lattices Via Cubic Coordinates.	Order	2023	DBLP DOI BibTeX RDF
15	Hiroki Kuroda, Daichi Kitahara, Eiichi Yoshikawa, Hiroshi Kikuchi, Tomoo Ushio	Convex Estimation of Sparse-Smooth Power Spectral Densities From Mixtures of Realizations With Application to Weather Radar.	IEEE Access	2023	DBLP DOI BibTeX RDF
15	Abhishek Deshpande	Source-Only Realizations, Weakly Reversible Deficiency One Networks, and Dynamical Equivalence.	SIAM J. Appl. Dyn. Syst.	2023	DBLP DOI BibTeX RDF
15	D. O. C. Santos, Marco Antonio Silva Trindade, Adriano de Jesus da Silva	Nonextensive realizations in interacting ion channels: Implications for mechano-electrical transducer mechanisms.	Biosyst.	2023	DBLP DOI BibTeX RDF
15	Atul Kumar, Bhartendu Chaturvedi, Shafali Jagga	New CMOS Compatible Realizations of Grounded/Floating L, C Multiplier and FDNC Simulators.	Circuits Syst. Signal Process.	2023	DBLP DOI BibTeX RDF