Sciweavers

2623 search results - page 362 / 525
» Universal Learning Theory
Sort
View
WEBNET
1998
15 years 7 months ago
Reproduction of Hypermedia Lectures
: Since 1994 the DIALECT project produces multimedia based lectures. An interdisciplinary production team together with university professors develops digital applications used in ...
Albert Geukes, Peter Buchmann
WOTUG
2007
15 years 7 months ago
Modeling and Analysis of the AMBA Bus Using CSP and B
Abstract. In this paper, we present a formal model and analysis of the AMBA Advanced High-performance Bus (AHB) on-chip bus. The model is given in CSP B—an integration of the pro...
Alistair A. McEwan, Steve Schneider
ATAL
2010
Springer
15 years 7 months ago
Intelligent agents for the smart grid
The Intelligent Decentralised Energy-Aware Systems (iDEaS) project at the University of Southampton (see www.ideasproject.info) is developing and demonstrating the application of ...
Perukrishnen Vytelingum, Thomas Voice, Sarvapali D...
GECCO
2008
Springer
184views Optimization» more  GECCO 2008»
15 years 7 months ago
Evolutionary facial feature selection
With the growing number of acquired physiological and behavioral biometric samples, biometric data sets are experiencing tremendous growth. As database sizes increase, exhaustive ...
Aaron K. Baughman
APAL
2008
93views more  APAL 2008»
15 years 6 months ago
Arithmetic of Dedekind cuts of ordered Abelian groups
We study Dedekind cuts on ordered Abelian groups. We introduce a monoid structure on them, and we characterise, via a suitable representation theorem, the universal part of the th...
Antongiulio Fornasiero, Marcello Mamino