![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
3rd ICTAI 1991: San Jose, CA, USA
- Third International Conference on Tools for Artificial Intelligence, TAI '91, San Jose, CA, USA, November 10-13, 1991. IEEE Computer Society 1991, ISBN 0-8186-2300-4
- 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:
AI in multimedia (panel session). 3-12 - Robert G. Reynolds, Jonathan I. Maletic, Shan-Ping Chang:
The use of version space controlled genetic algorithms to solve the Boole problem. 14-21 - Robert Godin, Rokia Missaoui, Hassan Alaoui:
Learning algorithms using a Galois lattice structure. 22-29 - Eric Bloedorn, Ryszard S. Michalski:
Data-driven constructive induction in AQ17-PRE: A method and experiments. 30-37 - Vassileios Karakostas:
Automated business knowledge acquisition from programs. 40-47 - Patrick O. Bobbie, Joseph E. Urban:
Propositional logic for validating software object interrelationships. 48-55 - S. Prabhakar, S. Navathe:
A knowledge-base design and application prototyping tool based on an enhanced functional data model. 56-63 - Vernon Rego, Andrew Schulz:
Parallel sampling in Bayesian networks. 66-73 - Stamatis Vassiliadis, Gerald G. Pechanek, José G. Delgado-Frias
:
SPIN: a sequential pipelined neurocomputer. 74-81 - Peter Wohl, Thomas W. Christopher:
MIMD implementation of neural networks through pipelined, parallel communication trees. 82-89 - Giorgio Bolis, Luigi Di Pace, Filippo Fabrocini:
A machine learning tool for computer aided molecular design. 92-99 - Jerzy W. Bala, Ryszard S. Michalski:
Learning textural concepts through multilevel symbolic transformations. 100-107 - Jaidev, N. Parameswaran:
PLANET: A tool for representing and generating plans in an RMS framework. 108-111 - C. V. Ramamoorthy, Daniel E. Cooke:
The correspondence between methods of artificial intelligence and the production and maintenance of evolutionary software. 114-118 - Kurt Godden:
Feature-based design evaluation through constraint structure unification. 119-124 - Betty H. C. Cheng, Gerald C. Gannod:
Abstraction of formal specifications from program code. 125-128 - Jerzy W. Bala, Harry Wechsler:
Shape analysis using morphological processing and genetic algorithms. 130-137 - Steven E. Bayer, Lui Wang:
A genetic algorithm programming environment: Splicer. 138-144 - Anand V. Hudli, Mathew J. Palakal, Michael J. Zoran:
A neural network based expert system model. 145-149 - Yi Shang, Guo-Jie Li:
New crossover operators in genetic algorithms. 150-153 - Yoshiyuki Koseki, Yoichiro Nakakuki, Midori Tanaka:
DT: a classification problem solver with tabular-knowledge acquisition. 156-163 - Jacques Calmet, Indra A. Tjandra, Guilherme Bittencourt:
MANTRA: a shell for hybrid knowledge representation. 164-171 - Fernando Gomez:
Representing biological and physical systems as temporal event hierarchies. 172-180 - H. Tolba, François Charpillet, Jean Paul Haton:
Representing and propagating constraints in temporal reasoning. 181-184 - Guturu Parthasarathy, Harish Pareek, P. Ananthraj:
A stable learning algorithm for recurrent neural networks. 186-191 - Cris Koutsougeras, George Papadourakis:
A method for training a feed-forward neural net model while targeting reduced nonlinearity. 192-199 - Yiwei Chen, Farokh B. Bastani:
The capability of feedforward neural networks with Ω-shaped activation functions. 200-207 - Horng-Yuan Chen, Jeffrey J. P. Tsai, Yao-Dong Bi:
An event-based real-time logic to specify the behavior and timing properties of real-time systems. 210-219 - Antonius J. Hendriks, Damian M. Lyons:
A methodology for creating and adapting reactive systems. 220-227 - Babak Hamidzadeh, Shashi Shekhar:
DYNORA: a real-time planning algorithm to meet response-time constraints in dynamic environments. 228-235 - V. Venkateswar, Rama Chellappa:
Hierarchical stereo matching using feature groupings. 238-245 - Frank Y. Shih, Christopher C. Pu:
A maxima-tracking method for skeletonization from Euclidean distance function. 246-253 - D. C. Douglas Hung, K. T. Chen:
Boundary detection based on neural networks model. 254-257 - Jonathan Lee, John Yen:
Toward a general methodology for specifying expert systems. 260-263 - Chengjiang Mao, Jiarong Hong:
Refinement of the structure of knowledge base by learning. 264-271 - Hsiao-Rong Tyan, Jie-Yong Juang:
3-D structure modeling via constraint resolution. 274-281 - Shuichi Shimizu, Keisuke Inoue, Masayuki Numao:
An ATMS-based geometric constraint solver for 3D CAD. 282-290 - Ethymios A. Delis, Alexios Delis:
Algorithmic support for intelligent fire-code checking. 291-298 - Pierre Marquis:
Mechanizing skeptical abduction and its applications to artificial intelligence. 300-307 - Georgios I. Papadimitriou:
A new approach for the design of reinforcement schemes for learning automata: stochastic estimator learning algorithms. 308-317 - Rüdiger W. Brause:
The determination of neural network parameters by information theory. 318-321 - Sukhan Lee, Judy Chen:
Modeling and simulation for minimum uncertainty in qualitative physics. 322-329 - Eugene C. Freuder, Richard J. Wallace:
Selective relaxation for constraint satisfaction problems. 332-339 - Mark W. Perlin:
Arc consistency for factorable relations. 340-345 - Yangjun Chen:
Improving Han and Lee's path consistency algorithm. 346-350 - Mitsuru Ishizuka, Fumiaki Ito:
Fast hypothetical reasoning system using inference-path network. 352-359 - Akiko Kondo, Toshiro Makino, Mitsuru Ishizuka:
An efficient hypothetical reasoning system for predicate-logic knowledge-base. 360-367 - Bryan M. Kramer:
Knowledge-based configuration of computer systems using hierarchical partial choice. 368-375 - Wolfgang Benn:
KBMS support for conceptual modeling in AI. 378-385 - Daniel P. Miranker, Frederic H. Burke, John Kolts, Jeri J. Steele:
The C++ embeddable rule system. 386-393 - Hyung-Sik Park, Yuh-Tsong Su:
ObjTrans: an intelligent tool for knowledge-object transformation. 394-398 - Rakesh Kumar Singh, Shashi Kumar, Vikraman Arvind:
A heuristic search strategy for optimization of trade-off cost measures. 400-407 - Sukhan Lee:
Backward assembly planning. 408-415 - Ruchir Puri, Jun Gu:
Searching for a minimal finite state automaton (FSA). 416-423 - Louis Marinos, R. A. Smit, S. Oei, Jan Sirks, M. de Jong, J. van der Meersch:
An intelligent mediator for database application development. 426-435 - Jason Tsong-Li Wang, Kaizhong Zhang, Karpjoo Jeong, Dennis E. Shasha:
A tool for tree pattern matching. 436-444 - Toshihiro Ide, A. Hakata, M. W. Kim:
An intelligent network service prototype using knowledge processing. 445-448 - Sharon M. Tuttle, Christoph F. Eick:
Historical Rete networks for debugging rule-based systems. 450-457 - Mark W. Perlin:
RETE and chart parsing from bottom-up call-graph caching. 458-467 - Mark W. Perlin:
Incremental binding-space match: the linearized matchbox algorithm. 468-477 - Wei-Chung Lin, Shiuh-Yung Chen, Chin-Tu Chen:
Dempster-Shafer reasoning for medical image recognition. 480-487 - Fuyau Lin, Timothy K. Shih, Nam Ling:
Verification tool for systolic array design. 488-492 - Philip J. Christopher, Apostolos Dollas:
Knowledge based process scheduling on symmetric multiprocessors. 493-497 - Michael C. Moed, Charles V. Stewart, Robert B. Kelley:
Reducing the search time of a steady state genetic algorithm using the immigration operator. 500-501 - Joongmin Choi, Stuart C. Shapiro:
Experience-based deductive learning. 502-503 - Tapio Elomaa:
Extending the learnability of decision trees. 504-505 - Kefeng Chen:
AUTOTEC: an English to Chinese machine translation system. 506-507 - Kenji Ohmori, Y. Haruki:
On-line handwritten Kanji character recognition using hypothesis generation in the space of hierarchical knowledge. 508-509 - Suk I. Yoo, Il Kon Kim, Chang H. Park, Hea J. Chang, Tae Gwon Kim, Mee K. Min:
HEXPERT: an expert system building tool. 510-511 - Allan J. Finkel, Seraphin B. Calo, David A. Klein:
Model management and the automation of computer system operations. 512-513 - Ruey-Juin Chang, Gordon S. Novak Jr.:
Components of expertise for knowledge level modeling. 514-515 - Somnuk Keretho, Rasiah Loganantharaj, Venkat N. Gudivada:
Parallel path-consistency algorithms for constraint satisfaction. 516-517 - D. C. Douglas Hung, I. R. Chen:
Automatic contour segmentation for object analysis. 518-519 - Fred Miller, Rose Paradis, Kevin Whalen:
Iterative development life cycle (IDLC): a management process for large scale intelligent system development. 520-521 - Won Chan Jung, J. Bush Jones, Jianhua Chen:
Optimization of the decision tree. 522-523 - J. L. Han:
Preventing infinite looping in Prolog. 524-525 - Albert M. K. Cheng:
Implementing a tool for timing analysis of real-time production systems. 526-527 - D. C. Douglas Hung, Yui-Liang Chen, R. Chen, T. Cheng:
Text processing: robust character recognition using calibrated text and diversified feature set. 528-529 - S. Hassasz:
GMAL: a tool for AI systems construction. 530-531 - Jianxiang Wang, Yongchun Liu, Shenquan Liu:
Toward a theory approach to visual knowledge. 532-533 - Agostino Poggi, Giovanni Adorni:
Representing real world phenomena through HDPTN. 534-535 - William Fabens, Leon Sterling:
Generalized scheduling development environment. 536-537 - Dieter Fensel, Jörg Klein:
A new approach to rule induction and pruning. 538-539 - Wei Li:
A logic theory of learning from experience. 540-541 - Bryan M. Kramer:
Metalevel and temporal reasoning in KNOWBEL: features and implementation. 542-543
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.