Sciweavers

1515 search results - page 67 / 303
» On the relation of aspects and monads
Sort
View
ENTCS
2006
116views more  ENTCS 2006»
13 years 7 months ago
Semantics of Visual Models in a Rule-based Setting
In this paper, some fundamental aspects of the semantics of rule-based systems are sketched and related to the semantics of visual models. A rule-based system comprises a set of r...
Hans-Jörg Kreowski, Karsten Hölscher, Pe...
PTS
2010
138views Hardware» more  PTS 2010»
13 years 6 months ago
Alternating Simulation and IOCO
We propose a symbolic framework called guarded labeled assignment systems or GLASs and show how GLASs can be used as a foundation for symbolic analysis of various aspects of forma...
Margus Veanes, Nikolaj Bjørner
ISMIR
2004
Springer
101views Music» more  ISMIR 2004»
14 years 1 months ago
A Matlab Toolbox to Compute Music Similarity from Audio
A Matlab toolbox implementing music similarity measures for audio is presented. The implemented measures focus on aspects related to timbre and periodicities in the signal. This p...
Elias Pampalk
DAGSTUHL
2006
13 years 9 months ago
Reconfigurable Processing Units vs. Reconfigurable Interconnects
: In this paper we discuss different aspects of system reconfiguration and their relation to the specific requirements from the application domain. Two projects
Andreas Herkersdorf, Christopher Claus, Michael Me...
ECEASST
2008
73views more  ECEASST 2008»
13 years 7 months ago
A Graph-Based Type Representation for Objects
Abstract: Subtyping and inheritance are two major issues in the research and development of object-oriented languages, which have been traditionally studied along the lines of type...
Cong-Cong Xing