Sciweavers

205 search results - page 10 / 41
» Engineering Planar Separator Algorithms
Sort
View
DOCENG
2008
ACM
14 years 11 months ago
A concise XML binding framework facilitates practical object-oriented document engineering
Semantic web researchers tend to assume that XML Schema and OWL-S are the correct means for representing the types, structure, and semantics of XML data used for documents and int...
Andruid Kerne, Zachary O. Toups, Blake Dworaczyk, ...
FASE
2010
Springer
15 years 4 months ago
Memory Leaks Detection in Java by Bi-abductive Inference
This paper describes a compositional analysis algorithm for statically detecting leaks in Java programs. The algorithm is based on separation logic and exploits the concept of bi-a...
Dino Distefano, Ivana Filipovic
81
Voted
TVCG
2010
161views more  TVCG 2010»
14 years 7 months ago
Origamizing Polyhedral Surfaces
—This paper presents the first practical method for “origamizing” or obtaining the folding pattern that folds a single sheet of material into a given polyhedral surface with...
Tomohiro Tachi
ICIP
2010
IEEE
14 years 7 months ago
Multiview image compression using a layer-based representation
We propose a novel compression method for multiview still images. The algorithm exploits the layer-based representation, which partitions the data set into planar layers character...
Andriy Gelman, Pier Luigi Dragotti, Vladan Velisav...
DAC
1995
ACM
15 years 1 months ago
On the Bounded-Skew Clock and Steiner Routing Problems
We study the minimum-costbounded-skewrouting tree (BST) problem under the linear delay model. This problem captures several engineering tradeoffs in the design of routing topologi...
Dennis J.-H. Huang, Andrew B. Kahng, Chung-Wen Alb...