3038 search results - page 210 / 608 » Controlling Engineering Problem Solving |
104
click to vote
AIEDAM
1999
15 years 2 months ago
1999
Intelligent agents must update their knowledge base as they acquire new information about their environment. The modal logic S5n has been designed for representing knowledge bases...
127
click to vote
ENTCS
2010
14 years 11 months ago
2010
We present MLSolver, a tool for solving the satisfiability and validity problems for modal fixpoint logics. The underlying technique is based on characterisations of satisfiabilit...
133
click to vote
GECCO
2004
Springer
15 years 7 months ago
2004
Springer
Hybrid algorithms that combine genetic algorithms with the Nelder-Mead simplex algorithm have been effective in solving certain optimization problems. In this article, we apply a s...
126
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
— This paper proposes a novel discretetime veloc ity observer which uses neural network and sliding mode for unknown continuous time mechanical systems. The neural observer i...
110
click to vote
CDC
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract-- This paper considers when a discrete-time periodic non-homogeneous system can be transformed to a time-invariant one by using regular linear mappings of state variables,...