2670 search results - page 324 / 534 » Modeling systems with internal state using evolino |
165
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
Liveness properties in concurrent systems are, informally, those properties that stipulate that something good eventually happens during execution. In order to prove that a given ...
162
click to vote
SIROCCO
2008
15 years 8 months ago
2008
: A distributed system is scalable if the rate at which it completes its computation and communication tasks does not depend on its size. As an example, the scalability of a peer-t...
169
click to vote
UML
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. The acceptance of UML as a de facto standard for the design of object-oriented systems, together with the explosive growth of the World Wide Web has raised the need for U...
164
click to vote
TMC
2012
13 years 8 months ago
2012
In this paper we study the availability of TV white spaces in Europe. Specifically, we focus on the 470–790 MHz UHF band, which will predominantly remain in use for TV broadcas...
168
click to vote
NAACL
2003
15 years 7 months ago
2003
Automatic restoration of punctuation from unpunctuated text has application in improving the fluency and applicability of speech recognition systems. We explore the possibility t...