The Community for Technology Leaders
1991 Third International Conference on Tools for Artificial Intelligence (1991)
San Jose, CA, USA
Nov. 10, 1991 to Nov. 13, 1991
ISBN: 0-8186-2300-4
TABLE OF CONTENTS

RETE and chart parsing from bottom-up call-graph caching (PDF)

M. Perlin , Sch. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 458-467

Incremental binding-space match: the linearized matchbox algorithm (PDF)

M. Perlin , Sch. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 468-477

Dempster-Shafer reasoning for medical image recognition (PDF)

Wei-Chung Lin , Dept. of Electr. & Comput. Sci., Northwestern Univ., Evanston, IL, USA
Shiuh-Yung Chen , Dept. of Electr. & Comput. Sci., Northwestern Univ., Evanston, IL, USA
pp. 480-487

Verification tool for systolic array design (PDF)

F. Lin , Dept. of Comput. Eng., Santa Clara Univ., CA, USA
T. Shih , Dept. of Comput. Eng., Santa Clara Univ., CA, USA
N. Ling , Dept. of Comput. Eng., Santa Clara Univ., CA, USA
pp. 488-492

Knowledge based process scheduling on symmetric multiprocessors (PDF)

P.J. Christopher , Dept. of Electr. Eng., Duke Univ., Durham, NC, USA
A. Dollas , Dept. of Electr. Eng., Duke Univ., Durham, NC, USA
pp. 493-497

Experience-based deductive learning (PDF)

J. Choi , Dept. of Comput. Sci., State Univ. of New York, Buffalo, NY, USA
S.C. Shapiro , Dept. of Comput. Sci., State Univ. of New York, Buffalo, NY, USA
pp. 502-503

Extending the learnability of decision trees (PDF)

T. Elomaa , Dept. of Comput. Sci., Helsinki Univ., Finland
pp. 504-505

AUTOTEC: an English to Chinese machine translation system (PDF)

K. Chen , Center for Inf. Res., Florida Univ., Gainesville, FL, USA
pp. 506-507

HEXPERT: an expert system building tool (PDF)

S.I. Yoo , Artificial Intelligence Lab., Seoul Nat. Univ., South Korea
I.K. Kim , Artificial Intelligence Lab., Seoul Nat. Univ., South Korea
C.H. Park , Artificial Intelligence Lab., Seoul Nat. Univ., South Korea
H.J. Chang , Artificial Intelligence Lab., Seoul Nat. Univ., South Korea
T.G. Kim , Artificial Intelligence Lab., Seoul Nat. Univ., South Korea
M.K. Min , Artificial Intelligence Lab., Seoul Nat. Univ., South Korea
pp. 510-511

Model management and the automation of computer system operations (PDF)

A.J. Finkel , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
S.B. Calo , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
D.A. Klein , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 512-513

Components of expertise for knowledge level modeling (PDF)

R.-J. Chang , Artificial Intelligence Lab., Texas Univ., Austin, TX, USA
G.S. Novak , Artificial Intelligence Lab., Texas Univ., Austin, TX, USA
pp. 514-515

Parallel path-consistency algorithms for constraint satisfaction (PDF)

S. Keretho , Center for Adv. Comput. Studies, Southwestern Louisiana Univ., Lafayette, LA, USA
R. Loganantharaj , Center for Adv. Comput. Studies, Southwestern Louisiana Univ., Lafayette, LA, USA
pp. 516-517

Automatic contour segmentation for object analysis (PDF)

D.C.D. Hung , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
I.R. Chen , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
pp. 518-519

Optimization of the decision tree (PDF)

W.C. Jung , Dept. of Comput. Sci., Louisiana State Univ., Baton Rouge, LA, USA
J.B. Jones , Dept. of Comput. Sci., Louisiana State Univ., Baton Rouge, LA, USA
J. Chen , Dept. of Comput. Sci., Louisiana State Univ., Baton Rouge, LA, USA
pp. 522-523

Preventing infinite looping in Prolog (PDF)

J.L. Han , Sch. of Inf. Technol., Univ. Coll. of Southern Queensland, Toowoomba, Qld., Australia
pp. 524-525

Implementing a tool for timing analysis of real-time production systems (PDF)

A.M.K. Cheng , Dept. of Comput. Sci., Houston-University Park Univ., TX, USA
pp. 526-527

Text processing: robust character recognition using calibrated text and diversified feature set (PDF)

