5244 search results - page 47 / 1049 » Structural Complexity of AvgBPP |
IWPC
2010
IEEE
13 years 7 months ago
2010
IEEE
The measure dep-degree is a simple indicator for structural problems and complex dependencies on code-level. We model low-level dependencies between program operations as use-def ...
WIOPT
2010
IEEE
13 years 7 months ago
2010
IEEE
—K-shell (or k-core) graph decomposition methods were introduced as a tool for studying the structure of large graphs. K-shell decomposition methods have been recently proposed [...
ICTAI
2010
IEEE
13 years 6 months ago
2010
IEEE
Many applications call for methods to enable automatic extraction of structured information from unstructured natural language text. Due to inherent challenges of natural language ...
FM
1998
Springer
14 years 1 months ago
1998
Springer
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...
DIAGRAMS
2006
Springer
14 years 14 days ago
2006
Springer
Illustrating a dynamic process with an arrow-containing diagram is a widespread convention in people's daily communications. In order to build a basis for capturing the struct...