11066 search results - page 430 / 2214 » Linearity in Process Languages |
216
click to vote
SCL
2011
14 years 9 months ago
2011
The fact that the heat equation is controllable to zero in any bounded domain of the euclidean space, any time T > 0 and from any open subset of the boundary is well known. On ...
196
click to vote
APPROX
2011
Springer
14 years 6 months ago
2011
Springer
We consider the problem of identifying periodic trends in data streams. We say a signal a ∈ Rn is p-periodic if ai = ai+p for all i ∈ [n − p]. Recently, Erg¨un et al. [4] pr...
199
click to vote
COORDINATION
2004
Springer
16 years 7 days ago
2004
Springer
This paper presents O’KLAIM (Object-Oriented KLAIM), a linguistic extension of the higher-order calculus for mobile processes KLAIM with objectoriented features. Processes intera...
189
click to vote
SFP
2004
15 years 8 months ago
2004
NiMo (Nets in Motion) is a visual environment aimed to support totally graphic programming in Data Flow style, with a strong functional inspiration. Solutions of growing complexit...
168
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
For effective training of acoustic and language models for spontaneous speech such as meetings, it is significant to exploit the texts available in a large scale, which may not b...