2143 search results - page 68 / 429 » Linking Representation with Meaning |
159
click to vote
FSTTCS
2004
Springer
15 years 11 months ago
2004
Springer
We present a fragment of separation logic oriented to linked lists, and study decision procedures for validity of entailments. The restrictions in the fragment are motivated by the...
168
click to vote
CEC
2009
IEEE
16 years 1 months ago
2009
IEEE
— An evolutionary algorithm automatically discovers suitable solutions to a problem, which may lie anywhere in a large search space of candidate solutions. In the case of Genetic...
144
click to vote
MIS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Music description is nowadays considered an important matter in Information and Communication Technology. The encoding formats commonly accepted and employed are often ch...
129
click to vote
KES
2004
Springer
15 years 11 months ago
2004
Springer
This paper1 is based on and advocates the trend in software engineering of extending the use of software patterns as means of structuring solutions to software development problems...
145
click to vote
IFIP
1998
Springer
15 years 10 months ago
1998
Springer
Case studies made of multimedia document production highlight the need for a means of classifying and describing the transformations of media elements which make up this process. ...