4604 search results - page 209 / 921 » Correlation-based Data Representation |
128
click to vote
ISMVL
2000
IEEE
15 years 7 months ago
2000
IEEE
Multiple-valued decision diagrams (MDDs) give a way of approaching problems by using symbolic variables which are often more naturally associated with the problem statement than t...
142
Voted
ASPDAC
1999
ACM
15 years 7 months ago
1999
ACM
: This paper presents a genetic algorithm based approach for algebraic optimization of behavioral system specifications. We introduce a chromosomal representation of data-flow gr...
111
click to vote
LREC
2008
15 years 4 months ago
2008
This paper presents the application of inheritance to the formal taxonomy (is-a) of a semantically rich Lexical Resource (LR) based on the Generative Lexicon theory, SIMPLE-CLIPS....
122
click to vote
IWFM
1998
15 years 4 months ago
1998
The issue of correctness in the context of a certain style of program transformation is investigated. This style is characterised by the fully automated application of large numbe...
122
Voted
EACL
1993
ACL Anthology
15 years 4 months ago
1993
ACL Anthology
It is traditionally assumed that various sources of linguistic knowledge and their interaction should be formalised in order to be able to convert words into their phonemic repres...