3616 search results - page 391 / 724 » Conditional Memory Ordering |
129
click to vote
ISCAS
2005
IEEE
15 years 9 months 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...
137
click to vote
QSIC
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents a mechanism for dividing an agent oriented application into the three IEEE defined scoping levels of essential, conditional and optional. This mechanism is ap...
156
click to vote
FMCO
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
130
click to vote
FROCOS
2005
Springer
15 years 9 months ago
2005
Springer
In a previous paper, we have introduced a general approach for connecting two many-sorted theories through connection functions that behave like homomorphisms on the shared signatu...
133
click to vote
IBPRIA
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents a technique to characterize human actions in visual surveillance scenarios in order to describe, in a qualitative way, basic human movements in general imaging ...