Search results for "Boolean expressions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Marcus Fontoura, Suhas Sadanandan, Jayavel Shanmugasundaram, Sergei Vassilvitskii, Erik Vee, Srihari Venkatesan, Jason Y. Zien	Efficiently evaluating complex boolean expressions.	SIGMOD Conference	2010	DBLP DOI BibTeX RDF	dewey, interval, boolean expressions, pub/sub
3	Rok Sosic, Jun Gu, Robert R. Johnson	The Unison algorithm: fast evaluation of Boolean expressions.	ACM Trans. Design Autom. Electr. Syst.	1996	DBLP DOI BibTeX RDF	Boolean differential, Boolean evaluation, Unison algorithm, Boolean expressions
2	Tsong Yueh Chen, Man Fai Lau, K. Y. Sim, Chang-ai Sun	On detecting faults for Boolean expressions.	Software Quality Journal	2009	DBLP DOI BibTeX RDF	MUMCUT strategy, Software testing, Fault detection, Specification based testing, Black-box testing, Fault based testing, Boolean specification
2	Lian Yu, Wei Zhao, Xiangdong Fan, Jun Zhu	Exploring Topological Structure of Boolean Expressions for Test Data Selection.	TASE	2009	DBLP DOI BibTeX RDF
2	Man Fai Lau, Ying Liu, Yuen-Tak Yu	Detecting Double Faults on Term and Literal in Boolean Expressions.	QSIC	2007	DBLP DOI BibTeX RDF
2	Chang-ai Sun, Yunwei Dong, R. Lai, K. Y. Sim, Tsong Yueh Chen	Analyzing and Extending MUMCUT for Fault-based Testing of General Boolean Expressions.	CIT	2006	DBLP DOI BibTeX RDF
2	Lizhuang Zhao, Mohammed J. Zaki, Naren Ramakrishnan	BLOSOM: a framework for mining arbitrary boolean expressions.	KDD	2006	DBLP DOI BibTeX RDF	data mining, boolean expression, closed itemsets, minimal generator
2	Hsing-Lung Chen, Nian-Feng Tzeng	A Boolean Expression-Based Approach for Maximum Incomplete Subcube Identification in Faulty Hypercubes.	IEEE Trans. Parallel Distrib. Syst.	1997	DBLP DOI BibTeX RDF	incomplete subcubes, distributed algorithms, reconfiguration, Boolean expressions, faulty hypercubes
2	Amit M. Paradkar	A new solution to test generation for Boolean expressions.	CASCON	1995	DBLP DOI BibTeX RDF
2	I-Lung Kao, Randy Chow	Enforcing complex security policies for commercial applications. (PDF / PS)	COMPSAC	1995	DBLP DOI BibTeX RDF	complex security policy enforcement, commercial applications, complex access control policies, multilevel security model, systematic frequently-desired multilevel exception categorization, commercial sectors, classified categories, Boolean functions, exception handling, security of data, authorisation, Boolean expressions
2	Randy Chow, I-Lung Kao	Modeling complex access control policies in distributed systems.	FTDCS	1995	DBLP DOI BibTeX RDF	access authorization, classified categories, state-dependent security, distributed systems, distributed processing, security policies, security of data, authorisation, access control policies, access control model, Boolean expressions
2	Prabhat Jain, Ganesh Gopalakrishnan	Efficient symbolic simulation-based verification using the parametric form of Boolean expressions.	IEEE Trans. on CAD of Integrated Circuits and Systems	1994	DBLP DOI BibTeX RDF
2	Tatsuo Sato, Joung-Hoon Lim, Ken-ichi Okada, Yutaka Matsushita	A Multimedia Synchronization Model Described by Boolean Expressions.	ACM Conference on Computer Science	1993	DBLP DOI BibTeX RDF
2	Janusz Rajski, Jagadeesh Vasudevamurthy	The testability-preserving concurrent decomposition and factorization of Boolean expressions.	IEEE Trans. on CAD of Integrated Circuits and Systems	1992	DBLP DOI BibTeX RDF
2	Franco P. Preparata, David E. Muller	Efficient Parallel Evaluation of Boolean Expression.	IEEE Trans. Computers	1976	DBLP DOI BibTeX RDF	evaluation of Boolean expressions, computational complexity, parallel computation, combinational networks, Boolean expressions
1	Usha Badhera, G. N. Purohit, S. Taruna	Fault Based Techniques for Testing Boolean Expressions: A Survey	CoRR	2012	DBLP BibTeX RDF
1	Wolfgang Gatterbauer, Dan Suciu	Optimal Upper and Lower Bounds for Boolean Expressions by Dissociation	CoRR	2011	DBLP BibTeX RDF
1	Jarek Rossignac	Ordered Boolean List (OBL): Reducing the Footprint for Evaluating Boolean Expressions.	IEEE Trans. Vis. Comput. Graph.	2011	DBLP DOI BibTeX RDF	Boolean expression evaluation cost, CSG, OBDD
1	Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene	Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions.	ASE	2011	DBLP DOI BibTeX RDF
1	Claudio Moraga	Hybrid GF(2) - Boolean Expressions ..for Quantum Computing Circuits.	RC	2011	DBLP DOI BibTeX RDF
1	Mohammad Sadoghi, Hans-Arno Jacobsen	BE-tree: an index structure to efficiently match boolean expressions over high-dimensional discrete space.	SIGMOD Conference	2011	DBLP DOI BibTeX RDF
1	Mohammed Javeed Zaki, Naren Ramakrishnan, Lizhuang Zhao	Mining Frequent Boolean Expressions: Application to Gene Expression and Regulatory Modeling.	IJKDB	2010	DBLP DOI BibTeX RDF
1	Gordon Fraser, Angelo Gargantini	Generating Minimal Fault Detecting Test Suites for Boolean Expressions.	ICST Workshops	2010	DBLP DOI BibTeX RDF
1	Neha Goel, Michael S. Hsiao, Naren Ramakrishnan, Mohammed J. Zaki	Mining Complex Boolean Expressions for Sequential Equivalence Checking.	Asian Test Symposium	2010	DBLP DOI BibTeX RDF
1	Steven Whang, Chad Brower, Jayavel Shanmugasundaram, Sergei Vassilvitskii, Erik Vee, Ramana Yerneni, Hector Garcia-Molina	Indexing Boolean Expressions.	PVLDB	2009	DBLP BibTeX RDF
1	Lian Yu, Wei-Tek Tsai, Wei Zhao, Jun Zhu, Qianxing Wang	Towards Selecting Test Data Using Topological Structure of Boolean Expressions.	QSIC	2009	DBLP DOI BibTeX RDF	T-model, Bealoon expression, fault-based testing
1	Miroslav Manik, Elena Gramatová	Diagnosis of faulty units in regular graphs under the PMC model.	DDECS	2009	DBLP DOI BibTeX RDF
1	Ken Friis Larsen	A MuDDy Experience-ML Bindings to a BDD Library.	DSL	2009	DBLP DOI BibTeX RDF
1	Tarun Kumar Jain, Dharmender Singh Kushwaha, Arun Kumar Misra	Optimization of the Quine-McCluskey Method for the Minimization of the Boolean Expressions.	ICAS	2008	DBLP DOI BibTeX RDF
1	Davide Lorenzoli, Leonardo Mariani, Mauro Pezzè	Automatic generation of software behavioral models.	ICSE	2008	DBLP DOI BibTeX RDF	gk-tail, dynamic analysis, model synthesis
1	Michael Roberson, Melanie Harries, Paul T. Darga, Chandrasekhar Boyapati	Efficient software model checking of soundness of type systems.	OOPSLA	2008	DBLP DOI BibTeX RDF	software model checking, type soundness
1	Anthony Cox, Maryanne Fisher	Examining Programmers Cognitive Skills Using Regular Language.	ACHI	2008	DBLP DOI BibTeX RDF	cognitive skills, programming skills, program comprehension, formal language, regular expressions, regular languages
1	De Wang, Shi-Liang Sun	Replacement and Structure of S-Boxes in Rijndael.	CSSE	2008	DBLP DOI BibTeX RDF
1	Matthias Beck, Burkhard Freitag	Weighted Boolean conditions for ranking.	ICDE Workshops	2008	DBLP DOI BibTeX RDF
1	Pejman Lotfi-Kamran, Mehran Massoumi, Mohammad Mirzaei, Zainalabedin Navabi	Enhanced TED: A New Data Structure for RTL Verification.	VLSI Design	2008	DBLP DOI BibTeX RDF
1	Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler	Cheap Boolean Role Constructors for Description Logics.	JELIA	2008	DBLP DOI BibTeX RDF
1	Hervé Fournier, Danièle Gardy, Antoine Genitrini, Bernhard Gittenberger	Complexity and Limiting Ratio of Boolean Functions over Implication.	MFCS	2008	DBLP DOI BibTeX RDF	Implicational formulas, Limiting ratio, Analytic combinatorics, Complexity, Boolean functions, Probability distribution
1	Klaus Havelund	Runtime Verification of C Programs.	TestCom/FATES	2008	DBLP DOI BibTeX RDF
1	Animesh Adhikari, P. R. Rao	A Framework for Synthesizing Arbitrary Boolean Expressions Induced by Frequent Itemsets.	IICAI	2007	DBLP BibTeX RDF
1	Man Fai Lau, Ying Liu, Tsong Yueh Chen, Yuen-Tak Yu	On Detecting Double Literal Faults in Boolean Expressions.	Ada-Europe	2007	DBLP DOI BibTeX RDF	Test case generation, Black-box testing, Fault-based testing, Boolean specification
1	Sven Bittner, Annika Hinze	The arbitrary Boolean publish/subscribe model: making the case.	DEBS	2007	DBLP DOI BibTeX RDF
1	Jun-Ru Chang, Chin-Yu Huang	A Study of Enhanced MC/DC Coverage Criterion for Software Testing.	COMPSAC	2007	DBLP DOI BibTeX RDF
1	Xiaoxiao Yang, Zhenhua Duan	Operational Semantics of Framed Temporal Logic Programs.	SOFSEM	2007	DBLP DOI BibTeX RDF
1	Man Fai Lau, Ying Liu, Yuen-Tak Yu	On Detection Conditions of Double Faults Related to Terms in Boolean Expressions.	COMPSAC	2006	DBLP DOI BibTeX RDF
1	Walid Bagga, Refik Molva, Stefano Crosta	Policy-based encryption schemes from bilinear pairings.	ASIACCS	2006	DBLP DOI BibTeX RDF
1	Saïd Radhouani, Joo-Hwee Lim, Jean-Pierre Chevallet, Gilles Falquet	Combining Textual and Visual Ontologies to Solve Medical Multimodal Queries.	ICME	2006	DBLP DOI BibTeX RDF
1	Andreas Glausch, Wolfgang Reisig	How Expressive Are Petri Net Schemata?.	ICATPN	2006	DBLP DOI BibTeX RDF
1	Tarek Hamrouni, Sadok Ben Yahia, Engelbert Mephu Nguifo	Succinct System of Minimal Generators: A Thorough Study, Limitations and New Definitions.	CLA	2006	DBLP DOI BibTeX RDF
1	Joseph Ibershoff, Jerzy W. Jaromczyk, Danny van Noort	Simulations of Microreactors: The Order of Things.	DNA	2006	DBLP DOI BibTeX RDF
1	Esther Kaufmann	Talking to the Semantic Web - Query Interfaces to Ontologies for the Casual User.	International Semantic Web Conference	2006	DBLP DOI BibTeX RDF
1	Pejman Lotfi-Kamran, Mohammad Hosseinabady, Hamid Shojaei, Mehran Massoumi, Zainalabedin Navabi	TED+: a data structure for microprocessor verification.	ASP-DAC	2005	DBLP DOI BibTeX RDF
1	Hazem H. Hamed, Ehab S. Al-Shaer, Will Marrero	Modeling and Verification of IPSec and VPN Security Policies.	ICNP	2005	DBLP DOI BibTeX RDF
1	Seung Jin Lim, Yiu-Kai Ng	Categorizing and Extracting Information from Multilingual HTML Documents.	IDEAS	2005	DBLP DOI BibTeX RDF
1	Pierluigi Frisco, Christiaan V. Henkel, Szabolcs Tengely	An Algorithm for SAT Without an Extraction Phase.	DNA	2005	DBLP DOI BibTeX RDF
1	Jun Hu, Xiaofeng Yu, Yan Zhang, Tian Zhang, Xuandong Li, Guoliang Zheng	Checking Component-Based Embedded Software Designs for Scenario-Based Timing Specifications.	EUC	2005	DBLP DOI BibTeX RDF	embedded software designs, real-time systems, model checking, UML sequence diagrams, interface automata
1	Walid Bagga, Refik Molva	Policy-Based Cryptography and Applications.	Financial Cryptography	2005	DBLP DOI BibTeX RDF	Privacy, Authorization, Policy, Credentials, ID-based Cryptography
1	Abraham Bernstein, Esther Kaufmann, Anne Göhring, Christoph Kiefer	Querying Ontologies: A Controlled English Interface for End-Users.	International Semantic Web Conference	2005	DBLP DOI BibTeX RDF
1	Taolue Chen, Tingting Han, Jian Lu	Towards a Model Logic for p-Calculus.	COMPSAC	2004	DBLP DOI BibTeX RDF	Symbolic Transition Graph, Model Checking Algorithm, Modal Logic, ?-calculus
1	Mario Latendresse	Rewrite Systems for Symbolic Evaluation of C-like Preprocessing.	CSMR	2004	DBLP DOI BibTeX RDF
1	Luc De Raedt	Towards Query Evaluation in Inductive Databases Using Version Spaces.	Database Support for Data Mining Applications	2004	DBLP DOI BibTeX RDF
1	Sumit Gulwani, George C. Necula	Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions.	SAS	2004	DBLP DOI BibTeX RDF
1	Aaldert Hofman	Handling Complexity in Boolean Expressions.	EuroPLoP	2003	DBLP BibTeX RDF
1	Sau Dan Lee, Luc De Raedt	An Algebra for Inductive Query Evaluation.	ICDM	2003	DBLP DOI BibTeX RDF
1	Jordi Cortadella	Timing-driven logic bi-decomposition.	IEEE Trans. on CAD of Integrated Circuits and Systems	2003	DBLP DOI BibTeX RDF
1	Peter M. Maurer	Efficient event-driven simulation by exploiting the output observability of gate clusters.	IEEE Trans. on CAD of Integrated Circuits and Systems	2003	DBLP DOI BibTeX RDF
1	Srinath R. Naidu, Vijay Chandru	On Synthesis of Easily Testable (k, K) Circuits.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	Testing, synthesis, stuck-at fault, polynomial time, treewidth, k-tree
1	Wolf Zimmermann, Axel Dold	A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
1	Albert Nymeyer, Kairong Qian	Heuristic Search Algorithms Based on Symbolic Data Structures.	Australian Conference on Artificial Intelligence	2003	DBLP DOI BibTeX RDF	shortest path, Heuristic search, binary decision diagrams
1	Albrecht Wöß, Markus Löberbauer, Hanspeter Mössenböck	LL(1) Conflict Resolution in a Recursive Descent Compiler Generator.	JMLC	2003	DBLP DOI BibTeX RDF
1	Arun Kumar, Neeran M. Karnik, Girish Chafle	Context sensitivity in role-based access control.	Operating Systems Review	2002	DBLP DOI BibTeX RDF
1	Luc De Raedt, Manfred Jaeger, Sau Dan Lee, Heikki Mannila	A Theory of Inductive Query Answering.	ICDM	2002	DBLP DOI BibTeX RDF
1	Sang-Kyu Sung, Jong-Won Jung, Joon-Tark Lee, Woo-Jin Choi, Seok-Jun Ji	Optimal Synthesis Method for Binary Neural Network Using NETLA.	AFSS	2002	DBLP DOI BibTeX RDF
1	Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani	Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements.	AISC	2002	DBLP DOI BibTeX RDF
1	Cândida Ferreira	Discovery of the Boolean Functions to the Best Density-Classification Rules Using Gene Expression Programming.	EuroGP	2002	DBLP DOI BibTeX RDF
1	Katerina Korenblat, Orna Grumberg, Shmuel Katz	Translations between Textual Transition Systems and Petri Nets.	IFM	2002	DBLP DOI BibTeX RDF	textual transition systems, structure and semantics preservation, Petri nets, model translations
1	Szymon Jaroszewicz, Dan A. Simovici	Support Approximations Using Bonferroni-Type Inequalities.	PKDD	2002	DBLP DOI BibTeX RDF	query support, Bonferroni inequalities, frequent itemsets
1	Aleksy Schubert	The Complexity of beta-Reduction in Low Orders.	TLCA	2001	DBLP DOI BibTeX RDF
1	John F. Pane, Brad A. Myers	Tabular and Textual Methods for Selecting Objects from a Group. (PDF / PS)	VL	2000	DBLP DOI BibTeX RDF
1	Christian Setzkorn, Ray Paton, Leanne Bricker, Roy G. Farquharson	Application of a Genetic Programming Based Rule Discovery System to Recurring Miscarriage Data.	ISMDA	2000	DBLP DOI BibTeX RDF
1	Kevin Chen-Chuan Chang, Hector Garcia-Molina	Mind Your Vocabulary: Query Mapping Across Heterogeneous Information Sources.	SIGMOD Conference	1999	DBLP DOI BibTeX RDF
1	Steve Jones, Shona McInnes, Mark S. Staveley	A Graphical User Interface for Boolean Query Specification.	Int. J. on Digital Libraries	1999	DBLP DOI BibTeX RDF	Searching, Query interface, Boolean logic, Query specification
1	Mitchell H. Clifton	A comparison of space requirements for short-circuit and full evaluation of Boolean expressions.	ACM Southeast Regional Conference	1998	DBLP DOI BibTeX RDF
1	Sumit Roy, Harm Arts, Prithviraj Banerjee	PowerShake: A Low Power Driven Clustering and Factoring Methodology for Boolean Expressions.	DATE	1998	DBLP DOI BibTeX RDF
1	Arijit Sengupta, Andrew Dillon	Query by Templates: A Generalized Approach for Visual Query Formulation for Text Dominated Databases.	ADL	1997	DBLP DOI BibTeX RDF	query processing, visual query languages, text databases
1	Miroslav N. Velev, Randal E. Bryant, Alok Jain	Efficient Modeling of Memory Arrays in Symbolic Simulation.	CAV	1997	DBLP DOI BibTeX RDF
1	Kuo-Chung Tai	Theory of Fault-Based Predicate Testing for Computer Programs.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	predicate testing, boolean operator faults, relational operator faults, off-by-$epsilon$ faults, Software testing, fault-based testing
1	Rosa Meo, Giuseppe Psaila, Stefano Ceri	Composite Events in Chimera.	EDBT	1996	DBLP DOI BibTeX RDF
1	John C. Reynolds	Using Functor Categories to Generate Intermediate Code.	POPL	1995	DBLP DOI BibTeX RDF	ALGOL
1	Corneliu Barsan, Laura Barsan	Parallel Parsing by Boolean Expressions.	Parcella	1994	DBLP BibTeX RDF
1	Shiang-Tang Huang, Tai-Ming Parng, Jyuo-Min Shyu	Timed Boolean calculus and its applications in timing analysis.	IEEE Trans. on CAD of Integrated Circuits and Systems	1994	DBLP DOI BibTeX RDF
1	Albert Croker, Vasant Dhar	A Knowledge Representation for Constraint Satisfaction Problems.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	constraint-driven reasoner, control information, preference orderings, knowledge representation, knowledge representation, inference mechanisms, constraint satisfaction problems, constraint handling, Boolean expressions, dependency network
1	Alan Rotman, Ran Ginosar	Control unit synthesis from a high-level language.	IEEE Trans. on CAD of Integrated Circuits and Systems	1993	DBLP DOI BibTeX RDF
1	Debashis Bhattacharya, Prathima Agrawal, Vishwani D. Agrawal	Delay Fault Test Generation for Scan/Hold Circuits Using Boolean Expressions.	DAC	1992	DBLP BibTeX RDF
1	Alfons Kemper, Guido Moerkotte, Michael Steinbrunn	Optimizing Boolean Expressions in Object-Bases.	VLDB	1992	DBLP BibTeX RDF
1	Prabhat Jain, Prabhakar Kudva, Ganesh Gopalakrishnan	Towards a Verification Technique for Large Synchronous Circuits.	CAV	1992	DBLP DOI BibTeX RDF
1	Reinaldo A. Bergamaschi	SKOL: a system for logic synthesis and technology mapping.	IEEE Trans. on CAD of Integrated Circuits and Systems	1991	DBLP DOI BibTeX RDF
1	André Ivanov, Corot W. Starke, Vinod K. Agarwal, Wilfried Daehn, Matthias Gruetzner, Tom W. Williams	Iterative algorithms for computing aliasing probabilities.	IEEE Trans. on CAD of Integrated Circuits and Systems	1991	DBLP DOI BibTeX RDF
1	Saul A. Kravitz, Randal E. Bryant, Rob A. Rutenbar	Massively parallel switch-level simulation: a feasibility study.	IEEE Trans. on CAD of Integrated Circuits and Systems	1991	DBLP DOI BibTeX RDF
1	Nitin Indurkhya, Sholom M. Weiss	Iterative rule induction methods.	Appl. Intell.	1991	DBLP DOI BibTeX RDF	induction techniques, Machine learning, rule-based systems
1	Jagadeesh Vasudevamurthy, Janusz Rajski	A Method for Concurrent Decomposition and Factorization of Boolean Expressions.	ICCAD	1990	DBLP BibTeX RDF