247 search results - page 11 / 50 » Development graphs - Proof management for structured specifi... |
101
click to vote
SGAI
2004
Springer
15 years 5 months ago
2004
Springer
We exploit the combinatorial structure of conceptual graphs in order to obtain faster execution time when computing projection, which is a core generalisation-specialisation relat...
110
click to vote
SEMWEB
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. This paper introduces the task of Technology-Structure Mining to support Management of Technology. We propose a linguistic based approach for identification of Technology...
116
click to vote
ECCB
2005
IEEE
15 years 5 months ago
2005
IEEE
Many areas of modern biology are concerned with the management, storage, visualization, comparison, and analysis of networks. For instance, networks are used to model signal trans...
76
Voted
SIBGRAPI
2000
IEEE
15 years 4 months ago
2000
IEEE
This article deals with a new segmentation approach applied to unconstrained handwritten digits. The novelty of the proposed algorithm is based on the combination of two types of s...
121
Voted
IRCDL
2010
15 years 1 months ago
2010
One of the most challenging issues in managing the large and diverse data available on the World Wide Web is the design of interactive systems to organize and represent information...