Search results for "relation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Cécile Braunstein, Emmanuelle Encrenaz	CTL-property Transformations along an Incremental Design Process.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF	System design and verification, Computational tree logic, Simulation relation
11	Ivo Düntsch, Günther Gediga, Ewa Orlowska	Relational Attribute Systems II: Reasoning with Relations in Information Structures.	Trans. Rough Sets	2007	DBLP DOI BibTeX RDF	information relation, relational attribute system, fuzzy information system, relational deduction, semantical framework, information system, Attribute
11	Lennart Åqvist	An interpretation of probability in the law of evidence based on pro-et-contra argumentation.	Artif. Intell. Law	2007	DBLP DOI BibTeX RDF	Pro-et-contra reasoning, Evidence for and evidence against a fact, Quaternary ordering relation, Binary probability ranking, n-level grading mechanism, Measures of differences in evidential weight and of probability, Degrees of evidential strength, Empirical test of hypothesis and historical source criticism
11	Markus Müller-Olm, Helmut Seidl	Analysis of modular arithmetic.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	affine relation, Program analysis, abstract interpretation, interprocedural analysis, modular arithmetic
11	Anton Eliëns, Yiwen Wang 0001, Chris van Riel, Tatja Scholte	3D digital dossiers: a new way of presenting cultural heritage on the web.	Web3D	2007	DBLP DOI BibTeX RDF	concept graphs, contemporary art, digital dossiers, relation visualization, VRML, cultural heritage
11	WenAn Chen, Hongbin Zhang 0009	The Condition of Kernelizing an Algorithm and an Equivalence Between Kernel Methods.	IbPRIA (1)	2007	DBLP DOI BibTeX RDF	Kernelization, Kernel PCA, Equivalence Relation
11	Rudolf Seising, Julia Limberg	Similarity and Distance-Their Paths from Crisp to Fuzzy Concepts and an Application in Medical Philosophy.	IFSA (2)	2007	DBLP DOI BibTeX RDF	probabilistic metrics, ensembles flous, fuzzy sets medical philosophy, metrics, distance, t-norms, Similarity relation
11	Qiankun Zhao, Prasenjit Mitra, C. Lee Giles	Image annotation by hierarchical mapping of features.	WWW	2007	DBLP DOI BibTeX RDF	hierarchical relation, image annotation, feature mapping
11	Gjergji Kasneci, Fabian M. Suchanek, Maya Ramanath, Gerhard Weikum	How NAGA uncoils: searching with entities and relations.	WWW	2007	DBLP DOI BibTeX RDF	semantics, search, ranking, knowledge base, relation, entities, graph queries
11	Christina M. Steiner, Dietrich Albert	Personalising Learning through Prerequisite Structures Derived from Concept Maps.	ICWL	2007	DBLP DOI BibTeX RDF	Knowledge Space Theory, Prerequisite Relation, Adaptivity, Semantic Network, Personalisation, Concept Map
11	Jordan Shterev, Margarita Todorova	Service quality of multimedia streams and objects.	CompSysTech	2007	DBLP DOI BibTeX RDF	break of quality of performance, quality of performance, synchronization relation, delay, multimedia stream, multimedia object
11	Zhen Ming Ma, Wei Yang 0036, Qingjun Ren	A Common Generalization of Smooth Group and Vague Group.	ICFIE	2007	DBLP DOI BibTeX RDF	J-fuzzy relation, I-fuzzy equality, J-fuzzy function, GF-fuzzy group
11	François Barthélemy	Multi-grain Relations.	CIAA	2007	DBLP DOI BibTeX RDF	rational relation, tree transduction, two-level morphology
11	Sergey N. Potapychev, Andrey V. Pan'kin	Universal Data Model for Intelligent GIS.	IF&GIS	2007	DBLP DOI BibTeX RDF	intelligent geographical information system, XML, data model, relation, Object-oriented approach, metaclass
11	Wei-Hua Xu 0003, Hong-Zhi Yang, Wen-Xiu Zhang	Uncertainty Measures of Roughness of Knowledge and Rough Sets in Ordered Information Systems.	ICIC (2)	2007	DBLP DOI BibTeX RDF	Rough entropy, Rough degree, Rough set, Information systems, Dominance relation
11	Ágnes Vathy-Fogarassy, Attila Kiss 0001, János Abonyi	Improvement of Jarvis-Patrick Clustering Based on Fuzzy Similarity.	WILF	2007	DBLP DOI BibTeX RDF	neighborhood relation, Jarvis-Patrick clustering, VAT, MDS, fuzzy similarity measure
11	Xin Wang	An Evaluation System Model for Analyzing Employee Turnover Risk.	CONFENIS (2)	2007	DBLP DOI BibTeX RDF	Evaluation system model, Employee turnover, Knowledge management, Relation database, Case -based reasoning, Data warehousing, Human resource management, Enterprise application, Enterprise system, Risk factors
11	Hsuan-Shih Lee, Ming-Tao Chou, Hsin-Hsiung Fang, Wei-Kuo Tseng, Chen-Huei Yeh	Estimating Missing Values in Incomplete Additive Fuzzy Preference Relations.	KES (2)	2007	DBLP DOI BibTeX RDF	Incomplete fuzzy preference relation, Estimation, Transitivity
11	Hongwei Zeng, Huaikou Miao	Auto-Generating Test Sequences for Web Applications.	ICWE	2007	DBLP DOI BibTeX RDF	consistency relation, model checking, Web application, test generation
11	Patrick Doherty 0001, Barbara Dunin-Keplicz, Andrzej Szalas	Dynamics of Approximate Information Fusion.	RSEISP	2007	DBLP DOI BibTeX RDF	information fusion, approximate reasoning, similarity relation
11	Jing Bai 0005, Jian-Yun Nie, Guihong Cao, Hugues Bouchard	Using query contexts in information retrieval.	SIGIR	2007	DBLP DOI BibTeX RDF	query contexts, term relation, language model, domain model
11	Minlie Huang, Xiaoyan Zhu 0001	Combining Convolution Kernels Defined on Heterogeneous Sub-structures.	PAKDD	2007	DBLP DOI BibTeX RDF	convolution kernel, SVM, text mining, relation extraction
11	Alessandra Palmigiano, Yde Venema	Nabla Algebras and Chu Spaces.	CALCO	2007	DBLP DOI BibTeX RDF	relation lifting, Vietoris hyperspace, Chu space, coalgebra, modal algebra
11	Yonghee Shin, Hyori Jeon, Munkee Choi	Proposal for a Ubiquitous Virtual Enterprise Reference Model on Next-Generation Convergence Network.	KES-AMSTA	2007	DBLP DOI BibTeX RDF	DSS model, firm relation type, decision making, virtual enterprise, critical success factor, flow model, digital economy
11	Mickaël Coustaty, Stéphanie Guillas, Muriel Visani, Karell Bertet, Jean-Marc Ogier	On the Joint Use of a Structural Signature and a Galois Lattice Classifier for Symbol Recognition.	GREC	2007	DBLP DOI BibTeX RDF	Structural signature, Hough transform, Concept lattice, Symbol recognition, Topological relation
11	Bahadorreza Ofoghi, John Yearwood, Ranadhir Ghosh	A Within-Frame Ontological Extension on FrameNet: Application in Predicate Chain Analysis and Question Answering.	Australian Conference on Artificial Intelligence	2007	DBLP DOI BibTeX RDF	Ontological Relation, Question Answering, FrameNet
11	Nicolas Halbwachs, David Merchat, Laure Gonnord	Some ways to reduce the space dimension in polyhedra computations.	Formal Methods Syst. Des.	2006	DBLP DOI BibTeX RDF	Linear relation analysis, Double description, Cartesian product of polyhedra, Program analysis, Convex polyhedra
11	Tao Li 0001, Chris H. Q. Ding	The Relationships Among Various Nonnegative Matrix Factorization Methods for Clustering.	ICDM	2006	DBLP DOI BibTeX RDF	simultaneous clustering, normalization, relation, matrix factorization
11	Peifeng Xiang, Yuanchun Shi	Recovering semantic relations from web pages based on visual cues.	IUI	2006	DBLP DOI BibTeX RDF	user interface, pattern, semantic relation, visual cues
11	Guosheng Zhao, Huiqiang Wang, Jian Wang 0039	A Novel Quantitative Analysis Method for Network Survivability.	IMSCCS (2)	2006	DBLP DOI BibTeX RDF	key service, decision matrix, best affiliate degree, network survivability, grey relation analysis
11	Arianna D'Ulizia, Fernando Ferri	Formalization of Multimodal Languages in Pervasive Computing Paradigm.	SITIS	2006	DBLP DOI BibTeX RDF	Multimodal languages, relation grammars, pervasive computing systems
11	Ahlem Nabli, Jamel Feki, Faïez Gargouri	An Ontology Based Method for Normalisation of Multidimensional Terminology.	SITIS	2006	DBLP DOI BibTeX RDF	Multidimensional concept, decisional ontology, semantic relation, normalisation
11	G. Naresh, B. D. Chaudhary	A Model for Temporal relations between Object Roles.	SEFM	2006	DBLP DOI BibTeX RDF	role-oriented modelling, temporal role relation graph, framework, role
11	Idris A. Eckley, Guy P. Nason	Efficient computation of the discrete autocorrelation wavelet inner product matrix.	Stat. Comput.	2005	DBLP DOI BibTeX RDF	recursive wavelet relation, locally stationary time series, autocorrelation wavelets
11	Hai Zhuge, Xiang-Feng Luo	Knowledge Map: Mathematical Model and Dynamic Behaviors.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	knowledge representation, fuzzy cognitive maps, knowledge grid, causal relation
11	Joachim Lambek, Philip J. Scott	An Exactification of the Monoid of Primitive Recursive Functions.	Stud Logica	2005	DBLP DOI BibTeX RDF	primitive recursive function, regular and exact category, idempotent splitting completion, relation calculus, pers
11	Michael Huth 0001	Refinement is complete for implementations.	Formal Aspects Comput.	2005	DBLP DOI BibTeX RDF	Modal transition systems, Implementation relation, Model checking, Refinement
11	Björn Gottfried	Collision avoidance with bipartite arrangements.	CIKM-KRAS	2005	DBLP DOI BibTeX RDF	line segment relations, orientation, relation algebra, position, collision avoidance, qualitative spatial reasoning
11	Tianfang Yao, Hans Uszkoreit	Identifying Semantic Relations Between Named Entities from Chinese Texts.	Cognitive Systems	2005	DBLP DOI BibTeX RDF	Chinese information extraction, named entity relation identification, machine learning
11	Margaret Ann Francel, David J. John	Constructing an even grammar from a 2-element sample.	ACM Southeast Regional Conference (1)	2005	DBLP DOI BibTeX RDF	skeleton, grammatical inference, equivalence relation
11	Muhammad Abulaish, Lipika Dey	Biological Ontology Enhancement with Fuzzy Relations: A Text-Mining Framework.	Web Intelligence	2005	DBLP DOI BibTeX RDF	Biological Information extraction, Text mining, Fuzzy relation, Fuzzy ontology
11	Jerry R. Hobbs, Feng Pan 0012	An ontology of time for the semantic web.	ACM Trans. Asian Lang. Inf. Process.	2004	DBLP DOI BibTeX RDF	clock and calendar, ontology, semantic web, time, temporal relation, temporal information, duration, time zone
11	Tapan K. Sengupta, Anurag Dipankar	A Comparative Study of Time Advancement Methods for Solving Navier-Stokes Equations.	J. Sci. Comput.	2004	DBLP DOI BibTeX RDF	time integration methods, dispersion relation preservation, flow instabilities, DNS, Navier-Stokes equation
11	Yasuo Narukawa, Vicenç Torra	Fuzzy Measures and Choquet Integral on Discrete Spaces.	Fuzzy Days	2004	DBLP DOI BibTeX RDF	Matroids, Fuzzy relation, Choquet integral, Fuzzy measure, Fuzzy integrals, Fuzzy graph
11	Daniel R. Ellis, John G. Aiken, Kira S. Attwood, Scott D. Tenaglia	A behavioral approach to worm detection.	WORM	2004	DBLP DOI BibTeX RDF	behavioral signatures, descendant relation, network application architecture, network worms, intrusion detection
11	Nicolae Tandareanu, Mihaela Ghindeanu	Hierarchical Reasoning Based on Stratified Graphs Application in Image Synthesis.	DEXA Workshops	2004	DBLP DOI BibTeX RDF	labeled stratified graph, grid-representation of an image, directional relation
11	Ridha Khédri, Imen Bourguiba	Formal Derivation of Functional Architectural Design.	SEFM	2004	DBLP DOI BibTeX RDF	architectural derivation, scenario integration, design connectors, formal architectural design, formal methods, requirements, relation algebra, Architectural design, design component
11	Chris Tofallis	Multiple Neutral Data Fitting.	Ann. Oper. Res.	2003	DBLP DOI BibTeX RDF	functional relation, regression, model fitting, data fitting
11	Stefan Milius	On Colimits in Categories of Relations.	Appl. Categorical Struct.	2003	DBLP DOI BibTeX RDF	(co)limit of -chains, (co)products, initial algebra construction, map, relation, 2-categories
11	Azaria Paz	An alternative version of Lauritzen et al.'s algorithm for checking representation of independencies.	Soft Comput.	2003	DBLP DOI BibTeX RDF	Annotated Graph, Collider, Discrete Probabilistic Distribution (PD), Independency Relation - Conditional, Undirected Graph (UG), Directed Acyclic Graph (DAG)
11	Ulrich Bodenhofer	A unified framework of opening and closure operators with respect to arbitrary fuzzy relations.	Soft Comput.	2003	DBLP DOI BibTeX RDF	Fuzzy mathematical morphology, Fuzzy preordering, Closure, Fuzzy relation, Opening
11	George Georgescu, Andrei Popescu 0001	Non-commutative fuzzy Galois connections.	Soft Comput.	2003	DBLP DOI BibTeX RDF	Non-commutative fuzzy logic, Fuzzy Galois connection, Non-commutative conjunction, Fuzzy relation
11	Saso Dzeroski, Luc De Raedt, Stefan Wrobel	Multirelational data mining 2003: workshop report.	SIGKDD Explor.	2003	DBLP DOI BibTeX RDF	multi-relation learning and data mining
11	Tsau Young Lin	Information Flows in E-Government.	COMPSAC	2003	DBLP DOI BibTeX RDF	data mining, Modeling, lattice, equivalence relation
11	Vincenzo Loia, Sabrina Senatore, Maria I. Sessa	Mobile mail-agents through similarity-based reasoning.	Soft Comput.	2002	DBLP DOI BibTeX RDF	E-mail systems, Java, Mobile agents, Logic programming, Similarity relation
11	Irina Perfilieva	Logical approximation.	Soft Comput.	2002	DBLP DOI BibTeX RDF	Disjunctive and conjunctive normal forms, BL-logic, Fuzzy logic, Approximation, Fuzzy relation
11	Eitan Grinspun, Petr Krysl, Peter Schröder	CHARMS: a simple framework for adaptive simulation.	ACM Trans. Graph.	2002	DBLP DOI BibTeX RDF	refinement relation, multiresolution, subdivision, adaptive computation, basis function
11	Luigi Di Lascio	Hilbertian systems, analytic fuzzy tableaux and cut rule elimination in rational pavelka logic.	SEKE	2002	DBLP DOI BibTeX RDF	cut rule, fuzzy prepositional logic, galois relation, pavelka semantics, completeness, soundness, MV-algebra, tableaux
11	Tsau Young Lin	Issues in Modeling for Data Mining.	COMPSAC	2002	DBLP DOI BibTeX RDF	data mining, Modeling, lattice, equivalence relation
11	Boris A. Romov	Partial Hyperclones on a Finite Set.	ISMVL	2002	DBLP DOI BibTeX RDF	partial hyperoperation, partial hyperclone, restriction of hyperoperation, invariant relation
11	Hyeokki Kwon, Il Im, Bartel A. Van de Walle	Are You Thinking What I Am Thinking? A Comparison of Decision Makers' Cognitive Maps by Means of a New Similarity Measure.	HICSS	2002	DBLP DOI BibTeX RDF	Relational product, Similarity measure, Cognitive map, Fuzzy relation, Preorder
11	Helmut Röhrl	Convexity Theories VII. Discrete Gamma-Convex Modules.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	discrete -convex module, join semilattice, Klein-Hilbert relation
11	William Chan 0001, Richard J. Anderson, Paul Beame, David H. Jones, David Notkin, William E. Warner	Optimizing Symbolic Model Checking for Statecharts.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	TCAS II, partitioned transition relation, automatic abstraction, fault tolerance, Formal verification, binary decision diagrams, statecharts, requirements specifications, symbolic model checking, RSML, avionic systems
11	Radu Grosu, Ketil Stølen	Stream-Based Specification of Mobile Systems.	Formal Aspects Comput.	2001	DBLP DOI BibTeX RDF	Denotational model, Input/output relation, Many-to-many communication, Specification, Mobile system, Point-to-point communication
11	P. Krishna Reddy, Masaru Kitsuregawa	An Approach to Relate the Web Communities through Bipartite Graphs.	WISE (1)	2001	DBLP DOI BibTeX RDF	Trawling, Data mining, Web mining, Link analysis, Relation, Bipartite graph, Community detection
11	Maytal Saar-Tsechansky, Nava Pliskin, Gadi Rabinowitz, Mark Tsechansky	Patterns Extraction for Monitoring Medical Practices.	HICSS	2001	DBLP DOI BibTeX RDF	relational patterns, multi relation patterns
11	Jeff Tupper	Reliable two-dimensional graphing methods for mathematical formulae with two free variables.	SIGGRAPH	2001	DBLP DOI BibTeX RDF	GrafEq, Tupper interval arithmetic, formula graphing, relation graphing, graphing, interval arithmetic, interval analysis, algebraic curves, implicit curves
11	Dimiter Vakarelov, Ivo Düntsch, Brandon Bennett	A note on proximity spaces and connection based mereology.	FOIS	2001	DBLP DOI BibTeX RDF	connection relation, pointless geometry, proximity space, mereology
11	Jorge Picado	Structured Frames by Weil Entourages.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	Weil entourage, localic group, quasi-uniform frame, quasi-nearness, infinitesimal relation, frame, proximity, nearness, uniform frame
11	Ralf Kemper	p-Banach Spaces and p-Totally Convex Spaces.	Appl. Categorical Struct.	1999	DBLP DOI BibTeX RDF	p-Banach space, p-normed vector space, (p-) totally (resp. (p-) absolutely) convex space, congruence relation, Eilenberg-Moore category, monad
11	Yuhai Ma, Wanchun Shi	Intelligent Analysis and Off-Line Debugging of VLSI Device Test Programs.	J. Electron. Test.	1999	DBLP DOI BibTeX RDF	error type, off-line debugging environment, FCE (Fuzzy Comprehensive Evaluation), reference set, evaluation space, evaluation factor, evaluation remark, test entity, relevance coefficient, fuzzy set, fuzzy relation, test program
11	Atsuo Yoshitaka, Tadao Ichikawa	A Survey on Content-Based Retrieval for Multimedia Databases.	IEEE Trans. Knowl. Data Eng.	1999	DBLP DOI BibTeX RDF	spatio-temporal relation, knowledge, content-based retrieval, Multimedia databases, query-by-example
11	Kasper Østerbye	Associations as a Language Construct.	TOOLS (29)	1999	DBLP DOI BibTeX RDF	UML, compilation, object-oriented, associations, relation, language construct
11	Li Zhu, Shouqi Zheng, Zhijun Zheng, Junhui Zhou, Yinqiu Yu	An Object-Oriented Software Design for Distributed Videoconferencing System.	TOOLS (31)	1999	DBLP DOI BibTeX RDF	Distributed videoconference, object-oriented mechanism, parallelism, semantic relation, multimedia object
11	Roberto Baldoni	A Positive Acknowledgment Protocol for Causal Broadcasting.	IEEE Trans. Computers	1998	DBLP DOI BibTeX RDF	Causal broadcasting, vector times, happened-before relation, distributed systems, group communication, sliding windows, asynchrony
11	Keqin Li	Performance evaluation of probabilistic tree embedding in cube-connected cycles.	SAC	1998	DBLP DOI BibTeX RDF	probabilistic tree embedding, symmetric network, performance analysis, recurrence relation, cube-connected cycles, dynamic load distribution
11	William Chan 0001, Richard J. Anderson, Paul Beame, David Notkin	Improving Efficiency of Symbolic Model Checking for State-Based System Requirements.	ISSTA	1998	DBLP DOI BibTeX RDF	TCAS II, partitioned transition relation, system requirements specification, formal verification, abstraction, binary decision diagrams, statecharts, reachability analysis, symbolic model checking, RSML
11	Twan Basten, Thomas Kunz, James P. Black, Michael H. Coffin, David J. Taylor	Vector Time and Causality Among Abstract Events in Distributed Computations.	Distributed Comput.	1997	DBLP DOI BibTeX RDF	Event abstraction, Vector time, Distributed systems, Causality, Partial order, Logical time, Precedence relation
11	Laura K. Dillon	Task Dependence and Termination in Ada.	ACM Trans. Softw. Eng. Methodol.	1997	DBLP DOI BibTeX RDF	distributed termination, master/dependent relation, task termination, tasking execution model, Ada, Ada tasking
11	Richard I. Hartley	Lines and Points in Three Views and the Trifocal Tensor.	Int. J. Comput. Vis.	1997	DBLP DOI BibTeX RDF	trilinear relation, structure from motion, projective reconstruction, trifocal tensor
11	Keqin Li	On dynamic tree growing in hypercubes.	SAC	1997	DBLP DOI BibTeX RDF	randomized tree embedding, hypercube, random walk, probabilistic analysis, recurrence relation, dynamic load distribution
11	Joachim Niehren, Manfred Pinkal, Peter Ruhrberg	On Equality Up-to Constraints over Finite Trees, Context Unification, and One-Step Rewriting.	CADE	1997	DBLP DOI BibTeX RDF	tree constraints, subtree relation, string unification, context unification, linear second-order unification, one-step rewriting, semantic processing of natural language
11	Kwon Yang Kim, Se-Young Park, Sang-Jo Lee	An Integrating Clues Method Based on Syntactic Relations for Korean Verb Sense Disambiguation.	ICTAI	1997	DBLP DOI BibTeX RDF	verb sense disambiguation, syntactic relation, supervised
11	Joachim Althaler, Arne Dür	Finite linear recurring sequences and homogeneous ideals.	Appl. Algebra Eng. Commun. Comput.	1996	DBLP DOI BibTeX RDF	Linear Recurrence Relation, Annihilator Ideal, Inverse System, Shift Register Synthesis Problem, Berlekamp-Massey Algorithm
11	Christian S. Jensen, Richard T. Snodgrass, Michael D. Soo	Extending Existing Dependency Theory to Temporal Databases.	IEEE Trans. Knowl. Data Eng.	1996	DBLP DOI BibTeX RDF	database design, functional dependency, normal form, transaction time, Temporal relation, data semantics, valid time
11	Debabrata Dey, Sumit Sarkar	A Probabilistic Relational Model and Algebra.	ACM Trans. Database Syst.	1996	DBLP DOI BibTeX RDF	data incompleteness, probabilistic relation, probability calculus, relational algebra, relational model, data uncertainty
11	B. Bodenstorfer	Short Communication/Kureze Mitteilung. How many Minimal Upper Bounds of Minimal Upper Bounds.	Computing	1996	DBLP DOI BibTeX RDF	Subset-relation, minimal upper bound, generalized induction, nonmonotonic logic
11	Keqin Li 0001	Maintenance of tree structured computations on parallel and distributed computer systems.	SAC	1996	DBLP DOI BibTeX RDF	randomized tree growing algorithm, performance analysis, recurrence relation, dynamic load distribution
11	Hiroaki Iwashita, Tsuneo Nakata, Fumiyasu Hirose	CTL model checking based on forward state traversal.	ICCAD	1996	DBLP DOI BibTeX RDF	state traversal, partitioned transition relation, model checking, formal verification, CTL
11	Boris A. Romov	Polynomial Completeness Criteria in Finite Boolean Algebras.	ISMVL	1996	DBLP DOI BibTeX RDF	completeness criteria, finite Boolean algebras, arity-calibrated product, two-valued logic algebras, maximal subalgebras, Sheffer criterion, Slupecki type criterion, multiple base relation, logic algebras, process algebra, polynomials, algebra, Boolean algebra
11	Herbert Edelsbrunner	Algebraic Decompositions of Non-Convex Polyhedra.	FOCS	1995	DBLP DOI BibTeX RDF	algebraic decomposition, nonconvex polyhedra, arbitrary polyhedron, algebraic sum, half-spaces, point classification, Gram-Sommerville angle relation, parallel algorithms, parallel algorithm, computational geometry, boolean formula
11	Stefan Ronngren, Behrooz A. Shirazi	Static multiprocessor scheduling of periodic real-time tasks with precedence constraints and communication costs.	HICSS (2)	1995	DBLP DOI BibTeX RDF	static multiprocessor scheduling, periodic real-time tasks, large task sets, exclusion relation, heuristic scheduling algorithms, clustering, real-time systems, resource allocation, NP-complete, multiprocessing systems, communication complexity, mutual exclusion, processor scheduling, timing constraints, task allocation, communication costs, precedence constraints, multiprocessor architecture, precedence relations, scheduling methods
11	Dominique Laurent 0001, Nicolas Spyratos	A Partition Model Approach to Updating Universal Scheme Interfaces.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	partition model, universal scheme interface updating, relational database updating, counterintuitive results, partition semantics, relational databases, database theory, relational algebra, functional dependency, nondeterminism, relational model, deletions, universal relation
11	William W. Pugh, David Wonnacott	Static Analysis of Upper and Lower Bounds on Dependences and Parallelism.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	Omega test, array data-dependence analysis, optimization, compilation, automatic parallelization, Presburger arithmetic, dependence relation
11	Junguk L. Kim, Taesoon Park	An Efficient Protocol for Checkpointing Recovery in Distributed Systems.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	checkpointing recovery, synchronized checkpointing protocol, checkpointing coordinator, distributed systems, protocols, distributed processing, synchronisation, system recovery, dependency relation
11	Saso Dzeroski, Nada Lavrac	Inductive Learning in Deductive Databases.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	single extensional relation, LINUS, inductive logic programming system, virtual relations, negative tuples, attribute-value form, attribute-value learning systems, real-life noisy databases, deductive DBMS, learning (artificial intelligence), logic programming, database theory, deductive databases, deductive databases, inductive learning, noisy data
11	Liwu Li 0001	Fast In-Place Verification of Data Dependencies.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	in-place verification, space-optimal sequential, satisfaction problem, fast space-optimal sorting techniques, sequential implementations, I/O transfers, in-place FD, MVD verification, relation modification, parallel algorithms, parallel algorithms, relational databases, program verification, data dependencies, tuples, relational database systems, multivalued dependencies, space optimality
11	Adegbeniga Ola, Gultekin Özsoyoglu	Incomplete Relational Database Models Based on Intervals.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	unknown relations, partial tuple types, incompleteness relationships, relation level, attribute value level, Imielinski-Lipski sense, data structures, relational databases, database theory, query evaluation, relational database models
11	Francesco M. Malvestuto	A Universal-Scheme Approach to Statistical Databases Containing Homogeneous Summary Tables.	ACM Trans. Database Syst.	1993	DBLP DOI BibTeX RDF	category relation, summary table, universal classification scheme, bipartite graph, statistical database, query-answering system
11	R. G. G. Cattell, J. Skeen	Object Operations Benchmark.	ACM Trans. Database Syst.	1992	DBLP DOI BibTeX RDF	engineering database benchmark, hypermodel, object operations benchmark, object-oriented DBMS's, relation of DBMS's, CAD, workstations, CASE, client-server architecture