The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Superposition with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1967-1986 (16) 1987-1990 (17) 1991-1992 (23) 1993-1994 (24) 1995-1996 (33) 1997 (15) 1998 (21) 1999 (22) 2000 (31) 2001 (37) 2002 (41) 2003 (43) 2004 (58) 2005 (56) 2006 (84) 2007 (81) 2008 (107) 2009 (82) 2010 (66) 2011 (63) 2012 (52) 2013 (58) 2014 (61) 2015 (64) 2016 (73) 2017 (84) 2018 (72) 2019 (84) 2020 (90) 2021 (78) 2022 (67) 2023 (72) 2024 (22)
Publication types (Num. hits)
article(873) incollection(5) inproceedings(900) phdthesis(19)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 532 occurrences of 445 keywords

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