-
1
-
-
0011714601
-
Algebraic characterization of permutation automata decomposable into a cascade connection of smaller component
-
s., , , (Engl. Trans., 1984, Cybernetics (USA), 20, 12-22)
-
Agibalov, G. P., and Evtushenko, N. V., 1984, Algebraic characterization of permutation automata decomposable into a cascade connection of smaller components. Kibernetika, 20, 9-15 (Engl. Trans., 1984, Cybernetics (USA), 20, 12-22).
-
(1984)
Kibernetika
, vol.20
, pp. 9-15
-
-
Agibalov, G.P.1
Evtushenko, N.V.2
-
2
-
-
0016060837
-
Foundations of system theory: Decomposable systems
-
Arbib, M. A., and Manes, E. G., 1974, Foundations of system theory: decomposable systems. Automatica, 10, 285-302.
-
(1974)
Automatica
, vol.10
, pp. 285-302
-
-
Arbib, M.A.1
Manes, E.G.2
-
3
-
-
0026398473
-
Reformulating path planning problems by task-preserving abstraction
-
1992b, Towards an effective theory of reformulation. Proceedings of the W orkshop on Change of Representation and Problem Reformulation, edited by M. R. Lowry, Technical Report FIA-92-06, Ames Research Center, National Aeronautics and Space Administration, pp. 13-27; 1994, Formulating patterns in problem solving. Annals of Mathematics and AI, 10, 1-23
-
Benjamin, D. P., 1992a, Reformulating path planning problems by task-preserving abstraction. Journal of Robotics and Autonomous Systems, 9, 1-9; 1992b, Towards an effective theory of reformulation. Proceedings of the W orkshop on Change of Representation and Problem Reformulation, edited by M. R. Lowry, Technical Report FIA-92-06, Ames Research Center, National Aeronautics and Space Administration, pp. 13-27; 1994, Formulating patterns in problem solving. Annals of Mathematics and AI, 10, 1-23.
-
(1992)
Journal of Robotics and Autonomous Systems
, vol.9
, pp. 1-9
-
-
Benjamin, D.P.1
-
4
-
-
0011778328
-
Integrating perception with problem solving
-
Stanford University, California
-
Benjamin, D. P., Cameron, a., Dorst, L., Rosar, M., and Wu, H., 1991, Integrating perception with problem solving. Proceedings of the AAAI Spring Symposium on Integrated Intelligent Architectures, Stanford University, California, March 1991, pp. 41-45.
-
(1991)
Proceedings of the AAAI Spring Symposium on Integrated Intelligent Architectures
, pp. 41-45
-
-
Benjamin, D.P.1
Cameron, A.2
Dorst, L.3
Rosar, M.4
Wu, H.5
-
5
-
-
0018617430
-
On the realization of automata by cascade connection of standard automata
-
Evtushenko, N. V., 1979, On the realization of automata by cascade connection of standard automata. Automatic Control and Computer Science, 13, 50-53.
-
(1979)
Automatic Control and Computer Science
, vol.13
, pp. 50-53
-
-
Evtushenko, N.V.1
-
6
-
-
0018160178
-
Polylinear decomposition of synchronous sequential machines
-
Halatsis, C., Sigala, M., and Philokyprou, G., 1978, Polylinear decomposition of synchronous sequential machines. IEEE Transactions on Computers, 27, 1144-1152.
-
(1978)
IEEE Transactions on Computers
, vol.27
, pp. 1144-1152
-
-
Halatsis, C.1
Sigala, M.2
Philokyprou, G.3
-
7
-
-
0023453217
-
Trinity algebra and its application to machine decompositions
-
Hou, Y., 1987, Trinity algebra and its application to machine decompositions. Information Processing Letters, 26, 127-134.
-
(1987)
Information Processing Letters
, vol.26
, pp. 127-134
-
-
Hou, Y.1
-
9
-
-
0011776554
-
Representation of a connected automaton by a Cartesian composition
-
Ito, M., 1981, Representation of a connected automaton by a Cartesian composition. Foundations of Control Engineering, 6,87-94.
-
(1981)
Foundations of Control Engineering
, vol.6
, pp. 87-94
-
-
Ito, M.1
-
10
-
-
0023421864
-
Planning as search: A quantitative approach
-
Korf, R. E., 1987, Planning as search: a quantitative approach. Artificial Intelligence, 33, 65-88.
-
(1987)
Artificial Intelligence
, vol.33
, pp. 65-88
-
-
Korf, R.E.1
-
12
-
-
0023599347
-
How to clear a block: A theory of plans
-
Manna, Z., and Waldinger, R., 1987, How to clear a block: a theory of plans. Journal of Automated Reasoning, 3, 343-377.
-
(1987)
Journal of Automated Reasoning
, vol.3
, pp. 343-377
-
-
Manna, Z.1
Waldinger, R.2
-
13
-
-
0001875061
-
Programs with common sense
-
edited by M. Minsky (Cambridge, Massachusetts: MIT Press)
-
McCarthy, j., 1968. Programs with common sense. Semantic Information Processing, edited by M. Minsky (Cambridge, Massachusetts: MIT Press), pp. 403-417.
-
(1968)
Semantic Information Processing
, pp. 403-417
-
-
Mc Carthy, J.1
-
14
-
-
0002809415
-
Predicting non-linear cellular automata quickly by decomposing them into linear ones
-
Moore, C., 1998, Predicting non-linear cellular automata quickly by decomposing them into linear ones. Physica D, 111, 27-41.
-
(1998)
Physica D
, vol.111
, pp. 27-41
-
-
Moore, C.1
-
15
-
-
0004027474
-
-
(Princeton University Press)
-
Nelson, E., 1967, Tensor Analysis (Princeton University Press).
-
(1967)
Tensor Analysis
-
-
Nelson, E.1
-
21
-
-
0011714412
-
Description and machine decompositional synthesis of digital automata with a large number of states
-
(Engl. Trans., 1979, Engng. Cybernetics (USA), 17, 95-105
-
Topolskiy, N. G., 1979, Description and machine decompositional synthesis of digital automata with a large number of states. Tekh. Kibernetitic, 17, 136-147 Engl. Trans., 1979, Engng. Cybernetics (USA), 17, 95-105.
-
(1979)
Tekh. Kibernetitic
, vol.17
, pp. 136-147
-
-
Topolskiy, N.G.1
-
22
-
-
0011713475
-
Representation engineering and category theory
-
edited by D. Benjamin (Boston, Massachusetts: Kluwer)
-
Zimmer, R. M., 1990. Representation engineering and category theory. Change of Representation and Inductive Bias, edited by D. Benjamin (Boston, Massachusetts: Kluwer), pp. 169-182.
-
(1990)
Change of Representation and Inductive Bias
, pp. 169-182
-
-
Zimmer, R.M.1
|