ICTAI B

86 papers

YearTitle / Authors
19913-D structure modeling via constraint resolution.
Hsiao-Rong Tyan, Jie-Yong Juang
1991A genetic algorithm programming environment: Splicer.
Steven E. Bayer, Lui Wang
1991A heuristic search strategy for optimization of trade-off cost measures.
Rakesh Kumar Singh, Shashi Kumar, Vikraman Arvind
1991A knowledge-base design and application prototyping tool based on an enhanced functional data model.
S. Prabhakar, S. Navathe
1991A logic theory of learning from experience.
Wei Li
1991A machine learning tool for computer aided molecular design.
Giorgio Bolis, Luigi Di Pace, Filippo Fabrocini
1991A maxima-tracking method for skeletonization from Euclidean distance function.
Frank Y. Shih, Christopher C. Pu
1991A method for training a feed-forward neural net model while targeting reduced nonlinearity.
Cris Koutsougeras, George Papadourakis
1991A methodology for creating and adapting reactive systems.
Antonius J. Hendriks, Damian M. Lyons
1991A neural network based expert system model.
Anand V. Hudli, Mathew J. Palakal, Michael J. Zoran
1991A new approach for the design of reinforcement schemes for learning automata: stochastic estimator learning algorithms.
Georgios I. Papadimitriou
1991A new approach to rule induction and pruning.
Dieter Fensel, Jörg Klein
1991A stable learning algorithm for recurrent neural networks.
Guturu Parthasarathy, Harish Pareek, P. Ananthraj
1991A tool for tree pattern matching.
Jason Tsong-Li Wang, Kaizhong Zhang, Karpjoo Jeong, Dennis E. Shasha
1991AI in multimedia (panel session).
Nikolaos G. Bourbakis, Robin Williams, Forouzan Golshani, Myron Flickner, Ted Laliotis, Sukhan Lee, José G. Delgado-Frias, Dan Hammerstrom, Cris Koutsougeras, Gerald G. Pechanek, Benjamin W. Wah, John Yen, Farokh B. Bastani, Tom Cooper, Karan Harbison-Briggs, Rudy Lauber, Alun D. Preece, Imran A. Zualkernan, W. T. Tsai, Daniel E. Cooke, Martin S. Feather, Stephen Fickas, N. Minsky, Peter G. Selfridge, Douglas Smith
1991AUTOTEC: an English to Chinese machine translation system.
Kefeng Chen
1991Abstraction of formal specifications from program code.
Betty H. C. Cheng, Gerald C. Gannod
1991Algorithmic support for intelligent fire-code checking.
Ethymios A. Delis, Alexios Delis
1991An ATMS-based geometric constraint solver for 3D CAD.
Shuichi Shimizu, Keisuke Inoue, Masayuki Numao
1991An efficient hypothetical reasoning system for predicate-logic knowledge-base.
Akiko Kondo, Toshiro Makino, Mitsuru Ishizuka
1991An event-based real-time logic to specify the behavior and timing properties of real-time systems.
Horng-Yuan Chen, Jeffrey J. P. Tsai, Yao-Dong Bi
1991An intelligent mediator for database application development.
Louis Marinos, R. A. Smit, S. Oei, Jan Sirks, M. de Jong, J. van der Meersch
1991An intelligent network service prototype using knowledge processing.
Toshihiro Ide, A. Hakata, M. W. Kim
1991Arc consistency for factorable relations.
Mark W. Perlin
1991Automated business knowledge acquisition from programs.
Vassileios Karakostas
1991Automatic contour segmentation for object analysis.
D. C. Douglas Hung, I. R. Chen
1991Backward assembly planning.
Sukhan Lee
1991Boundary detection based on neural networks model.
D. C. Douglas Hung, K. T. Chen
1991Components of expertise for knowledge level modeling.
Ruey-Juin Chang, Gordon S. Novak Jr.
1991DT: a classification problem solver with tabular-knowledge acquisition.
Yoshiyuki Koseki, Yoichiro Nakakuki, Midori Tanaka
1991DYNORA: a real-time planning algorithm to meet response-time constraints in dynamic environments.
Babak Hamidzadeh, Shashi Shekhar
1991Data-driven constructive induction in AQ17-PRE: A method and experiments.
Eric Bloedorn, Ryszard S. Michalski
1991Dempster-Shafer reasoning for medical image recognition.
Wei-Chung Lin, Shiuh-Yung Chen, Chin-Tu Chen
1991Experience-based deductive learning.
Joongmin Choi, Stuart C. Shapiro
1991Extending the learnability of decision trees.
Tapio Elomaa
1991Fast hypothetical reasoning system using inference-path network.
Mitsuru Ishizuka, Fumiaki Ito
1991Feature-based design evaluation through constraint structure unification.
Kurt Godden
1991GMAL: a tool for AI systems construction.
S. Hassasz
1991Generalized scheduling development environment.
William Fabens, Leon Sterling
1991HEXPERT: an expert system building tool.
Suk I. Yoo, Il Kon Kim, Chang H. Park, Hea J. Chang, Tae Gwon Kim, Mee K. Min
1991Hierarchical stereo matching using feature groupings.
V. Venkateswar, Rama Chellappa
1991Historical Rete networks for debugging rule-based systems.
Sharon M. Tuttle, Christoph F. Eick
1991Implementing a tool for timing analysis of real-time production systems.
Albert M. K. Cheng
1991Improving Han and Lee's path consistency algorithm.
Yangjun Chen
1991Incremental binding-space match: the linearized matchbox algorithm.
Mark W. Perlin
1991Iterative development life cycle (IDLC): a management process for large scale intelligent system development.
Fred Miller, Rose Paradis, Kevin Whalen
1991KBMS support for conceptual modeling in AI.
Wolfgang Benn
1991Knowledge based process scheduling on symmetric multiprocessors.
Philip J. Christopher, Apostolos Dollas
1991Knowledge-based configuration of computer systems using hierarchical partial choice.
Bryan M. Kramer
1991Learning algorithms using a Galois lattice structure.
Robert Godin, Rokia Missaoui, Hassan Alaoui
1991Learning textural concepts through multilevel symbolic transformations.
Jerzy W. Bala, Ryszard S. Michalski
1991MANTRA: a shell for hybrid knowledge representation.
Jacques Calmet, Indra A. Tjandra, Guilherme Bittencourt
1991MIMD implementation of neural networks through pipelined, parallel communication trees.
Peter Wohl, Thomas W. Christopher
1991Mechanizing skeptical abduction and its applications to artificial intelligence.
Pierre Marquis
1991Metalevel and temporal reasoning in KNOWBEL: features and implementation.
Bryan M. Kramer
1991Model management and the automation of computer system operations.
Allan J. Finkel, Seraphin B. Calo, David A. Klein
1991Modeling and simulation for minimum uncertainty in qualitative physics.
Sukhan Lee, Judy Chen
1991New crossover operators in genetic algorithms.
Yi Shang, Guo-Jie Li
1991ObjTrans: an intelligent tool for knowledge-object transformation.
Hyung-Sik Park, Yuh-Tsong Su
1991On-line handwritten Kanji character recognition using hypothesis generation in the space of hierarchical knowledge.
Kenji Ohmori, Y. Haruki
1991Optimization of the decision tree.
Won Chan Jung, J. Bush Jones, Jianhua Chen
1991PLANET: A tool for representing and generating plans in an RMS framework.
Jaidev, N. Parameswaran
1991Parallel path-consistency algorithms for constraint satisfaction.
Somnuk Keretho, Rasiah Loganantharaj, Venkat N. Gudivada
1991Parallel sampling in Bayesian networks.
Vernon Rego, Andrew Schulz
1991Preventing infinite looping in Prolog.
J. L. Han
1991Propositional logic for validating software object interrelationships.
Patrick O. Bobbie, Joseph E. Urban
1991RETE and chart parsing from bottom-up call-graph caching.
Mark W. Perlin
1991Reducing the search time of a steady state genetic algorithm using the immigration operator.
Michael C. Moed, Charles V. Stewart, Robert B. Kelley
1991Refinement of the structure of knowledge base by learning.
Chengjiang Mao, Jiarong Hong
1991Representing and propagating constraints in temporal reasoning.
H. Tolba, François Charpillet, Jean Paul Haton
1991Representing biological and physical systems as temporal event hierarchies.
Fernando Gomez
1991Representing real world phenomena through HDPTN.
Agostino Poggi, Giovanni Adorni
1991SPIN: a sequential pipelined neurocomputer.
Stamatis Vassiliadis, Gerald G. Pechanek, José G. Delgado-Frias
1991Searching for a minimal finite state automaton (FSA).
Ruchir Puri, Jun Gu
1991Selective relaxation for constraint satisfaction problems.
Eugene C. Freuder, Richard J. Wallace
1991Shape analysis using morphological processing and genetic algorithms.
Jerzy W. Bala, Harry Wechsler
1991Text processing: robust character recognition using calibrated text and diversified feature set.
D. C. Douglas Hung, Yui-Liang Chen, R. Chen, T. Cheng
1991The C++ embeddable rule system.
Daniel P. Miranker, Frederic H. Burke, John Kolts, Jeri J. Steele
1991The capability of feedforward neural networks with Ω-shaped activation functions.
Yiwei Chen, Farokh B. Bastani
1991The correspondence between methods of artificial intelligence and the production and maintenance of evolutionary software.
C. V. Ramamoorthy, Daniel E. Cooke
1991The determination of neural network parameters by information theory.
Rüdiger W. Brause
1991The use of version space controlled genetic algorithms to solve the Boole problem.
Robert G. Reynolds, Jonathan I. Maletic, Shan-Ping Chang
1991Third International Conference on Tools for Artificial Intelligence, TAI '91, San Jose, CA, USA, November 10-13, 1991
1991Toward a general methodology for specifying expert systems.
Jonathan Lee, John Yen
1991Toward a theory approach to visual knowledge.
Jianxiang Wang, Yongchun Liu, Shenquan Liu
1991Verification tool for systolic array design.
Fuyau Lin, Timothy K. Shih, Nam Ling