Table 2.
Algorithm 1: Computing the set of EFPs based on the set of ProCEMs
| Input: |
| • J (the set of ProCEMs) |
| Output: |
| • E (the set of EFPs) |
| Initialization: |
| E := ∅; |
| Main procedure: |
 |
Official websites use .gov
A
.gov website belongs to an official
government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you've safely
connected to the .gov website. Share sensitive
information only on official, secure websites.