-
2
-
-
0344839461
-
-
Dep. Math., Univ. Texas, Austin, Memo. ATP-18, Dec.
-
W. W. Bledsoe, "The SUP-INF method in Presburger arithmetic," Dep. Math., Univ. Texas, Austin, Memo. ATP-18, Dec. 1974.
-
(1974)
The SUP-INF Method in Presburger Arithmetic
-
-
Bledsoe, W.W.1
-
4
-
-
0019675648
-
Symbolic reasoning among 3D models and 2D images
-
R. A. Brooks, "Symbolic reasoning among 3D models and 2D images," Artificial Intell., vol. 17, pp. 285-348, 1981.
-
(1981)
Artificial Intell.
, vol.17
, pp. 285-348
-
-
Brooks, R.A.1
-
5
-
-
0020310996
-
Symbolic error analysis and robot planning
-
_, "Symbolic error analysis and robot planning," Int. J. Robot. Res., vol. 1, no. 4, pp. 29-68, 1982.
-
(1982)
Int. J. Robot. Res.
, vol.1
, Issue.4
, pp. 29-68
-
-
-
6
-
-
0022688781
-
A robust layered control system for a mobile robot
-
_, "A robust layered control system for a mobile robot," IEEE Trans. Robot. Automat., vol. RA-2, no. 1, pp. 14-23, 1986.
-
(1986)
IEEE Trans. Robot. Automat.
, vol.RA-2
, Issue.1
, pp. 14-23
-
-
-
7
-
-
33747597625
-
A robot that walks: Emergent behaviors from a carefully evolved network
-
_, "A robot that walks: Emergent behaviors from a carefully evolved network," in Proc. AAAI-86, 1986, pp. 626-631.
-
(1986)
Proc. AAAI-86
, pp. 626-631
-
-
-
8
-
-
0023381915
-
Planning for conjunctive goals
-
D. Chapman, "Planning for conjunctive goals," Artificial Intell., vol. 32, pp. 333-377, 1987.
-
(1987)
Artificial Intell.
, vol.32
, pp. 333-377
-
-
Chapman, D.1
-
9
-
-
0024771615
-
A robot vision system for recognizing 3-D objects in low-order polynomial time
-
C. H. Chen and A. C. Kak, "A robot vision system for recognizing 3-D objects in low-order polynomial time," IEEE Trans. Syst., Man, Cybern., vol. 19, pp. 1535-1563, 1989.
-
(1989)
IEEE Trans. Syst., Man, Cybern.
, vol.19
, pp. 1535-1563
-
-
Chen, C.H.1
Kak, A.C.2
-
10
-
-
0026142590
-
A correct and complete algorithm for the generation of mechanical assembly sequences
-
L. S. Hommem de Mello and A. C. Sanderson, "A correct and complete algorithm for the generation of mechanical assembly sequences," IEEE Trans. Robot. Automat., vol. 7, no. 2, pp. 228-240, 1991.
-
(1991)
IEEE Trans. Robot. Automat.
, vol.7
, Issue.2
, pp. 228-240
-
-
Hommem De Mello, L.S.1
Sanderson, A.C.2
-
11
-
-
0022777806
-
The representation, recognition, and locating of 3D objects
-
O. D. Faugeras and M. Hebert, "The representation, recognition, and locating of 3D objects," Int. J. Robot. Res., vol. 5, pp. 27-52, 1986.
-
(1986)
Int. J. Robot. Res.
, vol.5
, pp. 27-52
-
-
Faugeras, O.D.1
Hebert, M.2
-
12
-
-
2842560201
-
STRIPS: A new approach to the application of theorem proving to problem solving
-
R. E. Fikes and N. J. Nilsson, "STRIPS: A new approach to the application of theorem proving to problem solving," Artificial Intell., vol. 2, pp. 189-208, 1971.
-
(1971)
Artificial Intell.
, vol.2
, pp. 189-208
-
-
Fikes, R.E.1
Nilsson, N.J.2
-
13
-
-
0000312902
-
3D object recognition using invariant feature indexing of interpretation tables
-
P. Flynn and A. Jain, "3D object recognition using invariant feature indexing of interpretation tables," CVGIP: Image Understanding, vol. 55, no. 2, pp. 119-129, 1992.
-
(1992)
CVGIP: Image Understanding
, vol.55
, Issue.2
, pp. 119-129
-
-
Flynn, P.1
Jain, A.2
-
15
-
-
0024703909
-
A dynamic approach to high-precision parts mating
-
Aug.
-
S. N. Gottschlich and A. C. Kak, "A dynamic approach to high-precision parts mating," IEEE Trans. Syst., Man, Cybern., vol. 19, pp. 797-810, Aug. 1989.
-
(1989)
IEEE Trans. Syst., Man, Cybern.
, vol.19
, pp. 797-810
-
-
Gottschlich, S.N.1
Kak, A.C.2
-
16
-
-
0029307423
-
Interactive learning of a multiple-attribute hash table classifier for fast 3D object recognition
-
May
-
L. L. Grewc and A. C. Kak, "Interactive learning of a multiple-attribute hash table classifier for fast 3D object recognition," Comput. Vision Image Understanding (formerly CVGIP-IU), vol. 61, pp. 387-416, May 1995.
-
(1995)
Comput. Vision Image Understanding (Formerly CVGIP-IU)
, vol.61
, pp. 387-416
-
-
Grewc, L.L.1
Kak, A.C.2
-
17
-
-
0021497005
-
Model-based recognition and localization from sparse range or tactile data
-
W. E. L. Grimson and T. Lozano-Perez, "Model-based recognition and localization from sparse range or tactile data," Int. J. Robot. Res., vol. 3, pp. 3-35, 1987.
-
(1987)
Int. J. Robot. Res.
, vol.3
, pp. 3-35
-
-
Grimson, W.E.L.1
Lozano-Perez, T.2
-
18
-
-
0025399282
-
SPAR: A planner that satisfies operational and geometric goals in uncertain environments
-
Spring
-
S. A. Hutchinson and A. C. Kak, "SPAR: A planner that satisfies operational and geometric goals in uncertain environments," AI Mag., vol. 11, pp. 30-61, Spring 1990.
-
(1990)
AI Mag.
, vol.11
, pp. 30-61
-
-
Hutchinson, S.A.1
Kak, A.C.2
-
19
-
-
0008909775
-
Generating an interpretation tree from a CAD model for 3D-object recognition in bin-picking tasks
-
K. Ikeuchi, "Generating an interpretation tree from a CAD model for 3D-object recognition in bin-picking tasks," Int. J. Comput. Vision, vol. 1, pp. 145-165, 1987.
-
(1987)
Int. J. Comput. Vision
, vol.1
, pp. 145-165
-
-
Ikeuchi, K.1
-
20
-
-
0026120923
-
3D object recognition using bipartite matching embedded in discrete relaxation
-
W. Y. Kim and A. C. Kak, "3D object recognition using bipartite matching embedded in discrete relaxation," IEEE Trans. Pattern Anal. Machine Intell., vol. 13, no. 3, pp. 224-251, 1991.
-
(1991)
IEEE Trans. Pattern Anal. Machine Intell.
, vol.13
, Issue.3
, pp. 224-251
-
-
Kim, W.Y.1
Kak, A.C.2
-
21
-
-
0023167795
-
Handey: A robot system that recognizes, plans, and manipulates
-
T. Lozano-Perez, J. L. Jones, E. Mazer, P. A. O'Donnell, W. E. L. Grimson, P. Tournasoud, and A. Lanusse, "Handey: A robot system that recognizes, plans, and manipulates," in Proc. IEEE/RSJ Int. Conf. Intelligent Robots and Systems, 1987, pp. 843-849.
-
(1987)
Proc. IEEE/RSJ Int. Conf. Intelligent Robots and Systems
, pp. 843-849
-
-
Lozano-Perez, T.1
Jones, J.L.2
Mazer, E.3
O'Donnell, P.A.4
Grimson, W.E.L.5
Tournasoud, P.6
Lanusse, A.7
-
22
-
-
0025842308
-
Achieving robustness by casting planning as adaptation of a reactive system
-
D. M. Lyons, A. J. Hendriks, and S. Mehta, "Achieving robustness by casting planning as adaptation of a reactive system," in Proc. IEEE Int. Conf. Robotics and Automation, 1991, pp. 198-203.
-
(1991)
Proc. IEEE Int. Conf. Robotics and Automation
, pp. 198-203
-
-
Lyons, D.M.1
Hendriks, A.J.2
Mehta, S.3
-
24
-
-
0019728259
-
Camera models based on data from two calibration planes
-
H. A. Martins, J. R. Birk, and R. B. Kelly, "Camera models based on data from two calibration planes," Comput. Vision, Graphics Image Processing, vol. 17, pp. 173-180, 1981.
-
(1981)
Comput. Vision, Graphics Image Processing
, vol.17
, pp. 173-180
-
-
Martins, H.A.1
Birk, J.R.2
Kelly, R.B.3
-
28
-
-
0025403568
-
Assembly sequence planning
-
Spring
-
A. C. Sanderson, H. Zhang, and L. S. Hommem de Mello, "Assembly sequence planning," AI Mag., vol. 11, no. 1, pp. 62-81, Spring 1990.
-
(1990)
AI Mag.
, vol.11
, Issue.1
, pp. 62-81
-
-
Sanderson, A.C.1
Zhang, H.2
Hommem De Mello, L.S.3
-
29
-
-
84976719228
-
On the SUP-INF method for proving Presburger formulas
-
R. E. Shostak, "On the SUP-INF method for proving Presburger formulas," J. ACM, vol. 24, no. 4, pp. 529-543, 1977.
-
(1977)
J. ACM
, vol.24
, Issue.4
, pp. 529-543
-
-
Shostak, R.E.1
-
32
-
-
33747591263
-
Automatic learning of assembly tasks using a DataGlove system
-
Pittsburgh, PA
-
_, "Automatic learning of assembly tasks using a DataGlove system," in Proc. IROS '95, Pittsburgh, PA, pp. 1-8.
-
Proc. IROS '95
, pp. 1-8
-
-
|