8917 search results - page 1472 / 1784 » Abstraction in Algorithm Animation |
133
click to vote
ATVA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...
127
click to vote
AUSAI
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Text documents have sparse data spaces, and nearest neighbors may belong to different classes when using current existing proximity measures to describe the correlation ...
143
click to vote
AVBPA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We propose a relevance feedback system for retrieving a mental face picture from a large image database. This scenario differs from standard image retrieval since the ta...
148
click to vote
CBSE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Searching and subsequently selecting reusable components from component repositories has become a key impediment for not only component-based development but also for ach...
136
click to vote
CEEMAS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Distributed Constraint Satisfaction Problems (DCSP) is a general framework for multi-agent coordination and conflict resolution. In most DCSP algorithms, inter-agent com...