5624 search results - page 703 / 1125 » On Conditional Covering Problem |
139
click to vote
AIIA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Improving accuracy in Information Retrieval tasks via semantic information is a complex problem characterized by three main aspects: the document representation model, th...
130
click to vote
APN
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents the high level Petri nets analyzer Helena. Helena can be used for the on-the-fly verification of state properties, i.e., properties that must hold in all the ...
124
Voted
DAGM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. A vision based head tracking approach is presented, combining foreground information with an elliptical head model based on the integration of gradient and skin-color inf...
146
click to vote
EVOW
2005
Springer
15 years 10 months ago
2005
Springer
This paper proposes a new evolutionary region merging method to improve segmentation quality result on oversegmented images. The initial segmented image is described by a modified ...
135
click to vote
FROCOS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper we combine rewriting techniques with verification issues. More precisely, we show how techniques for proving relative termination of term rewrite systems (...