3931 search results - page 526 / 787 » Separation logic and abstraction |
209
click to vote
FSKD
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. A fuzzy c-means algorithm incorporating the notion of dominant colors and spatial homogeneity is proposed for the color clustering problem. The proposed algorithm extract...
174
click to vote
HYBRID
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. Motivated by three applications which are under investigation at the Honeywell Research Laboratory in Minneapolis, we introduce a class of large scale control problems. I...
179
click to vote
ICES
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. There have been introduced a number of systems with evolvable hardware on a single chip. To overcome the lack of flexibility in these systems, we propose a single-chip e...
186
click to vote
IFM
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. We present a fixpoint semantics of event systems. The semantics is presented in a general framework without concerns of fairness. Soundness and completeness of rules for...
184
click to vote
ILP
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. Reasoning plays a central role in intelligent systems that operate in complex situations that involve time constraints. In this paper, we present the Adaptive Logic Inter...