Unlock your potential with Microsoft Copilot
Get things done faster and unleash your creativity with the power of AI anywhere you go.
Tark: A Tool Kit to Mine Linear Temporal Rules
With this tool kit, users can mine linear temporal rules involving multiple events. Last published: June 17, 2013.
Important! Selecting a language below will dynamically change the complete page content to that language.
Version:
5.0
Date Published:
5/12/2016
File Name:
Tark_5.zip
File Size:
555.1 KB
With this tool kit, users can mine linear temporal rules involving multiple events. The mined rules can capture data constraints on event fields and data-flow constraints between event fields via quantification. The tool kit can be used to mine rules over different views of events using event abstractions. In addition, the tool kit can be used to mine non-temporal rules involving single events, similar to frequent item sets. The tools operate on a well-defined, publicly available custom XML trace format. While users can generate traces conformant to this format, they also could use the converters in the tool kit to convert trace data such as call traces and network traces in various common formats—comma-separated values, Netmon, and PDML—to the custom trace format supported by the tools.Supported Operating Systems
Windows 10, Windows 7, Windows 8
- Windows 7, Windows 8, or Windows 10
- Click Download and follow the instructions.