Search results for "Condition"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Hongliang Yu, Xiaohong Wang, Zhugang Yuan	Research on the Intelligent Control of Sintering Process Based on the Integrated Automation of Cement Enterprise.	HIS (2)	2009	DBLP DOI BibTeX RDF	Integrated automation of cement enterprise, sinter process, kiln-working-condition identification, intelligent control
12	Linliang Zhao, Gaoqiang Liu, Jie Chen, Zhiwei Zhang	Flooding and Directed Diffusion Routing Algorithm in Wireless Sensor Networks.	HIS (2)	2009	DBLP DOI BibTeX RDF	sensor networks directed flooding, node-hop, forwarding condition, hop refreshment
12	Wai Kit Wong, Poi Ngee Tan, Chu Kiong Loo, Way-Soong Lim	An Effective Surveillance System Using Thermal Camera.	ICSAP	2009	DBLP DOI BibTeX RDF	Thermal imaging system, Machine condition, Surveillance System
12	Rubén de Juan-Marín, Luis Irún-Briz, Francesc D. Muñoz-Escoí	A Cost Analysis of Solving the Amnesia Problems.	AINA Workshops	2009	DBLP DOI BibTeX RDF	replicated transactional systems, crash-recovery with partial amnesia, progress condition, recovery
12	Michael F. Spear, Luke Dalessandro, Virendra J. Marathe, Michael L. Scott	A comprehensive strategy for contention management in software transactional memory.	PPoPP	2009	DBLP DOI BibTeX RDF	condition synchronization, inevitability, priority, contention management, software transactional memory
12	Paul Macklin, John S. Lowengrub	A New Ghost Cell/Level Set Method for Moving Boundary Problems: Application to Tumor Growth.	J. Sci. Comput.	2008	DBLP DOI BibTeX RDF	Ghost fluid method, Ghost cell method, Tumor growth, NAGSI, Nonlinear elliptic equations, Heaviside function, Heterogeneous media, Heterogeneous tissue structure, Adaptive normal vector calculation, Normal derivative jump boundary condition, Level set method, Poisson equation
12	Houde Han, Zhongyi Huang, R. Bruce Kellogg	A Tailored Finite Point Method for a Singular Perturbation Problem on an Unbounded Domain.	J. Sci. Comput.	2008	DBLP DOI BibTeX RDF	Tailored finite point method, Singular perturbation problem, Unbounded domain, Artificial boundary condition
12	Bart Jacobs 0002, Frank Piessens, Jan Smans, K. Rustan M. Leino, Wolfram Schulte	A programming model for concurrent object-oriented programs.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	verification condition generation, Aliasing, data races, ownership, modular reasoning, local reasoning
12	Nobusumi Sagara	Value Functions and Transversality Conditions for Infinite Horizon Optimal Control Problems.	MCO	2008	DBLP DOI BibTeX RDF	Nonsmooth maximum principle, Infinite horizon, Transversality condition, Sufficiency, Value function
12	Zhenyu Chen 0001, Baowen Xu, Changhai Nie	A detectability analysis of fault classes for Boolean specifications.	SAC	2008	DBLP DOI BibTeX RDF	detection condition, specification-based testing, fault class
12	M. V. Arkhipova, Sergey V. Zelenov	Directed Generation of Test Data for Static Semantics Checker.	ISoLA	2008	DBLP DOI BibTeX RDF	context condition, grammar, specification based testing, static semantics, Automated test data generation
12	Jalal A. Nasiri, Sara Khanchi, Hamid Reza Pourreza	Eye Detection Algorithm on Facial Color Images.	Asia International Conference on Modelling and Simulation	2008	DBLP DOI BibTeX RDF	Lighting condition, Facial feature map, Color images, Eye detection
12	Kay-Uwe Schmidt, Ljiljana Stojanovic	From Business Rules to Application Rules in Rich Internet Applications.	BIS	2008	DBLP DOI BibTeX RDF	Production Engine, Model Driven Architecture, Complex Event Processing, Rich Internet Application, Event Condition Action Rules
12	Per Andersson, Robert Granat, Isak Jonsson, Bo Kågström	Parallel Algorithms for Triangular Periodic Sylvester-Type Matrix Equations.	Euro-Par	2008	DBLP DOI BibTeX RDF	Periodic Sylvester-type matrix equations, Bartels-Stewart’s method, explicit blocking, RECSY, SCASY, level-3 BLAS, ScaLAPACK, condition estimation
12	Ajay Mahimkar, Jennifer Yates, Yin Zhang 0001, Aman Shaikh, Jia Wang 0001, Zihui Ge, Cheng Tien Ee	Troubleshooting chronic conditions in large IP networks.	CoNEXT	2008	DBLP DOI BibTeX RDF	chronic condition, network troubleshooting, correlation
12	Vincenzo D'Andrea, Arthur B. Baskin, Robert E. Reinke	Software development for a distributed community of practice: lessons learned from fifteen years of participatory design on a single system.	PDC	2008	DBLP BibTeX RDF	condition-based maintenance, participatory design, distributed software development
12	Franck Bimbard, Laurent George 0001	EDF Feasibility Conditions with Kernel Overheads on an Event Driven OSEK System.	ICONS	2008	DBLP DOI BibTeX RDF	Real-time dimensioning, OSEK, Earliest Dealine First, kernel overheads, feasibility condition
12	Lina Nemuraite, Lina Ceponiene, Gediminas Vedrickas	Representation of Business Rules in UML&OCL Models for Developing Information Systems.	PoEM	2008	DBLP DOI BibTeX RDF	UML, constraint, invariant, event, OCL, Business rule, action, stereotype, condition
12	Xuemei Hu, Linhong Tian	Research and Analysis of Bias Voltage on Variable-Capacitance Micro-mechanical Accelerometer.	IIH-MSP	2008	DBLP DOI BibTeX RDF	Variable-Capacitance Accelerometer, Reliable operation condition, Bias voltage polarity
12	Yi-Lei Wu, Qing Song 0001, XuLei Yang	Robust Recurrent Neural Network Control of Biped Robot.	J. Intell. Robotic Syst.	2007	DBLP DOI BibTeX RDF	Conic sector condition, Discrete robot model, L 2-stability, Online adaptive training, Recurrent neural network, Fault tolerant control
12	Sanjay Misra, Hürevren Kiliç	Measurement theory and validation criteria for software complexity measures.	ACM SIGSOFT Softw. Eng. Notes	2007	DBLP DOI BibTeX RDF	representation condition, complexity measure, measurement theory, validation criteria
12	Sibsankar Haldar, K. Vidyasankar	On specification of Read/Write shared variables.	J. ACM	2007	DBLP DOI BibTeX RDF	defining condition, defining relation, illegality, nonatomic operation execution, system execution, framework, multiprocessor, consistency, Atomicity, causality, partial order, linearization, axiom, shared variable, linear extension
12	Bernardo Cockburn, Guido Kanschat, Dominik Schötzau	A Note on Discontinuous Galerkin Divergence-free Solutions of the Navier-Stokes Equations.	J. Sci. Comput.	2007	DBLP DOI BibTeX RDF	divergence-free condition, Navier-Stokes equations, discontinuous Galerkin methods
12	Alicja Smoktunowicz, Iwona Wróbel, Przemyslaw Kosowski	A new efficient algorithm for polynomial interpolation.	Computing	2007	DBLP DOI BibTeX RDF	Lagrange form, Newton form, the divided differences, Aitken's algorithm, Numerical stability, condition number
12	Haiyang Jia, Dayou Liu, Juan Chen 0008, Xin Liu	A Hybrid Approach for Learning Markov Equivalence Classes of Bayesian Network.	KSEM	2007	DBLP DOI BibTeX RDF	Markov equivalence class, condition independence test, Bayesian network, Structural learning
12	James D. McCalley, Vasant G. Honavar, Sarah M. Ryan, William Q. Meeker, Daji Qiao, Ronald A. Roberts, Yuan Li, Jyotishman Pathak, Mujing Ye, Yili Hong 0001	Integrated Decision Algorithms for Auto-steered Electric Transmission System Asset Management.	International Conference on Computational Science (1)	2007	DBLP DOI BibTeX RDF	electric transmission, software-hardware, optimization, service-oriented architecture, asset management, Benders decomposition, decision algorithms, condition monitoring
12	Hongbo Yu, Xiaoyun Wang 0001	Multi-collision Attack on the Compression Functions of MD4 and 3-Pass HAVAL.	ICISC	2007	DBLP DOI BibTeX RDF	multi-collision, multi-near-collision, Hash function, sufficient condition, differential path
12	Thomas Beer, Jörg Rasinger, Wolfram Höpken, Matthias Fuchs, Hannes Werthner	Exploiting E-C-A Rules for Defining and Processing Context-Aware Push Messages.	RuleML	2007	DBLP DOI BibTeX RDF	reaction rules, interpreted rules, context-awareness, push, event-condition-action
12	Erich L. Kaltofen, Zhengfeng Yang, Lihong Zhi	On probabilistic analysis of randomization in hybrid symbolic-numeric algorithms.	SNC	2007	DBLP DOI BibTeX RDF	multivariate rational function, random matrix, structured matrix, interpolation, probabilistic analysis, condition number, sparse polynomial, symbolic/numeric hybrid method
12	Sanjay Misra, Hürevren Kiliç	Measurement theory and validation criteria for software complexity measures.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF	representation condition, complexity measure, measurement theory, validation criteria
12	Jerry A. Thomas, K. Chakrabarti, R. V. Kaczmarek, A. Maslennikov, Chad A. Mitchell, Alex Romanyukha	Optimization of Reading Conditions for Flat Panel Displays.	J. Digit. Imaging	2006	DBLP DOI BibTeX RDF	flat panel, viewing condition, room illuminance, CRT, luminance
12	Armen S. Asratian	New Local Conditions for a Graph to be Hamiltonian.	Graphs Comb.	2006	DBLP DOI BibTeX RDF	Local condition, Hamilton cycle, Ball
12	Liying Zhu, Yuzhen Wang	Study on the stability of switched dissipative Hamiltonian systems.	Sci. China Ser. F Inf. Sci.	2006	DBLP DOI BibTeX RDF	switched Hamiltonian system, multiple-Lyapunov functions, dissipative structure, sufficient condition, asymptotical stability
12	Vilém Vychodil	A note on congruence permutability and fuzzy logic.	Soft Comput.	2006	DBLP DOI BibTeX RDF	Mal'cev-condition, Fuzzy logic, Permutability, Fuzzy equality
12	Étienne Payet, Frédéric Mesnard	Nontermination inference of logic programs.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	nontermination analysis, optimal termination condition, Logic programming, static analysis
12	Dejun Feng, Long Wang, Yang Wang 0020	Generation of finite tight frames by Householder transformations.	Adv. Comput. Math.	2006	DBLP DOI BibTeX RDF	tight frame, tight frame matrix, Householder matrix, frames, condition number
12	Hasan Erbay, Jesse L. Barlow	An Alternative Algorithm for a Sliding Window ULV Decomposition.	Computing	2006	DBLP DOI BibTeX RDF	Modifying decompositions, norm and condition estimation, subspaces
12	Nikolai P. Osmolovskii, Helmut Maurer	Second Order Optimality Conditions for Controls with Continuous and Bang-Bang Components.	Systems, Control, Modeling and Optimization	2006	DBLP DOI BibTeX RDF	bang-bang control, Pontryagin minimum principle, second order necessary and sufficient conditions, critical cone, strengthened Legendre condition, quadratic form
12	Liad Blumrosen, Michal Feldman	Implementation with a bounded action space.	EC	2006	DBLP DOI BibTeX RDF	single-crossing condition, implementation, mechanism design, communication complexity
12	M. Erkan Keremoglu, Serdar Tasiran, Tayfun Elmas	A classification of concurrency bugs in java benchmarks by developer intent.	PADTAD	2006	DBLP DOI BibTeX RDF	concurrency errors, verification, refinement, atomicity, race condition
12	Kai-Li Chiang, Wen-Hsiang Tsai	Vision-Based Autonomous Vehicle Guidance in Indoor Environments Using Odometer and House Corner Location Information.	IIH-MSP	2006	DBLP DOI BibTeX RDF	patrolling, security surveillance, danger condition, location, Vehicle, painting
12	Jianyin Zhang, Sen Su, Fangchun Yang	Detecting Race Conditions in Web Services.	AICT/ICIW	2006	DBLP DOI BibTeX RDF	Web Services, Petri net, feature interaction, race condition
12	Wei Pan, Dongming Wang 0001	Uniform Gröbner bases for ideals generated by polynomials with parametric exponents.	ISSAC	2006	DBLP DOI BibTeX RDF	Buchberger graph, consistency condition, parametric exponent, uniform Gröbner basis, biological modeling, polynomial ideal
12	Jin-Chirng Lee, Hang-Chin Lai	Parameter-Free Dual Models for Fractional Programming with Generalized Invexity.	Ann. Oper. Res.	2005	DBLP DOI BibTeX RDF	Kuhn-Tucker condition, invex, pseudoinvex, quasiinvex, fractional variational programming, weak-, strong-, strict, Euler-Lagrange equation
12	Kyung-suk Lhee, Steve J. Chapin	Detection of file-based race conditions.	Int. J. Inf. Sec.	2005	DBLP DOI BibTeX RDF	Time-of-check-to-time-of-use (TOCTTOU) flaws, Security, Race condition
12	Jianguo Xin, Katia Pinchedez, Joseph E. Flaherty	Implementation of hierarchical bases in FEMLAB for simplicial elements.	ACM Trans. Math. Softw.	2005	DBLP DOI BibTeX RDF	FEMLAB, hierarchical bases, finite element methods, condition number
12	K. K. Aggarwal, Yogesh Singh, Pravin Chandra, Manimala Puri	Sensitivity analysis of fuzzy and neural network models.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	neural network, sensitivity analysis, fuzzy, maintainability, condition number
12	Irina Perfilieva	Functions represented by BL-algebra formulas: characterization and approximate representation.	Soft Comput.	2005	DBLP DOI BibTeX RDF	Extensional function, Disjunctive and conjunctive normal forms, Lipschitz condition, BL-algebra
12	Sung Kyung Kim, Chung Gu Kang 0001	Delay Analysis of Packet Scheduling with Multi-Users Diversity in Wireless CDMA Systems.	Wirel. Networks	2005	DBLP DOI BibTeX RDF	channel condition, CDMA, packet scheduling, multi-users diversity
12	Igor G. Tsukanov, Vadim Shapiro	Meshfree modeling and analysis of physical fields in heterogeneous media.	Adv. Comput. Math.	2005	DBLP DOI BibTeX RDF	heterogeneous material, meshfree method, distance field, boundary condition
12	François Bry, Paula-Lavinia Patranjan	Reactivity on the web: paradigms and applications of the language XChange.	SAC	2005	DBLP DOI BibTeX RDF	reactive languages, web, event-condition-action rules
12	James Bailey 0001, François Bry, Paula-Lavinia Patranjan	Composite event queries for reactivity on the web.	WWW (Special interest tracks and posters)	2005	DBLP DOI BibTeX RDF	reactive languages, web, event-condition-action rules, composite events
12	Sreekar Krishna, Sethuraman Panchanathan	A methodology for improving recognition rate of linear discriminant analysis in video-based face recognition using support vector machines.	ICME	2005	DBLP DOI BibTeX RDF	recognition rate improvement, LDA classifier, video-based face recognition, polynomial SVM, video capture condition, face image extraction, support vector machine, linear discriminant analysis, video sequence
12	Achour Mostéfaoui, Michel Raynal, Corentin Travers, Stacy Patterson, Divyakant Agrawal, Amr El Abbadi	From Static Distributed Systems to Dynamic Systems.	SRDS	2005	DBLP DOI BibTeX RDF	Persistent reliable broadcast, Query-response pattern, eventual stability condition, Peer-to-Peer system, Dynamic system, Communication abstraction
12	Rao V. Garimella, Mikhail J. Shashkov	Polygonal surface mesh optimization.	Eng. Comput.	2004	DBLP DOI BibTeX RDF	Polygonal surface mesh, Element quality, Jacobian condition number, Reference Jacobian matrices
12	Alexei Vernitski	Finite quasivarieties and self-referential conditions.	Stud Logica	2004	DBLP DOI BibTeX RDF	quasi-identity, pseudovariety, self-referential condition, recursion, quasivariety
12	Harry Wechsler, Zoran Duric, Fayin Li, Vladimir Cherkassky	Motion Estimation Using Statistical Learning Theory.	IEEE Trans. Pattern Anal. Mach. Intell.	2004	DBLP DOI BibTeX RDF	complexity control, image flow, tracking, motion estimation, model selection, condition number, statistical learning theory, visual motion, Aperture problem, robust learning
12	Ke Li, Zi-Niu Wu	Nonet-Cartesian Grid Method for Shock Flow Computations.	J. Sci. Comput.	2004	DBLP DOI BibTeX RDF	Nonet-Cartesian grid, Cartesian grid, inviscid flow, boundary condition, shock wave, anisotropic
12	Siau-Cheng Khoo, Kun Shi	Program Adaptation via Output-Constraint Specialization.	High. Order Symb. Comput.	2004	DBLP DOI BibTeX RDF	weakest pre-condition, partial evaluation, specialization
12	Martin Bernauer, Gerti Kappel, Gerhard Kramler	Composite events for xml.	WWW	2004	DBLP DOI BibTeX RDF	active behavior, event algebra, xml, event-condition-action rule, composite event
12	Zhenyuan Deng, Martin Jägersand	Evaluation of Model Independent Image-Based Visual Servoing.	CRV	2004	DBLP DOI BibTeX RDF	Image-based Visual Servoing, Adaptive Survoing, Broyden's Method, Model Independent, Condition number, Jacobian
12	Mi-young Kang, Ae-sun Yoon, Hyuk-Chul Kwon	Improving partial parsing based on error-pattern analysis for a Korean grammar-checker.	ACM Trans. Asian Lang. Inf. Process.	2003	DBLP DOI BibTeX RDF	Korean grammar checker, error-pattern analysis, parsing triggering condition, text preprocessing, language, parsing, linguistic analysis, partial parsing
12	Karl Frauendorfer, Gido Haarbrücker	Solving Sequences of Refined Multistage Stochastic Linear Programs.	Ann. Oper. Res.	2003	DBLP DOI BibTeX RDF	discretization schemes, multistage stochastic linear programs, barycentric approximation, optimality condition, financial applications
12	Gábor Kun, Csaba Szabó	Jónsson Terms and Near-Unanimity Functions in Finite Posets.	Order	2003	DBLP DOI BibTeX RDF	Malcev condition, posets
12	YingLiang Ma, W. Terry Hewitt	Point inversion and projection for NURBS curve: Control polygon approach.	TPCG	2003	DBLP DOI BibTeX RDF	point projection, point inversion, polygon condition, NURBS curve
12	Yifeng Chen	Generic Composition.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	Healthiness condition, Predicative semantics, Parallelism, Modal logic
12	Siau-Cheng Khoo, Kun Shi	Output-constraint specialization.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	weakest pre-condition, partial evaluation, specialization
12	Paul De Bra, A. T. M. Aerts, David Smits, Natalia Stash	AHA! the next generation.	Hypertext	2002	DBLP DOI BibTeX RDF	adaptation engine, condition-action rules, adaptive hypermedia
12	Yiming Wei 0001, Hebing Wu	Challenging Problems on the Perturbation of Drazin Inverse.	Ann. Oper. Res.	2001	DBLP DOI BibTeX RDF	Drazin inverse, group inverse, perturbation bound, index, condition number
12	Svend Frølund, Rachid Guerraoui	X-Ability: a theory of replication.	Distributed Comput.	2001	DBLP DOI BibTeX RDF	Exactly-once, Correctness condition, Replication, High-availability, Multi-tier systems
12	Mark Harman, Robert M. Hierons, Chris Fox, Sebastian Danicic, John Howroyd	Pre/Post Conditioned Slicing.	ICSM	2001	DBLP DOI BibTeX RDF	Conditioned program slicing, program specialisation, path condition analysis
12	Gerti Kappel, Stefan Rausch-Schott, Werner Retschitzegger	A framework for workflow management systems based on objects, rules and roles.	ACM Comput. Surv.	2000	DBLP DOI BibTeX RDF	context dependent behavior, event/condition/action rule, object-oriented frameworks, role modeling
12	Maurice Herlihy, Eric Ruppert	On the Existence of Booster Types.	FOCS	2000	DBLP DOI BibTeX RDF	booster types, asynchronous concurrent models of computation, synchronization power, topological condition, solo-connectivity, deterministic one-shot types, distributed algorithms, synchronisation, upper bound, type theory, data type, concurrency theory, consensus number
12	Siegfried Prössdorf, Jörg Schult	Multiwavelet approximation methods for pseudodifferential equations on curves. Stability and convergence analysis.	Adv. Comput. Math.	1998	DBLP DOI BibTeX RDF	periodic pseudodifferential equations, splines with multiple knots, generalized Galerkin-Petrov schemes, Strang-Fix condition, 47G30, 45P05, stability, error analysis, 65N30, boundary element methods, 65R20, 41A15, 41A25, 65N35, 41A30, multiwavelets, 65J10
12	Wende Chen, Torleiv Kløve	Bounds on the Weight Hierarchies of Extremal Non-chain Codes of Dimension 4.	Appl. Algebra Eng. Commun. Comput.	1997	DBLP DOI BibTeX RDF	Weight hierarchy, Support Weight, q -ary code, Chain condition, Difference sequence
12	Evsei Morozov	The tightness in the ergodic analysis of regenerative queueing processes.	Queueing Syst. Theory Appl.	1997	DBLP DOI BibTeX RDF	tightness, open Jackson-type network, closed network, embedded process, residual service time, queue-size process, waiting time process, non-identical service channels, positive recurrent regenerative process, regeneration condition, ergodicity, renewal process
12	Richard I. Hartley	In Defense of the Eight-Point Algorithm.	IEEE Trans. Pattern Anal. Mach. Intell.	1997	DBLP DOI BibTeX RDF	eight-point algorithm, epipolar structure, stereo vision, Fundamental matrix, condition number
12	Hyoung Seok Hong, Sung Deok Cha, Yong Rae Kwon	On the concurrent behaviour of SCR specifications.	COMPSAC	1997	DBLP DOI BibTeX RDF	SCR specifications, concurrent behaviour, SCR method, tabular notations, Software Cost Reduction, mode transition tables, event tables, condition tables, real-time systems, finite state machines, finite state machine, requirements specification, state machines, timed transition systems, interleaving semantics
12	John C. Hart	Sphere tracing: a geometric method for the antialiased ray tracing of implicit surfaces.	Vis. Comput.	1996	DBLP DOI BibTeX RDF	Lipschitz condition, Ray tracing, Implicit surface, Solid modeling, Distance
12	Wolfgang Dahmen, Angela Kunoth, Karsten Urban	A Wavelet Galerkin Method for the Stokes Equations.	Computing	1996	DBLP DOI BibTeX RDF	LBB condition, time dependent problems, wavelets, preconditioning, multiresolution analysis, Schur complements, Saddle point problems
12	Andrei Z. Broder, Alan M. Frieze, Eli Upfal	A General Approach to Dynamic Packet Routing with Bounded Buffers (extended abstract).	FOCS	1996	DBLP DOI BibTeX RDF	general approach, dynamic packet routing, static routing, injection rate, stability, packet switching, routing algorithm, sufficient condition, butterfly, steady state analysis, worst case bounds, bounded buffers
12	Cornelia Boldyreff, Julian Newman, Jorma Taramaa	Managing process improvement in virtual software corporations.	WETICE	1996	DBLP DOI BibTeX RDF	virtual software corporations, process improvement management, software development organisation process, competitive demands, large multi-site multi-organization virtual software corporations, virtual software configuration, process measurement data collection, geographically distributed projects, exception condition handling, generic process model, process quality standards, software engineering, reliability, integrity, software process improvement, software development process, software process modelling, software development management
12	Ravi Malladi, James A. Sethian, Baba C. Vemuri	Shape Modeling with Front Propagation: A Level Set Approach.	IEEE Trans. Pattern Anal. Mach. Intell.	1995	DBLP DOI BibTeX RDF	interface motion, hyperbolic conservation laws, entropy condition, level sets, Shape modeling, shape recovery, Hamilton-Jacobi equation
12	L. Andrew, K. E. Chu, Peter Lancaster	On the Numerical Solution of Nonlinear Eigenvalue Problems.	Computing	1995	DBLP DOI BibTeX RDF	Nonlinear eigenvalue problem, condition number, numerical solution
12	J. Roger Mitchell, Vijay K. Garg	Deriving distributed algorithms from a general predicate detector.	COMPSAC	1995	DBLP DOI BibTeX RDF	generalized conjunctive predicate detector, distributed system debugging, condition detection, application status monitoring, periodic global virtual time calculation, optimized base algorithm, software engineering, computational complexity, distributed algorithms, distributed algorithms, program debugging, system monitoring, termination detection, virtual time, distributed system design, detection algorithms
12	Per Christian Hansen, Tony F. Chan	Corrigendum: Algorithm 729; FORTRAN subroutines for general Toeplitz systems.	ACM Trans. Math. Softw.	1994	DBLP DOI BibTeX RDF	Levinson's algorithm, Toeplitz systems, FORTRAN 77, condition estimation
12	Keh-Chang Guh, Clement T. Yu	Efficient Query Processing for a Subset of Linear Recursive Binary Rules.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	linear recursive binary rules, binary rule sets, computational complexity, complexity, query processing, query processing, expert systems, necessary and sufficient condition, secondary memory
12	Howard W. Beck, Tarek M. Anwar, Shamkant B. Navathe	A Conceptual Clustering Algorithm for Database Schema Design.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	conceptual clustering algorithm, database schema design, complex clusters, class descriptions, default values, family resemblance, class cohesion, subsumption function, realization function, exception condition, schema modification, schema generation, view creation, machine learning, learning (artificial intelligence), data structures, query processing, query processing, database management systems, exception handling, exception handling, case-based reasoning, case-based reasoning, database theory, categorization, operating systems (computers), INTERSECT, schema integration, analogical reasoning, explanation-based learning
12	Martin F. van Bommel, Grant E. Weddell	Reasoning About Equations and Functional Dependencies on Complex Objects.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	complex object types, property value path, property paths, property value navigation, directed labeled graph, equational constraint, stratification condition, data structures, query processing, database management systems, query languages, query language, query languages, object-oriented databases, directed graphs, reasoning, database theory, functional dependencies, decision procedures, conjunctive queries, undecidable, complex objects, semantic data models, object-oriented data models, equations, constraint theory, constraint theory, constraint language
12	Giovanni Chiola, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad	Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications.	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF	stochastic well-formed colored nets, SWN, stochastic high-level nets, syntactic restriction, model definition, Markovian performance evaluation, lumpability condition, performance evaluation, computational complexity, computational complexity, complexity, Petri net, Petri nets, performance modeling, multiprocessing systems, memory contention, symbolic reachability graph
12	Timos K. Sellis, Chih-Chen Lin, Louiqa Raschid	Coupling Production Systems and Database Systems: A Homogeneous Approach.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	large rule bases, condition elements, production rule-based systems, set-oriented approach, DBCond, special data structure, DBRete, DBMS implementation, Rete match algorithm, production rule language OPS5, DBQuery, parallelizable, relational databases, knowledge based systems, deductive databases, set theory, matching algorithm, relational database management systems, relational structures, parallel computing environments
12	Peter D. Turney, Michael Halasz	Contextual normalization applied to aircraft gas turbine engine diagnosis.	Appl. Intell.	1993	DBLP DOI BibTeX RDF	engine diagnosis, machinery condition monitoring, robust classification, Machine learning, normalization
12	Scott A. Mitchell	Refining a Triangulation of a Planar Straight-Line Graph to Eliminate Large Angles	FOCS	1993	DBLP DOI BibTeX RDF	worst case optimal, planar straight line graph, arbitrary constrained triangulation, obtuse angle, local angle condition, triangulation, Steiner points
12	Carlos A. Heuser, Gernot Richter	Constructs for Modeling Information Systems with Petri Nets.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF	side-condition, inhibitor arc, dead transition, information system, conceptual modeling, capacity, multiplicity, high-level Petri net
12	Shang-Ching Chou, Xiao-Shan Gao	Proving Geometry Statements of Constructive Type.	CADE	1992	DBLP DOI BibTeX RDF	Geometry theorem proving, Wu's method, non-degenerate condition, generally true, constructive geometry statement, metric geometry, algebraically closed field, Euclidean geometry
12	Zhijun Tong, Richard Y. Kain	Vote Assignments in Weighted Voting Mechanisms.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	voting operations, weighted voting mechanisms, maximum reliability, mutual exclusion mechanisms, vote assignment algorithms, voting weight, logarithmic function, optimization objection function, optimal vote assignment, optimal sets, suboptimal assignments, perfect links, imperfect links, distributed processing, groups, programming theory, nodes, sufficient condition, link failures, local information
12	Joo-Kang Lee, Jon T. Butler	A Characterization of t/s-Diagnosability an Sequential t-Diagnosability in Designs.	IEEE Trans. Computers	1990	DBLP DOI BibTeX RDF	t/s-diagnosability, sequential t-diagnosability, characterization theorem, single-loop system, designs, fault tolerant computing, multiprocessing system, multiprocessing systems, nodes, diagnosability, sufficient condition, faulty processors
12	Henryk Krawczyk, Wojciech E. Kozlowski	On the Diagnosability of Multicomputer Systems with Homogeneous and Incomplete Tests.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	homogeneous tests, system level fault diagnosis models, incomplete tests, generalized PMC model, visible faults, t/sub v/-diagnosable systems, O(mod T mod) diagnosis algorithm, computational complexity, multiprocessing systems, automatic testing, fault location, diagnosability, sufficient condition, multicomputer systems, computer testing, necessary conditions, connection assignment, fault identification
12	Hans L. Bodlaender	Dynamic Programming on Graphs with Bounded Treewidth.	ICALP	1988	DBLP DOI BibTeX RDF	graph decision problems, restrictions of NP-complete problems, local condition compositions, dynamic programming, polynomial time algorithms, Treewidth, partial k-trees
12	Vijay Pitchumani, Edward P. Stabler	Verification of Register Transfer Level Parallel Control Sequences.	IEEE Trans. Computers	1985	DBLP DOI BibTeX RDF	critical region, parallel control sequence, Assertion, register transfer level, shared resource, clock cycle, auxiliary variable, verification condition