4074 search results - page 343 / 815 » Abstract Graph Transformation |
153
click to vote
SAT
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. In this paper we study NP-hard weighted satisfiability optimization problems for the class 2-CNF providing worst-case upper time bounds. Moreover we consider the monoton...
200
click to vote
SLS
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. This work presents an algorithm for the sub-graph isomorphism problem based on a new pruning technique for directed graphs. During the tree search, the method checks if a...
172
click to vote
BIRTHDAY
2005
Springer
16 years 6 days ago
2005
Springer
The paper introduces a novel approach to the synthesis of labelled transition systems for calculi with name mobility. The proposal is based on a graphical encoding: Each process is...
148
click to vote
GBRPR
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. In this article we try to make different kinds of information cooperate in a characters recognition system addressing old Greek and Egyptians documents. We first use a ...
163
click to vote
ICCS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. The divisive MinMaxCut algorithm of Ding et al. [3] produces more accurate clustering results than existing document cluster methods. Multilevel algorithms [4, 1, 5, 7] h...