43264 search results - page 8314 / 8653 » Comparing models of computation |
125
click to vote
ML
2002
ACM
15 years 2 months ago
2002
ACM
An issue that is critical for the application of Markov decision processes MDPs to realistic problems is how the complexity of planning scales with the size of the MDP. In stochas...
129
click to vote
PC
1998
15 years 2 months ago
1998
The Fast Fourier Transform (FFT) plays a key role in many areas of computational science and engineering. Although most one-dimensional FFT problems canbe entirely solvedentirely ...
155
click to vote
RAS
2002
15 years 2 months ago
2002
Especially in dynamic environments a key feature concerning the robustness of mobile robot navigation is the capability of global self-localization. This term denotes a robot'...
135
click to vote
SIGMETRICS
1998
ACM
15 years 2 months ago
1998
ACM
The increasing complexity of computer networks and our increasing dependence on them means enforcing reliability requirements is both more challenging and more critical. The expan...
116
click to vote
STTT
1998
15 years 2 months ago
1998
Abstract. Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of applicati...