Index file section I for lncs1992.bib
Last update: Fri Mar 23 02:19:00 MDT 2018
Return to index directory
I
-
I, CD-, 614(0)314--z
-
I,O-nets, 625(0)75--130
-
{I}-Categories, 620(0)127--z
-
i860, 634(0)283--z
-
Iba, G., 611(0)169--z
-
Iba, G., see Vittal, J.
-
Ibarra, O. H., 623(0)126--z
-
Ibarra:1992:NRC, 623(0)126--z
-
IBM, 640(0)380--z
-
ICAI, 602(0)441--z
-
Ichisugi, Yuuji, 612(0)211--z
-
Ichisugi, Yuuji, see Matsuoka, Satoshi
-
Icking, Christian, 594(0)148--z
-
Icking, Christian, see Nilsson, Bengt J.
-
ICL, 607(0)743--z
-
Iconic, 608(0)66--z
-
Id, 589(0)99--z
-
idea, ST-, 609(0)108--z
-
Ideas, 602(0)568--z
-
Identifiable, 642(0)99--z
-
Identification, 599(0)392--z, 641(0)59--z, 642(0)260--z, 646(0)341--z,
648(0)57--z
-
Identifying, 642(0)305--z, 644(0)109--z
-
Identity-Based, 648(0)209--z
-
IDRIS, 593(0)494--z
-
Idury, Ramana M., 644(0)273--z
-
Idury:1992:DDM, 644(0)273--z
-
if-then-else, 598(0)446--z
-
Igarashi, Y., 650(0)145--z
-
Igarashi, Y., see Han, Y.
-
Ignorance, 633(0)25--z
-
Ihler, E., 570(0)85--z
-
Ihler:1992:CAC, 570(0)85--z
-
II, 592(0)27--z, 592(0)35--z, 596(0)1--z, 596(0)239--z, 602(0)343--z,
619(0)63--z, 626(0)79--z
-
IIash, 637(0)330--z
-
III, 631(0)489--z, 637(0)330--z
-
III, Parallel-, 634(0)307--z
-
IKEA, 611(0)104--z
-
Ikeda, M., 608(0)451--z
-
Ikeda, M., see Kono, Y.
-
Ilarraza, A., Diaz-, 608(0)661--z
-
Iliev, M., 634(0)737--z
-
Iliev, M., see Bonchev, B.
-
Ilinsky, N., 592(0)232--z
-
Ilinsky, N., see Ivanets, S.
-
ILISCE, 604(0)471--z
-
Ilmberger, H., 591(0)266--z
-
Ilmberger:1992:APL, 591(0)266--z
-
IM, 635(0)18--z
-
image, 591(0)438--z, 594(0)124--z, 604(0)35--z, 604(0)205--z,
605(0)147--z, 628(0)5--34, 628(0)112--122, 628(0)144--162,
628(0)187--188, 634(0)589--z, 634(0)803--z, 634(0)809--z,
634(0)831--z, 654(0)231--z, 654(0)240--z, 654(0)290--z
-
Imaging, 634(0)169--z
-
Imai, H., 650(0)469--z
-
Imai, H., see Hakata, K.
-
Immune, {P}-Bi-, 629(0)392--z
-
Impact, 589(0)218--z, 614(0)132--z, 617(0)1--z, 635(0)153--z
-
Imperative, 605(0)957--z
-
implement, 599(0)55--z, 626(0)68--z
-
implementation, 572(0)61--z, 591(0)277--z, 591(0)412--z, 592(0)35--z,
592(0)165--z, 592(0)349--z, 600(0)195--z, 600(0)485--z,
602(0)466--z, 605(0)497--z, 605(0)783--z, 605(0)953--z,
605(0)979--z, 614(0)33--z, 618(0)78--z, 624(0)451--z,
627(0)305--319, 631(0)24--z, 631(0)115--z, 631(0)477--z,
632(0)335--z, 634(0)283--z, 634(0)775--z, 634(0)787--z,
634(0)793--z, 634(0)803--z, 634(0)827--z, 635(0)167--z,
637(0)230--z, 637(0)248--z, 637(0)426--z, 641(0)73--z, 641(0)141--z,
641(0)312--z, 645(0)243--z, 648(0)77--z, 653(0)357--z
-
Implemented, 603(0)1--z, 607(0)740--z
-
Implementing, 596(0)135--z, 596(0)193--z, 600(0)195--z, 605(0)961--z,
607(0)537--z, 613(0)165--z, 614(0)33--z, 617(0)42--z, 630(0)386--z,
631(0)483--z, 631(0)485--z, 641(0)59--z
-
Implicates, 607(0)253--z
-
implication, 617(0)25--z, 624(0)84--z, 627(0)87--z, 633(0)65--z
-
Implicit, 627(0)235--z, 650(0)479--z, 652(0)80--z
-
Important, 593(0)507--z, 602(0)1--z
-
Impossibility, 607(0)1--z
-
Impressionistic, 602(0)187--z
-
Improve, 634(0)503--z, 637(0)404--z
-
Improved, 607(0)507--z, 634(0)539--z, 634(0)829--z
-
Improvement, 572(0)85--z, 621(0)318--z, 627(0)305--319, 640(0)301--z
-
Improving, 597(0)57--66, 605(0)635--z, 631(0)1--z, 641(0)271--z,
652(0)68--z
-
Improving, Self-, 608(0)625--z
-
IMPS, 607(0)701--z
-
in's, built-, 632(0)69--z
-
In-Hand, Eye-, 604(0)381--z
-
In-Place, 650(0)489--z
-
Inaccurate, 642(0)108--z
-
Inadmissible, 628(0)88--111
-
Inaugural, 653(0)3--z
-
incircle, 606(0)1--z
-
Including, 617(0)1--z
-
Incomplete, 607(0)492--z, 634(0)13--z
-
Inconsistency, 608(0)451--z, 631(0)443--z
-
Inconsistent, 633(0)252--z
-
Increase, 594(0)363--z
-
Increasingash, 644(0)52--z
-
Incremental, 620(0)347--z, 623(0)342--z, 629(0)172--z, 631(0)87--z,
631(0)130--z, 631(0)443--z, 632(0)228--z, 637(0)179--z,
637(0)357--z, 637(0)365--z, 637(0)388--z, 646(0)155--z,
646(0)282--z
-
incrementally, 607(0)253--z
-
Indefinite, 646(0)246--z
-
independent, 570(0)126--z, 621(0)326--z, 631(0)24--z
-
Independent, Architecture-, 634(0)121--z
-
index, 594(0)87--z, 651(0)1--z
-
Indexing, 631(0)232--z
-
indicator, 570(0)219--z
-
Indirect, 589(0)201--z
-
Indistinguishabilities, 650(0)430--z
-
individual, 609(0)70--z, 640(0)339--z, 640(0)417--z
-
Induction, 592(0)215--z, 599(0)153--z, 607(0)431--z, 607(0)691--z,
624(0)381--z, 639(0)402--z
-
Inductive, 596(0)89--z, 596(0)221--z, 604(0)143--z, 617(0)139--z,
621(0)19--z, 624(0)178--z, 624(0)475--z, 642(0)51--z, 642(0)187--z,
642(0)294--z
-
Indurkhya, Bipin, 642(0)214--z
-
Indurkhya:1992:PAC, 642(0)214--z
-
Industrial, 604(0)431--z, 605(0)877--z, 608(0)661--z, 624(0)250--z
-
Industry, 636(0)36--z, 640(0)117--z
-
Industry-Oriented, 640(0)63--z
-
Industry-oriented, 640(0)65--z
-
inequality, 601(0)122--z, 651(0)1--z
-
Inexact, 628(0)35--44
-
inference, 604(0)314--z, 621(0)19--z, 626(0)184--z, 627(0)121--z,
631(0)489--z, 633(0)84--z, 642(0)187--z, 646(0)86--z
-
Inferred, 631(0)475--z
-
Inferring, 629(0)383--z
-
Infinitary, 623(0)450--z, 626(0)396--z, 646(0)113--z
-
infinite, 609(0)392--z, 620(0)69--z, 623(0)583--z, 624(0)54--z,
624(0)172--z, 624(0)409--z, 624(0)433--z, 630(0)148--z
-
infinite-valued, 626(0)272--z
-
Infinity, 621(0)388--z
-
Influence, 640(0)417--z
-
Informal, 640(0)308--z
-
Informant, 642(0)244--z
-
information, 593(0)48--z, 593(0)65--z, 593(0)164--z, 593(0)410--z,
593(0)481--z, 593(0)494--z, 593(0)612--z, 598(0)168--z, 604(0)89--z,
604(0)666--z, 605(0)3--z, 605(0)115--z, 611(0)1--z, 611(0)104--z,
611(0)169--z, 611(0)238--z, 611(0)251--z, 619(0)63--z, 621(0)30--41,
622(0)23--z, 623(0)162--z, 627(0)219--z, 627(0)235--z, 628(0)51--66,
628(0)67--87, 628(0)123--143, 628(0)181--184, 630(0)237--z,
639(0)162--z, 639(0)269--z, 639(0)328--z, 639(0)418--z, 642(0)72--z,
645(0)139--z, 646(0)188--z, 646(0)246--z, 646(0)376--z,
650(0)410--z
-
Informed, 628(0)88--111, 650(0)332--z
-
Inghilterra, C., 608(0)156--z
-
Inghilterra, C., see Chouraqui, E.
-
Ingold, D. P., 614(0)255--z
-
Ingold, D. P., see Frey, S.
-
Inheritance, 598(0)102--z, 631(0)489--z, 649(0)336--z
-
initial, 635(0)99--z
-
Inner, 634(0)181--z
-
Innermost, 624(0)285--z
-
Inoue, K., 654(0)133--z, 654(0)144--z
-
Inoue, K., see Ito, A.
-
Inoue, Katsumi, 607(0)400--z
-
Inoue:1992:CRP, 654(0)133--z
-
Inoue:1992:ENF, 607(0)400--z
-
Input, 602(0)441--z, 650(0)239--z
-
Input, Linear-, 607(0)268--z
-
Insertion, 629(0)315--z
-
Inspection, 640(0)395--z
-
Inspired, 641(0)258--z
-
instantiations, 628(0)88--111
-
Instruction, 589(0)236--z, 608(0)199--z, 608(0)467--z, 640(0)119--z,
641(0)207--z, 641(0)229--z
-
Instructional, 602(0)74--z, 602(0)87--z, 604(0)604--z, 608(0)234--z,
608(0)443--z, 608(0)531--z
-
Integer, 623(0)318--z
-
Integrate, 611(0)134--z
-
Integrated, 593(0)33--z, 602(0)198--z, 604(0)89--z, 614(0)300--z,
641(0)51--z, 641(0)192--z, 645(0)139--z, 645(0)178--z
-
Integrating, 589(0)137--z, 593(0)17--z, 602(0)356--z, 603(0)72--z,
614(0)57--z, 618(0)175--z, 634(0)55--z, 635(0)106--z, 640(0)88--z,
640(0)245--z, 640(0)270--z
-
Integration, 593(0)410--z, 593(0)481--z, 593(0)507--z, 603(0)230--z,
604(0)100--z, 604(0)411--z, 611(0)204--z, 614(0)314--z,
618(0)156--z, 627(0)75--z, 640(0)88--z, 645(0)97--z
-
Integration, Meta-, 618(0)209--z
-
Integrity, 592(0)114--z, 618(0)244--z, 639(0)252--z, 645(0)41--z
-
intelligence, 592(0)415--z, 597-0-viii, 604(0)1--z, 604(0)154--z,
608(0)325--z, 610-0-xii, 611(0)1--z, 617(0)25--z, 639(0)379--z
-
Intelligence-Database, 611(0)37--z
-
intelligent, 599(0)406--z, 602(0)225--z, 602(0)238--z, 602(0)391--z,
602(0)491--z, 603(0)242--z, 604(0)15--z, 604(0)174--z, 604(0)185--z,
604(0)294--z, 604(0)361--z, 604(0)614--z, 608(0)1--z, 608(0)39--z,
608(0)58--z, 608(0)132--z, 608(0)140--z, 608(0)164--z, 608(0)217--z,
608(0)277--z, 608(0)302--z, 608(0)325--z, 608(0)351--z,
608(0)395--z, 608(0)499--z, 608(0)523--z, 608(0)531--z,
608(0)615--z, 608(0)625--z, 610-0-xii, 611(0)104--z, 611(0)251--z,
617(0)465--z, 654(0)34--z
-
Intensional, 618(0)244--z, 649(0)11--z
-
Intensionally, 620(0)163--z
-
Intensive, Terminology-, 627(0)21--z
-
Intention-Driven, 608(0)66--z
-
interaction, 589(0)35--z, 600(0)124--z, 627(0)5--z, 627(0)201--z,
629(0)200--z, 631(0)355--z, 645(0)340--z, 653(0)205--z
-
Interactive, 593(0)128--z, 593(0)494--z, 599(0)153--z, 602(0)238--z,
624(0)451--z, 624(0)487--z, 631(0)458--z, 640(0)395--z
-
Interargument, 649(0)308--z
-
interconnection, 605(0)53--z, 634(0)37--z, 634(0)405--z, 634(0)565--z,
634(0)837--z
-
Interconnects, 605(0)963--z
-
Interface, 603(0)214--z, 604(0)614--z, 605(0)981--z, 607(0)711--z,
614(0)368--z, 623(0)641--z, 630(0)77--z, 636(0)176--z, 637(0)277--z,
639(0)328--z, 640(0)194--z
-
Interfacing, 631(0)428--z
-
Interfering, Non-, 621(0)245--z
-
Interleaving, 609(0)89--z, 620(0)81--z
-
Intermediate, 599(0)250--z, 605(0)147--z
-
International, 603(0)9--z
-
Internetworks, 614(0)72--z
-
Interoperability, 604(0)15--z
-
Interpolation, 623(0)261--z
-
Interpolation, Evaluation-, 634(0)781--z
-
Interpret, 645(0)162--z
-
interpretation, 582(0)283--306, 582(0)307--326, 592(0)79--z,
599(0)133--z, 604(0)164--z, 607(0)139--z, 613(0)22--z, 620(0)229--z,
620(0)358--z, 623(0)521--z, 624(0)190--z, 628(0)5--34, 628(0)51--66,
631(0)269--z, 631(0)296--z, 631(0)311--z, 632(0)21--z, 649(0)294--z,
652(0)203--z, 652(0)217--z
-
Interpretative, 622(0)78--z
-
Interpreter, 592(0)349--z, 620(0)418--z, 631(0)326--z, 639(0)318--z
-
Interpreter, Meta-, 631(0)491--z
-
Interpreting, 604(0)614--z
-
Interprocedural, 582(0)257--282, 631(0)370--z, 641(0)125--z,
641(0)156--z
-
intersection, 623(0)427--z, 629(0)346--z, 652(0)92--z
-
interval, 570(0)219--z, 601(0)32--z, 601(0)207--z, 605(0)131--z,
621(0)326--z, 625(0)131--182, 641(0)176--z, 652(0)51--z
-
Interval-Based, 607(0)355--z, 620(0)281--z
-
Introduction, 597(0)1--4, 605(0)81--z, 610-0-xii, 611(0)1--z,
617(0)1--z, 617(0)82--z, 617(0)104--z, 617(0)255--z, 617(0)404--z,
617(0)440--z, 623(0)378--z, 624(0)148--z, 625(0)1--z,
625(0)131--182, 627(0)1--z, 627(0)61--z, 627(0)75--z, 627(0)87--z,
627(0)101--z, 627(0)121--z, 627(0)137--z, 627(0)155--z,
627(0)171--z, 627(0)201--z, 627(0)219--z, 627(0)245--z,
627(0)255--z, 627(0)305--319, 627(0)321--z, 635(0)33--z,
635(0)65--z, 635(0)105--z, 635(0)165--z, 636(0)64--z, 643(0)1--4,
649(0)49--z, 651(0)1--z
-
introductory, 597-0-viii
-
Intrusion, 648(0)193--z
-
Intuitionistic, 607(0)522--z, 619(0)125--z, 633(0)262--z
-
Intuitions, 613(0)1--z, 649(0)235--z
-
Intuitive, Counter-, 639(0)305--z
-
Invariance, 620(0)33--z, 634(0)145--z
-
invariance, Complementation-, 625(0)217--238
-
Invariant, 596(0)181--z, 654(0)179--z
-
Inverse, 607(0)648--z
-
Inversion, 634(0)367--z, 634(0)821--z
-
Invertibility, 650(0)410--z
-
Investigations, 572(0)1--z
-
invited, 621(0)1--z, 621(0)42--z, 621(0)317--z, 621(0)338--z, 630(0)1--z,
630(0)162--z, 630(0)237--z, 630(0)317--z, 630(0)401--z, 631(0)1--z,
631(0)269--z, 632(0)1--z, 632(0)158--z, 632(0)364--z
-
involving, 570(0)198--z
-
I/O, 630(0)325--z, 631(0)458--z
-
Ip, S., 593(0)164--z
-
Ip:1992:KBT, 593(0)164--z
-
iPSC/2, 634(0)441--z
-
IPSCash, 634(0)271--z
-
iPSCash, 634(0)637--z
-
Ireland, Andrew, 624(0)178--z, 624(0)214--z
-
Ireland, Andrew, see Baker, Siani
-
Ireland:1992:UPC, 624(0)178--z
-
Iri, M., 650(0)342--z
-
Iri:1992:HGR, 650(0)342--z
-
Irving, Robert W., 644(0)211--z
-
Irving:1992:TAL, 644(0)211--z
-
Isabelle-91, 607(0)673--z
-
ISAR, 624(0)451--z
-
ISO, 635(0)237--z
-
Isomorphism, 624(0)202--z, 652(0)152--z
-
issue, 605(0)231--z, 612(0)245--z, 613(0)150--z, 614(0)209--z,
623(0)1--z, 640(0)163--z
-
Itai, Alon, 601(0)91--z
-
Itai, Alon, see Gal, Shmuel
-
Italiano, G. F., 621(0)221--z
-
Italiano, G. F., see Giammarresi, D.
-
Iterated, 629(0)227--z
-
Iteration, 589(0)313--z, 598(0)457--z, 634(0)361--z, 650(0)259--z
-
iterations, 570(0)169--z, 652(0)68--z
-
Iterative, 629(0)142--z, 634(0)755--z
-
Ito, A., 654(0)144--z
-
Ito:1992:CLS, 654(0)144--z
-
Itoh, T., 650(0)229--z
-
Itoh:1992:CCN, 650(0)229--z
-
ITS-Shell, 602(0)581--z
-
ITSs, 608(0)661--z
-
Ivanets, S., 592(0)232--z
-
Ivanets:1992:WSP, 592(0)232--z
-
Iwama, K., 650(0)155--z
-
Iwama:1992:RPM, 650(0)155--z
-
Iyengar, A., 653(0)175--z
-
Iyengar, A., see Sethi, R.
-
Iyengar, S. S., 654(0)113--z
-
Iyengar, S. S., see Graham, P.