9521 search results - page 434 / 1905 » Compiling with continuations, continued |
157
click to vote
FORMATS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We consider temporal logic formulae specifying constraints in continuous time and space on the behaviors of continuous and hybrid dynamical system admitting uncertain par...
125
click to vote
GLOBECOM
2010
IEEE
15 years 2 months ago
2010
IEEE
With the employment of cognitive radio technology, dynamic spectrum management has the potential to solve the underused spectrum problem. In this paper, we introduce and compare tw...
149
click to vote
NAACL
2010
15 years 2 months ago
2010
Typical statistical machine translation systems are trained with static parallel corpora. Here we account for scenarios with a continuous incoming stream of parallel training data...
152
click to vote
NAACL
2010
15 years 2 months ago
2010
Most work on language acquisition treats word segmentation--the identification of linguistic segments from continuous speech-and word learning--the mapping of those segments to me...
139
click to vote
HYBRID
2009
Springer
15 years 2 months ago
2009
Springer
We introduce STORMED hybrid games (SHG), a generalization of STORMED Hybrid Systems [21], which have natural specifications, allow rich continuous dynamics and admit various proper...