12257 search results - page 309 / 2452 » Analysis of Algorithms |
133
click to vote
NIPS
1997
15 years 5 months ago
1997
Up-propagation is an algorithm for inverting and learning neural network generative models. Sensory input is processed by inverting a model that generates patterns from hidden var...
117
Voted
IPPS
1997
IEEE
15 years 8 months ago
1997
IEEE
In this paper, we present two new run-time algorithms for the parallelization of loops that have indirect access patterns. The algorithms can handle any type of loop-carried depen...
115
click to vote
SSS
2009
Springer
15 years 10 months ago
2009
Springer
We describe an approach to the analysis of protocols for wireless sensor networks in scenarios with mobile nodes and dynamic link quality. The approach is based on the theorem prov...
134
click to vote
TACAS
2000
Springer
15 years 7 months ago
2000
Springer
Conformance testing is still the main industrial validation technique for telecommunication protocols. The automatic construction of test cases based on the model approach is hinde...
124
Voted
ICML
2010
IEEE
15 years 5 months ago
2010
IEEE
We introduce new, efficient algorithms for value iteration with multiple reward functions and continuous state. We also give an algorithm for finding the set of all nondominated a...