158 results about "Logical connective" patented technology

A user profiling system preferably includes a set of fuzzy logic operators. Based upon the fuzzy logic operators the user profile may be updated.

Correlating network activity through visualizing network data and with identifying entities associated with targeted activities and correlating therewith other activities from those entities. Network traffic is classified into a number of conceptual views of network traffic, each instantiating view objects that are a representation of network traffic that satisfies a set of conditions. Configuration files define a hierarchy, the structure of the hierarchy, and its makeup. Any point on the hierarchy can be accessed using its Graphical Request Language (GRL) designation. Further GRL designations are used to label views associated with a point. A plurality of view objects are linked to corresponding view object databases. Define new view objects using one or more GRL does correlation and combining using logical operators. Generate a new list of addresses from the GRL address lists and place all current and subsequent traffic for those machines in the new view object.

A method and apparatus for creating a communication group using an electronic address book to facilitate Push-to-Talk over Cellular (PoC) group communication sessions are disclosed. A group definition for determining members of the new PoC Group is composed from one or more contacts from the electronic address book such as by selecting from the address book using the mobile station. The group definition may include logical operators to define the combination of contacts. A name may be specified for the new group. The assembly of the PoC Group list of members may be performed by the mobile station, a communication network server for maintaining PoC Groups (e.g. a Group and List Management Server (GLMS)) or an email server.

A computer implemented method, apparatus, and computer usable program code for generating code for an integrated data system. A mixed data flow is received. The mixed data flow contains mixed data flow operators, which are associated with multiple runtime environments. A graph is generated containing logical operators based on the mixed data flow in response to receiving the mixed data flow. The logical operators are independent of the plurality of runtime environments. The graph is converted to a model. The logical operators are converted to model operators associated with the multiple runtime environments. The model operators allow for analysis of operations for the mixed data flow. The model is converted into an execution plan graph. The execution plan graph is executable on different runtime environments.

Methods and systems capable of determining which subset of a set of logical expressions are true with relatively few evaluations of the primitives that, together with any standard logical connectives, make up the logical expressions. A plurality of directed acyclic graphs, each graph including at least one root node, at least one leaf node, and at least one non-leaf node associated with a leaf node. Each node is associated with a, possibly empty, subset of presumed to be true logical expressions. Each non-leaf node is associated with one of the primitives mentioned in any of the logical expressions. Edges are defined between two of the nodes, each edge being associated with a possible value, or range of possible values, of the primitive associated with the node at the tail of the edge. Paths are defined through each of the directed acyclic graphs from a root node to a leaf node by recursively following each edge corresponding to the current value of the primitive at a selected non-leaf node. Lastly, subsets of logical expressions associated with the nodes on the defined paths are collated to yield a subset of logical expressions that are true.

A method and system which allow the addition of context into a search involves the use of state monitors in the computing environment. The state monitors record information such as the installed hardware, software, user preferences, and operating modes. The state information is used to modify information gathered via a user search to make the search results more relevant to the user in the context of his computing environment. The monitors, along with logical operators and variables, assess the current state of the machine and modify the displayed search results by excluding irrelevant information, biasing up information relevant to the computing environment and biasing down other information less relevant to the computing environment.

Generation of a search query to be issued to a document search engine is supported by providing a GUI creation unit that generates a graphical user interface for supporting generation of a search query. The GUI creation unit generates a query-node creation window that is a GUI window for generating a new search word to be connected to a search query by a logical operator. The query-node creation window includes a sample-document preview area that displays a sample document, a facet list area that displays facets extracted from the sample document in list form, a query-node creation assist area to assist generation of the new search word, and a logical-operator selection icon to select a logical operator that connects the generated search word.

The present invention provides a system, method and apparatus for troubleshooting one or more communications between a first device and a second device. A monitoring device disposed between the first device and the second device receives a message associated with the communication(s), analyzes the received message and stores the analyzed message whenever the analyzed message satisfies one or more troubleshooting criteria. The one or more troubleshooting criteria may include one or more data element criteria, one or more event-based criteria, one or more time-based criteria, one or more logical operators or a combination thereof. The method can be implemented using a computer program embodied on a computer readable medium having one or more code segments to perform the method steps.

