3706 search results - page 44 / 742 » System Description: E-KRHyper |
IWCLS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This paper provides a deep insight into the learning mechanisms of UCS, a learning classifier system (LCS) derived from XCS that works under a supervised learning scheme...
ICMCS
1999
IEEE
14 years 3 days ago
1999
IEEE
Owing to the recent development of digital broadcasting technology such as Satellite, CATV, the Internet and the expansion of the network systems, the amount of video data we can ...
DLOG
2006
13 years 9 months ago
2006
Abstract. Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification. Despite th...
GLOBECOM
2008
IEEE
14 years 2 months ago
2008
IEEE
—We consider strategies for the lossy transmission of a zero mean Gaussian source over a 2×2 MIMO channel with Rayleigh fading. The source is represented either using a single d...
PDSE
1998
13 years 9 months ago
1998
As a means of modeling typical system behavior, we present a description technique for business processes derived from data flow nets and provide it with a formal semantics based ...