Sciweavers

16666 search results - page 216 / 3334
» Descriptive and Computational Complexity
Sort
View
120
Voted
GD
2008
Springer
15 years 5 months ago
The Binary Stress Model for Graph Drawing
We introduce a new force-directed model for computing graph layout. The model bridges the two more popular force directed approaches – the stress and the electrical-spring models...
Yehuda Koren, Ali Civril
AI
2010
Springer
15 years 4 months ago
Logic-based ontology comparison and module extraction, with an application to DL-Lite
We develop a formal framework for comparing different versions of ontologies, and apply it to ontologies formulated in terms of DL-Lite, a family of `lightweight' description...
Roman Kontchakov, Frank Wolter, Michael Zakharyasc...
ICFP
2008
ACM
16 years 4 months ago
Functional netlists
In efforts to overcome the complexity of the syntax and the lack of formal semantics of conventional hardware description languages, a number of functional hardware description la...
Sungwoo Park, Jinha Kim, Hyeonseung Im
SAC
2003
ACM
15 years 10 months ago
Applying Information Visualization Techniques to Capture and Explore the Course of Cognitive Behavioral Therapy
Tracking and especially comparing psychotherapeutic processes is a complex task involving a large number of individual and complexly related parameters. Therefore, descriptive and...
Monika Lanzenberger, Silvia Miksch, Susanne Ohmann...
CVPR
2011
IEEE
14 years 8 months ago
Reconstruction of relief objects from line drawings
This paper addresses the problem of automatic reconstruction of a 3D relief from a line drawing on top of a given base object. Reconstruction is challenging due to four reasons â€...
Michael Kolomenkin, George Leifman, Ilan Shimshoni...