Sciweavers

9842 search results - page 1815 / 1969
» The Complexity of the Matching-Cut Problem
Sort
View
IV
2005
IEEE
161views Visualization» more  IV 2005»
15 years 10 months ago
Adaptive Site Map Visualization Based on Landmarks
Site maps are frequently provided on Web sites as a navigation support for Web users. The automatic generation of site maps is a complex task since the structure of the data, sema...
Dirk Kukulenz
122
Voted
LICS
2005
IEEE
15 years 10 months ago
Proof-Theoretic Approach to Description-Logic
In recent work Baader has shown that a certain description logic with conjunction, existential quantification and with circular definitions has a polynomial time subsumption pro...
Martin Hofmann
MTV
2005
IEEE
128views Hardware» more  MTV 2005»
15 years 10 months ago
Automated Extraction of Structural Information from SystemC-based IP for Validation
The increasing complexity and size of system level design models introduces a difficult challenge for validating them. Hence, in most industries, design validation takes a large p...
David Berner, Hiren D. Patel, Deepak Mathaikutty, ...
WACV
2005
IEEE
15 years 10 months ago
Ensemble Methods in the Clustering of String Patterns
We address the problem of clustering of contour images from hardware tools based on string descriptions, in a comparative study of cluster combination techniques. Several clusteri...
André Lourenço, Ana L. N. Fred
WIOPT
2005
IEEE
15 years 10 months ago
Iterated Local Optimization for Minimum Energy Broadcast
In our prior work, we presented a highly effective local search based heuristic algorithm called the Largest Expanding Sweep Search (LESS) to solve the minimum energy broadcast (M...
Intae Kang, Radha Poovendran
« Prev « First page 1815 / 1969 Last » Next »