default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st (IC)TAI 1989: Herndon, VA, USA, USA
- IEEE International Workshop on Tools for Artificial Intelligence: Architectures, Languages and Algorithms, TAI 1989, Fairfax, VA, USA, October 23-25, 1989. IEEE Computer Society 1989, ISBN 0-8186-1984-8
- Shashi Shekhar, Chittoor V. Ramamoorthy:
Coop: a shell for cooperating expert systems. 2-11 - Chin-Liang Chang, Rolf A. Stachowitz, Jacqueline B. Combs:
Testing integrated knowledge-based systems. 12-18 - Patrick O. Bobbie, Joseph E. Urban:
A model for understanding complexities of developing large-scale software systems. 19-26 - Kai W. Hwang, Jack S. Eddy Tan, Jau-Hwang Wang, Jaideep Srivastava, Wei-Tek Tsai:
A parallel architecture for large scale production systems. 27-33 - Randall J. Calistri:
A modified A* algorithm for robust plan recognition. 36-42 - Sukhan Lee, Kyusik Chung:
Resource-oriented parallel planning. 43-50 - Sukhan Lee, Kyusik Chung:
A parallel architecture for AI nonlinear planning. 51-58 - Robin B. Stanton, Brian P. Molinari, Christopher W. Johnson, D. Wanless, Paul Mackerras:
A planner for time-space coordination of robots in a structured workspace. 59-67 - Michel Liquiere, Jean Sallantin:
INNE: a structured learning algorithm for noisy examples. 70-76 - Toshikazu Tanaka, Tom M. Mitchell:
Embedding learning in a general frame-based architecture. 77-84 - Fernando Gomez, Carlos Segami:
Finding and learning explanatory connections from scientific texts. 85-90 - Peter W. Pachowicz:
Low-level numerical characteristics and inductive learning methodology in texture recognition. 91-98 - Susantha Herath, Takashi Ikeda, S. Yokoyama, Hitoshi Isahara, Shun Ishizaki:
Sinhalese morphological analysis: a step towards machine processing of Sinhalese. 100-107 - Mamdouh H. Ibrahim, Fred A. Cummins:
TARO: an interactive, object-oriented tool for building natural language systems. 108-113 - Jun-ichi Aoe:
Intelligent machine translation using a contextual knowledge representation. 114-121 - Andrew Fano, Andrew Kehler, Hatte Blejer, Sharon Flank:
Acquisition of knowledge sources for natural language processing. 122-129 - Jan M. Zytkow, Andrzej Jankowski:
Multisearch systems with hierarchical control: a tool for solving complex AI problems. 132-137 - Tom Bylander, Todd R. Johnson, Ashok K. Goel:
Structured matching: a task-specific technique for making decisions. 138-145 - Octavio Santana Suárez, G. Rodriguez, Margarita Díaz Roca, A. Placido:
The infinite distance in the determination of the nearest Euclidean M-neighbours in the K-D-B tree. 146-152 - Q. S. Gao, Heng-Da Cheng:
Macro transform approach to solve indecomposable problems. 153-160 - José G. Delgado-Frias
, Will R. Moore:
A semantic network architecture for artificial intelligence processing. 162-167 - Tsukasa Matoba, Mitsuyoshi Okamura, Takeshi Aikawa, Kenji Minagawa, Mitsuo Saito, Ken-ichi Maeda, Takeshi Takamiya:
Twin register architecture for an AI processor. 168-173 - Michael Factor, David Gelernter:
The process trellis: a software architecture for intelligent monitors. 174-181 - Heikki Hyötyniemi, Aarno Lehtola:
A metatool for implementing task-oriented formalisms. 182-188 - Jia-Huai You, Brian Wong, Chung-Sea Law:
A new intelligent backtracking scheme for Prolog: a summary of results. 190-197 - Hung-Chang Lee, Feipei Lai, Jenn-Yuan Tsai, Tai-Ming Parng, Yu-Gang Li:
MARS-a RISC-based architecture for LISP. 198-206 - Weng-Fai Wong, Chung-Kwong Yuen:
BIDDLE: a bidirectional data driven Lisp engine. 207-214 - Samuel O. Aletan:
Current and future trends in artificial intelligence architectures and programming languages. 215-221 - Mathew J. Palakal, Michael J. Zoran:
Feature extraction from speech spectrograms using multi-layered network models. 224-230 - John E. Whelchel, D. L. McNeill, R. D. Hughes, M. M. Loos:
Signal understanding: an artificial intelligence approach to modulation classification. 231-236 - Willam Lee Mahood:
Incremental learning mechanisms for speech understanding. 237-243 - N. L. Griffin, F. D. Lewis:
A rule-based inference engine which is optimal and VLSI implementable. 246-251 - James R. Kipps, Daniel D. Gajski:
The role of learning in logic synthesis. 252-258 - Apostolos Dollas, Grant L. Castrodale, William T. Krakow:
A knowledge-based environment for the integration of logical and physical testing of VLSI circuits. 259-265 - Peter B. Reintjes:
AI methodology as a key for software reusability. 266-271 - Janet M. Lin, Jie-Yong Juang, Stephen S. Yau:
On transformation of logic specifications into procedural programs. 274-281 - Jeffrey J. P. Tsai, Shun-Tzu Tsai, Alan Liu:
A frame and rule based system to support software development using an integrated software engineering paradigm. 282-289 - David N. Chin, Koji Takea, Isao Miyamoto:
Using natural language and stereotypical knowledge for acquisition of software models. 290-295 - Wei-Tek Tsai, Imran A. Zualkernan:
Towards a framework for normative software engineering research. 296-304 - Timothy W. Finin, Richard Fritzson, Robin McEntire, Donald P. McKay, Anthony B. O'Hare:
The intelligent system server: delivering AI to complex systems. 306-313 - Freddy Fierens, Johan Van Cleynenbreugel, Paul Suetens, André Oosterlinck:
I-see: an AI-tool for image understanding. 314-320 - Richard A. Frost, S. Karamatos:
Use of the W/AGE CASE tool in artificial intelligence. 321-329 - Mark W. Perlin:
Constraint-based specification of production rules. 332-338 - Kazumitsu Matsuzawa:
A parallel execution method of production systems with multiple worlds. 339-344 - Arie Tzvieli, Sally Jo Cunningham:
Super-imposing a network structure on a production system to improve performance. 345-352 - Zavdi L. Lichtman, Daniel L. Chester:
A family of cuts for production systems. 353-357 - Hemant Y. Marathe, Ta-Kang Ma, Chen-Ching Liu:
An algorithm for identification of relations among rules. 360-367 - Anand V. Hudli:
The NVL knowledge representation language. 368-375 - Mike P. Papazoglou, Caio Hoffman:
The role of knowledge in an active information environment. 376-385 - Scott Fertig, David Gelernter:
FGP: a virtual machine for database-driven expert systems. 388-392 - Dimitris Christodoulakis, P. Soupos, S. Goutas:
Adaptive DB schema evolution via constrained relationships. 393-398 - Du Zhang, Doan Nguyen:
A technique for knowledge base verification. 399-406 - L. Marinos, Jung Hoon Lee:
Using structural and procedural knowledge in database and knowledge base integration. 407-417 - P. Janssen, Philippe Jégou, B. Nouguier, Marie-Catherine Vilarem:
A filtering process for general constraint-satisfaction problems: achieving pairwise-consistency using an associated binary representation. 420-427 - Mark W. Perlin, Jean-Marc DeBaud:
Match Box: fine-grained parallelism at the match level. 428-434 - Octavio Santana Suárez, José Rafael Pérez Aguiar, Zenón José Hernández Figueroa, G. Rodriguez:
Sharing the components of transposition-invariant distance, DIT, on DIT-organized Burkhard-Keller structure in searches for best matching strings. 435-441 - Weixiong Zhang:
NSA algorithm and its computational complexity-preliminary results. 442-446 - H. Madala:
Layered inductive learning algorithms and their computational aspects. 448-456 - Andrew Sohn, Jean-Luc Gaudiot:
Multilayer of ring-structured feedback network for production system processing. 457-464 - Peggy Israel, Cris Koutsougeras:
Associative recall based on abstract object descriptions learned from observation: the CBM neural net model. 465-472 - Abdulraouf Y. Al-Hallaq:
Rearrangeability of 2 log N-1 shuffle/exchange network. 473-479 - V. Mohan Malhotra, Tang Van To:
A history-based scheme for accelerating Prolog interpretation. 482-489 - Chunming Qiao:
On the combined approach to intelligent backtracking. 490-494 - Bruce I. Blum:
Toward a paperless development environment. 495-498 - Hans-Ludwig Hausen:
Knowledge based invocation of software methods and tools. 499-510 - Ganesh Ramamoorthy, Ravi V. Shankar, Minsoo Suk:
Pose determination using vertex-pairs on the Connection Machine. 512-517 - Nikitas A. Alexandridis, P. Papaioannou, Bhagirath Narahari, Abdou Youssef:
A software environment of architecture prototypes for evaluating parallel vision systems and algorithms. 518-525 - Jonathan Wayne Mills:
A pipelined architecture for logic programming with a complex but single-cycle instruction set. 526-533 - Zbigniew M. Wójcik:
A parallel shape coding on SIMD architecture. 534-540 - Akira Namatame:
A connectionist learning with high-order functional networks and its internal representation. 542-547 - Hahn-Ming Lee, Ching-Chi Hsu:
Neural network processing through energy minimization with learning ability to the multiconstraint zero-one knapsack problem. 548-555 - Rüdiger W. Brause:
Neural network simulation using INES. 556-561 - Masahiro Kajiura, Yutaka Akiyama, Yuichiro Anzai:
Solving large scale puzzles with neural networks. 562-569 - Elisabetta Binaghi, David Orban, Anna Rampini:
Fuzzy logic based tools for classification and reasoning with uncertainty. 572-577 - Hai-Yen Hau, Rangasami L. Kashyap:
On the robustness of Dempster's rule of combination. 578-582 - Ramiro A. de T. Guerreiro, Andrea Silva, Marco Antonio Casanova:
Computing answers in default logic. 583-589 - N. Ranganathan, Rajiv Mehrotra:
A VLSI system for difference picture-based motion analysis. 592-597 - Mark A. Lavin, Myron D. Flickner:
An object-oriented language for image and vision execution (OLIVE). 598-607 - Fadi N. Sibai, Karan L. Watson, Mi Lu:
A parallel unification coprocessor. 608-615 - Frank Dehne, Afonso G. Ferreira, Andrew Rau-Chaplin:
Parallel branch and bound on fine-grained hypercube multiprocessors. 616-622 - Karen Trovato:
Differential A*: an adaptive search method illustrated with robot path planning for moving obstacles and goals, and an uncertain environment. 624-639 - Mohan Kamath, Jackson C. S. Yang:
An intelligent algorithm to generate non-intersecting paths for mobile robots in a multi-robot environment. 641-648 - Qing Xue, Phillip C.-Y. Sheu:
Path planning for two cooperating robot manipulators. 649-657 - Nikolaos G. Bourbakis:
A heuristic, real-time path planning for collision free navigation in a dynamic multiple robots unknown environment. 658-667 - Dimitris Christodoulakis, Christos Tsalidis, C. J. M. van Gogh, V. W. Stinesen:
Towards an automated tool for software certification. 670-676 - Robert G. Reynolds, Jonathan I. Maletic, Stephen E. Porvin:
PM: a metrics driven plan compiler. 677-684 - Chin-Feng Fan, Prasenjit Biswas:
Abstract machine LORAP II and experiments in process grain size determination for parallel execution of logic programs. 685-692 - Ayman El-Naggar:
A finite state automata of the Arabic grammar. 693-699 - In-Jeong Chung:
Improved control strategy for parallel logic programming. 702-708 - Takao Ichiko, Kenji Takeuchi, Nobuhito Nango:
An entity model for conceptual design. 709-716 - Lingzi Jin, Hong Zhu:
A metalanguage to express human guidance for program transformation. 717-722
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.
last updated on 2024-11-08 20:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
