2670 search results - page 211 / 534 » Modeling systems with internal state using evolino |
143
click to vote
ATVA
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Symbolic model checking provides partially effective verification procedures that can handle systems with an infinite state space. So-called “acceleration techniques...
209
click to vote
MINENET
2006
ACM
16 years 16 days ago
2006
ACM
When failures occur in Internet overlay connections today, it is difficult for users to determine the root cause of failure. An overlay connection may require TCP connections bet...
184
click to vote
PROCEDIA
2010
15 years 5 months ago
2010
The use of tuned collective’s module of Open MPI to improve a parallelization efficiency of parallel batch pattern back propagation training algorithm of a multilayer perceptron...
190
click to vote
PROCEDIA
2010
15 years 5 months ago
2010
The dynamic and collaborative nature of mobile and sensor networks raises the issue of how connected mobile devices can be trusted. Despite the existing security paradigms such as...
149
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
t programming techniques encourage abstraction and reuse through external linking. Some parts of a program, however, must use concrete, internally specified references, so a pure ...