2061 search results - page 216 / 413 » Measuring Corner Properties |
158
click to vote
ICADL
2005
Springer
16 years 3 days ago
2005
Springer
This paper proposes a method for creating a high quality collection of researchers’ homepages. The proposed method consists of three phases: rough filtering of the possible web p...
229
click to vote
ICCS
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Morphisms constitute a general tool for modelling complex relationships between mathematical objects in a disciplined fashion. In Formal Concept Analysis (FCA), morphisms...
182
click to vote
WG
2005
Springer
16 years 2 days ago
2005
Springer
In this paper, we present a new algorithm for computing the chromatic polynomial of a general graph G. Our method is based on the addition of edges and contraction of non-edges of ...
157
click to vote
ATVA
2004
Springer
16 years 5 hour ago
2004
Springer
We propose a novel approach to locate errors in complex counterexample of safety property. Our approach measures the distance between two state transition traces with difference o...
162
click to vote
GPCE
2004
Springer
15 years 12 months ago
2004
Springer
This paper describes our experience with developing a product line for middleware-based versioning systems. We perform a detailed domain analysis and define a DSL for configuring i...