Techniques for managing fast path evaluation of Boolean predicates are provided. In some examples, the fast path evaluation may be based at least in part on received queries and / or query statements associated with a database and / or streaming data. In some examples, a first instruction for enabling execution of a subset of logical operators of the query may be determined. The determination may be based at least in part on the logical operators of the query. Additionally, based at least in part on the first instruction, logical instructions for implementing the query may be generated. Further, the logical instructions may be compiled into machine-readable instructions for implementing only the subset of the logical operators of the query.

A customized list of real-time conference participants are obtained by selecting a conference group and then selecting members of the group to be excluded using an exclusion list feature. In alternative embodiments, one or more logical operators such as AND or OR are selected and applied to conference groups the user has selected. The logical operators and selected conference groups are sent to a conference server, which applies the operator to the selected groups to arrive at a shortlist of conference participants. The invention is particularly useful for cellular telephones initiating a real-time conference using the Session Initiation Protocol (SIP) and a SIP server resident on a network.

Systems and methods for query processing and indexing of documents in connection with a content store in a computing system are provided. In various embodiments, an indexing model is provided that is optimized for fast, efficient and scalable retrieval of documents satisfying a query, including the mixed use of forward and inverted indexing representations, including algorithms for achieving a balance between the two representations. When processing queries, fast and efficient generation of reverse chronologically ordered posting lists is enabled for efficient execution of logical operators on query result sets. A term expand index is also provided wherein the overall terms included in the term expand index are decomposed into a plurality of lexicon files, which are combined when convenient for fast, scalable efficiency when performing queries of the content in the content store.

A web-based system for visual construction of logical rules includes a server, a network, and client operatively connected to the server via the network. The server includes a database and a search engine. The client includes a web-based visual rule building application including selectable windows for displaying and visually editing terms, logical operators, logical rules for storage in the database. The logical rules are generated by visually selecting at least one of the terms and logical operators from the windows. The server may further include a search engine configured to perform at least one of a direct search or a contextual search for an entered query string in records stored in the database and the client may include a visual interface for displaying results of the searches. The search results generated by the search engine may be stored as terms in the database for subsequent rule generation.

A pipeline-based circuit with a postponed clock-gating mechanism and related driving method are disclosed for reducing power consumption, and the driving method does not deteriorate processing performance of the pipeline-based circuit. A pipeline-based circuit has a plurality of logic operators cascaded to form at least a pipeline, a pipeline control unit for generating at least a control signal to each logic operator for controlling whether one logic operator needs to pipe data to next logic operator, and a control value calculator for setting a valid bit of each logic operator following a currently activated logic operator according to the control signals generated from the pipeline control unit. When each logic operator begins operating, the related control value is used to determine whether or not a clock signal piping data of the present logic operator to next logic operator is gated to reduce power consumption. This postponed clock-gating mechanism avoids the degradation of pipeline clock speed limitation.

Documents having a structured nature such as contracts, legislation, etc. can be formatted to emphasize their logical structure. In a document formatting method, a set of document element classes each representing a logical operator may be defined. Each document element class may have a set of document section formatting rules and a defined set of document elements such as text strings that provide an expression of the logical operator of the class. Document elements within a document may be identified and used to classify a document section containing the document elements into one or more of the document element classes. The formatting rules of the classified class may then be used to re-format the particular document section so that a reformatted version of the document section accords with the formatting rules for document sections of that class.

A web-based system for visual construction of logical rules includes a server, a network, and client operatively connected to the server via the network. The server includes a database and a search engine. The client includes a web-based visual rule building application including selectable windows for displaying and visually editing terms, logical operators, logical rules for storage in the database. The logical rules are generated by visually selecting at least one of the terms and logical operators from the windows. The server may further include a search engine configured to perform at least one of a direct search or a contextual search for an entered query string in records stored in the database and the client may include a visual interface for displaying results of the searches. The search results generated by the search engine may be stored as terms in the database for subsequent rule generation.

