6881 search results - page 158 / 1377 » Motivation |
143
click to vote
FSTTCS
2004
Springer
15 years 10 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...
146
click to vote
GECCO
2004
Springer
15 years 10 months ago
2004
Springer
Randomized search heuristics, among them randomized local search and evolutionary algorithms, are applied to problems whose structure is not well understood, as well as to problems...
131
Voted
GI
2004
Springer
15 years 10 months ago
2004
Springer
: In this paper we describe one of the authors’ experiences working for an IT service provider in an SME environment. The paper starts with an analysis of the factors typical for...
132
click to vote
IJCNLP
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we describe the motivation for and construction of a new Japanese lexical resource: the Hinoki treebank. The treebank is built from dictionary definition sentences, ...
130
Voted
ISMIR
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, an application of feature extraction from music data is first introduced to motivate our research of finding approximate repeating patterns from sequence data. An a...