Third International Conference on Tools for Artificial Intelligence, TAI '91: November 5 - 8, 1991, San Jose, California
Gespeichert in:
Körperschaft: | |
---|---|
Format: | Tagungsbericht Buch |
Sprache: | English |
Veröffentlicht: |
Los Alamitos, Calif. [u.a.]
IEEE Computer Soc. Press
1991
|
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | XXI, 545 S. Ill., graph. Darst. |
ISBN: | 0818623020 0818623004 |
Internformat
MARC
LEADER | 00000nam a2200000 c 4500 | ||
---|---|---|---|
001 | BV024375196 | ||
003 | DE-604 | ||
005 | 20111215 | ||
007 | t| | ||
008 | 920805s1991 xx ad|| |||| 10||| eng d | ||
020 | |a 0818623020 |9 0-8186-2302-0 | ||
020 | |a 0818623004 |9 0-8186-2300-4 | ||
020 | |a 0818623020 |9 0-8186-2302-0 | ||
035 | |a (OCoLC)25255398 | ||
035 | |a (DE-599)BVBBV024375196 | ||
040 | |a DE-604 |b ger |e rakwb | ||
041 | 0 | |a eng | |
049 | |a DE-83 |a DE-11 |a DE-706 |a DE-91 |a DE-12 |a DE-739 | ||
050 | 0 | |a Q334 | |
082 | 0 | |a 006.3 |2 20 | |
084 | |a DAT 700f |2 stub | ||
084 | |a DAT 332f |2 stub | ||
111 | 2 | |a International Conference on Tools for Artificial Intelligence |n 3 |d 1991 |c San José, Calif. |j Verfasser |0 (DE-588)5068960-5 |4 aut | |
245 | 1 | 0 | |a Third International Conference on Tools for Artificial Intelligence, TAI '91 |b November 5 - 8, 1991, San Jose, California |c [[eds.: Sukhan Lee ... IEEE] |
246 | 1 | 3 | |a Tools for artificial intelligence |
264 | 1 | |a Los Alamitos, Calif. [u.a.] |b IEEE Computer Soc. Press |c 1991 | |
300 | |a XXI, 545 S. |b Ill., graph. Darst. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
650 | 4 | |a Künstliche Intelligenz | |
650 | 4 | |a Algorithms |v Congresses | |
650 | 4 | |a Artificial intelligence |v Congresses | |
650 | 4 | |a Artificial intelligence |x Industrial applications |v Congresses | |
650 | 4 | |a Machine learning |v Congresses | |
650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Softwarewerkzeug |0 (DE-588)4116526-3 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1991 |z San Jose Calif. |2 gnd-content | |
689 | 0 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
689 | 0 | 1 | |a Softwarewerkzeug |0 (DE-588)4116526-3 |D s |
689 | 0 | |5 DE-604 | |
689 | 1 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
689 | 1 | 1 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
689 | 1 | |5 DE-604 | |
700 | 1 | |a Lee, Sukhan |e Sonstige |4 oth | |
710 | 2 | |a Institute of Electrical and Electronics Engineers |e Sonstige |0 (DE-588)1692-5 |4 oth | |
856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018355424&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-018355424 |
Datensatz im Suchindex
_version_ | 1820868110645723136 |
---|---|
adam_text |
Table
of Contents
Welcome
.
v
Foreword
., vi
Organizing Committee
.,.viii
Program Committee
.viii
Program Committee Members
.ix
Ust
of Referees
.
x
Program at a Glance
.xi
PANEL
DISCUSSIONS
AI
in
Busmess:
Fact or Fiction
.2
Moderator: S. Shekhar, U. of Minnesota
Panelists:
С
Kibnasauskas, S. Beau, D. O'Leary and A. Vazsonyi
AI
in Multimedia.
.3
Moderator:
N.
Bómbalas,
SUNY Binghamton
Panelists: M.
Flickner, F.
Golshani,
T. Laliotis, S. Lee
and R. Williams
Are Neural Networks
a Tool
for
AI?. . 5
Moderator; J.G. Delgado-Frias,
SUNY Binghamton
Panelists:
D.
Hammerstrom,
С.
Koutsougeras, G. Penchanek and
В.
Wah
Software
Engineering
for Knowledge-Based
Systems
.7
Moderator:
J.
Yen, Texas
ÂãM
U.
Panelists:
RJ.
Lauber,
W.
T. Tsai,
I.
Zaulkernan,
F. Bastard,
AJ).
Preece,
T.
Cooper
and K.
Harbison-Briggs
Is
AI
the Solution for Software Engineering?
.10
Moderator: J. Tsai, U. of
Minois,
Chicago
PamUsts: D. Cooke, M. Feather, S.
Fickas,
N.
Minsky,
P. Setfridge andD. Smith
MACHINE LEARNING I
Chair: M. Ibrahim, Electronic Data Systems Corporation
The Use of Version Space
ControBeå
Genetic Algorithms
to Solwtte Boole Problem.
. .14
R.G. Reynolds, JJ.
Malene
and S.-P. Chang
ЖНІ
Learning Algorithms Using a Galois Lattice Structure
.22
R.
Godin,
R.
Missaoui and
H. Alaoui
Data-Driven Constructive Induction in AQ17-PRE: A Method and Experiments
. . . 30
E. Bloedorn andRS. MichalsU
KNOWLEDGE ACQUISITION and VALIDATION of SOFTWARE SYSTEMS
Chair: K. Nakamura, Fujitsu America, Inc.
Automat Business Knowledge Acquisition from Programs
.40
V. Karakostas
Prepositional Logic for Validating Software Object Interrelationships
.48
P.O. Bobbie and
JE.
Urban
A
Knowledgebase
Design and Application Prototyping Tool Based on
an Enhanced Functional Data Model
.56
S. Prabhakar and S. Navathe
PARALLEL IMPLEMENTATIONS
Chair: S. Lee, U. of Southern California
Parallel Sampling in Bayesian Networks
.66
VJ.
Rego
and
Α.
Schulz
SPIN: A Sequential Pipelined
Neurocomputer
.74
5.
Vassitiadis,
G.G.
Pechanek and J.G. Delgado-Frias
MIMD Implementation of Neural Networks
through Pipelined, Parallel Communication Trees
.82
P.
Wohl
and T.W. Christopher
MACHINE LEARNING
Π
Chair:
R. Uthurmny,
Gemmi
Motors Research
A Machine Learning Tool for Computer Aided Molecular Design
.92
G. Bolts,
L
DiPace and F. Fabrocm
LetmgTextalCtonptsTlroughMdtUevelSymtoucTrMsfoimations
.100
/.
Baia
and
RJ.
Michatkì
PLANET: A Tool for Representing
&
Generating Plans in an RMS Framework
. . 108
Jabdm and
N.
Parameswaran
XIV
AI TECHNIQUES for SOFTWARE DEVELOPMENT and MAINTENANCE
Chair:
P.O. Bobbie,
U.
of West
Florida
The Correspondence Between Methods of Artificial Intelligence and
the Production and Maintenance of Evolutionary Software
.114
C.V.
Ramamoorthy and
D.E.
Cooke
Feature-Based Design Evaluation Through Constraint Structure Unification
.119
K. Godden
Abstraction of Formal Specifications from Program Code
.125
В
M.C.
Cheng and G.C. Gannod
GENETIC ALGORITHMS
Chair: J.
Delgado-Frías,
SUNY, Binghamton
Shape Analysis Using Morphological Processing and Genetic Algorithms
.130
/.
Bala
and H.
Wechsler
A Genetic Algorithm Programming Environment: Splicer
.138
S.E. Bayer and L. Wang
A Neural Network Based Expert System Model
. 145
Å.V.
Huãi, MJ. PalaM
and
MJ.
Zoran
New
Crossover
Operators in
Genetic Algorithms
.150
Y.ShmgandG.-JM
KNOWLEDGE
REPRESENTATION SCHEMES
Chair: H.-Y. L.
Hau, National
Taiwan U.,
Taiwan
DT:
A Classification
Problem
Solver with Tabular-Knowledge Acquisition
.156
Y. Koseki, Y. Nakakuki and M. Tanaka
MANTRA: A Shell for Hybrid Knowledge Representation.
. 164
J. CaJmet, I A. Tjandra and G.
Bittencourt
Representing Biological and Physical Systems as Temporal Event Hierarchies
. 172
F. Gomez
Representing and Propagating Constraints in Temporal Reasoning
.181
H.
Tolba,
F.
Charpillet and
J
Jř.
Hamn
XV
NEURAL NETWORK
LEARNING
Chair:
D.
Hammerstrom,
Adaptive Solutions,
Inc.
A
Stable Learning Algorithm for Recurrent Neural Networks
.186
G. Pmhasarathy, H. Pareek and P. Ananthraj
A Method for Training a Feed-Forward Neural Net Model
While Targeting Reduced Nonlinearity
.192
С
Koutsougeras and G. PapadowaJds
The Capability of Feedforward Neural Networks
with
Ω
-Shaped Activation Functions
.200
Y, Chen andF.
Bastam
REAL-TIME INTELLIGENT SYSTEMS
Chair: Y.-N. Lien, AIT Bell Labs
An Event-Based
Real-Time
Logic to Specify the Behavior and Timing Properties
of
Real-Time
Systems
.210
H.Y. Chen, JJJP. Tsai and YD, Bi
A Methodology for Creating and Adapting Reactive Systems
.220
A J.
Hendriks
and DM. Lyons
DYNORA:
A Real-Time
Planning Algorithm to Meet Response-Time Constraints
in Dynamic Environments
.228
B. Hamidmdeh and S. Shekhar
IMAGE UNDERSTANDING TOOLS
Chair: W.-C. Lin, Northwestern U.
ffierarchical Stereo Matching Using Feature Groupings
.238
V. Venkateswar andR. Chellappa
A Maxima-Tracking Method for SMetonization from Euclidean Distance Function
246
F.Y.SUhandC.aPu
Boundary Detection Based on Neural Networks Model
.254
D.C.Douglas Hmg andK.-T. Chen
DEVELOPMENT of EXPERT SYSTEMS
Chat: G. Schlageter,
Fern Universität Gesamthochschule,
Germany
XVI
Toward a General Methodology for Specifying Expert Systems
.260
J.Lee and
J.Yen
Refinement of the Structure of Knowledge Base by Learning
.264
C.-J. Mao andJ.-R. Hong
GEOMETRIC CONSTRAINT SATISFACTION
Chair: J. Gu, U. of Calgary, Canada
3-D
Structure Modeling via Constraint Resolution
.274
J.-Y. Juang andH.-R. Tyan
An ATMS-Based Geometric Constraint Solver for
3D
CAD
.282
S. Shimizu, K. Inoue and M. Numao
Algorithmic Support for Intelligent Kre-Code Checking
.291
E
A. Delis and A. Delis
THEORETICAL ISSUES
Chair: C. Koutsougeras,
Tulone U.
Mechanizing Skeptical Abduction and its Applications to Artificial Intelligence
, . . 300
P. Marquis
A New Approach to the Design of Reinforcement Schemes for Learning Automata:
Stochastic Estimator Learning Algoriihms
. 308
GJ. Papadimtriou
The Determination of Neural Network Parameters by
Information
Theory
.318
R.
Brause
Modeling and Simulation for Minimum Uncertainty in Qualitative Physics
.322
S. Lee and J.Chen
CONSTRAINT SATISFACTION ALGORITHMS
Chair: M. Ishizuka, U. of Tokyo
Selective Relaxation for Constraint Satisfaction Problems
. 331
E.C. Freuder andRJ. Wallace
Arc Consistency for Factorable Relations
. 340
M.
Perlin
XVII
Improving Han and Lee's Path Consistency Algorithm
. 346
Y.Chen
EFFICIENT INFERENCE TECHNIQUES
Chair: S. Shekhar, U. of Minnesota
Fast Hypothetical Reasoning System Using Inference-Path Network
.352
M. Ishizuka andF.
Ito
An Efficient Hypothetical Reasoning system for Predicate-logic Knowledge-base
. . 360
A. Kondo, T. Makino andM. Ishizuka
Knowledge-Based Consignation of Computer Systems
Using Hierarchical Partial Choice
.368
BM. Kramer
SUPPORT of KNOWLEDGE-BASED APPLICATIONS
Chair: F,
Bastoni,
U.
of Houston
KBMS Support for Conceptual Modeling in
AI.
.378
W.Bem
The C-H-Embeddable Rule System
.386
DJ*.
Miranker, F. Burke, J. Kolts and JJ. Steele
ObjTrans: An Intelligent Tool for Knowledge-Object Transformation
.394
H.-S.ParkandY.-T.Su
HEURISTIC SEARCH ALGORITHMS
Chair:
A. Dolías,
Duke U.
A Heuristic Search Strategy for Optimization of Trade-Off Cost Measures.
. .400
R
Ж.
Singh,
S.
Kumar and V. Arvind
Backward Assembly Planning
. 408
S.Lee
Searching for a Minimal Finite State Automation
(FSA)
.,.416
R.
Puri
and
J.
Gu
XVIH
APPLICATIONS
of
AI TECHNIQUES
I
Chair: A.
Delis,
U.
of Maryland
An Intelligent Mediator for Database Application Development
.426
L.
Marinos,
RÅ. Smit,
S.
Oei,
J.
Sirks,
M. de
Jong
and J.VD. Meersch
A
Tool for Tree Pattern Matching
.436
J.T L.
Wang,
K.
Zhang,
K. Jeong and D. S has ha
An Intelligent Network Sendee Prototype Using Knowledge Processing
.445
T. Ide,
A. Hakata
and M.W. Kim
MATCHING ALGORITHMS
Chair: G. Qadah,
ΑΊΤ,
Bell Labs
Historical
Rete
Networks for Debugging Rule-Based Systems
.450
SM.
Тите
and
CF.
Eick
RETE
and Chart Parsing from Bottom-up Call-Graph Caching.
.458
M.
Perlin
Incremental Binding-Space Match: The Linearized MatchBox Algorithm
.468
M
.
Perlin
APPLICATIONS of
AI
TECHNIQUES
Π
Chair: J. Juang, National Taiwan U., Taiwan
Dempster-Shafer Reasoning for Medical Image Recognition
.480
W.-C.
Un,
S.-Y. Chen and C.-T. Chen
Verification Tool for Sytstolic Array Design
.488
F. Un, T. Shih
and
N.
Ung
Knowledge-Based
Process
Scheduling on Symmetric Multiprocessors
.493
PJ. Christopher and
A. Doüas
POSTER PAPERS
Reducing the Search Time of a Steady State Genetic Algorithm
Using the Immigration Operator
.,.500
U.C.
Moed,
C.V.
Stewart andRM. Kelly
Experience-Based Deductive Learning
.502
J.-M. Choi and
S.C
.
Shapiro
xix
Extending the Learnability of Decision Trees
.504
T. Elomaa
AUTOTEC: An English to Chinese Machine Translation System
.506
K.Chen
On-line Handwritten Kanji Character Recognition Using Hypothesis Generation
in the Space of Hierarchical Knowledge
.508
K.
Ohmon
and Y. Haruki
HEXPERT: An Expert System Building Tool
.510
SJ. Yoo,
Ш.
Kim, CM. Park, HJ. Chang, T.G. Kim and MX.
Min
Model Management and the Automation of Computer System Operations
.512
ÅJ. Finkel, S£.
Cab and DA. Klein
Components of Expertise for Knowledge Level Modeling
.514
Ã.-/.
Chang and G.S. Novak, Jr.
Parallel Path-Consistency Algorithms for Constraint Satisfaction
.516
S. Keretho, R. Loganantharaj and V.N. Gudivada
Automatic Contour Segmentation for Object Analysis
.518
D.CJJ. Hung
anălÂ.
Chen
Iterative Development Life Cycle (TOLC): A Management Process
for Large Scale Intelligent System Development
.,.520
F. Miller, R.
Paradis
and K. Whaten
Optimization of the Decision Tree
.522
W.C. Jung,
J
Ж
Jones and
J.
Chen
Preventing
Infinite
Looping in Prolog
.524
ЈЉ.Нап
boplementing a Tool for Timing Analysis of
Real-Time
Production Systems
. 526
Å
МЖ.
Cheng
Text Processing: Robust Character Recognition
Using Calibrated Text and Diversified Feature Set
.528
D.CJĎ.
Hung, Y. Chen, R. Chen andT, Cheng
GMAL:
A Tool
for
AI
Systems Construction
. 530
S.Hassas
Toward a Theory Approach to Visual Knowledge
.532
J. Wang, YMu and S.Liu
Representing Real World Phenomena Through HDPTN
. 534
A. Poggi
and G.
Adorni
Generalized Scheduling Development Environment
.536
W. Fabens and L. Sterling
A New Approach to Rule Induction and Pruning
.538
D. Fensel and J. Klein
A Logic Theory of Learning from Experience
.540
WM
Metalevel and Temporal Reasoning in
KNÖWBEL:
Features and Implementation
. 542
Β Μ.
Kramer
Autbor Index. 544
XXI
Author Index
Adorai,G.
.534
Alaoui,H.
.22
АпапШщьР.
.186
Arvind,V
.400
Bale,
J
.100,130
Bastani,R
.7,200
Bayer, S.E
. .138
Bcau,S
.2
B«m,W.
.378
Bi, Y.D
.208
Bittencourt,
G
.164
ВіоеЛжп,Е.
.
,
.30
ВоШе,Р.О.
.48
Bolis,G
. 92
Brause,
R.
.318
Biake.F.386
Calmet,
J
.164
Calo,
S3.512
Chang,HJ. 512
Chang, R.-J.
.514
Chaag,
S.-P.
.14
Chfflpfflet.F.181
Chelíappa, R.
.238
Chen,
C-T.
.480
Cheo,HLY
. .210
Chen,
Ш.
. .518
Chen,!
. . 322,512
Chea,K
.510
Chea.K.-T
.254
Chen,
R
. 528
Chen, S.-Y.
. . 480
ChetuY.
.200,346,528
Cheag.AJHLK.
.526
Cheag,
BJŁC
. 125
Cheng,
T.
.528
Оюі,
J.-M.
.502
Omstöpte,
PJ.
.493
Odstopher.T.W.
.82
Coote.D.
.10,114
Cooper,
T
.7
deJong.M.
.426
Delgado-Frias, J.G.
. 74
DeMs,Â.
. .291
Dcis.B.A.
. 291
IMPaccL.
. ,92
Dote, A,
. .
,
.
,
. 493
EidcC.
. '. 450
Екшш.Т.
. 504
Meas,
W.
. ,536
Fabrocini,
F.,. 92
РеаЉег.М.
. 10
Femd,D,. ,".538
Fiám,
S
.10
Finbel,
AJ.
.512
Flickner.M
.3
Freuder.E.C
.331
Gannod.G.C
.125
Godden,K.
.119
Godin,R
. 22
Golshani,F
.3
Gomez,F.
.172
Gu,J
.412
Gudivada, V.N.516
Hakata,
A,
.445
Haraidzadeh,B
.228
Hammerstrom,
D.
5
Han, JI
.524
Haibison-Briggs,
К.
. 7
Haroki,Y.510
Hassas,S.530
Haton.JP
.181
Hendriks,
AJ
.220
Hon&J.-R
.264
Hudli, A.V
.145
Hung^CD.
.254,518,528
Ide, T.
.445
Ілош.К
.282
Ishizuka,M
.352,360
Ito.F.
.352
Jaidev.
.108
Jeong,K.
.436
Jones,J.B
.522
Juang,J.-Y
.274
Jung.W.C.
. 522
Karakostas, V
.40
Kelly.RJi.
.500
Keretho.S
.516
Kilmasauskas, C
.2
Kim,I.K.
.510
Kim,M.W
.445
Kim,T.G
.512
KIein,D.A.
.510
KleinJ.
.538
Koeski,Y
.156
Kolts,J
.386
Kondo,A.
.360
Koutsougeras, C
.5,192
Kramar, B.M
.368,540
Кшпаг,
S
.400
Latotìs,
T.
.
,
. . .
З
Lauber.RJ
. 7
Lee,
J
.260
Lse,
S.
. 3,322,408
Li.G.-J.
.150
Ii,W.
.540
Iin,R.
.488
Lin,
W.-C
.480
Iing,N.
. 488
IMS.
.532
lia, Y
.532
Loganantharaj,
R
.516
Lyons,
ΌΜ
.220
ШИоо,Т.
.360
Maletic, J.I.
.14
Mao.C.-J.264
Marinos, L,
.426
Manpis, P.
. 300
Meersch, J.VD.426
Michaläd.R.S.30,100
Milkr.F. 520
Μω,Μ,Κ.
.510
Mimky.N.10
Miranker,D.P. . 386
Mímom, R.
.22
Moed, M.C.
.500
Nakakuki,
Y
. 156
Navalhe,
S.
.56
Novak,
G.S.,
Jr
.514
Nomao,M
.282
OTLeary, D.
.2
OeLS.
.426
Ohmori,K
. .510
PalafcaLMJ.
.145
Papadimitriou, GX
. 308
Ba»dcjiBakis,G
. . 192
FSnriis,R
.520
Parameswaraa,
N. 108
PareeicIŁ
.186
Park,
OH.
.510
Par^HL-S.
. .394
РагЉаѕжаЉу,
G.
.186
Peoctaidfc.G.G
.5,74
Perfïa,M.
.340,458,468
Poggi,
A.
. ,534
Pfrt*akar,S
. 56
Pieece» AJD.
.?
PfcGC.
.246
Ρβΐ,Ε.
416
Ramainoorthy.C.V
. 114
Rego,VJ
.66
Reynolds, R.G
. 14
Schulz,
A.
.66
Selfridge.P.
.10
Shang,Y.
. .150
Shapiro,
S.C.
502
Shasha, D
.436
Shekhar.S
.228
Shih,F.Y
.246
Shih,
T
.488
Shimizu,
S
.282
Singh, RJC
.400
Siiks,
J.
426
Smit, RA.
.426
Smith,D
.10
Steele,JJ
.386
Sterling,L
.536
Stewart, C.V
.500
ScY.-T
.394
Tanaka.M.
.156
Tjandra,
I.A. 164
Tolba,
H.
181
Tsai,JJP.210
Tsai,W.T
. . .7
Tutűe,
SM.
.450
Tyan.H.-R
.274
Ш»п,ЈЈВ
.48
Vassiliadis,
S
.74
Vazsonyi, A.
. 2
Venkateswar, V.
.238
Wah,B
.5
Whaten,K.
.520
Wallace.RJ.
.331
Wang,
J
. .532
Wang,
ЈЛХ.
.436
Wang,L
.138
Wechsłer.H.
. 130
Williams,
R.
.3
WoM,P.
.82
YeiU.
.·.260
YOO.SX
.510
Zhang,
K.
. . 436
Zoran,
MJ
.145
Zualkeman,
L
.7 |
any_adam_object | 1 |
author_corporate | International Conference on Tools for Artificial Intelligence San José, Calif |
author_corporate_role | aut |
author_facet | International Conference on Tools for Artificial Intelligence San José, Calif |
author_sort | International Conference on Tools for Artificial Intelligence San José, Calif |
building | Verbundindex |
bvnumber | BV024375196 |
callnumber-first | Q - Science |
callnumber-label | Q334 |
callnumber-raw | Q334 |
callnumber-search | Q334 |
callnumber-sort | Q 3334 |
callnumber-subject | Q - General Science |
classification_rvk | SS 1991 |
classification_tum | DAT 700f DAT 332f |
ctrlnum | (OCoLC)25255398 (DE-599)BVBBV024375196 |
dewey-full | 006.3 |
dewey-hundreds | 000 - Computer science, information, general works |
dewey-ones | 006 - Special computer methods |
dewey-raw | 006.3 |
dewey-search | 006.3 |
dewey-sort | 16.3 |
dewey-tens | 000 - Computer science, information, general works |
discipline | Informatik |
format | Conference Proceeding Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV024375196</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20111215</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">920805s1991 xx ad|| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0818623020</subfield><subfield code="9">0-8186-2302-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0818623004</subfield><subfield code="9">0-8186-2300-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0818623020</subfield><subfield code="9">0-8186-2302-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)25255398</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV024375196</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-739</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">Q334</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 700f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 332f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">International Conference on Tools for Artificial Intelligence</subfield><subfield code="n">3</subfield><subfield code="d">1991</subfield><subfield code="c">San José, Calif.</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)5068960-5</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Third International Conference on Tools for Artificial Intelligence, TAI '91</subfield><subfield code="b">November 5 - 8, 1991, San Jose, California</subfield><subfield code="c">[[eds.: Sukhan Lee ... IEEE]</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Tools for artificial intelligence</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Los Alamitos, Calif. [u.a.]</subfield><subfield code="b">IEEE Computer Soc. Press</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXI, 545 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithms</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield><subfield code="x">Industrial applications</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Machine learning</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwarewerkzeug</subfield><subfield code="0">(DE-588)4116526-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1991</subfield><subfield code="z">San Jose Calif.</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Softwarewerkzeug</subfield><subfield code="0">(DE-588)4116526-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Lee, Sukhan</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Institute of Electrical and Electronics Engineers</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1692-5</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018355424&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-018355424</subfield></datafield></record></collection> |
genre | (DE-588)1071861417 Konferenzschrift 1991 San Jose Calif. gnd-content |
genre_facet | Konferenzschrift 1991 San Jose Calif. |
id | DE-604.BV024375196 |
illustrated | Illustrated |
indexdate | 2025-01-10T13:19:10Z |
institution | BVB |
institution_GND | (DE-588)5068960-5 (DE-588)1692-5 |
isbn | 0818623020 0818623004 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018355424 |
oclc_num | 25255398 |
open_access_boolean | |
owner | DE-83 DE-11 DE-706 DE-91 DE-BY-TUM DE-12 DE-739 |
owner_facet | DE-83 DE-11 DE-706 DE-91 DE-BY-TUM DE-12 DE-739 |
physical | XXI, 545 S. Ill., graph. Darst. |
publishDate | 1991 |
publishDateSearch | 1991 |
publishDateSort | 1991 |
publisher | IEEE Computer Soc. Press |
record_format | marc |
spelling | International Conference on Tools for Artificial Intelligence 3 1991 San José, Calif. Verfasser (DE-588)5068960-5 aut Third International Conference on Tools for Artificial Intelligence, TAI '91 November 5 - 8, 1991, San Jose, California [[eds.: Sukhan Lee ... IEEE] Tools for artificial intelligence Los Alamitos, Calif. [u.a.] IEEE Computer Soc. Press 1991 XXI, 545 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Künstliche Intelligenz Algorithms Congresses Artificial intelligence Congresses Artificial intelligence Industrial applications Congresses Machine learning Congresses Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Software Engineering (DE-588)4116521-4 gnd rswk-swf Softwarewerkzeug (DE-588)4116526-3 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1991 San Jose Calif. gnd-content Künstliche Intelligenz (DE-588)4033447-8 s Softwarewerkzeug (DE-588)4116526-3 s DE-604 Software Engineering (DE-588)4116521-4 s Lee, Sukhan Sonstige oth Institute of Electrical and Electronics Engineers Sonstige (DE-588)1692-5 oth Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018355424&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Third International Conference on Tools for Artificial Intelligence, TAI '91 November 5 - 8, 1991, San Jose, California Künstliche Intelligenz Algorithms Congresses Artificial intelligence Congresses Artificial intelligence Industrial applications Congresses Machine learning Congresses Künstliche Intelligenz (DE-588)4033447-8 gnd Software Engineering (DE-588)4116521-4 gnd Softwarewerkzeug (DE-588)4116526-3 gnd |
subject_GND | (DE-588)4033447-8 (DE-588)4116521-4 (DE-588)4116526-3 (DE-588)1071861417 |
title | Third International Conference on Tools for Artificial Intelligence, TAI '91 November 5 - 8, 1991, San Jose, California |
title_alt | Tools for artificial intelligence |
title_auth | Third International Conference on Tools for Artificial Intelligence, TAI '91 November 5 - 8, 1991, San Jose, California |
title_exact_search | Third International Conference on Tools for Artificial Intelligence, TAI '91 November 5 - 8, 1991, San Jose, California |
title_full | Third International Conference on Tools for Artificial Intelligence, TAI '91 November 5 - 8, 1991, San Jose, California [[eds.: Sukhan Lee ... IEEE] |
title_fullStr | Third International Conference on Tools for Artificial Intelligence, TAI '91 November 5 - 8, 1991, San Jose, California [[eds.: Sukhan Lee ... IEEE] |
title_full_unstemmed | Third International Conference on Tools for Artificial Intelligence, TAI '91 November 5 - 8, 1991, San Jose, California [[eds.: Sukhan Lee ... IEEE] |
title_short | Third International Conference on Tools for Artificial Intelligence, TAI '91 |
title_sort | third international conference on tools for artificial intelligence tai 91 november 5 8 1991 san jose california |
title_sub | November 5 - 8, 1991, San Jose, California |
topic | Künstliche Intelligenz Algorithms Congresses Artificial intelligence Congresses Artificial intelligence Industrial applications Congresses Machine learning Congresses Künstliche Intelligenz (DE-588)4033447-8 gnd Software Engineering (DE-588)4116521-4 gnd Softwarewerkzeug (DE-588)4116526-3 gnd |
topic_facet | Künstliche Intelligenz Algorithms Congresses Artificial intelligence Congresses Artificial intelligence Industrial applications Congresses Machine learning Congresses Software Engineering Softwarewerkzeug Konferenzschrift 1991 San Jose Calif. |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018355424&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
work_keys_str_mv | AT internationalconferenceontoolsforartificialintelligencesanjosecalif thirdinternationalconferenceontoolsforartificialintelligencetai91november581991sanjosecalifornia AT leesukhan thirdinternationalconferenceontoolsforartificialintelligencetai91november581991sanjosecalifornia AT instituteofelectricalandelectronicsengineers thirdinternationalconferenceontoolsforartificialintelligencetai91november581991sanjosecalifornia AT internationalconferenceontoolsforartificialintelligencesanjosecalif toolsforartificialintelligence AT leesukhan toolsforartificialintelligence AT instituteofelectricalandelectronicsengineers toolsforartificialintelligence |