5608 search results - page 79 / 1122 » Structure description tools |
AI
2007
Springer
14 years 10 months ago
2007
Springer
We present an efficient algorithm that checks the consistency of partial descriptions of ordered trees. The constraint language of these descriptions was introduced by Cornell in c...
101
click to vote
TVLSI
2008
14 years 9 months ago
2008
We present a Mutation-based Validation Paradigm (MVP) technology that can handle complete high-level microprocessor implementations and is based on explicit design error modeling, ...
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
An ad hoc data format is any non-standard, semi-structured data format for which robust data processing tools are not available. In this paper, we present ANNE, a new kind of mark...
GECCO
2004
Springer
15 years 3 months ago
2004
Springer
Evolutionary algorithms are a promising approach for the automated design of artificial neural networks, but they require a compact and efficient genetic encoding scheme to repres...
GROUP
1999
ACM
15 years 2 months ago
1999
ACM
This paper demonstrates how activity theoretic concepts can be used in conjunction with an ethnographically informed approach to derive requirements on a work situation. We presen...