A customizing method includes steps which consist in: a) determining on the basis of a circuit model, a set of vectors each corresponding to a theoretical operating time of the circuit when a predetermined sequence of tests is applied, the coefficients of each vector representing the state of a common set of elements of the circuit among which the element to be customized (12); b) defining on the basis of a comparison of vectors, a composite of logic operators applied on the vectors and enabling to extract the coefficient corresponding to the element to be customized (30); c) producing images of the operating circuit at times corresponding to the vectors whereon is applied the composite of logic operators (32); and d) graphically combining the images produced in accordance with a composite of graphic operators corresponding to the composite of logic operators (36).

A method and apparatus are provided for improving the precision of information retrieval systems that use logical form searching techniques. Under one embodiment of the invention, several logical form triples are produced from the user's query and are combined together by restrictive logical operators to generate a compound logical form query. A search is then performed to find documents that meet the requirements set by the compound logical form query. In other embodiments, results generated by a logical form search are intersected with results from a word search to form a more precise set of results.

The present invention relates to a data processing unit for executing instructions stored in a memory comprising a plurality of registers coupled with an execution unit comprising a logic unit for execution of logic operations. The logic unit comprises a first logic operator which can be coupled with a first and second register as an input register and which generates an output bit as a result of a logic operation. It further comprises a Boolean operator which receives the output bit of the first logic operator as a first input and second input bit from a third register which generates an output bit as a result of a Boolean operation.

The invention relates to a system for ensuring a computer to understand natural languages, comprising a database, a related command set, a string creating unit, a subject-predicate recognizing unit, a key word recognizing unit and a logic processing unit, wherein the database is used for storing the categories of language material resources and application programs; the related command set is used for logical operation and program control of input natural languages; the string creating unit is used for generating input strings according to the input natural languages; the subject-predicate recognizing unit is used for recognizing the subject and predicate character fields in the input strings and respectively acquiring the subject and predicate object code segments matched with the subject and predicate character fields by retrieving the database; the key word recognizing unit is used for recognizing the key words / phrases in the input strings and acquiring corresponding logical operation or program control commands from the command set according to the key words / phrases; and the logic processing unit is used for combining the subject and predicate object code segments into an integral program file. The invention also provides a method for ensuring the computer to understand natural languages. The method realizes integral recognition and understanding of the natural languages by recognizing the subjects and predicates and the logical connectives thereof in the natural languages.

The invention discloses a method and a device for creating indexes of a database. The method includes executing following operation to create the indexes if a query statement contains a logical operator indicating or relations: determining the logical operator indicating the or relations in the query statement, using the logical operator indicating the or relations as a root node of a multi-way tree, using each sub-query condition in front of the logical operator indicating the or relations and each sub-query condition behind the logical operator indicating the or relations as child nodes of the multi-way tree, converting a query condition in the query statement into a multi-way tree form, and respectively creating the indexes according to converted sub-query conditions in the various child nodes of the multi-way tree. The method and the device have the advantage that the problem of errors of automatically created indexes due to the fact that logical operators indicating or relations cannot be recognized by computers when query conditions are complicated in the prior art and the problem of low index creating efficiency when indexes are created in a manual auxiliary mode in the prior art are solved.

For storing gesture definitions and evaluating expressions that reference the gesture definitions, an expression evaluation engine evaluates the expressions to determine whether movements of a user satisfy the expressions. The expression evaluation engine receives expressions in user or application requests, or the expression evaluation engine may automatically evaluate the expressions when a gesture recognition system receives updated information about tracked body parts of the user. An expression includes a logical operator that relates different conditions to each other, and the different conditions may reference different gestures or other criteria that are based on the tracked body parts of the user. The expression is satisfied when the logical operator is satisfied. If an expression is satisfied, the expression evaluation engine triggers an action associated with a corresponding gesture definition. An example gesture may trigger display and navigation of a pie menu.

