Logical measure: structure of logical formula
Abstract
References
Index Terms
- Logical measure: structure of logical formula
Recommendations
OCD Dolores - Recovering Logical Structures for Dummies
DAS '12: Proceedings of the 2012 10th IAPR International Workshop on Document Analysis SystemsThis paper presents OCD Dolores, an environment that aims at recovering the logical structures from documents by interactively inferring their models. Dolores is based on OCD, an XML canonical document format used to represent structured electronic ...
Extracting logical structure and identifying stragglers in parallel execution traces
PPoPP '14We introduce a new approach to automatically extract an idealized logical structure from a parallel execution trace. We use this structure to define intuitive metrics such as the lateness of a process involved in a parallel execution. By analyzing and ...
Comments
Information & Contributors
Information
Published In
Publisher
Physica-Verlag GmbH
Germany
Publication History
Author Tags
Qualifiers
- Chapter
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
View options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in