8125 search results - page 1369 / 1625 » Adaptable and Adaptive Hypermedia Systems |
191
click to vote
ESOP
2007
Springer
16 years 27 days ago
2007
Springer
We study the relationship between Concurrent Separation Logic (CSL) and the assume-guarantee (A-G) method (a.k.a. rely-guarantee method). We show in three steps that CSL can be tre...
128
click to vote
EVOW
2007
Springer
16 years 27 days ago
2007
Springer
We present a time domain approach to explore a sound transformation paradigm for musical performance. Given a set of sounds containing a priori desired qualities and a population o...
164
click to vote
FROCOS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Innermost context-sensitive rewriting has been proved useful for modeling computations of programs of algebraic languages like Maude, OBJ, etc. Furthermore, innermost ter...
127
click to vote
GECCO
2007
Springer
16 years 27 days ago
2007
Springer
Model- and simulation-designers are often interested not in the optimum output of their system, but in understanding how the output is sensitive to different parameters. This can...
185
click to vote
GECCO
2007
Springer
16 years 27 days ago
2007
Springer
This work presents a novel approach to filter synthesis on a field programmable analog array (FPAA) architecture using a genetic algorithm (GA). First, a Matlab model of the FPA...