Sciweavers

5451 search results - page 357 / 1091
» On very high degrees
Sort
View
ESTIMEDIA
2008
Springer
15 years 9 months ago
Weighted feedback reclaiming for multimedia applications
Resource reservations are a very popular choice to schedule multimedia tasks. However, the high variability of the resource requirements hinders a static choice of the scheduling ...
Luigi Palopoli, Luca Abeni, Tommaso Cucinotta, Giu...
FMCAD
2008
Springer
15 years 9 months ago
Scaling Up the Formal Verification of Lustre Programs with SMT-Based Techniques
We present a general approach for verifying safety properties of Lustre programs automatically. Key aspects of the approach are the choice of an expressive first-order logic in wh...
George Hagen, Cesare Tinelli
ACL
2008
15 years 9 months ago
Using Structural Information for Identifying Similar Chinese Characters
Chinese characters that are similar in their pronunciations or in their internal structures are useful for computer-assisted language learning and for psycholinguistic studies. Al...
Chao-Lin Liu, Jen-Hsiang Lin
ESANN
2004
15 years 9 months ago
Clustering functional data with the SOM algorithm
Abstract. In many situations, high dimensional data can be considered as sampled functions. We show in this paper how to implement a Self-Organizing Map (SOM) on such data by appro...
Fabrice Rossi, Brieuc Conan-Guez, Aïcha El Go...
ESANN
2006
15 years 9 months ago
Generalization properties of spiking neurons trained with ReSuMe method
In this paper we demonstrate the generalization property of spiking neurons trained with ReSuMe method. We show in a set of experiments that the learning neuron can approximate the...
Filip Ponulak, Andrzej J. Kasinski