Proceedings of 1993 IEEE Conference on Tools with Al (TAI-93)
Latest Publications

TOTAL DOCUMENTS

97

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By IEEE Comput. Soc. Press

0818642009

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Integrating Symbolic Processing and Neural Networks

Proceedings of 1993 IEEE Conference on Tools with Al (TAI-93) ◽

10.1109/tai.1993.633925 ◽

2005 ◽

Author(s):

G.A. Carpenter ◽

S. Grossberg

Keyword(s):

Neural Networks ◽

Symbolic Processing

Download Full-text

Data analysis in scientific databases

Proceedings of 1993 IEEE Conference on Tools with Al (TAI-93) ◽

10.1109/tai.1993.633993 ◽

2002 ◽

Author(s):

F. Mili

Keyword(s):

Data Analysis ◽

Scientific Databases

Download Full-text

Networked bubble propagation method as a polynomial-time hypothetical reasoning for computing quasi-optimal solution

Proceedings of 1993 IEEE Conference on Tools with Al (TAI-93) ◽

10.1109/tai.1993.633955 ◽

2002 ◽

Author(s):

Y. Ohsawa ◽

M. Ishizuka

Keyword(s):

Polynomial Time ◽

Optimal Solution ◽

Hypothetical Reasoning

Download Full-text

Constraint relaxation in distributed constraint satisfaction problems

Proceedings of 1993 IEEE Conference on Tools with Al (TAI-93) ◽

10.1109/tai.1993.633936 ◽

2002 ◽

Author(s):

M. Yokoo

Keyword(s):

Constraint Satisfaction ◽

Constraint Satisfaction Problems ◽

Constraint Relaxation ◽

Distributed Constraint Satisfaction

Download Full-text

A constructivist approach to tense and aspect: From text to polytyped strings

Proceedings of 1993 IEEE Conference on Tools with Al (TAI-93) ◽

10.1109/tai.1993.634014 ◽

2002 ◽

Author(s):

A. Dormont ◽

J.-P. Gruselle

Keyword(s):

Constructivist Approach ◽

Tense And Aspect

Download Full-text

Dynamically configurable combinatory logic array as Boolean neural network

Proceedings of 1993 IEEE Conference on Tools with Al (TAI-93) ◽

10.1109/tai.1993.634000 ◽

2002 ◽

Author(s):

J. Niittylahti ◽

H. Raittinen ◽

K. Kaski

Keyword(s):

Neural Network ◽

Combinatory Logic ◽

Dynamically Configurable ◽

Download Full-text

Transform coding by lateral inhibited neural nets

Proceedings of 1993 IEEE Conference on Tools with Al (TAI-93) ◽

10.1109/tai.1993.633930 ◽

2002 ◽

Author(s):

R.W. Brause

Keyword(s):

Neural Nets ◽

Transform Coding

Download Full-text

A method for translating CLP(R) rules into objects

Proceedings of 1993 IEEE Conference on Tools with Al (TAI-93) ◽

10.1109/tai.1993.633940 ◽

2002 ◽

Author(s):

T.-C. Yu ◽

J.-Y. Juang

Download Full-text

Parallel processing and hardware support of symbols

Proceedings of 1993 IEEE Conference on Tools with Al (TAI-93) ◽

10.1109/tai.1993.633997 ◽

2002 ◽

Author(s):

M.-A. Fukase ◽

T. Nakamura

Keyword(s):

Parallel Processing ◽

Hardware Support

Download Full-text

An interactive consistency maintenance system and its logical framework

Proceedings of 1993 IEEE Conference on Tools with Al (TAI-93) ◽

10.1109/tai.1993.633942 ◽

2002 ◽

Author(s):

W. Li

Keyword(s):

Logical Framework ◽

Consistency Maintenance ◽

Maintenance System

Download Full-text