The invention relates to a medical data including / excluding method and device, and belongs to the technical field of medical big data processing. The medical data including / excluding method comprisesthe steps of selecting medical data to be included / excluded, and selecting an index value of the medical data to be included / excluded through keyword matching; according to a data type of the index value, selecting a logical operator associated with the data type; forming a logical expression by using the logical operator and the index value, including / excluding the medical data to be included / excluded by using the logical expression to obtain medical data conforming to preset conditions. According to the method, the medical data to be included / exclude is included / excluded by using the logicalexpression so as to obtain the medical data conforming to the preset conditions, so that the medical data which does not conform to the preset conditions can be excluded, the medical data conformingto the preset conditions are included, an accurate search result is obtained, and the accuracy of medical data search is improved.

The invention relates to an encryption method for realizing support of FGAC (Fine Grained Access Control), wherein an access control structure is an access control tree in an attribute-based encryption system, extended attribute nodes are represented by using a range of k being less than 0, and k represents an operation identifier corresponding to a specific operation (or function); leaf nodes ofk being less than 0 are called extended attribute leaf nodes, and subnodes of the extended attribute leaf nodes include one or more attributes and attribute value pairs. The data in the subnodes are input parameters needed by the operation function corresponding to the operation identifier k. The output of the function corresponds to the attribute values of the extended attribute nodes, and an extended operation comprises a matching function and a logical operator. The encryption method leads an attribute-based encryption algorithm to support abundant operations, and facilitates a flexible FGAC capability of the improved attribute-based encryption algorithm.

The invention provides a search device, navigation device and search program, which can automatically set proper logical operator. The navigation device (1) can use attribute tags (87) to appoint any attribute of name, residence and type and input keywords, search conditions are set by logical AND aiming at keywords belonging to different attributes; for keywords belonging to same attribute, if relation of subordination is provided, search conditions are set by logical AND; if relation of subordination is not provided, search conditions are set by logical AND. Otherwise, in the navigation device (1), the maximum number of search results is the minimum number of pieces in the search objects corresponding to each keyword in the condition that the search conditions are composed by logical AND so as to display the number of pieces; and in the condition that the search conditions are composed by logical AND, the maximum number of search results is the sum of number of pieces of search objects corresponding to each keyword so as to display the sum of the number of pieces.

The invention relates to a method for converting a structural text language into a trapezoidal graph language, which comprises the following steps of performing equivalent standard treatment on structural text logic statement according to the international electrotechnical commission (IEC) 61131-3 standard; determining a layer of each element in brackets which the element is located in and determining logical operators in the front and at the back are 'AND' or 'OR' according to the structural text logic statement after the standard treatment, performing one-to-one location of the elements in a text in a two-dimensional coordinate in a trapezoidal graph according to the corresponding primitive of the elements; converting the elements in the structural text after location into immediate codes, enabling an immediate code of each element to comprise primitive types, primitive coordinate and parameter information, and utilizing each written functional function for drawing the trapezoidal graph to convert the immediate codes into the trapezoidal graph. The method for converting the structural text language into the trapezoidal graph language has good generality, can fast and accurately converting any complex structural text into the trapezoidal graph, and helps a user to design a structural text and the trapezoidal graph which accord with the international standard, and errors existing in a program are easy to correct.

An expression editor tool allows a user to build an expression or calculation with a rule that specifies an action programmed to occur during execution of a target application. The expression editor tool allows a user to define an action point definition that specifies an action point located in the target application logic instructions. The expression editor tool determines from the action point definition a dataset that is in-context at the action point, provides an expression definition interface to obtain selected data fields from the dataset, and a selected logical operator to connect the selected data fields used to construct a new expression. The expression editor tool provides an outcome selection interface used to obtain a selected outcome for the new expression in order to create a rule including the new expression and the selected outcome, and store the rule in the database linked to the action point definition.

The present invention discloses a touch panel apparatus with shared output pin configuration and method thereof. The method to reduce output pin is to group the electrode lines on the substrate into at least one unit, and each unit includes plural lines. At least one of the second axial electrode line of the electrode line group and at least one of the second axial electrode line of the another electrode line group couple to plural the second axial pins. Then, the vertical electrodes deliver the signals to the control IC through the pin coupled with the control IC. The control IC sends the output signals to the micro controller unit and the micro controller unit utilizes logical operators to estimate the coordinate position of touch point.