4485 search results - page 614 / 897 » Equivalences on Observable Processes |
144
Voted
JCIT
2008
15 years 4 months ago
2008
Intelligence of humankind mostly includes five parts: the observing ability, the memory ability, the practice ability, the thought ability, the imagining ability, etc.. In this pa...
146
click to vote
INFORMATICALT
2006
15 years 4 months ago
2006
Abstract. The aim of the given paper is the development of an approach for parametric identification of Hammerstein systems with piecewise linear nonlinearities, i.e., when the sat...
155
click to vote
JIIS
2008
15 years 4 months ago
2008
In this paper, we study the incremental update of Frequent Closed Itemsets (FCIs) over a sliding window in a high-speed data stream. We propose the notion of semi-FCIs, which is to...
134
click to vote
JRTIP
2008
15 years 4 months ago
2008
Abstract Image registration is a computationally intensive application in the medical imaging domain that places stringent requirements on performance and memory management efficie...
150
Voted
JUCS
2006
15 years 4 months ago
2006
Abstract: We present a novel approach to the verification of functional-logic programs. For our verification purposes, equational reasoning is not valid due to the presence of non-...