|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8447 occurrences of 4597 keywords
|
|
|
Results
Found 17251 publication records. Showing 17251 according to the selection in the facets
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 |
|
Displaying result #301 - #400 of 17251 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|