2465 search results - page 303 / 493 » Automata on Linear Orderings |
175
click to vote
LICS
2005
IEEE
16 years 4 days ago
2005
IEEE
We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by ...
183
click to vote
ICFEM
2005
Springer
16 years 2 days ago
2005
Springer
Many safety-critical systems deal with geometric objects. Reasoning about the correctness of such systems is mandatory and requires the use of basic definitions of geometry for th...
170
click to vote
IDA
2005
Springer
16 years 2 days ago
2005
Springer
In this paper we introduce a simple ant based algorithm for solving a copper mine planning problem. In the last 10 years this realworld problem has been tackled using linear intege...
143
click to vote
IDEAL
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Gaussian processes have been favourably compared to backpropagation neural networks as a tool for regression. We show that a recurrent neural network can implement exact ...
168
click to vote
IWANN
2005
Springer
16 years 1 days ago
2005
Springer
Prediction of time series is an important problem in many areas of science and engineering. Extending the horizon of predictions further to the future is the challenging and diffic...