|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7442 occurrences of 4281 keywords
|
|
|
Results
Found 11346 publication records. Showing 11346 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
63 | Matthew Worsman, Mike W. T. Wong, Yim-Shu Lee |
Analog circuit equivalent faults in the D.C. domain. |
Asian Test Symposium |
2000 |
DBLP DOI BibTeX RDF |
analog circuit faults, fault simulation data, equivalent faults, equivalent fault identification, built-in self test, design for testability, data analysis, fault simulation, fault location, fault location, analogue circuits, linear analog circuits |
49 | Zhenyu Wu, Richard M. Leahy |
An Optimal Graph Theoretic Approach to Data Clustering: Theory and Its Application to Image Segmentation. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1993 |
DBLP DOI BibTeX RDF |
optimal graph theoretic approach, undirected adjacency graph, arc capacities, mutually exclusive subgraphs, largest inter-subgraph maximum flow minimization, flow and cut equivalent tree partitioning, subgraph condensation, partially equivalent tree, region boundary location, closed edge contours, pattern recognition, image segmentation, image segmentation, graph theory, data clustering, minimax techniques |
48 | Bala Krushna Tripathy, Anirban Mitra, Jaladhar Ojha |
On Rough Equalities and Rough Equivalences of Sets. |
RSCTC |
2008 |
DBLP DOI BibTeX RDF |
bottom R-equal, top R-equal, R-equal, bottom R-equivalent, top R-equivalent and R-equivalent |
48 | George Voutsadakis |
Categorical Abstract Algebraic Logic: Algebraizable Institutions. |
Appl. Categorical Struct. |
2002 |
DBLP DOI BibTeX RDF |
equivalent deductive systems, equivalent institutions, algebraic institutions, equivalent categories, algebraizable institutions, clone algebras, substitution algebras, polyadic algebras, diagram-based logics, first-order logic, monads, institutions, equational logic, algebraic logic, algebraizable logics, adjunctions, algebraic theories, cylindric algebras, triples |
46 | Dewei Li 0001, Yugeng Xi 0001 |
Quality guaranteed aggregation based model predictive control and stability analysis. |
Sci. China Ser. F Inf. Sci. |
2009 |
DBLP DOI BibTeX RDF |
equivalent aggregation, quasi-equivalent, model predictive control |
43 | Wei-Chih Chen, Jyh-Horng Jeng |
A Search of WOSF Equivalent Classes up to Order 5. |
ICSAP |
2009 |
DBLP DOI BibTeX RDF |
WOSF, BF equivalent class, global equivalent class, base vector, hyperplane |
37 | Zhentai Lu, Minghui Zhang, Qianjin Feng, Pengcheng Shi, Wufan Chen |
Medical Image Registration Based on Equivalent Meridian Plane. |
ICIAR |
2007 |
DBLP DOI BibTeX RDF |
equivalent meridian plane, principal component analysis, image registration, mutual information |
35 | Hong Helena Zheng, Ashok Balivada, Jacob A. Abraham |
A novel test generation approach for parametric faults in linear analog circuits . |
VTS |
1996 |
DBLP DOI BibTeX RDF |
digital test software, time-domain tests, equivalent digital circuit, digital test vectors, test waveform, VLSI, test generation, integrated circuit testing, fault location, stuck-at faults, analogue integrated circuits, parametric faults, linear analog circuits, time-domain analysis, equivalent circuits, analogue processing circuits |
35 | Manoj Franklin |
Fast computation of C-MISR signatures. |
Asian Test Symposium |
1995 |
DBLP DOI BibTeX RDF |
C-MISR signatures, built-in self-test applications, good circuit signature, faulty circuit signatures, cellular automata-based multi-input signature registers, equivalent single input circuit, VLSI, logic testing, built-in self test, cellular automata, integrated circuit testing, sequential circuits, shift registers, test responses, signature analyzers, equivalent circuits |
35 | Chung-Len Lee, Horng Nan Chern, Min Shung Liao, Hui Min Wang |
On Designing of 4-Valued Memory with Double-Gate TFT. |
ISMVL |
1995 |
DBLP DOI BibTeX RDF |
thin film transistors, 4-valued memory, double-gate TFT, 4 valued memory cell, double gate thin film transistor, double gate TFT, HSPICE simulation, resistor load, CMOS load basic block circuit, memory cell circuits, SRAM cell circuit, memory architecture, integrated circuit design, multivalued logic, SPICE, circuit design, multivalued logic circuits, SRAM chips, CMOS memory circuits, equivalent circuits, equivalent circuit |
33 | Cody L. Moser, Oubeidillah Aziz, Glenn A. Tootle, Venkat Lakshmi, Greg Kerr |
A comparison of SNOTEL and AMSR-E snow water equivalent datasets in western U.S. watersheds. |
KDD Workshop on Knowledge Discovery from Sensor Data |
2009 |
DBLP DOI BibTeX RDF |
AMSR-E, SNOTEL, SWE, equivalent, water, snow |
33 | Qingshu Meng, Huanguo Zhang, Min Yang 0001, Zhang-yi Wang |
Analysis of affinely equivalent Boolean functions. |
Sci. China Ser. F Inf. Sci. |
2007 |
DBLP DOI BibTeX RDF |
affinely equivalent, Boolean functions, invariant, Reed-Muller code |
33 | Yuh-Ming Huang, Sheng-Chi Wu |
Shortest Synchronizing Codewords of A Binary Huffman Equivalent Code. |
ITCC |
2003 |
DBLP DOI BibTeX RDF |
Huffman equivalent code, Synchronous code, Synchronizing Codeword, Huffman code, Variable-length code |
32 | George Voutsadakis |
Categorical Abstract Algebraic Logic: (J, N)-Algebraic Systems. |
Appl. Categorical Struct. |
2005 |
DBLP DOI BibTeX RDF |
equivalent deductive systems, algebraizable deductive systems, equivalent institutions, algebraizable institutions, Leibniz congruence, Tarski congruence, algebraizable sentential logics, algebras, institutions, adjunctions, abstract algebraic logic, deductive systems |
32 | George Voutsadakis |
Categorical abstract algebraic logic categorical algebraization of first-order logic without terms. |
Arch. Math. Log. |
2005 |
DBLP DOI BibTeX RDF |
Equivalent deductive systems, Equivalent institutions, Algebraizable institutions, Polyadic algebras, First-order logic, Monads, Institutions, Algebraic logic, Algebraizable logics, Adjunctions, Algebraic theories, Cylindric algebras, Triples |
30 | Owe Axelsson, János Karátson |
Equivalent operator preconditioning for elliptic problems. |
Numer. Algorithms |
2009 |
DBLP DOI BibTeX RDF |
Equivalent operators, Compact operators, Preconditioning, Conjugate gradient method, Elliptic problem |
30 | Kishore Kumar Muchherla, Pinhong Chen, Dongsheng Ma, Janet Meiling Wang |
A noniterative equivalent waveform model for timing analysis in presence of crosstalk. |
ACM Trans. Design Autom. Electr. Syst. |
2008 |
DBLP DOI BibTeX RDF |
equivalent waveform, delay, noise, timing analysis, Deep sub micron |
30 | Xi-Shun Zhao, Yu-Ping Shen |
Comparison of Semantics of Disjunctive Logic Programs Based on Model-Equivalent Reduction. |
J. Comput. Sci. Technol. |
2007 |
DBLP DOI BibTeX RDF |
polynomial-time model-equivalent reduction, semantics, quantified Boolean formula, disjunctive logic program |
30 | Matthew Worsman, Mike W. T. Wong, Yim-Shu Lee |
Enhancing The Static D. C. Fault Diagnosis Of A Resistance Temperature Detector Sensor Circuit Using Equivalent Fault Analysis. |
DELTA |
2002 |
DBLP DOI BibTeX RDF |
equivalent faults, fault diagnosis, Analog testing |
30 | Nelson L. S. da Fonseca, Gilberto S. Mayor, Cesar A. V. Neto |
On the equivalent bandwidth of self-similar sources. |
ACM Trans. Model. Comput. Simul. |
2000 |
DBLP DOI BibTeX RDF |
envelope process, equivalent bandwidth, statistical multiplexing, self-similar traffic, policing, leaky bucket |
30 | Christopher Umans |
The Minimum Equivalent DNF Problem and Shortest Implicants. |
FOCS |
1998 |
DBLP DOI BibTeX RDF |
minimum equivalent DNF, shortest implicant, complexity of approximation, computational complexity, logic minimization, polynomial hierarchy |
28 | Jianguo Lu, Minghao Li, John Mylopoulos, Kenneth Cheung |
Complete and Equivalent Query Rewriting Using Views. |
APWeb/WAIM |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Cengiz Kahraman, Ihsan Kaya |
Fuzzy Equivalent Annual-Worth Analysis and Applications. |
Fuzzy Engineering Economics with Applications |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Ali Saman Tosun |
Equivalent disk allocations. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
parallel I/O, range query, number theory, declustering |
27 | Mohsen Zafarani, Mehdi Moallem, Ahmadreza Tabesh |
Analytical Model for a Transverse Flux Permanent Magnet Machine Using Improved Magnetic Equivalent Circuit Approach. |
ICSEng |
2011 |
DBLP DOI BibTeX RDF |
Magnetic Equivalent circuit, Permanent Magnet Synchronous Machine, Transverse Flux Machine |
27 | Xingtong Liu, Quan Zhang, Chaojing Tang, Jingjing Zhao, Jian Liu |
A Steganographic Algorithm for Hiding Data in PDF Files Based on Equivalent Transformation. |
ISIP |
2008 |
DBLP DOI BibTeX RDF |
steganographic algorithm, equivalent transformation, information hiding, PDF |
27 | Adam Stubblefield, John Ioannidis, Aviel D. Rubin |
A key recovery attack on the 802.11b wired equivalent privacy protocol (WEP). |
ACM Trans. Inf. Syst. Secur. |
2004 |
DBLP DOI BibTeX RDF |
wired equivalent privacy, Wireless security |
26 | Quoc Trung Tran, Chee-Yong Chan, Srinivasan Parthasarathy 0001 |
Query by output. |
SIGMOD Conference |
2009 |
DBLP DOI BibTeX RDF |
at-least-one semantics, instance-equivalent queries, query by output |
26 | Antonio Carzaniga, Alessandra Gorla, Mauro Pezzè |
Healing Web applications through automatic workarounds. |
Int. J. Softw. Tools Technol. Transf. |
2008 |
DBLP DOI BibTeX RDF |
Equivalent sequences, Automatic workarounds, Autonomic computing, Self-healing, Fault recovery |
26 | Matthew Worsman, Mike W. T. Wong, Yim-Shu Lee |
A Pre-Simulation Measure of D.C. Design-for-Testability Fault Diagnosis Quality. |
ISQED |
2000 |
DBLP DOI BibTeX RDF |
Equivalent faults, One-port circuits, Fault diagnosis, Design for testability, Fault collapsing |
26 | Peter L. Hammer, Alexander Kogan |
Essential and redundant rules in Horn knowledge bases. |
HICSS (3) |
1995 |
DBLP DOI BibTeX RDF |
redundant rules, essential rules, Horn knowledge bases, logically equivalent transformations, irredundant prime knowledge base, future simplifications, combinatorial characterizations, computational recognition procedures, essentiality, knowledge based systems, redundancy, redundancy, production rule, Horn clauses, combinatorial mathematics |
26 | Daniel Troy, Clement T. Yu, Weining Zhang |
Linearization of Nonlinear Recursive Rules. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
nonlinear recursive rules, nonlinear recursive logic query, doubly recursive rule, type, linearization, equivalent, recursive functions, necessary and sufficient condition |
24 | K. Rustan M. Leino, Peter Müller 0001 |
Verification of Equivalent-Results Methods. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Woonki Na, Bei Gou |
A thermal equivalent circuit for PEM fuel cell temperature control design. |
ISCAS |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Yung Yi, Supratim Deb, Sanjay Shakkottai |
Time-scale decomposition and equivalent rate-based marking. |
IEEE/ACM Trans. Netw. |
2006 |
DBLP DOI BibTeX RDF |
marking functions, time-scale decomposition, internet congestion control |
24 | 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 |
|
24 | Masanori Hashimoto, Yuji Yamada, Hidetoshi Onodera |
Equivalent waveform propagation for static timing analysis. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Peter Sollich, Christopher K. I. Williams |
Understanding Gaussian Process Regression Using the Equivalent Kernel. |
Deterministic and Statistical Methods in Machine Learning |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi |
A Theoretical Foundation of Program Synthesis by Equivalent Transformation. |
Ershov Memorial Conference |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Christoph Maier, Markus Emmenegger, Stefano Taschini, Henry Baltes, Jan G. Korvink |
Equivalent circuit model of resistive IC sensors derived with the box integration method. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1999 |
DBLP DOI BibTeX RDF |
|
24 | Hsiao-Feng Steven Chen, D. T. Lee |
A faster algorithm for rubber-band equivalent transformation for planar VLSI layouts. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Haiyan Che, Wei Chen, Tie Feng, Jiachen Zhang |
A Property Restriction Based Knowledge Merging Method. |
WISM |
2009 |
DBLP DOI BibTeX RDF |
knowledge merging, property restriction based, equivalent instances recognition, ontology, Semantic Web |
23 | Jun Xie, Feng Li, Keming Xie, Xinying Xu |
Intelligent Failure Diagnosis Algorithm Based on Binary Granule Neural Network. |
RSKT |
2009 |
DBLP DOI BibTeX RDF |
equivalent granule, binary granule neural network, Granular computing, failure diagnosis |
23 | Ali Davoudi, Patrick L. Chapman |
A general framework for automated physics-based reduced-order modeling of electromechanical systems. |
SCSC |
2007 |
DBLP BibTeX RDF |
electromechanical systems, magnetic equivalent circuit, finite element model, model-order reduction, power electronics |
23 | Tsung-Lin Lee, Chun-Yao Wang |
Recognition of Fanout-free Functions. |
ASP-DAC |
2007 |
DBLP DOI BibTeX RDF |
state of the art method, fanout free functions, equivalent function, Boolean function, factoring, logic minimization |
23 | Innho Jee |
Optimum Design of Vector-Quantized Subband Codecs. |
ICIP (2) |
1997 |
DBLP DOI BibTeX RDF |
vector-quantized subband codecs, mean squared reconstruction error, MSE measure, equivalent quantization model, optimum FIR filter coefficients, input signal correlation model, 4-tap filter paraunitary filter bank structure, dyadic subband filter banks, image coding, image compression, vector quantization, Monte Carlo simulation, optimum design, low bit rate coding, subband coding |
23 | William L. Bradley, Ranga Vemuri |
Transformations for functional verification of synthesized designs. |
VLSI Design |
1995 |
DBLP DOI BibTeX RDF |
low-level functional verification, synthesized designs, clocking mechanisms, provably equivalent model, hierarchical network of modules, reduced state set, de-phase transform, align transform, algorithm, formal verification, transforms, transforms, logic CAD, clocks, hierarchical system, reachable states |
23 | Yao Li 0001, C. Murray Woodside |
Iterative Decomposition and Aggregation of Stochastic Marked Graph Petri Nets. |
Applications and Theory of Petri Nets |
1991 |
DBLP DOI BibTeX RDF |
(Generalized) Stochastic Petri nets, PN reduction and delay equivalent aggregation, Markov chain, marked graph |
23 | Mohammad A. Ketabchi, Valdis Berzins |
Mathematical Model of Composite Objects and Its Application for Organizing Engineering Databases. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
database partitioning, clustering concept, component aggregation, equivalent objects, minterms, stored views, design data, frequent access patterns, data structures, relational database, relational databases, CAD, database theory, Boolean algebra, assemblies, equivalence classes, composite objects, engineering databases |
21 | Jaeseong Jeong, Namhun Koo, Soonhak Kwon |
On the Functions Which are CCZ-equivalent but not EA-equivalent to Quadratic Functions over Fpn. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Takeshi Kato |
Wealth Redistribution and Mutual Aid: Comparison Using Equivalent/Non-Equivalent Exchange Models of Econophysics. |
Entropy |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Kyunghwan Choi, Jihye Byun, Sangmin Lee, In Gwun Jang |
Adaptive Equivalent Consumption Minimization Strategy (A-ECMS) for the HEVs With a Near-Optimal Equivalent Factor Considering Driving Conditions. |
IEEE Trans. Veh. Technol. |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Xi Chen 0013, Longjiang Qu, Shaojing Fu, Chao Li 0002 |
The number of affine equivalent classes and extended affine equivalent classes of vectorial Boolean functions. |
Discret. Appl. Math. |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Olena Ivanova, Oleksandr Drozd, Kostiantyn Zashcholkin, Yulian Sulima |
Combined Use of Equivalent and Non-Equivalent Transformations of FPGA Program Code to Embedding Additional Security Data. |
EWDTS |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Sahar Badihi, Yi Li 0008, Julia Rubin |
EqBench: A Dataset of Equivalent and Non-equivalent Program Pairs. |
MSR |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Jie Li 0028, Yonggang Liu, Datong Qin, Guang Li 0002, Zheng Chen 0008 |
Research on Equivalent Factor Boundary of Equivalent Consumption Minimization Strategy for PHEVs. |
IEEE Trans. Veh. Technol. |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Yu Yan, Qi Li 0007, Weirong Chen, Wenqiang Huang, Jiawei Liu |
Hierarchical Management Control Based on Equivalent Fitting Circle and Equivalent Energy Consumption Method for Multiple Fuel Cells Hybrid Power System. |
IEEE Trans. Ind. Electron. |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Utkarsh Mahadeo Khaire, R. Dhanalakshmi 0001 |
Searching for multiple equivalent predictors from oral squamous cell carcinoma dataset using statistically equivalent signature algorithm. |
Int. J. Math. Oper. Res. |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Hang Meng, Xiaohui Ye, Mingyu Yang, Xinli Song, Zhida Su, Wenzhuo Liu, Lingtong Luo, Huiying Zhao |
Equivalent modeling and simulation for PV system on dynamic clustering equivalent strategy. |
IECON |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Silvano Chialina, Matteo Cicuttin, Lorenzo Codecasa, Giovanni Solari, Ruben Specogna, Francesco Trevisan |
Modeling of anechoich chambers with equivalent materials and equivalent sources. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
21 | Florica Balog, Horia Ciocarlie, Marius Babescu, Gheza-Mihai Erdodi |
Equivalent Speed and Equivalent Power of the Wind Systems that Works at Variable Wind Speed. |
SOFA (2) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Don H. Johnson |
Origins of the equivalent circuit concept: the voltage-source equivalent. |
Proc. IEEE |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Don H. Johnson |
Origins of the equivalent circuit concept: the current-source equivalent. |
Proc. IEEE |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Michael Compton |
Finding Equivalent Rewritings with Exact Views. |
ICDE |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Shuzhi Sam Ge, Yaozhang Pan, Qun Zhang, Lei Chen |
Equivalent Relationship of Feedforward Neural Networks and Real-Time Face Detection System. |
FIRA |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Aydin Sezgin, Tobias J. Oechtering |
Complete Characterization of the Equivalent MIMO Channel for Quasi-Orthogonal Space-Time Codes. |
IEEE Trans. Inf. Theory |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Praveen Jayachandran, Tarek F. Abdelzaher |
Transforming Distributed Acyclic Systems into Equivalent Uniprocessors under Preemptive and Non-Preemptive Scheduling. |
ECRTS |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Sonia Chernova, Manuela M. Veloso |
Learning equivalent action choices from demonstration. |
IROS |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Fan Yang 0001, Xuan Zeng 0001, Yangfeng Su, Dian Zhou |
RLCSYN: RLC Equivalent Circuit Synthesis for Structure-Preserved Reduced-order Model of Interconnect. |
ISCAS |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Jürgen Krämer, Yin Yang 0001, Michael Cammert, Bernhard Seeger, Dimitris Papadias |
Dynamic Plan Migration for Snapshot-Equivalent Continuous Queries in Data Stream Systems. |
EDBT Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
21 | R. E. Hodel |
Restricted versions of the Tukey-Teichmüller theorem that are equivalent to the Boolean prime ideal theorem. |
Arch. Math. Log. |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Roberto Accorsi, Scott D. Metzler |
Analytic determination of the resolution-equivalent effective diameter of a pinhole collimator. |
IEEE Trans. Medical Imaging |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Masanori Hashimoto, Yuji Yamada, Hidetoshi Onodera |
Equivalent Waveform Propagation for Static Timing Analysis. |
ICCAD |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Rimma I. Podlovchenko |
Equivalent Transformations of Program Schemes for "Entangling" Programs. |
Program. Comput. Softw. |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi |
Equivalent Transformation by Safe Extension of Data Structures. |
Ershov Memorial Conference |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Joseph D. Horton |
Counting the Number of Equivalent Binary Resolution Proofs. |
LPAR |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Eric Allender, David A. Mix Barrington, Tanmoy Chakraborty 0001, Samir Datta, Sambuddha Roy |
Planar and Grid Graph Reachability Problems. |
Theory Comput. Syst. |
2009 |
DBLP DOI BibTeX RDF |
Logspace, Algorithms, Planar graphs, Reachability, Complexity theory, Circuit complexity, Grid graphs |
21 | Zhibin Tan |
An equivalence based approach to dealing with uncertainty in maximum likelihood estimation. |
IRI |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Réka Albert, Bhaskar DasGupta, Riccardo Dondi, Eduardo D. Sontag |
Inferring (Biological) Signal Transduction Networks via Transitive Reductions of Directed Graphs. |
Algorithmica |
2008 |
DBLP DOI BibTeX RDF |
Transitive reduction of directed graphs, Minimum equivalent digraph, (Biological) signal transduction networks, Approximation algorithms |
19 | Klaus Ambos-Spies, Serikzhan A. Badaev, Sergey Goncharov 0002 |
On a Question of Frank Stephan. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
computable family of sets, TxtEX learning, equivalent numberings |
19 | Zan Huang, Akhil Kumar 0001 |
New Quality Metrics for Evaluating Process Models. |
Business Process Management Workshops |
2008 |
DBLP DOI BibTeX RDF |
process logs, block structured models, badness score, equivalent models, self-loops, optional tasks, noisy log, Petri-nets, Process mining, quality-metric |
19 | Calin Ciufudean, Constantin Filote, Dumitru Amarandei |
Control Charts of Workflows. |
ICDM |
2008 |
DBLP DOI BibTeX RDF |
Equivalent Transfer Functions, Control Charts of Workflows, Stochastic Petri Nets, Artificial Social Systems |
19 | Farong Gao, Caihua Xiong, Youlun Xiong |
Mechanical Damage Evaluation of Living Tissue in Vascular Therapy. |
ICIRA (1) |
2008 |
DBLP DOI BibTeX RDF |
Vascular Injury, Equivalent Strain, Damage Function, Clinical Treatment, Medical Equipment |
19 | Arif Ali Rehman, Abid Karim, Shakeel Ahmed Khoja |
Blocking Probabilities in WDM Switching Networks Using Overflow Analysis Method. |
IMTIC |
2008 |
DBLP DOI BibTeX RDF |
WDM switching networks, Equivalent Random Theory (ERT) |
19 | Tsutomu Gomi, Kichirou Koshida, Tosiaki Miyati, Jun Miyagawa, Hiroshi Hirano |
An Experimental Comparison of Flat-Panel Detector Performance for Direct and Indirect Systems (Initial Experiences and Physical Evaluation). |
J. Digit. Imaging |
2006 |
DBLP DOI BibTeX RDF |
Flat-panel detector, modulation transfer function (MTF), Wiener spectrum (WS), noise equivalent quanta (NEQ), image quality |
19 | Doug L. James, Jernej Barbic, Dinesh K. Pai |
Precomputed acoustic transfer: output-sensitive, accurate sound generation for geometrically complex vibration sources. |
ACM Trans. Graph. |
2006 |
DBLP DOI BibTeX RDF |
Helmholtz, Trefftz, acoustic radiation, equivalent sources, modal vibration, source simulation, boundary element method, sound synthesis, multipole |
19 | Xiaohong Wu, Sylviane Cardey, Peter Greenfield |
Some Problems of Prepositional Phrases in Machine Translation. |
FinTAL |
2006 |
DBLP DOI BibTeX RDF |
prepositional phrase attachment (PP attachment), machine translation (MT), controlled language technique, grammatical functions, translation information, equivalent, disambiguation |
19 | Xia Chen 0001, Maria E. Orlowska |
A Further Study on Inverse Frequent Set Mining. |
ADMA |
2005 |
DBLP DOI BibTeX RDF |
Inverse Frequent Set Mining, Privacy Preserving Data Sharing, Equivalent Relation |
19 | Thaere Eido, Viet Hung Nguyen, Tülin Atmaca |
Dynamic Resource Allocation Algorithm for Metropolitan Optical Packet-Switched Ring Networks. |
AICT/SAPIR/ELETE |
2005 |
DBLP DOI BibTeX RDF |
Optical packet-switched ring network, Resource allocation algorithm, Equivalent bandwidth, Optimization heuristic, Performance evaluation, Network simulations |
19 | Sarvesh S. Kulkarni, Galigekere R. Dattatreya |
SMART: Statistically Multiplexed Adaptive Routing Technique for Ad Hoc Networks. |
Wirel. Networks |
2004 |
DBLP DOI BibTeX RDF |
equivalent queuing systems, ad hoc networks, adaptive routing, statistical multiplexing, self-similar traffic, multihop routing |
19 | Rouwaida Kanj, Timothy Lehner, Bhavna Agrawal, Elyse Rosenbaum |
Noise characterization of static CMOS gates. |
DAC |
2004 |
DBLP DOI BibTeX RDF |
circuit-equivalent model, simulation, mathematical model, sensitivity, noise analysis, cell model |
19 | S. P. Chan |
A Robust Control Law with Estimated Perturbation Compensation for Robot Manipulators. |
J. Intell. Robotic Syst. |
2003 |
DBLP DOI BibTeX RDF |
perturbation compensation, equivalent control, robot manipulators, sliding mode, variable structure control |
19 | Giulio Antonini |
Fast Multipole Method for Time Domain PEEC Analysis. |
IEEE Trans. Mob. Comput. |
2003 |
DBLP DOI BibTeX RDF |
PEEC analysis, Numerical methods, equivalent circuits, Fast Multipole Method |
19 | Jun-Weir Lin, Chung-Len Lee 0001, Chauchin Su, Jwu E. Chen |
Fault diagnosis for linear analog circuits. |
Asian Test Symposium |
2000 |
DBLP DOI BibTeX RDF |
discrete signal flow graph, equivalent faults, fault diagnosis, fault diagnosis, signal flow graphs, analogue circuits, linear analog circuits |
19 | Ming-Der Shieh, Hsin-Fu Lo, Ming-Hwa Sheu |
High-speed generation of LFSR signatures. |
Asian Test Symposium |
2000 |
DBLP DOI BibTeX RDF |
high-speed generation, LFSR signatures, compaction simulation, single-input signature register, equivalent multiple-input implementation, finite field theory, high-speed signature computations, lookahead technique, internal-XOR LFSR, external-XOR LFSR, performance evaluation, logic testing, built-in self test, integrated circuit testing, automatic test pattern generation, BIST, linear feedback shift register, binary sequences, subsequences |
19 | John Woodfill, Brian Von Herzen |
Real-time stereo vision on the PARTS reconfigurable computer. |
FCCM |
1997 |
DBLP DOI BibTeX RDF |
powerful scalable reconfigurable computer, PARTS engine, real-time stereo vision, Xilinx 4025 FPGAs, partial torus, concurrent SRAM access, standard PCI card, stereo vision algorithm, stereo disparity computation, RISC-equivalent operations, 1 Mbyte, images, SRAMs, stereo image processing, personal computer, workstation, memory access |
19 | M. Talla, Ahmed K. Elhakeem, Michel Kadoch |
QOS based performance of selective repeat transport user in hybrid ATM/TDMA networks. |
ICCCN |
1997 |
DBLP DOI BibTeX RDF |
QOS based performance, selective repeat transport user, hybrid ATM/TDMA networks, throughput characteristics, delay characteristics, cell-level global congestion control, ATM multiplexer node, packet level control, ATM cell level, Norton equivalent queueing model, transport service characteristic, protocol efficiency, virtual leaky bucket, modified leaky bucket, flow control parameters modulation, quality of service, asynchronous transfer mode, asynchronous transfer mode, video, time division multiple access, data, voice, virtual circuit, queue management, leaky bucket, window size, packet size, cell loss probability |
19 | Yuri Pogudin |
Simulation Of Fine-Grained Parallel Algorithms With The ALT (Animated Language Tools) System. |
DIS-RT |
1997 |
DBLP DOI BibTeX RDF |
fine-grained parallel algorithms simulation, ALT system, Animated Language Tools, textual elements, algorithm behaviour visualization, source representation, functional details, binding covers mechanism, parallel substitution algorithm model, interactive graphic forms, data structure display, source-code functional elements, graphical data objects, equivalent transformations optimization, parallel algorithms, C language, language interface |
19 | M. Miegler, Werner Wolz |
Development of test programs in a virtual test environment. |
VTS |
1996 |
DBLP DOI BibTeX RDF |
test programs development, virtual test environment, quality-assured mixed-signal test programs, standard test description language, VTML, Virtual Test Modelling Language, standardized description models, test system resources, equivalent simulation models, VLSI, integrated circuit testing, design for testability, integrated circuit design, circuit CAD, automatic test software |
19 | Mohamed Soufi, Steve Rochon, Yvon Savaria, Bozena Kaminska |
Design and performance of CMOS TSPC cells for high speed pseudo random testing. |
VTS |
1996 |
DBLP DOI BibTeX RDF |
CMOS TSPC cells, high speed pseudo random testing, built-in self-test scheme, HSpice simulations, functionally equivalent logic block, true single phase clocking, logic testing, built-in self test, integrated circuit testing, logic CAD, layout, circuit analysis computing, clocks, circuit layout CAD, CMOS logic circuits, SPICE, cellular arrays, integrated circuit layout, test methodology, untestable faults, netlists |
Displaying result #1 - #100 of 11346 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|