Search results for "conjunctions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Leonardo Lesmo, Pietro Torasso	Analysis of Conjunctions in a Rule-Based Parser.	ACL	1985	DBLP BibTeX RDF
21	Robert C. Berwick, Sandiway Fong	New Approaches to Parsing Conjunctions Using Prolog.	ACL	1985	DBLP BibTeX RDF
21	Xiuming Huang	Dealing With Conjunctions In A Machine Translation Environment.	COLING	1984	DBLP BibTeX RDF
21	Stefano A. Cerri	Learning Translation Skills With A Knowledge-Based Tutor: French-Italian Conjunctions In Context.	EACL	1983	DBLP BibTeX RDF
21	Xiuming Huang	Dealing With Conjunctions In A Machine Translation Environment.	EACL	1983	DBLP BibTeX RDF
21	Ralph Grishman	Conjunctions And Modularity In Language Analysis Procedures.	COLING	1980	DBLP BibTeX RDF
21	Ismail Burhan Türksen	Extensions on solutions of Boolean equations via its conjunctions.	Discret. Math.	1974	DBLP DOI BibTeX RDF
11	Frederik Hogenboom, Flavius Frasincar, Uzay Kaymak	A review of approaches for representing RCC8 in OWL.	SAC	2010	DBLP DOI BibTeX RDF	RCC8, spatial knowledge representation, OWL
11	Allen Leung, Nicolas Vasilache, Benoît Meister, Muthu Manikandan Baskaran, David Wohlford, Cédric Bastoul, Richard Lethin	A mapping path for multi-GPGPU accelerated computers from a portable high level programming abstraction.	GPGPU	2010	DBLP DOI BibTeX RDF	compiler optimziation, parallelization, GPGPU, CUDA, polyhedral model, automatic translation
11	Leslie G. Valiant	Evolvability.	J. ACM	2009	DBLP DOI BibTeX RDF	SQ learning, Evolvable, PAC learning
11	Adam J. Lee, Kazuhiro Minami, Nikita Borisov	Confidentiality-preserving distributed proofs of conjunctive queries.	AsiaCCS	2009	DBLP DOI BibTeX RDF	distributed proof, pervasive computing, consistency
11	David Monniaux	On Using Floating-Point Computations to Help an Exact Linear Arithmetic Decision Procedure.	CAV	2009	DBLP DOI BibTeX RDF
11	Carlos A. Hurtado, Alexandra Poulovassilis, Peter T. Wood	Finding Top-k Approximate Answers to Path Queries.	FQAS	2009	DBLP DOI BibTeX RDF
11	Serge Gaspers, Gregory B. Sorkin	A universally fastest algorithm for Max 2-Sat, Max 2-CSP, and everything in between.	SODA	2009	DBLP DOI BibTeX RDF
11	Christie I. Ezeife, Kashif Saeed, Dan Zhang	Mining very long sequences in large databases with PLWAPLong.	IDEAS	2009	DBLP DOI BibTeX RDF	PLWAP mining, long sequences, data mining, association rule mining
11	Balázs Szörényi	Characterizing Statistical Query Learning: Simplified Notions and Proofs.	ALT	2009	DBLP DOI BibTeX RDF
11	Antonio Hernández Zavala, Ildar Z. Batyrshin, Imre J. Rudas, Luis A. Villa Vargas, Oscar Camacho Nieto	Parametric Operations for Digital Hardware Implementation of Fuzzy Systems.	MICAI	2009	DBLP DOI BibTeX RDF	digital fuzzy hardware, parametric conjunction, Fuzzy logic, generator, conjunction, disjunction
11	Mohua Banerjee, Didier Dubois	A Simple Modal Logic for Reasoning about Revealed Beliefs.	ECSQARU	2009	DBLP DOI BibTeX RDF
11	Carlos A. Hurtado, Alexandra Poulovassilis, Peter T. Wood	Ranking Approximate Answers to Semantic Web Queries.	ESWC	2009	DBLP DOI BibTeX RDF
11	Diederik Aerts, Sven Aerts, Liane Gabora	Experimental Evidence for Quantum Structure in Cognition.	QI	2009	DBLP DOI BibTeX RDF
11	Diederik Aerts, Bart D'Hooghe	Classical Logical Versus Quantum Conceptual Thought: Examples in Economics, Decision Theory and Concept Theory.	QI	2009	DBLP DOI BibTeX RDF
11	Saurabh Srivastava 0001, Sumit Gulwani	Program verification using templates over predicate abstraction.	PLDI	2009	DBLP DOI BibTeX RDF	constraint-based fixed-point, iterative fixed-point, quantified invariants, template invariants, predicate abstraction, weakest preconditions, smt solvers
11	Hyondeuk Kim, Fabio Somenzi, HoonSang Jin	Efficient Term-ITE Conversion for Satisfiability Modulo Theories.	SAT	2009	DBLP DOI BibTeX RDF
11	Alexander Fuchs 0003, Amit Goel, Jim Grundy, Sava Krstic, Cesare Tinelli	Ground Interpolation for the Theory of Equality.	TACAS	2009	DBLP DOI BibTeX RDF
11	Anu Singh, C. R. Ramakrishnan 0001, Scott A. Smolka	Query-Based Model Checking of Ad Hoc Network Protocols.	CONCUR	2009	DBLP DOI BibTeX RDF
11	Dirk Beyer 0001, Alessandro Cimatti, Alberto Griggio, M. Erkan Keremoglu, Roberto Sebastiani	Software model checking via large-block encoding.	FMCAD	2009	DBLP DOI BibTeX RDF
11	Elsa Loekito, James Bailey 0001	Using Highly Expressive Contrast Patterns for Classification - Is It Worthwhile?.	PAKDD	2009	DBLP DOI BibTeX RDF	Expressive contrasts, disjunctive emerging patterns, classification, emerging patterns, quantitative association rules
11	Shing-Kit Chan, Wai Lam	An Efficient Method for Generating, Storing and Matching Features for Text Mining.	PAKDD	2009	DBLP DOI BibTeX RDF
11	Michel Abdalla, Céline Chevalier, David Pointcheval	Smooth Projective Hashing for Conditionally Extractable Commitments.	CRYPTO	2009	DBLP DOI BibTeX RDF
11	Aika Mukai, Toshiyuki Yamamoto, Makoto J. Hirayama	A study of correlation between transitions and sound effects in a fairy tale movie.	ICIS	2009	DBLP DOI BibTeX RDF	the relation of link of scenes and transitional motion patterns, the relation of transitional motion patterns and sound effects, conjunction
11	Christopher W. Brown 0001	Fast simplifications for Tarski formulas.	ISSAC	2009	DBLP DOI BibTeX RDF	tarski formulas, simplification
11	Chedy Raïssi, Toon Calders, Pascal Poncelet	Mining conjunctive sequential patterns.	Data Min. Knowl. Discov.	2008	DBLP DOI BibTeX RDF	Non-derivability, Sequential patterns, Deduction, Condensed representation
11	Maurice Bernadet	Fuzzy Knowledge Discovery Based on Statistical Implication Indexes.	Statistical Implicative Analysis	2008	DBLP DOI BibTeX RDF	Statistical implication, fuzzy knowledge discovery, fuzzy operators, fuzzy implication
11	Jan Camenisch, Thomas Groß 0001	Efficient attributes for anonymous credentials.	CCS	2008	DBLP DOI BibTeX RDF	efficient attribute encoding, privacy, cryptographic protocols, anonymous credential systems
11	Himanshu Jain, Edmund M. Clarke, Orna Grumberg	Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations.	CAV	2008	DBLP DOI BibTeX RDF
11	Daniel Pavelec, Edson J. R. Justino, Leonardo Vidal Batista, Luiz S. Oliveira	Author identification using writer-dependent and writer-independent strategies.	SAC	2008	DBLP DOI BibTeX RDF	author identification, stylometry
11	Cerstin Mahlow, Michael Piotrowski	Linguistic Support for Revising and Editing.	CICLing	2008	DBLP DOI BibTeX RDF
11	Florian Horn 0001, Wolfgang Thomas, Nico Wallmeier	Optimal Strategy Synthesis in Request-Response Games.	ATVA	2008	DBLP DOI BibTeX RDF
11	Imre J. Rudas, Ildar Z. Batyrshin, Antonio Hernández Zavala, Oscar Camacho Nieto, László Horváth, Luis A. Villa Vargas	Generators of Fuzzy Operations for Hardware Implementation of Fuzzy Systems.	MICAI	2008	DBLP DOI BibTeX RDF	fuzzy processor, Fuzzy logic, generator, fuzzy system, conjunction
11	Wei Zhang 0014, Thomas G. Dietterich	Learning visual dictionaries and decision lists for object recognition.	ICPR	2008	DBLP DOI BibTeX RDF
11	Joohyung Lee 0002, Vladimir Lifschitz, Ravi Palla	Safe Formulas in the General Theory of Stable Models (Preliminary Report).	ICLP	2008	DBLP DOI BibTeX RDF
11	Latif Salum, Aliye Ayca Supciller	Rule-Based Modeling of Assembly Constraints for Line Balancing.	ICIC (2)	2008	DBLP DOI BibTeX RDF	Assembly line balancing, Rule-based representation, Precedence constraints
11	Vladimir V. Podolskii	A Uniform Lower Bound on Weights of Perceptrons.	CSR	2008	DBLP DOI BibTeX RDF
11	Sumit Gulwani, Saurabh Srivastava 0001, Ramarathnam Venkatesan	Program analysis as constraint solving.	PLDI	2008	DBLP DOI BibTeX RDF	most-general counterexamples, non-termination analysis, strongest postcondition, program verification, constraint solving, weakest precondition, bounds analysis
11	Esben Rune Hansen, Peter Tiedemann	Improving the Performance of Interactive Configuration with Regular String Constraints.	ICTAI (1)	2008	DBLP DOI BibTeX RDF
11	Shuting Cai, Xuesong Chen, Qinruo Wang, Ming Yin 0002	FPGA Implementation of Generalized Fuzzy Operations.	FSKD (3)	2008	DBLP DOI BibTeX RDF
11	Vitaly Feldman	Evolvability from learning algorithms.	STOC	2008	DBLP DOI BibTeX RDF	evolvability, pac learning, statistical query
11	Aless Lasaruk, Thomas Sturm 0001	Weak quantifier elimination for the full linear theory of the integers.	Appl. Algebra Eng. Commun. Comput.	2007	DBLP DOI BibTeX RDF	Integer constraint solving, Implementation, Quantifier elimination
11	Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli	Decision procedures for extensions of the theory of arrays.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68T27, 03B25, 03B70, 68T15
11	Yannis Tzitzikas	Evolution of faceted taxonomies and CTCA expressions.	Knowl. Inf. Syst.	2007	DBLP DOI BibTeX RDF	Faceted taxonomies, Knowledge revision, Updates
11	Joanna Golinska-Pilarek, Ewa Orlowska	Tableaux and Dual Tableaux: Transformation of Proofs.	Stud Logica	2007	DBLP DOI BibTeX RDF	first-order logic with identity, tableaux systems, Rasiowa-Sikorski proof system
11	Lengning Liu, Miroslaw Truszczynski	Satisfiability Testing of Boolean Combinations of Pseudo-Boolean Constraints using Local-search Techniques.	Constraints An Int. J.	2007	DBLP DOI BibTeX RDF	Pseudo-Boolean constraints, Boolean satisfiability, Stochastic local search
11	Dashan Gao 0001, Nuno Vasconcelos	Bottom-up saliency is a discriminant process.	ICCV	2007	DBLP DOI BibTeX RDF
11	Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Stefano Tonetta	Boolean Abstraction for Temporal Logic Satisfiability.	CAV	2007	DBLP DOI BibTeX RDF
11	Amit Satsangi, Osmar R. Zaïane	Contrasting the Contrast Sets: An Alternative Approach.	IDEAS	2007	DBLP DOI BibTeX RDF
11	David Coufal	Coherence Index of Radial Conjunctive Fuzzy Systems.	IFSA (1)	2007	DBLP DOI BibTeX RDF
11	Li Zhang, Zheng Pei 0001, Honghua Chen	Extracting Fuzzy Linguistic Summaries Based on Including Degree Theory and FCA.	IFSA (1)	2007	DBLP DOI BibTeX RDF
11	Andrea Arcuri, Xin Yao 0001	A Memetic Algorithm for test data generation of Object-Oriented software.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
11	Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman	Generalized Parity Games.	FoSSaCS	2007	DBLP DOI BibTeX RDF
11	Martin Gebser, Torsten Schaub	Generic Tableaux for Answer Set Programming.	ICLP	2007	DBLP DOI BibTeX RDF
11	Leslie G. Valiant	Evolvability.	MFCS	2007	DBLP DOI BibTeX RDF
11	Vinit A. Ogale, Vijay K. Garg	Detecting Temporal Logic Predicates on Distributed Computations.	DISC	2007	DBLP DOI BibTeX RDF
11	Pierre Senellart, Serge Abiteboul	On the complexity of managing probabilistic XML data.	PODS	2007	DBLP DOI BibTeX RDF	semi-structured databases, XML, complexity, probabilistic databases
11	Francesco Banterle, Roberto Giacobazzi	A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware.	SAS	2007	DBLP DOI BibTeX RDF	Octagon Abstract Domain, General Processing on GPU, Parallel Computing, Abstract Interpretation, Static Program Analysis
11	Yong Tang, Xicheng Lu, Bin Xiao 0001	Generating Simplified Regular Expression Signatures for Polymorphic Worms.	ATC	2007	DBLP DOI BibTeX RDF
11	Masao Yokota	Towards Intuitive Spatiotemporal Communication Between Human and Ubiquitous Intelligence Based on Mental Image Directed Semantic Theory - A General Theory of Tempo-logical Connectives.	UIC	2007	DBLP DOI BibTeX RDF
11	Arun Meena, Tadinada Vankata Prabhakar	Sentence Level Sentiment Analysis in the Presence of Conjuncts Using Linguistic Analysis.	ECIR	2007	DBLP DOI BibTeX RDF	favorability analysis, information extraction, text mining, text classification, Sentiment analysis, semantic orientation
11	Keehang Kwon, JaeWoo Kim, Jang-Wu Jo	An Internet Query Language based on Intuitionistic Linear Logic.	SERA	2007	DBLP DOI BibTeX RDF	internet, information retrieval, linear logic, theory of computation
11	Monika Záková, Filip Zelezný	Exploiting Term, Predicate, and Feature Taxonomies in Propositionalization and Propositional Rule Learning.	ECML	2007	DBLP DOI BibTeX RDF
11	Mathias Péron, Nicolas Halbwachs	An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints.	VMCAI	2007	DBLP DOI BibTeX RDF	difference-bound matrices, disequalities, static analysis, alias analysis, abstract domains
11	Peter Van Weert, Jon Sneyers, Bart Demoen	Aggregates for CHR through Program Transformation.	LOPSTR	2007	DBLP DOI BibTeX RDF
11	Aless Lasaruk, Thomas Sturm 0001	Weak Integer Quantifier Elimination Beyond the Linear Case.	CASC	2007	DBLP DOI BibTeX RDF
11	Akihito Sudo, Manabu Tsuboyama, Chenli Zhang, Akihiro Sato, Osamu Hasegawa	Pattern-Based Reasoning System Using Self-incremental Neural Network for Propositional Logic.	ICONIP (1)	2007	DBLP DOI BibTeX RDF	neural network, intelligent agent, Reasoning, intelligent robot
11	Xuan Hieu Phan, Le Minh Nguyen 0001, Yasushi Inoguchi, Tu Bao Ho, Susumu Horiguchi	Improving discriminative sequential learning by discovering important association of statistics.	ACM Trans. Asian Lang. Inf. Process.	2006	DBLP DOI BibTeX RDF	Discriminative sequential learning, feature selection, information extraction, association rule mining, text segmentation
11	Goran Nenadic, Sophia Ananiadou	Mining semantically related terms from biomedical literature.	ACM Trans. Asian Lang. Inf. Process.	2006	DBLP DOI BibTeX RDF	contextual patterns, text mining, term similarities, biomedical literature
11	Oded Goldreich 0001, Madhu Sudan 0001	Locally testable codes and PCPs of almost-linear length.	J. ACM	2006	DBLP DOI BibTeX RDF	error-correcting codes, derandomization, probabilistically checkable proofs, Proof verification
11	Dale Jacquette	Propositions, Sets, and Worlds.	Stud Logica	2006	DBLP DOI BibTeX RDF	Abstract entity, Jubien, Michael, logically possible world, modal actualism, modal (platonic) realism, ontological commitment, ontology, modal logic, set, proposition
11	Antoine Miné	The octagon abstract domain.	High. Order Symb. Comput.	2006	DBLP DOI BibTeX RDF	Numerical abstract domains, Relational numerical invariants, Static analysis, Abstract interpretation
11	Ian Cloete, Jacobus van Zyl	Fuzzy rule induction in a set covering framework.	IEEE Trans. Fuzzy Syst.	2006	DBLP DOI BibTeX RDF
11	Andreas Alexander Albrecht	A Stopping Criterion for Logarithmic Simulated Annealing.	Computing	2006	DBLP DOI BibTeX RDF	simulated annealing, Markov chains, convergence analysis, Search methods
11	Domenico Cantone, Calogero G. Zarba	A Decision Procedure for Monotone Functions over Bounded and Complete Lattices.	Theory and Applications of Relational Structures as Knowledge Instruments	2006	DBLP DOI BibTeX RDF
11	Clark W. Barrett, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli	Splitting on Demand in SAT Modulo Theories.	LPAR	2006	DBLP DOI BibTeX RDF
11	Khalil Djelloul, Thi-Bich-Hanh Dao	Solving first-order constraints in the theory of finite or infinite trees: introduction to the decomposable theories.	SAC	2006	DBLP DOI BibTeX RDF	complete theory, first-order constraints, theory of trees, two partners games, rewriting rules
11	Ieva Mitasiunaite, Jean-François Boulicaut	Looking for monotonicity properties of a similarity constraint on sequences.	SAC	2006	DBLP DOI BibTeX RDF
11	Alexis Maciel, Toniann Pitassi	Conditional Lower Bound for a System of Constant-Depth Proofs with Modular Connectives.	LICS	2006	DBLP DOI BibTeX RDF
11	Georgiana Puscasu, Patricio Martínez-Barco, Estela Saquete	On the Identification of Temporal Clauses.	MICAI	2006	DBLP DOI BibTeX RDF
11	Vinit A. Ogale, Vijay K. Garg	Brief Announcement: Many Slices Are Better Than One.	DISC	2006	DBLP DOI BibTeX RDF
11	Hossein M. Sheini, Karem A. Sakallah	A Progressive Simplifier for Satisfiability Modulo Theories.	SAT	2006	DBLP DOI BibTeX RDF
11	Hans A. Kestler, Wolfgang Lindner 0002, André Müller	Learning and Feature Selection Using the Set Covering Machine with Data-Dependent Rays on Gene Expression Profiles.	ANNPR	2006	DBLP DOI BibTeX RDF
11	Filip Karel	Quantitative and Ordinal Association Rules Mining (QAR Mining).	KES (1)	2006	DBLP DOI BibTeX RDF	ordinal attributes, association rules, quantitative attributes
11	Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli	Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies.	JELIA	2006	DBLP DOI BibTeX RDF
11	Yingxu Wang 0001	The OAR Model for Knowledge Representation.	CCECE	2006	DBLP DOI BibTeX RDF
11	Antony Galton	Causal Reasoning for Alert Generation in Smart Homes.	Designing Smart Homes	2006	DBLP DOI BibTeX RDF
11	Peng Wang 0004, Baowen Xu, Jianjiang Lu, Dazhou Kang, Jin Zhou	Mapping Ontology Relations: An Approach Based on Best Approximations.	APWeb	2006	DBLP DOI BibTeX RDF
11	Yannis Tzitzikas	Revising Faceted Taxonomies and CTCA Expressions.	SETN	2006	DBLP DOI BibTeX RDF
11	K. Subramani 0001	Tractable Fragments of Presburger Arithmetic.	Theory Comput. Syst.	2005	DBLP DOI BibTeX RDF
11	Yannis Tzitzikas, Anastasia Analyti, Nicolas Spyratos	Compound Term Composition Algebra: The Semantics.	J. Data Semantics	2005	DBLP DOI BibTeX RDF	Faceted Taxonomies, Semantics, Description Logics
11	Koen Maes, Bernard De Baets	Facts and figures on fuzzified normal forms.	IEEE Trans. Fuzzy Syst.	2005	DBLP DOI BibTeX RDF
11	Christian Schulte 0001, Peter J. Stuckey	When do bounds and domain propagation lead to the same search space?	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	Constraint (logic) programming, bounds propagation, domain propagation, program analysis, abstract interpretation, finite domain constraints
11	Arvind Narayanan, Vitaly Shmatikov	Obfuscated databases and group privacy.	CCS	2005	DBLP DOI BibTeX RDF	obfuscation, database privacy