-
1
-
-
0022688781
-
A robust layered control system for a mobile robot
-
R. Brooks. A robust layered control system for a mobile robot. IEEE journal of Robotics and Automation, 2(1):14-23, 1986.
-
(1986)
IEEE Journal of Robotics and Automation
, vol.2
, Issue.1
, pp. 14-23
-
-
Brooks, R.1
-
2
-
-
0025957717
-
Intelligence without representation
-
R. Brooks. Intelligence without representation. Artificial Intelligence, 47:139-159, 1991.
-
(1991)
Artificial Intelligence
, vol.47
, pp. 139-159
-
-
Brooks, R.1
-
5
-
-
0003594750
-
Occupancy grids: A probabilistic framework for robot perception and navigation
-
PhD thesis, Department of Electrical and Computer Engineering, Carnegie Mellon University
-
A. Elfes. Occupancy Grids: A Probabilistic Framework for Robot Perception and Navigation. PhD thesis, Department of Electrical and Computer Engineering, Carnegie Mellon University, 1989.
-
(1989)
-
-
Elfes, A.1
-
10
-
-
0012003680
-
KANTRA-a natural language interface for intelligent robots
-
T. Längle, T. C. Lüth, E. Stopp, G. Herzog, and G. Kamstrup. KANTRA-A Natural Language Interface for Intelligent Robots. In Intelligent Autonomous Systems (IAS 4), pages 357-364, 1995.
-
(1995)
Intelligent Autonomous Systems (IAS 4)
, pp. 357-364
-
-
Längle, T.1
Lüth, T.C.2
Stopp, E.3
Herzog, G.4
Kamstrup, G.5
-
12
-
-
0003774798
-
The map-building and exploration strategies of a simple sonar-eqipped mobile robot
-
PhD thesis, Cambridge University
-
D. Lee. The Map-Building and Exploration Strategies of a Simple Sonar-Eqipped Mobile Robot. PhD thesis, Cambridge University, 1996.
-
(1996)
-
-
Lee, D.1
-
14
-
-
0042852326
-
Automatic proofs and counterexamples for some ortholattice identities
-
W. McCune. Automatic Proofs and Counterexamples for Some Ortholattice Identities. Information Processing Letters, 65:285-291, 1998.
-
(1998)
Information Processing Letters
, vol.65
, pp. 285-291
-
-
McCune, W.1
-
15
-
-
85013568456
-
-
Computer Science Series. McGraw Hill International Editions
-
T. M. Mitchell. Machine Learning. Computer Science Series. McGraw Hill International Editions, 1997.
-
(1997)
Machine Learning
-
-
Mitchell, T.M.1
-
16
-
-
0004186069
-
Shakey the robot
-
Technical Report 323, SRI International
-
N. J. Nilsson. Shakey the robot. Technical Report 323, SRI International, 1984.
-
(1984)
-
-
Nilsson, N.J.1
-
19
-
-
85009194342
-
Sable: A standard for tts markup
-
R. Sproat, A. Hunt, M. Ostendorf, P. Taylor, A. Black, and K. Lenzo. Sable: A standard for tts markup. In ICSLP98, pages 1719-1724, 1998.
-
(1998)
ICSLP98
, pp. 1719-1724
-
-
Sproat, R.1
Hunt, A.2
Ostendorf, M.3
Taylor, P.4
Black, A.5
Lenzo, K.6
-
21
-
-
26544468548
-
Navigation on a mobile robot
-
Master's thesis, University of Edinburgh
-
C. Theobalt. Navigation on a mobile robot. Master's thesis, University of Edinburgh, 2000.
-
(2000)
-
-
Theobalt, C.1
-
22
-
-
0032182830
-
Bayesian landmark learning for mobile robot localization
-
S. Thrun. Bayesian landmark learning for mobile robot localization. Machine Learning, 33(1):41-76, 1998.
-
(1998)
Machine Learning
, vol.33
, Issue.1
, pp. 41-76
-
-
Thrun, S.1
-
23
-
-
0031998630
-
Learning maps for indoor mobile robots
-
S. Thrun. Learning maps for indoor mobile robots. Artificial Intelligence, 99(1):21-71, 1998.
-
(1998)
Artificial Intelligence
, vol.99
, Issue.1
, pp. 21-71
-
-
Thrun, S.1
-
24
-
-
0032044899
-
A probabilistic approach to concurrent mapping and localization for mobile robots
-
S. Thrun, W. Burgard, and D. Fox. A probabilistic approach to concurrent mapping and localization for mobile robots. Machine Learning, 31(1-3):29-53, 1998.
-
(1998)
Machine Learning
, vol.31
, Issue.1-3
, pp. 29-53
-
-
Thrun, S.1
Burgard, W.2
Fox, D.3
-
25
-
-
0003849304
-
Natural communication with robots
-
Master's thesis, Department of Electrical Engineering and Computer Science, Cambridge MA
-
M. C. Torrance. Natural communication with robots. Master's thesis, Department of Electrical Engineering and Computer Science, Cambridge MA, 1994.
-
(1994)
-
-
Torrance, M.C.1
-
26
-
-
0001315470
-
System description: Spass version 1.0.0
-
In H. Ganzinger, editor; Springer
-
C. Weidenbach, B. Afshordel, U. Brahm, C. Cohrs, T. Engel, E. Keen, C. Theobalt, and D. Topic. System description: Spass version 1.0.0. In H. Ganzinger, editor, 16th International Conference on Automated Deduction, CADE-16, volume 1632 of LNAI, pages 314-318. Springer, 1999.
-
(1999)
16th International Conference on Automated Deduction, CADE-16, Volume 1632 of LNAI
, pp. 314-318
-
-
Weidenbach, C.1
Afshordel, B.2
Brahm, U.3
Cohrs, C.4
Engel, T.5
Keen, E.6
Theobalt, C.7
Topic, D.8
|