12981 search results - page 2091 / 2597 » Model Checking (Abstract) |
207
click to vote
APIN
2008
15 years 7 months ago
2008
Abstract-Mining generalized association rules between items in the presence of taxonomy has been recognized as an important model in data mining. Earlier work on mining generalized...
180
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Abstract--Two types of noise-free relay cascades are investigated. Networks where a source communicates with a distant receiver via a cascade of half-duplex constrained relays, and...
203
click to vote
EL
2008
15 years 7 months ago
2008
Purpose: Examines the needs of digital library stakeholders and how a collaborative digital library might be designed to meet these needs. The collaborative digital library has be...
161
click to vote
BC
2006
15 years 7 months ago
2006
Abstract This article gives insights into the possible neuronal processes involved in visual discrimination. We study the performance of a spiking network of Integrate-and-Fire (IF...
215
click to vote
FUIN
2008
15 years 7 months ago
2008
Abstract. Many formalisms use interleaving to model concurrency. To describe some system behaviours appropriately, we need to limit interleaving. For example, in a component-based ...