1113 search results - page 42 / 223 » Automated Approaches for Classifying Structures |
ICSE
2009
IEEE-ACM
16 years 4 months ago
2009
IEEE-ACM
Superimposition is a composition technique that has been applied successfully in many areas of software development. Although superimposition is a general-purpose concept, it has ...
130
Voted
TACAS
2010
Springer
15 years 10 months ago
2010
Springer
Many algorithms on data structures such as terms (finitely branching trees) are naturally implemented by second-order recursion: A first-order procedure f passes itself as an arg...
122
click to vote
IPM
2006
15 years 3 months ago
2006
This paper examines several different approaches to exploiting structural information in semi-structured document categorization. The methods under consideration are designed for ...
140
click to vote
DASC
2006
IEEE
15 years 7 months ago
2006
IEEE
Run-time monitoring is a powerful approach for dynamically detecting faults or malicious activity of software systems. However, there are often two obstacles to the implementation...
135
Voted
FAC
2010
15 years 1 months ago
2010
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language in the form of gr...