8413 search results - page 424 / 1683 » Ordering Problem Subgoals |
153
click to vote
ER
2007
Springer
16 years 27 days ago
2007
Springer
With regard to environmental decision-making, the field of conceptual modelling is primarily focused on representation and visualisation. As such, the ‘soft’ problem structuri...
164
click to vote
ICCBR
2007
Springer
16 years 26 days ago
2007
Springer
The problem of label ranking has recently been introduced as an extension of conventional classification in the field of machine learning. In this paper, we argue that label ran...
199
click to vote
LFCS
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. In order to verify programs with pointer variables, we introduce a temporal logic LTLmem whose underlying assertion language is the quantifier-free fragment of separatio...
206
click to vote
LPAR
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. We consider the temporal logic with since and until modalities. This temporal logic is expressively equivalent over the class of ordinals to first-order logic thanks to ...
150
click to vote
SPIRE
2007
Springer
16 years 25 days ago
2007
Springer
The Longest Common Subsequence (LCS) is a well studied problem, having a wide range of implementations. Its motivation is in comparing strings. It has long been of interest to dev...