1202 search results - page 112 / 241 » Sortings for Reactive Systems |
124
click to vote
MVA
1992
15 years 5 months ago
1992
This paper proposes a parallel schemelalgorithm which is based on statistical analyses to fulfilthe robust segmentation of nature texture image. The whole scheme is constructed as...
121
click to vote
EOR
2008
15 years 4 months ago
2008
The Linear Ordering Problem with Cumulative Costs is an NP-hard combinatorial optimization problem arising from an application in UMTS mobile-phone communication systems. This pap...
125
click to vote
ENGL
2006
15 years 4 months ago
2006
Natural language communication is very important in Human-Robot cooperative work. This paper presents an object sorting robotic system which is controlled by natural language comm...
149
click to vote
IEEEICCI
2009
IEEE
15 years 2 months ago
2009
IEEE
Do there exist general principles, which any system must obey in order to achieve advanced general intelligence using feasible computational resources? Here we propose one candida...
155
click to vote
LOPSTR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We present a method based on logic program transformation, for verifying Computation Tree Logic (CTL∗ ) properties of finite state reactive systems. The finite state ...