D.C.D. Hung , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
Y. Chen , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
R. Chen , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
T. Cheng , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
pp. 528-529

GMAL: a tool for AI systems construction (PDF)

S. Hassas , Lab. d'Ingenierie des Syst. d'Inf., Univ. Claude Bernard-Lyon, Villeurbanne, France
pp. 530-531

Toward a theory approach to visual knowledge (PDF)

Jianxiang Wang , CAD Lab., Inst. of Comput. Technol., Acad. Sinica, Beijing, China
Yongchun Liu , CAD Lab., Inst. of Comput. Technol., Acad. Sinica, Beijing, China
Shenquan Liu , CAD Lab., Inst. of Comput. Technol., Acad. Sinica, Beijing, China
pp. 532-533

Representing real world phenomena through HDPTN (PDF)

A. Poggi , DIST, Genoa Univ., Italy
G. Adorni , DIST, Genoa Univ., Italy
pp. 534-535

Generalized scheduling development environment (PDF)

W. Fabens , BP Res., Cleveland, OH, USA
pp. 536-537

A new approach to rule induction and pruning (PDF)

D. Fensel , Inst. fuer Angewandte Inf. & Fomale Beschreibungsverfahren, Karlsruhe Univ., Germany
J. Klein , Inst. fuer Angewandte Inf. & Fomale Beschreibungsverfahren, Karlsruhe Univ., Germany
pp. 538-539

A logic theory of learning from experience (PDF)

Wei Li , Beijing Univ. of Aeronaut. & Astronaut., China
pp. 540-541

Metalevel and temporal reasoning in KNOWBEL: features and implementation (PDF)

B.M. Kramer , Dept. of Comput. Sci., Toronto Univ., Ont., Canada
pp. 542-543

The use of version space controlled genetic algorithms to solve the Boole problem (PDF)

R.G. Reynolds , Dept. of Comput. Sci., Wayne State Univ., Detroit, MI, USA
J.I. Maletic , Dept. of Comput. Sci., Wayne State Univ., Detroit, MI, USA
S.-P. Chang , Dept. of Comput. Sci., Wayne State Univ., Detroit, MI, USA
pp. 14-21

Learning algorithms using a Galois lattice structure (PDF)

R. Godin , Dept. de Math. et d'Inf., Quebec Univ., Montreal, Que., Canada
R. Missaoui , Dept. de Math. et d'Inf., Quebec Univ., Montreal, Que., Canada
H. Alaoui , Dept. de Math. et d'Inf., Quebec Univ., Montreal, Que., Canada
pp. 22-29

Data-driven constructive induction in AQ17-PRE: A method and experiments (PDF)

E. Bloedorn , Center for Artificial Intelligence, George Mason Univ., Fairfax, VA, USA
R.S. Michalski , Center for Artificial Intelligence, George Mason Univ., Fairfax, VA, USA
pp. 30-37

Automated business knowledge acquisition from programs (PDF)

V. Karakostas , Dept. of Comput. Univ. of Manchester, Inst. of Sci. & Technol., UK
pp. 40-47

Propositional logic for validating software object interrelationships (PDF)

P.O. Bobbie , Div. of Comput. Sci., West Florida Univ., Pensacola, FL, USA
pp. 48-55

Parallel sampling in Bayesian networks (PDF)

V. Rego , Dept. of Comput. Sci., Purdue Univ., West Lafayette, IN, USA
pp. 66-73

SPIN: a sequential pipelined neurocomputer (PDF)

S. Vassiliadis , IBM, Endicott, NY, USA
G.G. Pechanek , IBM, Endicott, NY, USA
pp. 74-81

MIMD implementation of neural networks through pipelined, parallel communication trees (PDF)

P. Wohl , Dept. of Comput. Sci., Illinois Inst. of Technol., Chicago, IL, USA
T.W. Christopher , Dept. of Comput. Sci., Illinois Inst. of Technol., Chicago, IL, USA
pp. 82-89

Learning textural concepts through multilevel symbolic transformations (PDF)

J.W. Bala , Center for Artificial Intelligence, George Mason Univ., Fairfax, VA, USA
R.S. Michalski , Center for Artificial Intelligence, George Mason Univ., Fairfax, VA, USA
pp. 100-107

PLANET: A tool for representing and generating plans in an RMS framework (PDF)

Jaidev , Artificial Intelligence Lab., Indian Inst. of Technol., Madras, India
pp. 108-111

