7311 search results - page 195 / 1463 » Time in State Machines |
145
click to vote
NN
2007
Springer
15 years 4 months ago
2007
Springer
Echo State Networks (ESNs) have been shown to be effective for a number of tasks, including motor control, dynamic time series prediction, and memorizing musical sequences. Howeve...
149
click to vote
CHARME
2003
Springer
15 years 10 months ago
2003
Springer
This paper shows how classic inductive assertions can be used in conjunction with an operational semantics to prove partial correctness properties of programs. The method imposes o...
143
click to vote
DAGM
2003
Springer
15 years 10 months ago
2003
Springer
Compared to their ancestors in the early 1970s, present day computer games are of incredible complexity and show magnificent graphical performance. However, in programming intelli...
173
click to vote
ICDE
2002
IEEE
15 years 9 months ago
2002
IEEE
Soon, much of the data exchanged over the Internet will be encoded in XML, allowing for sophisticated filtering and content-based routing. We have built a filtering engine called ...
151
click to vote
ICMCS
2007
IEEE
15 years 11 months ago
2007
IEEE
Today’s medical institutions produce enormous amounts of data on patients, including multimedia data, which is increasingly produced in digital form. These data in their clinica...