-
1
-
-
0001119106
-
On representations of problems of reasoning about actions
-
Amarel S. On representations of problems of reasoning about actions. Mach. Intell. 3 (1968) 131-171
-
(1968)
Mach. Intell.
, vol.3
, pp. 131-171
-
-
Amarel, S.1
-
2
-
-
0039160103
-
-
Springer-Verlag Inc., New York, NY
-
Arbib M.A., Kfoury A.J., and Moll R.N. A Basis for Theoretical Computer Science (1981), Springer-Verlag Inc., New York, NY
-
(1981)
A Basis for Theoretical Computer Science
-
-
Arbib, M.A.1
Kfoury, A.J.2
Moll, R.N.3
-
3
-
-
0038006693
-
Learning extension parameters in game-tree search
-
Bjornsson Y., and Marsland T.A. Learning extension parameters in game-tree search. Inform. Sci. 154 (2003) 95-141
-
(2003)
Inform. Sci.
, vol.154
, pp. 95-141
-
-
Bjornsson, Y.1
Marsland, T.A.2
-
4
-
-
30144441024
-
AAAI: it's time for large-scale systems
-
Bobrow D.G. AAAI: it's time for large-scale systems. AI Mag. 26 (2005) 40-41
-
(2005)
AI Mag.
, vol.26
, pp. 40-41
-
-
Bobrow, D.G.1
-
5
-
-
33749668159
-
-
I. Cahit, Spiral Chains: A New Proof of the Four Color Theorem, 18 August 2004. Available from: .
-
-
-
-
6
-
-
0002034420
-
Randomness and mathematical proof
-
Chaitin G.J. Randomness and mathematical proof. Sci. Amer. 232 (1975) 47-52
-
(1975)
Sci. Amer.
, vol.232
, pp. 47-52
-
-
Chaitin, G.J.1
-
7
-
-
0012582658
-
Industrial applications of soft computing: a review
-
Dote Y., and Ovaska S.J. Industrial applications of soft computing: a review. Proc. IEEE 89 (2001) 1243-1265
-
(2001)
Proc. IEEE
, vol.89
, pp. 1243-1265
-
-
Dote, Y.1
Ovaska, S.J.2
-
10
-
-
33646492840
-
* search: an efficient and flexible approach to materialized view selection
-
* search: an efficient and flexible approach to materialized view selection. IEEE Trans. Syst. Man Cybern. 36 (2006) 411-425
-
(2006)
IEEE Trans. Syst. Man Cybern.
, vol.36
, pp. 411-425
-
-
Gou, G.1
Yu, J.X.2
Lu, H.3
-
11
-
-
33744529638
-
Evolutionary neural networks for anomaly detection based on the behavior of a program
-
Han S.J., and Cho S.B. Evolutionary neural networks for anomaly detection based on the behavior of a program. IEEE Trans. Syst. Man Cybern. 36 (2006) 559-570
-
(2006)
IEEE Trans. Syst. Man Cybern.
, vol.36
, pp. 559-570
-
-
Han, S.J.1
Cho, S.B.2
-
13
-
-
0004020261
-
-
Holden Day Publishers, Inc., San Francisco, CA
-
Hillier F.S., and Lieberman G.J. Introduction to Operations Research. second ed. (1974), Holden Day Publishers, Inc., San Francisco, CA
-
(1974)
Introduction to Operations Research. second ed.
-
-
Hillier, F.S.1
Lieberman, G.J.2
-
14
-
-
0003783907
-
-
Springer-Verlag Inc., New York, NY
-
Kfoury A.J., Moll R.N., and Arbib M.A. A Programming Approach to Computability (1982), Springer-Verlag Inc., New York, NY
-
(1982)
A Programming Approach to Computability
-
-
Kfoury, A.J.1
Moll, R.N.2
Arbib, M.A.3
-
15
-
-
34547474072
-
-
Q.A. Liang, S.H. Rubin, Randomized local extrema for heuristic selection in TSP, in: Proc. IEEE Int. Conf. Info. Reuse and Integration, Waikaloa Hilton Village, HI, September 16-18, 2006.
-
-
-
-
16
-
-
84908780328
-
Computer solutions of the traveling salesman problem
-
Lin S. Computer solutions of the traveling salesman problem. Bell Syst. Tech. J. XLIV (1965) 2245-2269
-
(1965)
Bell Syst. Tech. J.
, vol.XLIV
, pp. 2245-2269
-
-
Lin, S.1
-
17
-
-
0026152917
-
Complexity results on learning by neural nets
-
Lin J.-H., and Vitter J.S. Complexity results on learning by neural nets. Mach. Learn. 6 (1991) 211-230
-
(1991)
Mach. Learn.
, vol.6
, pp. 211-230
-
-
Lin, J.-H.1
Vitter, J.S.2
-
18
-
-
31744441103
-
A multiagent evolutionary algorithm for constraint satisfaction problems
-
Liu J., Zhong W., and Jiao L. A multiagent evolutionary algorithm for constraint satisfaction problems. IEEE Trans. Syst. Man Cybern. 36 (2006) 54-73
-
(2006)
IEEE Trans. Syst. Man Cybern.
, vol.36
, pp. 54-73
-
-
Liu, J.1
Zhong, W.2
Jiao, L.3
-
19
-
-
0004240310
-
-
Simon and Schuster, Inc., New York, NY
-
Minsky M. The Society of Mind (1987), Simon and Schuster, Inc., New York, NY
-
(1987)
The Society of Mind
-
-
Minsky, M.1
-
20
-
-
33749661234
-
-
M. Minsky, "Logical vs. Analogical or Symbolic vs. Connectionist or Neat vs. Scruffy", and "Excerpts from The Society of Mind", in: Patrick H. Winston (Ed.), Artificial Intelligence at MIT, Expanding Frontiers, vol. 1, MIT Press, 1990. Reprinted in AI Magazine, 1991.
-
-
-
-
22
-
-
0141509929
-
Supervised learning by means of accuracy-aware evolutionary algorithms
-
Riquelme J.C., Aguilar-Ruiz J.S., and Del Valle C. Supervised learning by means of accuracy-aware evolutionary algorithms. Inform. Sci. 156 (2003) 173-189
-
(2003)
Inform. Sci.
, vol.156
, pp. 173-189
-
-
Riquelme, J.C.1
Aguilar-Ruiz, J.S.2
Del Valle, C.3
-
24
-
-
16244405925
-
-
S.H. Rubin, On the auto-randomization of knowledge, in: Proc. IEEE Int. Conf. Info. Reuse and Integration, Las Vegas, NV, 2004, pp. 308-313.
-
-
-
-
25
-
-
27944476895
-
-
S.H. Rubin, J. Law, S.C. Chen, On the inherent necessity of heuristic proofs, in: Proc. IEEE Int. Conf. Syst., Man and Cybern., Waikoloa Hilton Village, HI, 2005, 3890-3896.
-
-
-
-
29
-
-
0032786058
-
From computing with numbers to computing with words - from manipulation of measurements to manipulation of perceptions
-
Zadeh L.A. From computing with numbers to computing with words - from manipulation of measurements to manipulation of perceptions. IEEE Trans. Ckt. Syst. 45 (1999) 105-119
-
(1999)
IEEE Trans. Ckt. Syst.
, vol.45
, pp. 105-119
-
-
Zadeh, L.A.1
|