DT: a classification problem solver with tabular-knowledge acquisition (PDF)

Y. Koseki , NEC Corp., Kawasaki, Japan
Y. Nakakuki , NEC Corp., Kawasaki, Japan
M. Tanaka , NEC Corp., Kawasaki, Japan
pp. 156-163

Feature-based design evaluation through constraint structure unification (PDF)

K. Godden , General Motors Res. Lab., Warren, MI, USA
pp. 119-124

Abstraction of formal specifications from program code (PDF)

B.H.C. Cheng , Dept. of Comput. Sci., Michigan State Univ., East Lansing, MI, USA
G.C. Gannod , Dept. of Comput. Sci., Michigan State Univ., East Lansing, MI, USA
pp. 125-128

Shape analysis using morphological processing and genetic algorithms (PDF)

J. Bala , George Mason Univ., Fairfax, VA, USA
H. Wechsler , George Mason Univ., Fairfax, VA, USA
pp. 130-137

A genetic algorithm programming environment: Splicer (PDF)

S.E. Bayer , The MITRE Corp., Houston, TX, USA
pp. 138-144

A neural network based expert system model (PDF)

A.V. Hudli , Dept. of Comput. & Inf. Sci., Purdue Univ. Sch. of Sci., Indianapolis, IN, USA
M.J. Palakal , Dept. of Comput. & Inf. Sci., Purdue Univ. Sch. of Sci., Indianapolis, IN, USA
M.J. Zoran , Dept. of Comput. & Inf. Sci., Purdue Univ. Sch. of Sci., Indianapolis, IN, USA
pp. 145-149

New crossover operators in genetic algorithms (PDF)

Yi Shang , Nat. Res. Center for Intelligent Comput. Syst., Beijing, China
Guo-Jie Li , Nat. Res. Center for Intelligent Comput. Syst., Beijing, China
pp. 150-153

MANTRA: a shell for hybrid knowledge representation (PDF)

J. Calmet , Inst. of Algorithms & Cognitive Syst., Karlsruhe, Germany
I.A. Tjandra , Inst. of Algorithms & Cognitive Syst., Karlsruhe, Germany
pp. 164-171

Representing biological and physical systems as temporal event hierarchies (PDF)

F. Gomez , Dept. of Comput. Sci., Central Florida Univ., Orlando, FL, USA
pp. 172-180

Representing and propagating constraints in temporal reasoning (PDF)

H. Tolba , INRIA-Lorraine, Vandoeuvre-les-Nancy, France
F. Charpillet , INRIA-Lorraine, Vandoeuvre-les-Nancy, France
J.-P. Haton , INRIA-Lorraine, Vandoeuvre-les-Nancy, France
pp. 181-184

A stable learning algorithm for recurrent neural networks (PDF)

G. Parthasarathy , Dept. of Electron. & Electr. Commun. Eng., Indian Inst. of Technol., Kharagpur, India
H. Pareek , Dept. of Electron. & Electr. Commun. Eng., Indian Inst. of Technol., Kharagpur, India
P. Ananthraj , Dept. of Electron. & Electr. Commun. Eng., Indian Inst. of Technol., Kharagpur, India
pp. 186-191

A methodology for creating and adapting reactive systems (PDF)

A.J. Hendriks , North American Philips Corp., Briarcliff Manor, NY, USA
D.M. Lyons , North American Philips Corp., Briarcliff Manor, NY, USA
pp. 220-227

DYNORA: a real-time planning algorithm to meet response-time constraints in dynamic environments (PDF)

B. Hamidzadeh , Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
S. Shekhar , Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
pp. 228-235

Hierarchical stereo matching using feature groupings (PDF)

V. Venkateswar , Texas Instruments, Dallas, TX, USA
pp. 238-245

A maxima-tracking method for skeletonization from Euclidean distance function (PDF)

F.Y. Shih , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
C.C. Pu , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
pp. 246-253

Boundary detection based on neural networks model (PDF)

D.C.D. Hung , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
K.T. Chen , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
pp. 254-257

Toward a general methodology for specifying expert systems (PDF)

J. Lee , Dept. of Comput. Sci., Texas A&M Univ., College Station, NY, USA
J. Yen , Dept. of Comput. Sci., Texas A&M Univ., College Station, NY, USA
pp. 260-263

Refinement of the structure of knowledge base by learning (PDF)

Chengjiang Mao , First Acad., Minist. of Aero-Space Ind., Beijing, China
pp. 264-271

