3145 search results - page 434 / 629 » Algebraic Linear Orderings |
145
click to vote
APSEC
2005
IEEE
16 years 2 days ago
2005
IEEE
— In this paper, we present a temporal logic called F whose interpretation is over Input Output Symbolic Transition Systems (IOSTS). IOSTS extend transition systems to communicat...
163
click to vote
ISCAS
2005
IEEE
16 years 1 days ago
2005
IEEE
— This paper considers the application of the neural networks for the guaranteed cost control problem of discrete– time uncertain systems that have in both state and input dela...
173
click to vote
LICS
2005
IEEE
16 years 1 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 ...
180
click to vote
ICFEM
2005
Springer
15 years 12 months 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...
166
click to vote
IDA
2005
Springer
15 years 12 months 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...