Search results for "Superposition"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
89	Li (Erran) Li, Richard Alimi, Ramachandran Ramjee, Jingpu Shi, Yanjun Sun, Harish Viswanathan, Yang Richard Yang	Superposition coding for wireless mesh networks.	MobiCom	2007	DBLP DOI BibTeX RDF	superposition coding, scheduling, wireless mesh
68	Christopher Lynch, Duc-Khanh Tran	SMELS: Satisfiability Modulo Equality with Lazy Superposition.	ATVA	2008	DBLP DOI BibTeX RDF
68	Laurent Fribourg	Handling Function Definitions through Innermost Superposition and Rewriting.	RTA	1985	DBLP DOI BibTeX RDF
64	Cheolgi Kim, Kyungtae Kang, Joongsoo Ma	Adaptive Interference Cancellation: Cancellation Performance vs. Computational Overhead.	ICCCN	2008	DBLP DOI BibTeX RDF
62	Alessandro Armando, Silvio Ranise, Michaël Rusinowitch	Uniform Derivation of Decision Procedures by Superposition.	CSL	2001	DBLP DOI BibTeX RDF	Arrays with Extensionality, Term Rewriting, Decision Procedures, Homomorphism, Automated Deduction, Lists, Superposition, Equational Logic
59	Florin Manea, Victor Mitrana, José M. Sempere	Some Remarks on Superposition Based on Watson-Crick-Like Complementarity.	Developments in Language Theory	2009	DBLP DOI BibTeX RDF
59	Paolo Bottoni, Anna Labella, Vincenzo Manca, Victor Mitrana	Superposition Based on Watson-Crick-Like Complementarity.	Theory Comput. Syst.	2006	DBLP DOI BibTeX RDF
57	David J. Rosenbaum 0001, Marek A. Perkowski	Superposed Quantum State Initialization Using Disjoint Prime Implicants (SQUID).	ISMVL	2008	DBLP DOI BibTeX RDF	Superposed, Quantum Computing, Superposition
53	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
53	Martin Giese	Superposition-based Equality Handling for Analytic Tableaux.	J. Autom. Reason.	2007	DBLP DOI BibTeX RDF	superposition rules, equality handling, analytic tableaux
53	Antónia Lopes, José Luiz Fiadeiro	Superposition: composition vs refinement of non-deterministic, action-based systems.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Composition, Refinement, Superposition
53	Petros Maragos, Robert D. Ziff	Threshold Superposition in Morphological Image Analysis Systems.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	morphological image analysis, peak/valley extraction, shape-size distributions, threshold-linear superposition, binary image processing, picture processing, edge detection, skeletonization, vectors, gray-level image, vector space
50	Baojin Li, Zhifeng Ruan, Xin Zhang 0001, Yongyu Chang, Dacheng Yang	Throughput Analysis of TDMA System Forward Link with Superposition Coding for Location-Based Sets of Users.	WCNC	2008	DBLP DOI BibTeX RDF
50	Matthias Horbach, Christoph Weidenbach	Superposition for Fixed Domains.	CSL	2008	DBLP DOI BibTeX RDF
50	Konstantinos Varsos, Jonathan E. Luntz	Superposition Methods for Distributed Manipulation Using Quadratic Potential Force Fields.	IEEE Trans. Robotics	2006	DBLP DOI BibTeX RDF
50	Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran	On Superposition-Based Satisfiability Procedures and Their Combination.	ICTAC	2005	DBLP DOI BibTeX RDF
50	Farid M. Ablayev, Svetlana Ablayeva	A Discrete Approximation and Communication Complexity Approach to the Superposition Problem.	FCT	2001	DBLP DOI BibTeX RDF
50	William S. Cleveland, Dong Lin, Don X. Sun	IP packet generation: statistical models for TCP start times based on connection-rate superposition.	SIGMETRICS	2000	DBLP DOI BibTeX RDF	TCP/IP
50	Leo Bachmair, Harald Ganzinger	Strict Basic Superposition.	CADE	1998	DBLP DOI BibTeX RDF
46	Guosen Yue, Xiaodong Wang 0001, Zigui Yang, Anders Høst-Madsen	Coding Schemes for User Cooperation in Low-Power Regimes.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
44	Helmut Willie	Steady state of loss systems with a superposition of inputs.	Queueing Syst. Theory Appl.	1991	DBLP DOI BibTeX RDF	Loss system, random marked point process, individual call blocking, empty points, steady state, superposition
41	Konstantinos Varsos, Jonathan E. Luntz	Superposition of Quadratic Potential Force Fields for Distributed Manipulation.	IROS	2006	DBLP DOI BibTeX RDF
41	Robert Nieuwenhuis, Albert Rubio	Basic Superposition is Complete.	ESOP	1992	DBLP DOI BibTeX RDF
39	Ken C. L. Wong, Linwei Wang, Heye Zhang, Huafeng Liu 0003, Pengcheng Shi	Computational Complexity Reduction for Volumetric Cardiac Deformation Recovery.	J. Signal Process. Syst.	2009	DBLP DOI BibTeX RDF	Cardiac information recovery, Cardiac physiome model, Deformation analysis, State-space representation, Mode superposition, Kalman filtering
37	Chris Aimone, Steve Mann 0001	Camera Response Function Recovery from Auto-Exposure Cameras.	ICIP (4)	2007	DBLP DOI BibTeX RDF
37	Marina Waldén	Layering Distributed Algorithms within the B-Method.	B	1998	DBLP DOI BibTeX RDF
37	Laurent Vigneron	Positive Deduction modulo Regular Theories.	CSL	1995	DBLP DOI BibTeX RDF
34	Lee Booi Lim, Lin Guan, Alan Grigg, Iain W. Phillips, Xingang Wang 0002, Irfan-Ullah Awan	RED and WRED Performance Analysis Based on Superposition of N MMBP Arrival Proccess.	AINA	2010	DBLP DOI BibTeX RDF	superposition of N MMBP, discrete-time queuing model, WRED, QoS, AQM, RED
34	Anatolij Zubow, Moritz Grauel, Mathias Kurth, Jens-Peter Redlich	On Uplink Superposition Coding and Multi-user Diversity for Wireless Mesh Networks.	MSN	2009	DBLP DOI BibTeX RDF	Uplink Superposition Coding, Wireless Networks, Mesh, Medium Access Control, Multi-User Diversity
32	Ernst Althaus, Evgeny Kruglov, Christoph Weidenbach	Superposition Modulo Linear Arithmetic SUP(LA).	FroCoS	2009	DBLP DOI BibTeX RDF
32	Petar Popovski, Elisabeth de Carvalho	Improving the rates in wireless relay systems through superposition coding.	IEEE Trans. Wirel. Commun.	2008	DBLP DOI BibTeX RDF
32	James She, Xiang Yu 0001, Fen Hou, Pin-Han Ho, En-Hui Yang	A Framework of Cross-Layer Superposition Coded Multicast for Robust IPTV Services over WiMAX.	WCNC	2008	DBLP DOI BibTeX RDF
32	Petar Popovski, Elisabeth de Carvalho	Spectrally-Efficient Wireless Relaying Based on Superposition Coding.	VTC Spring	2007	DBLP DOI BibTeX RDF
32	Vladimir Aleksic, Anatoli Degtyarev	On Arbitrary Selection Strategies for Basic Superposition.	JELIA	2006	DBLP DOI BibTeX RDF
32	Rongde Lu, An Lu	Applications of the Superposition Theorem to Nonlinear Resistive Circuits.	APCCAS	2006	DBLP DOI BibTeX RDF
32	Xiaojing Huang 0001, Yunxin Li	MMSE-optimal approximation of continuous-phase modulated signal as superposition of linearly modulated pulses.	IEEE Trans. Commun.	2005	DBLP DOI BibTeX RDF
32	Harald Ganzinger, Jürgen Stuber	Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation.	CADE	2003	DBLP DOI BibTeX RDF
32	Ismet Bayraktaroglu, Alex Orailoglu	Improved fault diagnosis in scan-based BIST via superposition.	DAC	2000	DBLP DOI BibTeX RDF
32	Harald Ganzinger, Hans de Nivelle	A Superposition Decision Procedure for the Guarded Fragment with Equality.	LICS	1999	DBLP DOI BibTeX RDF
32	Jürgen Stuber	Superposition Theorem Proving for Albelian Groups Represented as Integer Modules.	RTA	1996	DBLP DOI BibTeX RDF
32	Bodonirina Ratoandromanana, Denis Robilliard	Superposition in Picture Languages.	CAAP	1994	DBLP DOI BibTeX RDF
30	Octavian Popescu, Bernardo Magnini	Alleviating the Problem of Wrong Coreferences in Web Person Search.	CICLing	2009	DBLP DOI BibTeX RDF	Cascade Clustering, Masking, Superposition, Dynamic Threshold, Web People Search
30	Mark L. Latash, Xun Niu, Vladimir M. Zatsiorsky	Multi-finger Prehension Synergy: Exploration with Transcranial Magnetic Stimulation.	EuroHaptics	2008	DBLP DOI BibTeX RDF	prehension, transcranial magnetic stimulation, principle of superposition, hand, synergy
30	Reino Kurki-Suonio	Action systems in incremental and aspect-oriented modeling.	Distributed Comput.	2003	DBLP DOI BibTeX RDF	Incremental modeling, Formal specification, Aspects, Action systems, Superposition, TLA
30	Bhavana Thudi, David T. Blaauw	Non-iterative switching window computation for delay-noise.	DAC	2003	DBLP DOI BibTeX RDF	cross-talk noise, switching window, superposition
30	Harald Ganzinger, Viorica Sofronie-Stokkermans	Chaining Techniques for Automated Theorem Proving in Many-Valued Logics.	ISMVL	2000	DBLP DOI BibTeX RDF	chaining calculi, resolution, many-valued logic, automated theorem proving, superposition
30	John M. Silkaitis, Hua Lee	Spectral segmentation and multiple frequency-band tomographic backward propagation technique for high-resolution sonar imaging.	ICIP	1995	DBLP DOI BibTeX RDF	sonar imaging, acoustic tomography, acoustic holography, acoustic wave propagation, spectral segmentation, multiple frequency band, tomographic backward propagation, high resolution sonar imaging, received array time data, plane waves superposition, wavelengths, received plane waves, holographic reconstructions, phase shift beamforming algorithm, performance, image segmentation, image reconstruction, bandwidth, spectral analysis, image resolution, array signal processing, image space, tomographic image reconstruction
30	M. Ryu, Michitaka Kameyama	Design of a Highly Parallel Multiple-Valued Linear Digital System for k-Ary Operations Based on Extended Representation Matrices.	ISMVL	1995	DBLP DOI BibTeX RDF	highly parallel multiple-valued linear digital system, k-ary operations, extended representation matrices, minimum critical path delay, unary operations, sparse representation matrices, output digit, decomposed unary operations, delays, multivalued logic circuits, sparseness, superposition, code assignment, signal representation
30	K. Raghunath Rao, Jezekiel Ben-Arie	Optimal Edge Detection using Expansion Matching and Restoration.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	optimal edge detection, expansion matching, discriminative signal-to-noise ratio, matching criterion, robust template recognition, off-center filter response, step expansion filter, adverse noise conditions, synthetic binary image, input noise range, structural details, multiple response suppression, roof/ramp edge detection, edge detection, filters, noise, image restoration, image restoration, image matching, occlusion, boundary detection, superposition, figures of merit, Canny edge detector, design parameters
30	Petros Maragos	A Representation Theory for Morphological Image and Signal Processing.	IEEE Trans. Pattern Anal. Mach. Intell.	1989	DBLP DOI BibTeX RDF	morphological image, signal transformations, set mappings, semicontinuous system, minimal nonlinear superposition, order-statistic filters, shape recognition transforms, pattern recognition, picture processing, picture processing, signal processing, signal processing, shape analysis, set theory, set theory, morphological filters, linear filters, geometrical structure, representation theory
27	Matthias Horbach, Christoph Weidenbach	Decidability Results for Saturation-Based Model Building.	CADE	2009	DBLP DOI BibTeX RDF
27	Lei Xiao, Thomas E. Fuja, Jörg Kliewer, Daniel J. Costello Jr.	A Network Coding Approach to Cooperative Diversity.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
27	Zhiguo Ding 0001, Tharmalingam Ratnarajah, Colin Cowan	On the Diversity-Multiplexing Tradeoff for Wireless Cooperative Multiple Access Systems.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
27	Xiaohu Shang, Biao Chen 0001, Michael J. Gans	On the Achievable Sum Rate for MIMO Interference Channels.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
27	Harald Ganzinger, Viorica Sofronie-Stokkermans, Uwe Waldmann	Modular Proof Systems for Partial Functions with Weak Equality.	IJCAR	2004	DBLP DOI BibTeX RDF
27	Leo Bachmair, Harald Ganzinger	On Restrictions of Ordered Paramodulation with Simplification.	CADE	1990	DBLP DOI BibTeX RDF
27	Adil Baykasoglu, Sener Akpinar	Enhanced superposition determination for weighted superposition attraction algorithm.	Soft Comput.	2020	DBLP DOI BibTeX RDF
27	Guillaume Bury	Integrating rewriting, tableau and superposition into SMT. (Intégrer la réecriture, la méthode des tableaux et la superposition dans les solveurs SMT).		2019	RDF
27	Daniel Wand	Superposition: Types and Induction. (Superposition : types et induction).		2017	RDF
27	Marco Solieri	Sharing, Superposition and Expansion: Geometrical Studies on the Semantics and Implementation of λ-calculi and Proof-nets. (Partage, superposition et développement : Études géométriques sur la sémantique et l'implémentation de lambda calculs et de réseaux de preuves / Condivisione, sovrapposizione e sviluppo: Studi geometrici sulla semantica e l'implementazione di lambda-calcoli e reti di dimostrazioni).		2016	RDF
27	Simon Cruanes	Extending Superposition with Integer Arithmetic, Structural Induction, and Beyond. (Extensions de la Superposition pour l'Arithmétique Linéaire Entière, l'Induction Structurelle, et bien plus encore).		2015	RDF
27	Mingsheng Ying, Nengkun Yu, Yuan Feng 0001	Alternation in Quantum Programming: From Superposition of Data to Superposition of Programs.	CoRR	2014	DBLP BibTeX RDF
27	Abdelkader Kersani	Preuves par induction dans le calcul de superposition. (Induction proof in superposition calculus).		2014	RDF
27	Emanuel Gluskin	An approximate analytical (structural) superposition in terms of two, or more, "alfa"-circuits of the same topology: Pt.1 - description of the superposition	CoRR	2010	DBLP BibTeX RDF
27	Pierre-Emmanuel Leni	Nouvelles méthodes de traitement de signaux multidimensionnels par décomposition suivant le théorème de Superposition de Kolmogorov. (Novel processing methods for multidimensional signals using decompositions by the Kolmogorov superposition theorem).		2010	RDF
27	Marianne Breinig	Superposition Principle (Coherent and Incoherent Superposition).	Compendium of Quantum Physics	2009	DBLP DOI BibTeX RDF
23	Li Ping 0001, Jun Tong, Xiaojun Yuan 0002, Qinghua Guo 0001	Superposition coded modulation and iterative linear MMSE detection.	IEEE J. Sel. Areas Commun.	2009	DBLP DOI BibTeX RDF
23	Alessandro Borri, Tiziana Calamoneri, Rossella Petreschi	Recognition of Unigraphs through Superposition of Graphs (Extended Abstract).	WALCOM	2009	DBLP DOI BibTeX RDF
23	Peter Baumgartner 0001, Uwe Waldmann	Superposition and Model Evolution Combined.	CADE	2009	DBLP DOI BibTeX RDF
23	Pierre-Emmanuel Leni, Yohan D. Fougerolle, Frédéric Truchetet	Kolmogorov Superposition Theorem and Wavelet Decomposition for Image Compression.	ACIVS	2009	DBLP DOI BibTeX RDF
23	Norbert Dumas, Zhou Xu, Kostas Georgopoulos, R. John T. Bunyan, Andrew Richardson 0001	Online Testing of MEMS Based on Encoded Stimulus Superposition.	J. Electron. Test.	2008	DBLP DOI BibTeX RDF	Correlation, Online testing, Covariance, Pseudo-random sequence, MEMS testing
23	Patrick Marsch, Gerhard P. Fettweis	On backhaul-constrained multi-cell cooperative detection based on superposition coding.	PIMRC	2008	DBLP DOI BibTeX RDF
23	Tao Yang 0004, Jinhong Yuan	Performance of Cooperative Spatial-Interleaved Superposition Modulation in Fading Multiple-Access Channels.	ICC	2008	DBLP DOI BibTeX RDF
23	Konstantin Korovin, Andrei Voronkov	Integrating Linear Arithmetic into Superposition Calculus.	CSL	2007	DBLP DOI BibTeX RDF
23	Amir Bennatan, David Burshtein, Giuseppe Caire, Shlomo Shamai	Superposition coding for side-information channels.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
23	Yanghai Tsin, Sing Bing Kang, Richard Szeliski	Stereo Matching with Linear Superposition of Layers.	IEEE Trans. Pattern Anal. Mach. Intell.	2006	DBLP DOI BibTeX RDF	reflection, transparency, Stereo matching, plane sweep, layer extraction
23	Jun Xu 0004, Lei Chen 0008, Lingqi Zeng, Lan Lan 0005, Shu Lin 0001	Construction of low-density parity-check codes by superposition.	IEEE Trans. Commun.	2005	DBLP DOI BibTeX RDF
23	Vladimir Aleksic, Anatoli Degtyarev	Regular Derivations in Basic Superposition-Based Calculi.	LPAR	2005	DBLP DOI BibTeX RDF
23	Thomas W. Sun, Richard D. Wesel, Mark R. Shane, Keith Jarett	Superposition turbo TCM for multirate broadcast.	IEEE Trans. Commun.	2004	DBLP DOI BibTeX RDF
23	Harald Ganzinger, Thomas Hillenbrand, Uwe Waldmann	Superposition Modulo a Shostak Theory.	CADE	2003	DBLP DOI BibTeX RDF
23	Boris Igelnik	Use of the Kolmogorov's Superposition Theorem and Cubic Splines for Efficient Neural-Network Modeling.	KES	2003	DBLP DOI BibTeX RDF
23	Frédéric Loulergue	Parallel Superposition for Bulk Synchronous Parallel ML.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF	functional programming, cost model, divide-and-conquer, bulk synchronous parallelism
23	Martin Giese	A Model Generation Style Completeness Proof for Constraint Tableaux with Superposition.	TABLEAUX	2002	DBLP DOI BibTeX RDF
23	Uwe Waldmann	Superposition and Chaining for Totally Ordered Divisible Abelian Groups.	IJCAR	2001	DBLP DOI BibTeX RDF
23	Jürgen Stuber	Deriving Theory Superposition Calculi from Convergent Term Rewriting Systems.	RTA	2000	DBLP DOI BibTeX RDF
23	Uwe Waldmann	Cancellative Superposition Decides the Theory of Divisible Torsion-Free Abelian Groups.	LPAR	1999	DBLP DOI BibTeX RDF
23	Uwe Waldmann	Superposition for Divisible Torsion-Free Abelian Groups.	CADE	1998	DBLP DOI BibTeX RDF
23	Dan Picker, Ronald D. Fellman	Successive Superposition: A Technique for the Exact Modeling of Deterministic Packet Queuing Networks.	IEEE Trans. Parallel Distributed Syst.	1996	DBLP DOI BibTeX RDF	packet multiplexing, packet queuing networks, rate monotonic scheduling algorithm, Asynchronous transfer mode, multiprocessor scheduling, interprocessor communication, signal flow graphs
23	Manuela Nees	Chebyshev approximation by discrete superposition. Application to neural networks.	Adv. Comput. Math.	1996	DBLP DOI BibTeX RDF	AMS (MOS) subject classification 26B40, 41A63, 65D15
23	Hanoch Levy, Robert J. T. Morris	Exact Analysis of Bernoulli Superposition of Streams Into a Least Recently Used Cache.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	database buffer management, memory hierarchy, cache memory, buffer management, Memory systems, least recently used
23	Robert J. T. Morris	Analysis of Superposition of Streams into a Cache Buffer.	SIGMETRICS	1993	DBLP DOI BibTeX RDF
23	Leo Bachmair, Harald Ganzinger	Non-Clausal Resolution and Superposition with Selection and Redundancy Criteria.	LPAR	1992	DBLP DOI BibTeX RDF
23	Leo Bachmair, Harald Ganzinger, Christopher Lynch, Wayne Snyder	Basic Paramodulation and Superposition.	CADE	1992	DBLP DOI BibTeX RDF
21	Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz 0001	New results on rewrite-based satisfiability procedures.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	combination of theories, satisfiability modulo a theory, scalability, inference, termination, Automated reasoning, decision procedures, rewriting, superposition
21	Yuval Inbar, Dina Schneidman-Duhovny, Oranit Dror, Ruth Nussinov, Haim J. Wolfson	Deterministic Pharmacophore Detection Via Multiple Flexible Alignment of Drug-Like Molecules.	RECOMB	2007	DBLP DOI BibTeX RDF	Computer-Aided Drug Design (CADD), Rational Drug Discovery, 3D Molecular Similarity, 3D Molecular Superposition
21	Mert Sedef, Evren Samur, Cagatay Basdogan	Real-Time Finite-Element Simulation of Linear Viscoelastic Tissue Behavior Based on Experimental Data.	IEEE Computer Graphics and Applications	2006	DBLP DOI BibTeX RDF	tissue characterization, haptic feedback, surgical simulation, finite-element modeling, precomputation, superposition, viscoelasticity
21	Graham Steel, Alan Bundy	Attacking Group Protocols by Refuting Incorrect Inductive Conjectures.	J. Autom. Reason.	2006	DBLP DOI BibTeX RDF	cryptographic security protocols, counterexamples, superposition
21	Eric-Wubbo Lameijer, Thomas Bäck, Joost N. Kok, Adriaan P. IJzerman	Evolutionary Algorithms in Drug Design.	Nat. Comput.	2005	DBLP DOI BibTeX RDF	conformational analysis, de novo design, library design, ligand docking, molecule superposition, quantitative structure-activity relationships, genetic algorithms, evolutionary algorithms, drug design
21	Silvio Ghilardi	Model-Theoretic Methods in Combined Constraint Satisfiability.	J. Autom. Reason.	2004	DBLP DOI BibTeX RDF	Nelson-Oppen procedure, superposition calculus, model completions, fusion, combination, quantifier elimination
21	Chih-fan Hsin, Mingyan Liu	Network coverage using low duty-cycled sensors: random & coordinated sleep algorithms.	IPSN	2004	DBLP DOI BibTeX RDF	superposition of alternating renewal processes, sensor networks, energy efficiency, coverage