3-D structure modeling via constraint resolution (PDF)

H.-R. Tyan , Dept. of Electr. Eng. & Comput. Sci., Northwestern Univ., Evanston, IL, USA
pp. 274-281

An ATMS-based geometric constraint solver for 3D CAD (PDF)

S. Shimizu , IBM Research, Tokyo, Japan
K. Inoue , IBM Research, Tokyo, Japan
M. Numao , IBM Research, Tokyo, Japan
pp. 282-290

Algorithmic support for intelligent fire-code checking (PDF)

E.A. Delis , Dept. of Civil Eng., Massachusetts Univ., Amherst, MA, USA
pp. 291-298

Mechanizing skeptical abduction and its applications to artificial intelligence (PDF)

P. Marquis , INRIA-Lorraine, Vandoeuvre-les-Nancy, France
pp. 300-307

Modeling and simulation for minimum uncertainty in qualitative physics (PDF)

S. Lee , Jet Propulsion Lab., California Inst. of Technol., Pasadena, CA, USA
pp. 322-329

Selective relaxation for constraint satisfaction problems (PDF)

E.C. Freuder , Dept. of Comput. Sci., New Hampshire Univ., Durham, NH, USA
R.J. Wallace , Dept. of Comput. Sci., New Hampshire Univ., Durham, NH, USA
pp. 332-339

Arc consistency for factorable relations (PDF)

M. Perlin , Sch. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 340-345

Improving Han and Lee's path consistency algorithm (PDF)

Yangjun Chen , Tech. Inst. of Changsha, Hunan, China
pp. 346-350

Fast hypothetical reasoning system using inference-path network (PDF)

M. Ishizuka , Inst. of Ind. Sci., Tokyo Univ., Japan
F. Ito , Inst. of Ind. Sci., Tokyo Univ., Japan
pp. 352-359

An efficient hypothetical reasoning system for predicate-logic knowledge-base (PDF)

A. Kondo , Inst. of Ind. Sci., Tokyo Univ., Japan
T. Makino , Inst. of Ind. Sci., Tokyo Univ., Japan
M. Ishizuka , Inst. of Ind. Sci., Tokyo Univ., Japan
pp. 360-367

Knowledge-based configuration of computer systems using hierarchical partial choice (PDF)

B.M. Kramer , Dept. of Comput. Sci., Toronto Univ., Ont., Canada
pp. 368-375

KBMS support for conceptual modeling in AI (PDF)

W. Benn , Appl. Comput. Sci., Hagen Univ., Germany
pp. 378-385

The C++ embeddable rule system (PDF)

D.P. Miranker , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
pp. 386-393

ObjTrans: an intelligent tool for knowledge-object transformation (PDF)

H.-S. Park , Dept. of Comput. Sci., Iowa Univ., Iowa City, IA, USA
Y.-T. Su , Dept. of Comput. Sci., Iowa Univ., Iowa City, IA, USA
pp. 394-398

A heuristic search strategy for optimization of trade-off cost measures (PDF)

R.K. Singh , Dept. of Electron., Maulana Azad Coll. of Technol., Bhopal, India
pp. 400-407

Backward assembly planning (PDF)

S. Lee , Jet Propulsion Lab., California Inst. of Technol., Pasadena, CA, USA
pp. 408-415

Searching for a minimal finite state automaton (FSA) (PDF)

R. Puri , Dept. of Electr. & Comput. Eng., Calgary Univ., Alta., Canada
J. Gu , Dept. of Electr. & Comput. Eng., Calgary Univ., Alta., Canada
pp. 416-423

An intelligent mediator for database application development (PDF)

L. Marinos , Erasmus Univ., Rotterdam, Netherlands
R.A. Smit , Erasmus Univ., Rotterdam, Netherlands
pp. 426-435

A tool for tree pattern matching (PDF)

J.T.L. Wang , New Jersey Inst. of Technol., Newark, NJ, USA
pp. 436-444

An intelligent network service prototype using knowledge processing (PDF)

T. Ide , Fujitsu Kyushu Communication Systems Ltd., Kawasaki, Japan
pp. 445-448

Historical Rete networks for debugging rule-based systems (PDF)

S.M. Tuttle , Dept. of Comput. Sci., Houston Univ., TX, USA
C.F. Eick , Dept. of Comput. Sci., Houston Univ., TX, USA
pp. 450-457
95 ms
(Ver 3.3 (11022016))