2451 search results - page 39 / 491 » The Octagon Abstract Domain |
137
click to vote
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper introduces the notion of Run Transferable Libraries, a mechanism to pass knowledge acquired in one GP run to another. We demonstrate that a system using these ...
140
click to vote
ISCAS
1995
IEEE
15 years 9 months ago
1995
IEEE
Abstract. A design method is proposed for the synthesis of linear, high-order, continuous-time filters using a unique translinear integrator circuit. Unlike previous attempts at i...
135
click to vote
IDA
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. This paper presents a novel technique for separating convolutive mixtures of statistically independent non-Gaussian signals. The time-domain convolution is transformed in...
206
click to vote
TFM
2009
Springer
16 years 4 days ago
2009
Springer
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
134
click to vote
PERCOM
2009
ACM
16 years 6 months ago
2009
ACM
Abstract--We propose an extension to the event-based programming model for sensor-driven ubiquitous computing applications. The extension consists of three abstractions: MultiEvent...