Search results for "set algebra"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Lyublena Antova, Christoph Koch, Dan Olteanu	From complete to incomplete information and back.	SIGMOD Conference	2007	DBLP DOI BibTeX RDF	hypothetical queries, world-set algebra, use cases, incomplete information, query rewriting
2	Jian-Kun Zhao, Elizabeth M. Rudnick, Janak H. Patel	Static logic implication with application to redundancy identification.	VTS	1997	DBLP DOI BibTeX RDF	static logic implication, redundancy identification, set algebra, indirect implications, static learning algorithm, redundancy, iterative method, redundant faults
2	Roderic Guigó, Temple F. Smith	Inferring Correlation Between Database Queries: Analysis of Protein Sequence Patterns.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	correlation inference, annotation query, protein sequence pattern analysis, stochastic dependence measurement, set similarity measure, protein sequence database, first-order language, query space, set algebra, query processing, query language, database theory, set theory, algebra, biology computing, proteins, database queries, correlation coefficient, asymptotic approximation
1	Kathrin Kaschner	Safira: Implementing set algebra for service behavior.	ZEUS	2010	DBLP BibTeX RDF
1	Kathrin Kaschner, Karsten Wolf	Set Algebra for Service Behavior: Applications and Constructions.	BPM	2009	DBLP DOI BibTeX RDF
1	Christoph Koch	A compositional query algebra for second-order logic and uncertain databases.	ICDT	2009	DBLP DOI BibTeX RDF
1	Wei-Zhi Wu, You-Hong Xu	On Fuzzy Rough Set Algebras in Infinite Universes.	RSKT	2009	DBLP DOI BibTeX RDF	Fuzzy rough set algebras, Rough sets, Fuzzy sets, Fuzzy rough sets, Approximation operators
1	Che-Yu Yang, Jason C. Hung	Word Sense Determination using WordNet and Sense Co-occurrence.	AINA	2006	DBLP DOI BibTeX RDF	World Wide Web, natural language processing, Wordnet, word sense disambiguation, semantic relatedness
1	Viktor Kuncak, Patrick Lam, Karen Zee, Martin C. Rinard	Modular Pluggable Analyses for Data Structure Consistency.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	formal methods, data structure, program analysis, program verification, invariant, shape analysis, Typestate, programming language design
1	Wei-Zhi Wu, You-Hong Xu	On Rough Fuzzy Set Algebras.	FSKD	2006	DBLP DOI BibTeX RDF	Rough fuzzy set algebras, Rough sets, Fuzzy sets, Approximation operators, Rough fuzzy sets
1	Uta Priss, L. John Old	An Application of Relation Algebra to Lexical Databases.	ICCS	2006	DBLP DOI BibTeX RDF
1	Patrick Lam, Viktor Kuncak, Martin C. Rinard	Generalized Typestate Checking for Data Structure Consistency.	VMCAI	2005	DBLP DOI BibTeX RDF
1	Patrick Lam, Viktor Kuncak, Martin C. Rinard	Generalized typestate checking using set interfaces and pluggable analyses.	SIGPLAN Notices	2004	DBLP DOI BibTeX RDF
1	Wilfried Grossmann, Markus Moschner	Towards an Ontology for Data in Business Decisions.	PAKM	2004	DBLP DOI BibTeX RDF
1	Jianhua Dai	Structure of Rough Approximations Based on Molecular Lattices.	Rough Sets and Current Trends in Computing	2004	DBLP DOI BibTeX RDF
1	HuiQin Sun, Zhang Xiong, Ye Wang	Research on Integrating Ordbms and Rough Set Theory.	Rough Sets and Current Trends in Computing	2004	DBLP DOI BibTeX RDF
1	Silvana Zappacosta-Amboldi	Distributed Implementation of a Connection Graph Based on Cylindric Set Algebra Operators.	FAABS	2002	DBLP DOI BibTeX RDF
1	Shin-ichi Minato	Zero-suppressed BDDs and their applications.	STTT	2001	DBLP DOI BibTeX RDF	Boolean function, BDD, Combinatorial problem, VLSI CAD, ZBDD
1	Shin-ichi Minato	Calculation of Unate Cube Set Algebra Using Zero-Suppressed BDDs.	DAC	1994	DBLP DOI BibTeX RDF
1	Y. Y. Yao, Xining Li	Uncertain Reasoning with Interval-Set Algebra.	RSKD	1993	DBLP BibTeX RDF
1	Y. Y. Yao	Interval-Set Algebra for Qualitative Knowledge Representation.	ICCI	1993	DBLP BibTeX RDF
1	Hajnal Andréka, István Németi, R. J. Thompson	Weak Cylindric Set Algebra and Weak Subdirect Indecomposability.	J. Symb. Log.	1990	DBLP BibTeX RDF
1	Damian Niwinski	On Fixed-Point Clones (Extended Abstract).	ICALP	1986	DBLP DOI BibTeX RDF
1	Stefan Arnborg	A Simple Query Language Based on Set Algebra.	BIT	1980	DBLP BibTeX RDF
1	Jerzy Tiuryn	Fixed Points in the Power-Set Algebra of Infinite Trees (Abstract).	MFCS	1979	DBLP DOI BibTeX RDF