PROCESS FOR THE AUTOMATIC DETERMINATION OF PROBABILITIES ASSOCIATED WITH A BOOLEAN FUNCTION

申请公布号：CA2126460(A1)

申请号：CA19932126460

申请日期：1993.10.27

申请公布日期：1994.05.11

发明人：COUDERT, OLIVIER;MADRE, JEAN-CHRISTOPHE

分类号：G06F17/10;G06F17/18;G06F17/30;G06F17/50;(IPC1-7):G06F15/36

主分类号：G06F17/10

摘要：2126460 9410640 PCTABS00166 L'invention est relative à un procédé qui permet de calculer automatiquement, et de façon exacte, les probabilités associées à une fonction booléenne. Selon l'invention, la probabilité d'un événement représenté par une fonction booléenne (f) est déterminée en constituant le diagramme de décision binaire de cette fonction et en effectuant des parcours récursifs au travers de ce diagramme.

Thin-film type common-mode choke coil and manufacturing method thereof

Method and apparatus for viewing and managing collaboration data from within the context of a shared document

Master test plan/system test plan database tool

WEB-BASED SYSTEM AND METHOD FOR MULTI-LAYERED DISPLAY OF DYNAMIC AND STATIC OBJECTS

Light guide plate with reflection lumps and round protrusions and plane light source using the same

Protein separation by electrophoresis

Prevention of charge accumulation in micromirror devices through bias inversion

Surgical stapling apparatus and method

Film or sheet forming apparatus

Methods of controlling a camless engine to prevent interference between valves and pistons

Method of fabricating patterned polymer film with nanometer scale

IMPROVED CD UNIFORMITY OF CHROME ETCH TO PHOTOMASK PROCESS

Foldable electronic device formed by pivotally connecting two casings through hinge

Optical recording media objective lens and optical pickup device using it

Optical scanning device

Global gateway architecture for interconnecting regional satellites into a communication network

Method and apparatus for demodulating block-code signals

Platform-based optimization routines provided by firmware of a computer system

Sensor apparatus management methods and apparatus

Initialization of a control unit