boolean
RSS booleanSort by: Relevance | Date
The Next Generation of Static Analysis: Boolean Satisfiability and Path Simulation - A Perfect Match
White Paper Now, a groundbreaking new use of Boolean Satisfiability (SAT) in the field is poised to help static analysis deliver on its potential. This white paper provides a brief overview of the history of static analysis and explains how the use of Boolean... [09 Jul 2008]
Ginseng: A Guided Input Natural Language Search Engine for Querying Ontologies
White Paper Common users, however, seem to have problems even with the simplest Boolean expression. The Semantic Web presents the vision of a distributed, dynamically growing knowledge base founded on formal logic. [06 Nov 2007]
Learning PHP & MySQL: PHP Decision-Making
White Paper A value can be a number, a string of text, or a Boolean. There are several building blocks of coding that one needs to understand: statements, expressions, and operators. A statement is code that performs a task. [17 Oct 2007]
Fairplay - A Secure Two-Party Computation System
White Paper Fairplay comprises a high level procedural definition language called SFDL tailored to the SFE paradigm; a compiler of Secure Function Definition Language (SFDL) into a one-pass Boolean circuit presented in a language called Secure Hardware... [09 Jun 2007]
Language Support for Lightweight Transactions
White Paper They can also block, waiting for arbitrary boolean conditions to become true. Concurrent programming is notoriously difficult. Current abstractions are intricate and make it hard to design computer systems that are reliable and scalable. [11 May 2007]
Context- and Path-Sensitive Memory Leak Detection
White Paper The authors achieve very precise context- and path-sensitivity by expressing their analysis using boolean constraints. This paper presents a context- and path-sensitive algorithm for detecting memory leaks in programs with explicit memory management. [18 Apr 2007]
Chaff: Engineering an Efficient SAT Solver
White Paper This paper describes the development of a new complete solver, Chaff, which achieves significant performance gains through careful engineering of all aspects of the search - especially a particularly efficient implementation of Boolean Constraint... [05 Apr 2006]
Error-Driven Boolean-Logic-Rule-Based Learning for Mining Chat-Room Conversations
White Paper The ephemeral nature of human communication via networks today poses interesting and challenging problems for information technologists. The sheer volume of communication in venues such as email, newsgroups, and chat precludes manual techniques of... [13 Jan 2005]
Lightweight Directory Access Protocol (LDAP) and X.500 Component Matching Rules
White Paper The syntaxes of attributes in a Lightweight Directory Access Protocol (LDAP) or X.500 directory range from simple data types, such as text string, integer, or boolean, to complex structured data types, such as the syntaxes of the directory schema... [10 Dec 2004]
Sun's Advanced Search Technology Gives Portal and Web Server Products a Competitive Advantage
White Paper Sun's advanced search technology helps enterprise users locate information up to five times faster than standard Boolean search engines. The purpose of this paper is to explore the capabilities and benefits of Sun's advanced search technology. [20 Aug 2004]
Virtex Variable-Input LUT Architecture
White Paper In addition to being optimized for 4-, 5-, 6-, 7-, and 8-input LUT functions, the architecture is designed to support 32:1 multiplexers and Boolean functions with up to 79 inputs. The variable-input look-up table (LUT) architecture has been a... [27 May 2004]
Mapping Boolean Functions with Neural Networks having Binary Weights and Zero Thresholds
White Paper In this paper, the ability of a Binary Neural Network comprising only neurons with zero thresholds and binary weights to map given samples of a Boolean function is studied. The model is then used to provide apriori criteria, stated in terms of the... [24 Feb 2004]
A Search Engine to Retrieve Relevant Sections in Text
White Paper In more advanced search engines, instead of entering one string, the user may enter a Boolean expression that includes several strings related by the Boolean operators, and the search engine finds all the cases that satisfy this expression. [24 Feb 2004]
Is Precoordination Unnecessary in LCSH? Are Web Sites More Important to Catalog than Books? A Reference Librarian's Thoughts on the Future of Bibliographic Control
White Paper The meaning of thousands of LCSH headings depends on their word order in ways that cannot be captured by postcoordinate Boolean combinations or by word proximity searches that drop relational prepositions as stop words. [24 Feb 2004]
Language Technology White Paper
White Paper It provides the reader with an understanding of many of the advantages of Natural Language Technology over more traditional methods of navigation such as Boolean-based keyword search or probability-based methods. [24 Feb 2004]
