1520 search results - page 129 / 304 » Class Hierarchy Specialization |
CADE
2006
Springer
13 years 11 months ago
2006
Springer
We present a tool for checking the sufficient completeness of linear, order-sorted equational specifications modulo associativity, commutativity, and identity. Our tool treats this...
CAISE
2006
Springer
13 years 11 months ago
2006
Springer
The task of translating data from one schema into another is usually performed with the help of information stating how the elements between two schemas correspond. Translation mec...
AUSAI
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Methods of adaptive constraint satisfaction have recently become of interest to overcome the limitations imposed on “black-box” search algorithms by the no free lunch...
SODA
2008
ACM
13 years 9 months ago
2008
ACM
We consider graph coloring problems where the cost of a coloring is the sum of the costs of the colors, and the cost of a color is a monotone concave function of the total weight ...
CAS
2008
13 years 8 months ago
2008
In this paper we first present a novel approach to determine the structural information content (graph entropy) of a network represented by an undirected and connected graph. Such...