Search results for "Condition"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Hakan Yalcin, John P. Hayes	Event propagation conditions in circuit delay computation.	ACM Trans. Design Autom. Electr. Syst.	1997	DBLP DOI BibTeX RDF	delay computation, event propagation, propagation condition, waveform modeling, timing analysis, false path, path sensitization
16	Nawapak Eua-anant, Lalita Udpa	Boundary Extraction Algorithm Based on Particle Motion in a Vector Image Field.	ICIP (2)	1997	DBLP DOI BibTeX RDF	boundary extraction algorithm, particle motion, vector image field, Gaussian weighted image moment vector operator, edge vector field, particle trajectory, close object boundary, multiple object images, noisy condition, single object images, subpixel accuracy, edge detection, force field, vector operations
16	Jiri Matas, Soh Ling Min, Josef Kittler	Object Recognition Using a Tag.	ICIP (1)	1997	DBLP DOI BibTeX RDF	unconstrained condition, complicated background, camera calibration chart, camera position, 3D pose estimation routines, reliability, object recognition, design patterns, tag, 3D reconstruction, illumination, stereo vision, landmark, 3D object recognition, mobile robots navigation, real data
16	Gyung-Leen Park, Behrooz A. Shirazi, Jeff Marquis	DFRN: A New Approach for Duplication Based Scheduling for Distributed Memory Multiprocessor Systems.	IPPS	1997	DBLP DOI BibTeX RDF	DFRN, duplication based scheduling, distributed memory multiprocessor systems, parallel execution time minimization, DBS algorithms, task duplication method, worst case behavior, tree structured input directed acyclic graph, time complexity, distributed memory systems, performance improvement, optimal schedule, boundary condition, multiprocessor scheduling problems
16	SangKeun Lee 0001, Chong-Sun Hwang, Won-Gyu Lee	A unified approach to global concurrency control and global deadlocks in a multidatabase environment.	ICPADS	1997	DBLP DOI BibTeX RDF	unified approach, global concurrency control, global deadlocks, multidatabase environment, multidatabase transaction management, rigid conflict serializability, global serializability, concurrency control, interleavings, sufficient condition, database operations
16	Xiaohua Hu 0001, Nick Cercone	Learning Maximal Generalized Decision Rules via Discretization, Generalization, and Rough Set Feature Selection.	ICTAI	1997	DBLP DOI BibTeX RDF	maximal generalized decision rule learning, rough set feature selection, maximal generalized decision rule mining, primitive values, symbolic attributes, high level concepts, identical tuples, predefined concept hierarchy, context sensitive feature merit measure, redundant condition values, maximal generalized decision rules, UCI data sets, market database, learning accuracy, generalization, deductive databases, rough sets theory, discretization, feature space, numeric attributes, attribute value
16	Robert J. Hilderman, Liangchun Li, Howard J. Hamilton	Data Visualization in the DB-Discover System.	ICTAI	1997	DBLP DOI BibTeX RDF	DB-Discover system, research software tool, attribute oriented induction algorithm, climbing tree, dropping condition methods, multi attribute generalization, data visualization capabilities, databases, knowledge discovery, deductive databases, data visualization, KDD
16	Henry J. Borron	Upscaling the CLOS Inheritance Mechanism for Multidimensional Objects.	TOOLS (25)	1997	DBLP DOI BibTeX RDF	multidimensional objects, qualifier, standard method combination. monotonicity, pure declarativeness, invocation sequence diagram, regularity condition, prevalence rule, stability, efficiency, role, linearization, combination, congruency, multiple inheritance, multiple dispatch
16	Kamel Barkaoui, Rabah Benamara	Towards an efficient probabilistic deadlock detection method for multidatabase systems.	FTDCS	1997	DBLP DOI BibTeX RDF	probabilistic deadlock detection method, local transaction visibility, local systems autonomy, PCG method, mean condition, random graph theory, random deadlock detection, performance, concurrency control, concurrency control, contention, multidatabase systems
16	Bo Kågström, Peter Poromaa	LAPACK-Style Algorithms and Software for Solving the Generalized Sylvester Equation and Estimating the Separation Between Regular Matrix Pairs.	ACM Trans. Math. Softw.	1996	DBLP DOI BibTeX RDF	dif-estimators, generalized Sylvester equation, error bounds, LAPACK, condition numbers, block algorithms
16	Mauricio J. V. Silva, C. Robert Carlson	Modeling Active Object-Oriented Database Application Using Multi-Level Diagrams.	COMPSAC	1996	DBLP DOI BibTeX RDF	active object-oriented database modeling, multilevel diagrams, event driven behavior, time critical reactions, A/OODBMT, Active Object-Oriented Database Modeling Technique, OMT method, nested object model, nested rule model, nested event model, data structures, object-oriented databases, systems analysis, deductive databases, diagrams, behavior model, active databases, object-oriented paradigm, event-condition-action rules, Object Modeling Technique
16	Chih-wen Hsueh, Kwei-Jay Lin	An optimal pinwheel scheduler using the single-number reduction technique.	RTSS	1996	DBLP DOI BibTeX RDF	optimal pinwheel scheduler, single-number reduction technique, real-time system scheduling, temporal distances, consecutive task execution, distance constraints, harmonic values, near-optimal heuristic algorithm, simulation, optimality, performance, real-time systems, schedulability condition
16	Xiaoping Chen, Wei-Tek Tsai, Hai Huang 0011, Mustafa H. Poonawala, Sanjai Rayadurgam, Yamin Wang	Omega - an integrated environment for C++ program maintenance.	ICSM	1996	DBLP DOI BibTeX RDF	C++ program maintenance, object-oriented software-specific techniques, class dependence, message dependence, declaration dependence, hierarchical C++ dependence graph construction algorithms, slicing techniques, class slicing, message slicing, constrained slicing, recursive slicing, variable slicing, condition slicing, programming environments, program slicing, regression testing, source code, integrated environment, Omega, ripple effect analysis, dependence relations
16	Zou Mou-Yan, Rolf Unbehauen	A Weighted Space Restoration Algorithm Using the Aperiodic Model of Deconvolution.	CBMS	1995	DBLP DOI BibTeX RDF	weighted space restoration algorithm, aperiodic matrix deconvolution model, block circulant matrices, unknown blur case, image restoration, medical image processing, matrix algebra, condition number, deconvolution, computational cost reduction
16	Hiroaki Kikuchi, Noboru Takagi, Shohachiro Nakanishi, Masao Mukaidono	Uniqueness of Partially Specified Multiple-Valued Kleenean Function.	ISMVL	1995	DBLP DOI BibTeX RDF	partially specified multiple-valued Kleenean function, logic formula, logical connectives, identification problem, fuzzy logic, multivalued logic, uniqueness, necessary and sufficient condition
16	Siamak Arya, Howard Sachs, Sreeram Duvvuru	An architecture for high instruction level parallelism.	HICSS (1)	1995	DBLP DOI BibTeX RDF	high instruction level parallelism, sequential order, code execution, dataflow problems, condition bits, nonblocking cache, Software Scheduled SuperScalar, parallel programming, compiler, parallel architectures, parallel architecture, pipelining, program compilers, data flow analysis, software pipelining, pipeline processing, data flow, processor architecture, speculative execution, control flow, hardware support, program control structures, branches, registers, functional units, multiple instructions, conditional execution
16	Jayesh Siddhiwala, Liang-Fang Chao	Scheduling conditional data-flow graphs with resource sharing.	Great Lakes Symposium on VLSI	1995	DBLP DOI BibTeX RDF	conditional data-flow graphs, resource sharing algorithm, pipeline scheduling algorithms, loop constructs, condition vector, dynamic resource sharing, rotation scheduling technique, parallel algorithms, data structures, data structure, resource allocation, high level synthesis, high level synthesis, processor scheduling, pipeline processing, data flow graphs, loop pipelining, conditional branches
16	Carmen Armero	Bayesian inference in Markovian queues.	Queueing Syst. Theory Appl.	1994	DBLP DOI BibTeX RDF	ergodic condition, M/M/1, M/M/c, M/M/, M/M/1/k andM/M/c/k queues, Bayesian analysis, traffic intensity
16	Dario L. Ringach, Yoram Baram	A Diffusion Mechanism for Obstacle Detection from Size-Change Information.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	diffusion mechanism, size-change information, immediacy measure, imminence of collision, moving observer, initial condition, locally connected cells, finite-difference approximation, motion measurement, image segmentation, segmentation, motion estimation, edge detection, image sequences, image sequences, neural nets, diffusion, image texture, computerised navigation, finite difference methods, obstacle detection, image domain
16	Phyllis G. Frankl, Elaine J. Weyuker	Provable Improvements on Branch Testing.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	software test data adequacy, independent random selection, condition-coverage techniques, software testing, program testing, programming theory, program debugging, mutation testing, test suite, data flow testing, fault-detecting ability, probabilistic measure, branch testing
16	Eitan Altman, Panagiotis Konstantopoulos, Zhen Liu	Stability, monotonicity and invariant quantities in general polling systems.	Queueing Syst. Theory Appl.	1992	DBLP DOI BibTeX RDF	stability condition, invariant quantities, monotonicity, Polling system, stochastic comparison
16	Liang Ji, Jim Piper	Fast Homotopy-Preserving Skeletons Using Mathematical Morphology.	IEEE Trans. Pattern Anal. Mach. Intell.	1992	DBLP DOI BibTeX RDF	homotopy-preserving skeletons, 2-D binary images, pattern recognition, pattern recognition, picture processing, picture processing, image reconstruction, skeletonization, mathematical morphology, shape representation, distance functions, sufficient condition, combinatorial mathematics, combinatorial mathematics
16	Noureddine Belkhatir, Walcélio L. Melo, Jacky Estublier, Mohamed Ahmed-Nacer	Supporting software maintenance evolution processes in the Adele system.	ACM Southeast Regional Conference	1992	DBLP DOI BibTeX RDF	software process, maintenance, cooperative work, CASE, trigger, software engineering environment, programming in the large, event-condition-action
16	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
16	Yizong Cheng, Rangasami L. Kashyap	A Study of Associative Evidential Reasoning.	IEEE Trans. Pattern Anal. Mach. Intell.	1989	DBLP DOI BibTeX RDF	negative maps, associative evidential reasoning, symmetry condition, positive elements, artificial intelligence, artificial intelligence, inference mechanisms, associativity, monotonicity, linguistic quantifiers
16	Thomas S. Huang, Olivier D. Faugeras	Some Properties of the E Matrix in Two-View Motion Estimation.	IEEE Trans. Pattern Anal. Mach. Intell.	1989	DBLP DOI BibTeX RDF	3D motion determination, structure determination, two-view motion estimation, eight-point linear algorithm, E matrix, skew-symmetrical matrix, translation components, pattern recognition, pattern recognition, picture processing, picture processing, matrix algebra, necessary and sufficient condition, rotation matrix
16	Jörg Desel, Agathe Merceron	P/T-systems as abstractions of C/E-systems.	European Workshop on Applications and Theory in Petri Nets	1988	DBLP DOI BibTeX RDF	Relations between Condition/Event-systems and Place/Transition-systems, synchronic distance, simulation, abstraction
15	Michail Matthaiou, David I. Laurenson, Cheng-Xiang Wang 0001	On analytical derivations of the condition number distributions of dual non-central Wishart matrices.	IEEE Trans. Wirel. Commun.	2009	DBLP DOI BibTeX RDF
15	Michael Shub	Complexity of Bezout's Theorem VI: Geodesics in the Condition (Number) Metric.	Found. Comput. Math.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 65H10, 65H20
15	Tullio Zolezzi	Stability under perturbations of some condition numbers in optimization.	Math. Program.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 90C31, 49K40
15	Adama Coulibaly, Jean-Pierre Crouzeix	Condition numbers and error bounds in convex programming.	Math. Program.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 90C25, 26B25
15	Emil Ernst, Michel Théra	On the necessity of the Moreau-Rockafellar-Robinson qualification condition in Banach spaces.	Math. Program.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 90C46, 90C51, 49K40, 46N10
15	Yo Kobayashi, Akinori Onishi, Hiroki Watanabe, Takeharu Hoshi, Kazuya Kawamura, Masakatsu G. Fujie	Developing a planning method for straight needle insertion using probability-based condition where a puncture occurs.	ICRA	2009	DBLP DOI BibTeX RDF
15	Dongjun Lee	Extension of colgate's passivity condition for variable-rate haptics.	IROS	2009	DBLP DOI BibTeX RDF
15	Hongwei Wang	A Sufficient and Necessary Condition for the Forcing Number of a Bipartite Graph Being Equal to the Minimum Number of Trailing Vertices.	COCOA	2009	DBLP DOI BibTeX RDF
15	Terence Tao, Van H. Vu	Smooth Analysis of the Condition Number and the Least Singular Value.	APPROX-RANDOM	2009	DBLP DOI BibTeX RDF
15	Michal Lower	Self-organizing Fuzzy Logic Steering Algorithm in Complex Air Condition System.	KES-AMSTA	2009	DBLP DOI BibTeX RDF	intelligent house, fuzzy logic, control systems
15	Zheng Min, Li Yang	An extended version of scaled small gain condition.	ICIS	2009	DBLP DOI BibTeX RDF	extended scaled small gain, small gain theorem, LMI
15	Xiaofu Wu, Xiaohu You 0001, Chunming Zhao	A necessary and sufficient condition for determining the girth of quasi-cyclic LDPC codes.	IEEE Trans. Commun.	2008	DBLP DOI BibTeX RDF
15	Mohammad Mahdian, Randolph Preston McAfee, David M. Pennock	The Secretary Problem with a Hazard Rate Condition.	WINE	2008	DBLP DOI BibTeX RDF
15	Lirong Xia, Vincent Conitzer	A sufficient condition for voting rules to be frequently manipulable.	EC	2008	DBLP DOI BibTeX RDF	complexity of manipulation, mechanism design, computational social choice
15	Petko Hr. Petkov, Michail M. Konstantinov, Nikolai D. Christov	LAPACK-Based Condition Estimates for the Discrete-Time LQG Design.	NAA	2008	DBLP DOI BibTeX RDF
15	Ying Yan 0001, Hao Yu, Lars Dittmann	Wireless Channel Condition Aware Scheduling Algorithm for Hybrid Optical/Wireless Networks.	AccessNets	2008	DBLP DOI BibTeX RDF	hybrid optical/wireless networks, Ethernet passive optical networks (EPON), resource allocation management, cost-function-based scheduling algorithm, WiMAX, dynamic bandwidth allocation (DBA)
15	Shan He 0001, Xiaoli Li 0002	Application of a group search optimization based Artificial Neural Network to machine condition monitoring.	ETFA	2008	DBLP DOI BibTeX RDF
15	Yi-Kuan Zhang, Ke Lu, Jiangshe Zhang 0001, Xiaopeng Zhang 0001	A Sufficient Condition for Uniform Convergence of Stationary p-Subdivision Scheme.	Edutainment	2008	DBLP DOI BibTeX RDF	stationary p-subdivision, contractility, geometric modeling, uniform convergence, spline function
15	Nicolas Beldiceanu, Xavier Lorca	Necessary Condition for Path Partitioning Constraints.	CPAIOR	2007	DBLP DOI BibTeX RDF
15	Ping-Heng Kuo, Peter J. Smith 0001, Lee M. Garth	A Markov Model for MIMO Channel Condition Number with Application to Dual-Mode Antenna Selection.	VTC Spring	2007	DBLP DOI BibTeX RDF
15	Ngai Ming Kwok, Quang Phuc Ha, Dikai Liu, Gu Fang, Kay Chen Tan	Efficient particle swarm optimization: a termination condition based on the decision-making approach.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
15	Gang Ding, Shisheng Zhong	Approximation Capability Analysis of Parallel Process Neural Network with Application to Aircraft Engine Health Condition Monitoring.	ISNN (3)	2007	DBLP DOI BibTeX RDF
15	Christina B. Vilakazi, Tshilidzi Marwala	Incremental Learning and Its Application to Bushing Condition Monitoring.	ISNN (1)	2007	DBLP DOI BibTeX RDF
15	Yan Lu, Zhongxiao Hao, Ran Dai	A Sufficient and Necessary Condition for the Absolute Consistency of XML DTDs.	SNPD (1)	2007	DBLP DOI BibTeX RDF
15	Madjid Fathi, Alexander Holland 0001, Michael Abramovici, Manuel Neubach	Advanced Condition Monitoring Services in Product Lifecycle Management.	IRI	2007	DBLP DOI BibTeX RDF
15	Christina B. Vilakazi, Tshilidzi Marwala	Online Incremental Learning for High Voltage Bushing Condition Monitoring.	IJCNN	2007	DBLP DOI BibTeX RDF
15	Jian Li, Bo Ren, Cheng Wang	A Random Velocity Boundary Condition for Robust Particle Swarm Optimization.	LSMS (1)	2007	DBLP DOI BibTeX RDF
15	Chih-Chieh Chou, Cheng-Shang Chang, Duan-Shin Lee, Jay Cheng	A Necessary and Sufficient Condition for the Construction of 2-to-1 Optical FIFO Multiplexers by a Single Crossbar Switch and Fiber Delay Lines.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
15	Jinwen Ma, Zhe Chen 0001, Shun-ichi Amari	Analysis of Feasible Solutions of the ICA Problem Under the One-Bit-Matching Condition.	ICA	2006	DBLP DOI BibTeX RDF
15	Hongkun Li, Xiaojiang Ma, Hongying Hu, Quanmin Ren	Investigation on Reciprocating Engine Condition Classification by Using Wavelet Packet Hilbert Spectrum.	ICNC (2)	2006	DBLP DOI BibTeX RDF
15	Theodore P. Baker, Michele Cirinei	A Necessary and Sometimes Sufficient Condition for the Feasibility of Sets of Sporadic Hard-Deadline Tasks.	RTSS	2006	DBLP DOI BibTeX RDF
15	Rahul Agarwal, Scott D. Stoller	Run-time detection of potential deadlocks for programs with locks, semaphores, and condition variables.	PADTAD	2006	DBLP DOI BibTeX RDF	testing, concurrent programs, deadlocks
15	Jin Feng Wang 0003, Kin-Hong Lee, Kwong-Sak Leung	Condition Matrix Based Genetic Programming for Rule Learning.	ICTAI	2006	DBLP DOI BibTeX RDF
15	Ya-Ti Peng, Ching-Yung Lin, Ming-Ting Sun, Ming-Whei Feng	Sleep condition inferencing using simple multimodality sensors.	ISCAS	2006	DBLP DOI BibTeX RDF
15	Octavian Cira, Cristian-Mihai Cira	The Optimum Convergence Condition for the Durand-Kerner Type Simultaneous Inclusion Method.	SYNASC	2006	DBLP DOI BibTeX RDF
15	Natalia T. Kolkovska	Numerical Solution of an Elliptic Problem with a Non-classical Boundary Condition.	Numerical Methods and Applications	2006	DBLP DOI BibTeX RDF
15		Early Detection on the Condition of Pancreas Organ as the Cause of Diabetes Mellitus by Real Time Iris Image Processing.	APCCAS	2006	DBLP DOI BibTeX RDF
15	Prem Uppuluri, Uday Joshi, Arnab Ray	Preventing race condition attacks on file-systems.	SAC	2005	DBLP DOI BibTeX RDF	security, race conditions, system calls
15	Bo Yin, Zhiqiang Wei 0002, Qingchun Meng	The Study of Special Encoding in Genetic Algorithms and a Sufficient Convergence Condition of GAs.	ICNC (2)	2005	DBLP DOI BibTeX RDF
15	Ryong Oh, Se-Jin Kim, Hyong-Woo Lee, Choong-Ho Cho	Downlink Packet Scheduling Based on Channel Condition for Multimedia Services of Mobile Users in OFDMA-TDD.	PCM (2)	2005	DBLP DOI BibTeX RDF
15	Hongbin Fang, Ling Zhang	Semi-order structure fusion model of quotient spaces under the condition of inconsistency information.	GrC	2005	DBLP DOI BibTeX RDF
15	Parthasarathy Ramachandran, Manjunath Kamath	A Sufficient Condition for Reachability in a General Petri Net.	Discret. Event Dyn. Syst.	2004	DBLP DOI BibTeX RDF	acyclic transformations, net expansion, transition firing sequence, Petri nets, reachability analysis, unfolding
15	Zhifeng Diao, Dongxu Shen, Victor O. K. Li	A channel-condition and packet-length dependent scheduler in wireless OFDM systems.	VTC Fall (2)	2004	DBLP DOI BibTeX RDF
15	Jinwen Ma, Zhiyong Liu, Lei Xu 0001	Local Separation Property of the Two-Source ICA Problem with the One-Bit-Matching Condition.	IDEAL	2004	DBLP DOI BibTeX RDF
15	Hironori Takimoto, Yasue Mitsukura, Norio Akamatsu	Face Identification Based on Ellipse Parameter Independent of Varying Facial Pose and Lighting Condition.	KES	2004	DBLP DOI BibTeX RDF
15	Kyong Do Moon, Jeong Seok Park, Ye Ho Shin, Keun Ho Ryu	Incremental Condition Evaluation for Active Temporal Rules.	IDEAL	2003	DBLP DOI BibTeX RDF
15	Vishy Karri, Tossapol Kiatcharoenpol	Tool Condition Monitoring in Drilling Using Artificial Neural Networks.	Australian Conference on Artificial Intelligence	2003	DBLP DOI BibTeX RDF
15	Eric N. Hanson, Sreenath Bodagala, Ullas Chadaga	Trigger Condition Testing and View Maintenance Using Optimized Discrimination Networks.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	discrimination networks, discrimination network optimization, Rete networks, TREAT networks, Gator networks, view maintenance, active database systems, view materialization
15	Gunar Matthies, Lutz Tobiska	The Inf-Sup Condition for the Mapped Qk-Pk-1disc Element in Arbitrary Space Dimensions.	Computing	2002	DBLP DOI BibTeX RDF	AMS Subject Classifications:65N12, 65N30
15	Yiqing Lin, Arthur Hsu, Ravi Rajamani	Maintenance and repair: a simulation model for field service with condition-based maintenance.	WSC	2002	DBLP DOI BibTeX RDF
15	Luis Rene Contreras, Chirag Modi, Arunkumar Pennathur	Warehousing and inventory management: integrating simulation modeling and equipment condition diagnostics for predictive maintenance strategies -a case study.	WSC	2002	DBLP DOI BibTeX RDF
15	Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy	Condition-Based Protocols for Set Agreement Problems.	DISC	2002	DBLP DOI BibTeX RDF
15	Sergiy A. Vilkomir, Jonathan P. Bowen	Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing.	ZB	2002	DBLP DOI BibTeX RDF
15	Tae-Young Choe, Chan-Ik Park	A Task Duplication Based Scheduling Algorithm with Optimality Condition in Heterogeneous Systems.	ICPP Workshops	2002	DBLP DOI BibTeX RDF
15	Javier Dávila	Design of two-dimensional cosine-modulated oversampled FIR filter banks: PR condition.	ISCAS (1)	2002	DBLP DOI BibTeX RDF
15	Jared Welz, Ian Galton	A necessary and sufficient condition for mismatch shaping in multi-bit DACs.	ISCAS (1)	2002	DBLP DOI BibTeX RDF
15	Tadashi Suetsugu, Marian K. Kazimierczuk	A method for predicting the ZVS condition for the class E amplifier.	ISCAS (3)	2002	DBLP DOI BibTeX RDF
15	Zhi-Hua Zhou, Yuan Jiang 0001, Xu-Ri Yin, Shifu Chen	The Application of Visualization and Neural Network Techniques in a Power Transformer Condition Monitoring System.	IEA/AIE	2002	DBLP DOI BibTeX RDF
15	Thierry Cachat, Jacques Duparc, Wolfgang Thomas	Solving Pushdown Games with a Sigma3 Winning Condition.	CSL	2002	DBLP DOI BibTeX RDF
15	Ulrich Schmid 0001, Klaus Schossmaier	How to reconcile fault-tolerant interval intersection with the Lipschitz condition.	Distributed Comput.	2001	DBLP DOI BibTeX RDF	Fault-tolerant interval intersection, Marzullo function, Interval-based clock synchronization, Hybrid fault models
15	Aung Kyaw	A Sufficient Condition for a Graph to Have a k-tree.	Graphs Comb.	2001	DBLP DOI BibTeX RDF
15	J. K. Kraus, C. W. Brand	Condition Numbers of Approximate Schur Complements in Two- and Three-Dimensional Discretizations on Hierarchically Ordered Grids.	Computing	2000	DBLP DOI BibTeX RDF	AMS Subject Classifications: 65F10, 65N20
15	N. B. Bish, Peter A. Howson, Robert J. Howlett	Condition diagnostics of a physical breakdown mechanism in high voltage dielectrics utilising 'AI' evaluation techniques.	KES	2000	DBLP DOI BibTeX RDF
15	Reisuke Shimoda, Takaki Yoshida, Masafumi Watari, Yasuhiro Toyota, Kiyokazu Nishi, Akira Motohara	Practical Application of Automated Fault Diagnosis for Stuck-at, Bridging, and Measurement Condition Dependent Faults in Fully Scanned Sequential Circuits.	Asian Test Symposium	1999	DBLP DOI BibTeX RDF
15	Sylvia B. Encheva	On Repeated-Root Cyclic Codes and the Two-Way Chain Condition.	AAECC	1997	DBLP DOI BibTeX RDF
15	José Duato	A Necessary and Sufficient Condition for Deadlock-Free Routing in Cut-Through and Store-and-Forward Networks.	IEEE Trans. Parallel Distributed Syst.	1996	DBLP DOI BibTeX RDF	interconnection networks, design methodologies, Adaptive routing, deadlock avoidance, virtual cut-through, store-and-forward
15	Manfred Sommer 0002, Hans Strauss	A condition of Schoenberg-Whitney type for multivariate spline interpolation.	Adv. Comput. Math.	1996	DBLP DOI BibTeX RDF	AMS subject classification 41 A 05, 41 A 63
15	Philip N. Klein, Hsueh-I Lu, Robert H. B. Netzer	Race-Condition Detection in Parallel Computation with Semaphores (Extended Abstract).	ESA	1996	DBLP DOI BibTeX RDF
15	Myung-Kyun Kim, Hyunsoo Yoon, Seung Ryoul Maeng	A Necessary and Sufficient Condition for Proper Routing in Omega-Omega Network.	Euro-Par, Vol. I	1996	DBLP DOI BibTeX RDF
15	Robert Schaback	Error estimates and condition numbers for radial basis function interpolation.	Adv. Comput. Math.	1995	DBLP DOI BibTeX RDF
15	Patrick Cousot, Radhia Cousot	Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form.	CAV	1995	DBLP DOI BibTeX RDF
15	Hsiao-Ping Juan, Viraphol Chaiyakul, Daniel D. Gajski	Condition graphs for high-quality behavioral synthesis.	ICCAD	1994	DBLP DOI BibTeX RDF
15	Vladimir B. Balakirsky	A Necessary and Sufficient Condition for Time-Variant Convolutional Encoders to be Noncatastrophic.	Algebraic Coding	1993	DBLP DOI BibTeX RDF