Sciweavers

615 search results - page 38 / 123
» High-Level Nondeterministic Abstractions in
Sort
View
EELC
2006
126views Languages» more  EELC 2006»
15 years 5 months ago
Cross-Situational Learning: A Mathematical Approach
Abstract. We present a mathematical model of cross-situational learning, in which we quantify the learnability of words and vocabularies. We find that high levels of uncertainty ar...
Kenny Smith, Andrew D. M. Smith, Richard A. Blythe...
TCOS
2008
15 years 1 months ago
On Reduct Construction Algorithms
This paper critically analyzes reduct construction methods evels. At a high level, one can abstract commonalities from the existing algorithms, and classify them into three basic g...
Yiyu Yao, Yan Zhao, Jue Wang
ICARIS
2010
Springer
15 years 3 days ago
A Developmental and Immune-Inspired Dynamic Task Allocation Algorithm for Microprocessor Array Systems
Abstract. This paper presents a high level dynamic task allocation algorithm that is inspired by the biological development process and the immune system. For a microprocessor (µP...
Yang Liu, Jon Timmis, Omer Qadir, Gianluca Tempest...
84
Voted
TFS
2010
130views Education» more  TFS 2010»
14 years 8 months ago
Toward General Type-2 Fuzzy Logic Systems Based on zSlices
Abstract--Higher order fuzzy logic systems (FLSs), such as interval type-2 FLSs, have been shown to be very well suited to deal with the high levels of uncertainties present in the...
Christian Wagner, Hani Hagras
104
Voted
FORMATS
2004
Springer
15 years 7 months ago
Lazy Approximation for Dense Real-Time Systems
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...
Maria Sorea