- Subscribe to this page:
- RSS
- Email Alert
boolean
(297 results)-
Whitepapers
Binary is Good: A Binary Inference Framework for Primary User Separation in Cognitive Radio Networks
September 14, 2010 12:00am PDT
Primary Users (PU) separation concerns with the issues of distinguishing and characterizing primary users in Cognitive Radio (CR) networks. The authors argue the need for PU separation in the...
Provided by: University of Hong Kong
-
Whitepapers
Simplification of Boolean Algebra Through DNA Computing
August 23, 2010 12:00am PDT
DNA Computing utilizes the properties of DNA for performing the computations. The computations include arithmetic and logical operations such as simplification of Boolean expression to its...
Provided by: International Journal of Computer Applications
-
White Papers
Unifying Dependent Clustering and Disparate Clustering for Non-Homogeneous Data
July 28, 2010 12:00am PDT
Modern data mining settings involve a combination of attribute valued descriptors over entities as well as specified relationships between these entities. The authors present an approach to...
Provided by: Association for Computing Machinery
-
White Papers
Boolean Coherence and the ACH Method
July 27, 2010 12:00am PDT
Richards Heuer's book, "The Psychology of Intelligence Analysis", sets out an approach to Intelligence Analysis based on comparing Alternative Competing Hypothesis (ACH). Heuer's work is expressed...
Provided by: University of York
-
White Papers
Automated Fixing of Programs With Contracts
July 16, 2010 12:00am PDT
In program debugging, finding a failing run is only the first step; what about correcting the fault? Can people automate the second task as well as the first? The AutoFix-E tool automatically...
Provided by: Association for Computing Machinery
-
-
Whitepapers
Constraints-Based Complex Behavior in Rich Environments
July 4, 2010 12:00am PDT
In order to create a system capable of planning complex, constraints-based behaviors for an agent operating in a rich environment, two complementary frameworks were integrated. Linear Temporal...
Provided by: George Mason University
-
White Papers
A New Public-Key Encryption Scheme Based on Non-Expansion Visual Cryptography and Boolean Operation
July 1, 2010 12:00am PDT
Currently, most of the existing public-key encryption schemes are based on complex algorithms with heavy computations. In 1994, Naor and Shamir proposed a simple cryptography method for digital...
Provided by: Universiti Sains Malaysia
-
White Papers
RelCom: Relational Combinatorics Features for Rapid Object Detection
July 1, 2010 12:00am PDT
The authors present a simple yet elegant feature, RelCom, and a boosted selection method to achieve a very low complexity object detector. They generate combinations of low-level feature...
Provided by: Mitsubishi Electric Research Laboratories
-
White Papers
On Efficiently Transferring the Linear Secret-Sharing Scheme Matrix in Ciphertext-Policy Attribute-Based Encryption
June 30, 2010 12:00am PDT
Ciphertext-Policy Attribute-Based Encryption(CP-ABE) is a system for realizing complex access control on encrypted data, in which attributes are used to describe a user's credentials and a party...
Provided by: Shanghai Jiao Tong University
-
White Papers
Bounds on Thresholds Related to Maximum Satisfiability of Regular Random Formulas
June 28, 2010 12:00am PDT
A literal of a Boolean variable is the variable itself or its negation. A clause is a disjunction (OR) of k literals. A formula is a conjunction (AND) of a finite set of clauses. A k-SAT formula...
Provided by: KTH - Royal Institute of Technology
-
White Papers
The Reachability-Bound Problem
June 10, 2010 12:00am PDT
The authors define the reachability-bound problem to be the problem of finding a symbolic worst-case bound on the number of times a given control location inside a procedure is visited in terms of...
Provided by: Association for Computing Machinery
-
Whitepapers
Soft Set Theoretic Approach for Dimensionality Reduction
June 1, 2010 12:00am PDT
A reduct is a subset of attributes that are jointly sufficient and individually necessary for preserving a particular property of a given information system. The existing reduct approaches under...
Provided by: Science and Development Network (SciDev.Net)
-
White Papers
A Tunnel-Aware Language for Network Packet Filtering
June 1, 2010 12:00am PDT
While in computer networks the number of possible protocol encapsulations is growing day after day, network administrators face ever increasing difficulties in selecting accurately the traffic...
Provided by: Institute of Electrical and Electronics Engineers
-
White Papers
Attribute-Based Conditional Proxy Re-Encryption With Chosen-Ciphertext Security
June 1, 2010 12:00am PDT
Proxy re-encryption is a cryptographic primitive which enables a ciphertext encrypted under a delegator's public key to be translated into a ciphertext of a delegatee by a semi-trusted proxy....
Provided by: Institute of Electrical and Electronics Engineers
-
White Papers
Optimal Computation of Symmetric Boolean Functions in Tree Networks
April 30, 2010 12:00am PDT
In this paper, the authors address the scenario where nodes with sensor data are connected in a tree network, and every node wants to compute a given symmetric Boolean function of the sensor data....
Provided by: University of Illinois
-
White Papers
Relevance-Based Retrieval on Hidden-Web Text Databases Without Ranking Support
April 17, 2010 12:00am PDT
Many online or local data sources provide powerful querying mechanisms but limited ranking capabilities. For instance, PubMed allows users to submit highly expressive Boolean keyword queries, but...
Provided by: Arizona State University
-
White Papers
Lazy Annotation for Program Testing and Verification
April 15, 2010 12:00am PDT
The authors describe an interpolant-based approach to test generation and model checking for sequential programs. The method generates Floyd/Hoare style annotations of the program on demand, as a...
Provided by: University of California
-
Downloads
CyberMotion 3D-Designer 14.0.1.2 (Windows)
March 28, 2010 12:00am PDT
CyberMotion 3D-Designer is an integrated 3D-graphics program for modeling, animating and rendering photorealistic 3D-scenes, terrains and characters. It features a vast number of 3D modeling...
Provided by: Reinhard Epp Software
-
White Papers
Secure Ranked Keyword Search Over Encrypted Cloud Data
March 20, 2010 12:00am PDT
As Cloud Computing becomes prevalent, sensitive information are being increasingly centralized into the cloud. For the protection of data privacy, sensitive data has to be encrypted before...
Provided by: Illinois Institute of Technology
-
White Papers
Disambiguating Aspect-Oriented Security Policies
March 19, 2010 12:00am PDT
Many software security policies can be encoded as aspects that identify and guard security-relevant program operations. Bugs in these aspectually-implemented security policies often manifest as...
Provided by: Association for Computing Machinery
