1458 search results - page 46 / 292 » The sequentially realizable functionals |
132
Voted
ETFA
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper we discuss the separation between attributes on functionality and on structure following an approach based on Model Driven Engineering (MDE). We adopt a methodologic...
106
Voted
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— In [1] a balanced canonical form for continuoustime lossless systems was presented. This form has a tridiagonal dynamical matrix A and the useful property that the corr...
130
Voted
CONCUR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...
132
Voted
ESANN
2008
15 years 4 months ago
2008
In regression problems, making accurate predictions is often the primary goal. Also, relevance of inputs in the prediction of an output would be valuable information in many cases....
105
Voted
ITA
2007
15 years 2 months ago
2007
This note is about functions f : Aω → Bω whose graph is recognized by a B¨uchi finite automaton on the product alphabet A × B. These functions are Baire class 2 in the Bair...