392 search results - page 30 / 79 » Reversal Complexity Revisited |
137
Voted
IMC
2010
ACM
15 years 1 months ago
2010
ACM
Network management applications require accurate estimates of a wide range of flow-level traffic metrics. Given the inadequacy of current packet-sampling-based solutions, several ...
142
Voted
SIGDOC
1995
ACM
15 years 7 months ago
1995
ACM
This paper describes ongoing research into the use of a domain-retargetable reverse engineering environment to aid the structural understanding of large information spaces. In par...
106
Voted
CCCG
2010
15 years 5 months ago
2010
We explore which polyhedra and polyhedral complexes can be formed by folding up a planar polygonal region and fastening it with one zipper. We call the reverse process a zipper un...
131
Voted
ECAI
2010
Springer
15 years 1 months ago
2010
Springer
We investigate the complexity of axiom pinpointing for different members of the DL-Lite family of Description Logics. More precisely, we consider the problem of enumerating all mi...
146
Voted
VMCAI
2009
Springer
15 years 10 months ago
2009
Springer
Given a 3-valued abstraction of a program (possibly generated using rogram analysis and predicate abstraction) and a temporal logic formula, generalized model checking (GMC) checks...