Sciweavers

3884 search results - page 350 / 777
» A simplified modeling approach for human system interaction
Sort
View
EUROMICRO
1996
IEEE
15 years 11 months ago
Behaviour-Preserving Transformations in SHE: A Formal Approach to Architecture Design
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
Jeroen Voeten, P. H. A. van der Putten, M. P. J. S...
ISVLSI
2006
IEEE
89views VLSI» more  ISVLSI 2006»
16 years 1 months ago
System Exploration of SystemC Designs
Due to increasing design complexity new methodologies for system modeling have been established in VLSI CAD. The SystemC methodology gains a significant reduction of design cycle...
Christian Genz, Rolf Drechsler
ICALT
2007
IEEE
16 years 1 months ago
Towards a Unified Learning Style Model in Adaptive Educational Systems
Accommodating learning styles in adaptive educational systems represents an important step towards providing individualized instruction. The paper summarizes the main results repo...
Elvira Popescu, Philippe Trigano, Costin Badica
APIN
1999
114views more  APIN 1999»
15 years 6 months ago
Evolutionary Approaches to Figure-Ground Separation
The problem of figure-ground separation is tackled from the perspective of combinatorial optimization. Previous attempts have used deterministic optimization techniques based on re...
Suchendra M. Bhandarkar, Xia Zeng
AH
2008
Springer
16 years 1 months ago
RSS-Based Interoperability for User Adaptive Systems
This paper presents an approach to exploit widely used tag annotations to address two important issues in user-adaptive systems: the cold-start problem and the integration of distr...
Yiwen Wang, Federica Cena, Francesca Carmagnola, O...