2586 search results - page 389 / 518 » Automatic Abstraction for Congruences |
170
click to vote
LATIN
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Automatic graph drawers need to compute paths among vertices of a simple polygon which besides remaining in the interior need to exhibit certain aesthetic properties. Som...
183
click to vote
CIKM
1997
Springer
15 years 10 months ago
1997
Springer
: In the context of knowledge management, we focus on the representation and the retrieval of past experiences called cases within the Case-Based Reasoning (CBR) paradigm. CBR is a...
140
click to vote
ICCAD
1996
IEEE
15 years 10 months ago
1996
IEEE
Designer's productivity has become the key-factor of the development of electronic systems. An increasing application of design data reuse is widely recognized as a promising...
152
click to vote
CONCUR
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. In a trace-based world, the modular speci cation, veri cation, and control of live systems require each module to be receptive that is, each module must be able to meet i...
196
click to vote
ISMIS
1997
Springer
15 years 10 months ago
1997
Springer
e about image features can be expressed as a hierarchical structure called a Type Abstraction Hierarchy (TAH). TAHs can be generated automatically by clustering algorithms based on...