-
Notifications
You must be signed in to change notification settings - Fork 0
/
rexa_records.txt.1000
4000 lines (3000 loc) · 547 KB
/
rexa_records.txt.1000
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
4d16a56268ac6c0c483946a0
Gregor Erbach Tools for Grammar Engineering . 243-244 1992 ANLP
B-author I-author B-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a57a68ac6c0c6b7348a0
Jacques Stern An Alternative to the Fiat - Shamir Protocol . 173-180 1989 EUROCRYPT
B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a5b568ac6c0c506c4da0
G. Ramalingam Data Flow Frequency Analysis . 267-277 1996 PLDI
B-author I-author B-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a55a68ac6c0c079f45a0
Richard Mark Soley William Kent The OMG Object Model . 18-41 1995 Modern Database Systems
B-author I-author I-author B-author I-author B-title I-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle I-booktitle
4d16a55c68ac6c0c31ab45a0
Stefano Ceri Georg Gottlob Letizia Tanca Logic Programming and Databases Springer 1990
B-author I-author B-author I-author B-author I-author B-title I-title I-title I-title B-publisher B-date
4d16a55d68ac6c0c2dc445a0
Jayanth Gummaraju Manoj Franklin Branch Prediction in Multi - Threaded Processors . 179-188 2000 IEEE PACT
B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle
4d16a55e68ac6c0cf9cc45a0
Blai Bonet Gabor Loerincs Hector Geffner A Robust and Fast Action Selection Mechanism for Planning . 714-719 1997 AAAI /IAAI
B-author I-author B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle
4d16a55e68ac6c0c31d445a0
Hector J. Levesque What Is Planning in the Presence of Sensing ? 1139-1146 1996 AAAI /IAAI, Vol. 2
B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle I-booktitle I-booktitle
4d16a55e68ac6c0c00d645a0
Hiroshi Murase Shree K. Nayar Learning Object Models from Appearance . 836-843 1993 AAAI
B-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a55e68ac6c0cd2d845a0
Evangelos Simoudis James Miller Validated Retrieval in Case - Based Reasoning . 310-315 1990 AAAI
B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a55e68ac6c0c4fd945a0
Oliviero Stock ALFRESCO : Enjoying the Combination of Natural Language Processing and Hypermedia for Information Exploration . 197-224 1991 AAAI Workshop on Intelligent Multimedia Interfaces
B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle
4d16a55f68ac6c0ca8ec45a0
Bob Carpenter Carl Pollard Inclusion , Disjointness and Choice : The Logic of Linguistic Classification . 9-16 1991 ACL
B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a55f68ac6c0cabec45a0
David M. Carter Lattice - Based Word Identification in CLARE . 159-166 1992 ACL
B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a55f68ac6c0c22ef45a0
Kazuhiro Kimura Takashi Suzuoka Shin ' ya Amano Association - Based Natural Language Processing with Neural Networks . 224-231 1992 ACL
B-author I-author B-author I-author B-author I-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a55f68ac6c0c47f145a0
Nicholas Roy Joelle Pineau Sebastian Thrun Spoken Dialogue Management Using Probabilistic Reasoning . 2000 ACL
B-author I-author B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title B-date B-booktitle
4d16a56068ac6c0cb70846a0
Alexander G. Hauptmann Michael J. Witbrock Story Segmentation and Detection of Commercials in Broadcast News Video . 168-179 1998 ADL
B-author I-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a56068ac6c0c180f46a0
Henry Lieberman Bonnie A. Nardi David J. Wright Training Agents to Recognize Text by Example . 116-122 1999 Agents
B-author I-author B-author I-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a56068ac6c0c940f46a0
Charles Rich Candace L. Sidner COLLAGEN : When Agents Collaborate with People . 284-291 1997 Agents
B-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a56168ac6c0c302b46a0
Mike Williamson Steve Hanks Optimal Planning with a Goal - directed Utility Model . 176-181 1994 AIPS
B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a57168ac6c0c748447a0
Olivier Chavanon Catherine Barbe Jocelyne Troccaz Lionel Carrat Christophe Ribuot Dominique Blin Computer - ASsisted PERicardial punctures : animal feasibility study . 285-294 1997 Jocelyne Troccaz W. Eric L. Grimson Ralf Mosges CVRMed - MRCAS ' 97 , First Joint Conference Computer Vision , Virtual Reality and Robotics in Medicine and Medial Robotics and Computer - Assisted Surgery , Proceedings March 19-22 , 1997 Grenoble , France CVRMed - MRCAS Lecture Notes in Computer Science 1205 Springer 1997 CVRMed
B-author I-author B-author I-author B-author I-author B-author I-author B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor B-editor I-editor I-editor I-editor B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location B-booktitle I-booktitle I-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle
4d16a57168ac6c0c508647a0
Dennis Abts Mike Roberts Verifying Large - Scale Multiprocessors Using an Abstract Verification Environment . 163-168 1999 DAC
B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a57168ac6c0c898947a0
Wen - Jong Fang Allen C. - H. Wu Multi - Way FPGA Partitioning by Fully Exploiting Design Hierarchy . 518-521 1997 DAC
B-author I-author I-author I-author B-author I-author I-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a57168ac6c0ce18947a0
Catherine H. Gebotys Mohamed I. Elmasry VLSI Design Synthesis with Testability . 16-21 1988 DAC
B-author I-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a57168ac6c0c2f8a47a0
Patrick Girard Christian Landrault Serge Pravossoudovitch A Novel Approach to Delay - Fault Diagnosis . 357-360 1992 DAC
B-author I-author B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a57168ac6c0cb38b47a0
James Kao Anantha Chandrakasan Dimitri Antoniadis Transistor Sizing Issues and Tool For Multi - Threshold CMOS Technology . 409-414 1997 DAC
B-author I-author B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a57168ac6c0c418c47a0
Byron Krauter Sharad Mehrotra Layout Based Frequency Dependent Inductance and Resistance Extraction for On - Chip Interconnect Timing Analysis . 303-308 1998 DAC
B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a57268ac6c0cfd8d47a0
D. Michael Miller Dmitri Maslov Gerhard W. Dueck A transformation based algorithm for reversible logic synthesis . 318-323 2003 Proceedings of the 40th Design Automation Conference , DAC June 2-6 , 2003 Anaheim , CA , USA DAC ACM 2003 DAC
B-author I-author I-author B-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location I-location I-location B-booktitle B-publisher B-date B-booktitle
4d16a57268ac6c0c478f47a0
Ishwar Parulkar Sandeep K. Gupta Melvin A. Breuer Lower Bounds on Test Resources for Scheduled Data Flow Graphs . 143-148 1996 DAC
B-author I-author B-author I-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a57268ac6c0cca9747a0
Stefan Hinz Albert Baumgartner Vehicle Detection in Aerial Images Using Generic Features , Grouping , and Context . 45-52 2001 Bernd Radig Stefan Florczyk Pattern Recognition , 23rd DAGM - Symposium , Proceedings September 12-14 , 2001 Munich , Germany DAGM - Symposium Lecture Notes in Computer Science 2191 Springer 2001 DAGM - Symposium
B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location B-booktitle I-booktitle I-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle I-booktitle I-booktitle
4d16a57268ac6c0c0c9e47a0
Krzysztof Czarnecki Ulrich W. Eisenecker Robert Gluck David Vandevoorde Todd L. Veldhuizen Generative Programming and Active Libraries . 25-39 1998 Mehdi Jazayeri Rudiger Loos David R. Musser Generic Programming , International Seminar on Generic Programming , Selected Papers April 27 - May 1 , 1998 Dagstuhl Castle , Germany Generic Programming Lecture Notes in Computer Science 1766 Springer 2000 Generic Programming
B-author I-author B-author I-author I-author B-author I-author B-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor B-editor I-editor B-editor I-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date I-date I-date I-date B-location I-location I-location I-location B-booktitle I-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle I-booktitle
4d16a57368ac6c0caba747a0
Peter F. Linington An ODP approach to the development of large middleware systems . 1999 Lea Kutvonen Hartmut Konig Martti Tienari Distributed Applications and Interoperable Systems II , Second IFIP WG 6 . 1 International Working Conference on Distributed Applications and Interoperable Systems June 28 - July 1 , 1999 Helsinki , Finland DAIS IFIP Conference Proceedings 143 Kluwer 1999 DAIS 61 -
B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-date B-editor I-editor B-editor I-editor B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date I-date I-date I-date B-location I-location I-location B-booktitle B-series I-series I-series B-volume B-publisher B-date B-booktitle B-pages I-pages
4d16a57368ac6c0c1eac47a0
Kam - yiu Lam Ozgur Ulusoy Tony S. H. Lee Edward Chan Guohui Li An Efficient Method for Generating Location Updates for Processing of Location - Dependent Continuous Queries . 218-225 2001 Database Systems for Advanced Applications , Proceedings of the 7th International Conference on Database Systems for Advanced Applications ( DASFAA ) 18-20 April 2001 - Hong Kong , China IEEE Computer Society 2001 DASFAA
B-author I-author I-author I-author B-author I-author B-author I-author I-author I-author B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location I-location B-publisher I-publisher I-publisher B-date B-booktitle
4d16a57368ac6c0c32ac47a0
Dongwon Lee Divesh Srivastava Counting Relaxed Twig Matches in a Tree . 88-99 2004 Yoon - Joon Lee Jianzhong Li Kyu - Young Whang Doheon Lee Database Systems for Advances Applications , 9th International Conference , DASFAA , Proceedings March 17-19 , 2004 Jeju Island , Korea DASFAA Lecture Notes in Computer Science 2973 Springer 2004 DASFAA
B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor I-editor I-editor B-editor I-editor B-editor I-editor I-editor I-editor B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location I-location B-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle
4d16a57368ac6c0c3cae47a0
Luca Benini Giuliano Castelli Alberto Macii Enrico Macii Massimo Poncino Riccardo Scarsi A Discrete - Time Battery Model for High - Level Power Estimation . 35 - 2000 Design , Automation and Test in Europe ( DATE ) 27-30 March 2000 Paris , France DATE IEEE Computer Society 2000 DATE
B-author I-author B-author I-author B-author I-author B-author I-author B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages I-pages B-date B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date B-location I-location I-location B-booktitle B-publisher I-publisher I-publisher B-date B-booktitle
4d16a57368ac6c0cacae47a0
Hans Van Antwerpen Nikil D. Dutt Rajesh K. Gupta Shivajit Mohapatra Cristiano Pereira Nalini Venkatasubramanian Ralph von Vignau Energy - Aware System Design for Wireless Multimedia . 1124-1131 2004 Design , Automation and Test in Europe Conference and Exposition ( DATE ) 16-20 February 2004 Paris , France DATE IEEE Computer Society 2004 DATE
B-author I-author I-author B-author I-author I-author B-author I-author I-author B-author I-author B-author I-author B-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date B-location I-location I-location B-booktitle B-publisher I-publisher I-publisher B-date B-booktitle
4d16a57368ac6c0cc6af47a0
Erika F. Cota Luigi Carro Marcelo Lubaszewski Alex Orailoglu Test Planning and Design Space Exploration in a Core - Based Environment . 478-485 2002 Design , Automation and Test in Europe Conference and Exposition ( DATE ) 4-8 March 2002 Paris , France DATE IEEE Computer Society 2002 DATE
B-author I-author I-author B-author I-author B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date B-location I-location I-location B-booktitle B-publisher I-publisher I-publisher B-date B-booktitle
4d16a57368ac6c0c00ba47a0
Hans - Peter Kriegel Stefan Schonauer Similarity Search in Structured Data . 309-319 2003 Yahiko Kambayashi Mukesh K. Mohania Wolfram Wos Data Warehousing and Knowledge Discovery , 5th International Conference , DaWaK , Proceedings September 3-5 , 2003 Prague , Czech Republic DaWaK Lecture Notes in Computer Science 2737 Springer 2003 DaWaK
B-author I-author I-author I-author B-author I-author B-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor B-editor I-editor I-editor B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location I-location B-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle
4d16a57368ac6c0c09bc47a0
Chu Yee Liau Wee Siong Ng Yanfeng Shu Kian - Lee Tan Stephane Bressan Efficient Range Queries and Fast Lookup Services for Scalable P 2 P Networks . 93-106 2004 Wee Siong Ng Beng Chin Ooi Aris M. Ouksel Claudio Sartori Databases , Information Systems , and Peer - to - Peer Computing - Second International Workshop , DBISP 2 P , Revised Selected Papers August 29-30 , 2004 Toronto , Canada 3367 DBISP 2 P Lecture Notes in Computer Science Springer 2005 DBISP 2 P
B-author I-author I-author B-author I-author I-author B-author I-author B-author I-author I-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor I-editor B-editor I-editor I-editor B-editor I-editor I-editor B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location B-volume B-booktitle I-booktitle I-booktitle B-series I-series I-series I-series I-series B-publisher B-date B-booktitle I-booktitle I-booktitle
4d16a57368ac6c0c93bf47a0
Alexander Aiken Jolly Chen Mark Lin Mybrid Spalding Michael Stonebraker Allison Woodruff The Tioga - 2 Database Visualization Environment . 181-207 1995 Andreas Wierse Georges G. Grinstein Ulrich Lang Database Issues for Data Visualization , IEEE Visualization ' 95 Workshop , Proceedings October 28 , 1995 Atlanta , Georgia , USA Workshop on Database Issues for Data Visualization Lecture Notes in Computer Science 1183 Springer 1996 Workshop on Database Issues for Data Visualization
B-author I-author B-author I-author B-author I-author B-author I-author B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor B-editor I-editor I-editor B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location I-location I-location B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle
4d16a57468ac6c0cb9c247a0
Mareboyana Manohar James C. Tilton Progressive Vector Quantization of Multispectral Image Data Using a Massively Parallel SIMD Machine . 181-190 1992 Data Compression Conference
B-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle I-booktitle
4d16a57468ac6c0c2acd47a0
Bernd Amann Vassilis Christophides Michel Scholl HyperPATH /O2: Integrating Hypermedia Systems with Object - Oriented Database Systems . 709-720 1993 Vladimir Marik Jiri Lazansky Roland Wagner Database and Expert Systems Applications , 4th International Conference , DEXA ' 93 , Proceedings September 6-8 , 1993 Prague , Czech Republic DEXA Lecture Notes in Computer Science 720 Springer 1993 DEXA
B-author I-author B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor B-editor I-editor B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location I-location B-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle
4d16a57468ac6c0cbbd647a0
Kam - yiu Lam Tony S. H. Lee Sang Hyuk Son READS : A Prototyping Environment for Real - time Active Applications . 265-270 1997 DEXA Workshop
B-author I-author I-author I-author B-author I-author I-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle
4d16a57468ac6c0c54db47a0
Michael Faustle An Orthogonal Distribution Language for Uniform Object - Oriented Languages . 166-179 1993 Arndt Bode Mario Dal Cin Parallel Computer Architectures : Theory , Hardware , Software , Applications Parallel Computer Architectures Lecture Notes in Computer Science 732 Springer 1993 Parallel Computer Architectures
B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor B-editor I-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-booktitle I-booktitle I-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle I-booktitle I-booktitle
4d16a57568ac6c0c62eb47a0
Beatrice Amrhein Oliver Gloor Wolfgang Kuchlin Walking Faster . 150-161 1996 Jacques Calmet Carla Limongelli Design and Implementation of Symbolic Computation Systems , International Symposium , DISCO ' 96 , Proceedings September 18-20 , 1996 Karlsruhe , Germany DISCO Lecture Notes in Computer Science 1128 Springer 1996 DISCO
B-author I-author B-author I-author B-author I-author B-title I-title I-title B-pages B-date B-editor I-editor B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location B-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle
4d16a57568ac6c0cc3ec47a0
Catherine C. Marshall Making Metadata : A Study of Metadata Creation for a Mixed Physical - Digital Collection . 162-171 1998 Proceedings of the 3rd ACM International Conference on Digital Libraries June 23-26 , 1998 Pittsburgh , PA , USA ACM 1998 ACM DL
B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location I-location I-location B-publisher B-date B-booktitle I-booktitle
4d16a57568ac6c0c76f047a0
Martin Kutrib Jorg Richstein Real - Time One - Way Pushdown Cellular Automata Languages . 420-429 1995 Developments in Language Theory
B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle I-booktitle I-booktitle
4d16a57568ac6c0cd2f647a0
Yehoshua Sagiv On Testing Effective Computability of Magic Programs . 244-262 1991 DOOD
B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a57668ac6c0c5c0348a0
Tilman Becker Aravind K. Joshi Owen Rambow Long - Distance Scrambling and Tree Adjoining Grammars . 21-26 1991 EACL
B-author I-author B-author I-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a57668ac6c0c8a0448a0
Paola Monachesi Object clitics and clitic climbing in Italian HPSG grammar . 437-442 1993 EACL
B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a57668ac6c0c920548a0
Sabri Pllana Thomas Fahringer Johannes Testori Siegfried Benkner Ivona Brandic Towards an UML Based Graphical Representation of Grid Workflow Applications . 149-158 2004 Marios D. Dikaiakos Grid Computing , Second European Across Grids Conference , AxGrids , Revised Papers January 28-30 , 2004 Nicosia , Cyprus 3165 European Across Grids Conference Lecture Notes in Computer Science Springer 2004 European Across Grids Conference
B-author I-author B-author I-author B-author I-author B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location B-volume B-booktitle I-booktitle I-booktitle I-booktitle B-series I-series I-series I-series I-series B-publisher B-date B-booktitle I-booktitle I-booktitle I-booktitle
4d16a57668ac6c0c1e0a48a0
Stuart A. Grant Barbara M. Smith The Phase Transition Behaviour of Maintaining Arc Consistency . 175-179 1996 Wolfgang Wahlster 12th European Conference on Artificial Intelligence , Proceedings August 11-16 , 1996 Budapest , Hungary ECAI John Wiley and Sons , Chichester 1996 ECAI
B-author I-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location B-booktitle B-publisher I-publisher I-publisher I-publisher I-publisher I-publisher B-date B-booktitle
4d16a57668ac6c0c3c0b48a0
Matjaz Kukar Igor Kononenko Cost - Sensitive Learning with Neural Networks . 445-449 1998 ECAI
B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a57668ac6c0c450b48a0
Viorica Sofronie - Stokkermans On Translation of Finitely - Valued Logics to Classical First - Order Logic . 410-411 1998 ECAI
B-author I-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a57668ac6c0cc50c48a0
Yan Qu Barbara Di Eugenio Alon Lavie Lori S. Levin Carolyn Penstein Rose Minimizing Cumulative Error in Discourse Context . 171-182 1996 Elisabeth Maier Marion Mast Susann LuperFoy Dialogue Processing in Spoken Language Systems , ECAI ' 96 Workshop , Revised Papers August 13 , 1996 Budapest , Hungary ECAI Workshop on Dialogue Processing in Spoken Language Systems Lecture Notes in Computer Science 1236 Springer 1997 ECAI Workshop on Dialogue Processing in Spoken Language Systems
B-author I-author B-author I-author I-author B-author I-author B-author I-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor B-editor I-editor B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle
4d16a57668ac6c0c4b1048a0
Felix Streichert Christian Spieth Holger Ulmer Andreas Zell Evolving the Ability of Limited Growth and Self - Repair for Artificial Embryos . 289-298 2003 Wolfgang Banzhaf Thomas Christaller Peter Dittrich Jan T. Kim Jens Ziegler Advances in Artificial Life , 7th European Conference , ECAL , Proceedings September 14-17 , 2003 Dortmund , Germany ECAL Lecture Notes in Computer Science 2801 Springer 2003 ECAL
B-author I-author B-author I-author B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor B-editor I-editor B-editor I-editor B-editor I-editor I-editor B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location B-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle
4d16a57668ac6c0c931048a0
Hajime Yamauchi The Difficulty of the Baldwinian Account of Linguistic Innateness . 391-400 2001 Jozef Kelemen Petr Sosik Advances in Artificial Life , 6th European Conference , ECAL , Proceedings September 10-14 , 2001 Prague , Czech Republic ECAL Lecture Notes in Computer Science 2159 Springer 2001 ECAL
B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location I-location B-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle
4d16a57768ac6c0c841348a0
Ernst Althaus Alberto Caprara Hans - Peter Lenhof Knut Reinert Multiple sequence alignment with arbitrary gap costs : Computing an optimal solution using polyhedral combinatorics . 4-16 2002 Proceedings of the European Conference on Computational Biology ( ECCB ) October 6-9 , 2002 Saarbrucken , Germnany ECCB ( Supplement of Bioinformatics ) 2002 ECCB
B-author I-author B-author I-author B-author I-author I-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date B-booktitle
4d16a57768ac6c0cb71348a0
Kyle Ellrott Chuhu Yang Frances M. Sladek Tao Jiang Identifying transcription factor binding sites through Markov chain optimization . 100-109 2002 Proceedings of the European Conference on Computational Biology ( ECCB ) October 6-9 , 2002 Saarbrucken , Germnany ECCB ( Supplement of Bioinformatics ) 2002 ECCB
B-author I-author B-author I-author B-author I-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date B-booktitle
4d16a57768ac6c0c751948a0
Uwe Weidner Parameterfree Information - Preserving Surface Restoration . 218-224 1994 Jan - Olof Eklundh Computer Vision - ECCV ' 94 , Third European Conference on Computer Vision , Proceedings May 2-6 , 1994 Stockholm , Sweden Volume 2 ECCV (2) Lecture Notes in Computer Science 801 Springer 1994 ECCV (2)
B-author I-author B-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor I-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location B-volume I-volume B-booktitle I-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle I-booktitle
4d16a57768ac6c0c932148a0
Andrew Oliphant VALIDATE - A Virtual Laboratory to Accelerate the Launch of Digital Terrestrial Television . 481-492 1998 David Hutchison Ralf Schafer Multimedia Applications , Services and Techniques - ECMAST ' 98 , Third European Conference , Proceedings May 26-28 , 1998 Berlin , Germany ECMAST Lecture Notes in Computer Science 1425 Springer 1998 ECMAST
B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location B-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle
4d16a57768ac6c0c8d2648a0
Kohei Honda Mario Tokoro An Object Calculus for Asynchronous Communication . 133-147 1991 Pierre America ECOOP ' 91 European Conference on Object - Oriented Programming , Proceedings July 15-19 , 1991 Geneva , Switzerland ECOOP Lecture Notes in Computer Science 512 Springer 1991 ECOOP
B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location B-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle
4d16a57868ac6c0cca2b48a0
Ioannis Refanidis Ioannis P. Vlahavas GRT : A Domain Independent Heuristic for STRIPS Worlds Based on Greedy Regression Tables . 347-359 1999 Susanne Biundo Maria Fox Recent Advances in AI Planning , 5th European Conference on Planning , ECP ' 99 , Proceedings September 8-10 , 1999 Durham , UK ECP Lecture Notes in Computer Science 1809 Springer 2000 ECP
B-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location B-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle
4d16a57868ac6c0c2d3248a0
Daniele Braga Alessandro Campi Stefano Ceri XQBE : A Graphical Interface for XQuery Engines . 848-850 2004 Elisa Bertino Stavros Christodoulakis Dimitris Plexousakis Vassilis Christophides Manolis Koubarakis Klemens Bohm Elena Ferrari Advances in Database Technology - EDBT , 9th International Conference on Extending Database Technology , Proceedings March 14-18 , 2004 Heraklion , Crete , Greece EDBT Lecture Notes in Computer Science 2992 Springer 2004 EDBT
B-author I-author B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor B-editor I-editor B-editor I-editor B-editor I-editor B-editor I-editor B-editor I-editor B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location I-location I-location B-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle
4d16a57868ac6c0cde3248a0
Leonid A. Kalinichenko Methods and Tools for Equivalent Data Model Mapping Construction . 92-119 Francois Bancilhon Costantino Thanos Dennis Tsichritzis Advances in Database Technology - EDBT ' 90 . International Conference on Extending Database Technology , Proceedings March 26-30 , 1990 Venice , Italy EDBT Lecture Notes in Computer Science 416 Springer 1990 1990 EDBT
B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-editor I-editor B-editor I-editor B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location B-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-date B-booktitle
4d16a57868ac6c0c253348a0
Dao - I Lin Zvi M. Kedem Pincer Search : A New Algorithm for Discovering the Maximum Frequent Set . 105-119 1998 Hans - Jorg Schek Felix Saltor Isidro Ramos Gustavo Alonso Advances in Database Technology - EDBT ' 98 , 6th International Conference on Extending Database Technology , Proceedings March 23-27 , 1998 Valencia , Spain EDBT Lecture Notes in Computer Science 1377 Springer 1998 EDBT
B-author I-author I-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor I-editor I-editor B-editor I-editor B-editor I-editor B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location B-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle
4d16a57868ac6c0cda3348a0
Roger Weber Klemens Bohm Trading Quality for Time with Nearest Neighbor Search . 21-35 2000 Carlo Zaniolo Peter C. Lockemann Marc H. Scholl Torsten Grust Advances in Database Technology - EDBT , 7th International Conference on Extending Database Technology , Proceedings March 27-31 , 2000 Konstanz , Germany EDBT Lecture Notes in Computer Science 1777 Springer 2000 EDBT
B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor B-editor I-editor I-editor B-editor I-editor I-editor B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location B-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle
4d16a57868ac6c0c2c3648a0
Gianpaolo Cugola Gian Pietro Picco Amy L. Murphy Towards Dynamic Reconfiguration of Distributed Publish - Subscribe Middleware . 187-202 2002 Alberto Coen - Porisini Andre van der Hoek Software Engineering and Middleware , Third International Workshop , SEM . Revised Papers May 20-21 , 2002 Orlando , FL , USA SEM Lecture Notes in Computer Science 2596 Springer 2003 SEM
B-author I-author B-author I-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor I-editor I-editor B-editor I-editor I-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location I-location I-location B-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle
4d16a57968ac6c0cac5248a0
Yannis Stavrakas Manolis Gergatsoulis Theodoros Mitakos Representing Context - Dependent Information Using Multidimensional XML . 368-371 2000 Jose Luis Borbinha Thomas Baker Research and Advanced Technology for Digital Libraries , 4th European Conference , ECDL , Proceedings September 18-20 , 2000 Lisbon , Portugal ECDL Lecture Notes in Computer Science 1923 Springer 2000 ECDL
B-author I-author B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor I-editor B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location B-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle
4d16a57a68ac6c0c6d6048a0
Yves Deswarte Noreddine Abghour Vincent Nicomette David Powell An Internet Authorization Scheme Using Smart - Card - Based Security Kernels . 71-82 2001 Isabelle Attali Thomas P. Jensen Smart Card Programming and Security , International Conference on Research in Smart Cards , E - smart , Proceedings September 19-21 , 2001 Cannes , France E - smart Lecture Notes in Computer Science 2140 Springer 2001 E - smart
B-author I-author B-author I-author B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor B-editor I-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location B-booktitle I-booktitle I-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle I-booktitle I-booktitle
4d16a57a68ac6c0cf36148a0
Jiro Tanaka Makoto Kishishita Compiling Extended Concurrent Prolog - Single Queue Compilation . 301-314 1986 Bernard Robinet Reinhard Wilhelm ESOP 86 , European Symposium on Programming , Proceedings March 17-19 , 1986 Saarbrucken , Federal Republic of Germany ESOP Lecture Notes in Computer Science 213 Springer 1986 ESOP
B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location I-location I-location I-location B-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle
4d16a57a68ac6c0cbf6f48a0
David P. Helmbold Stephen Kwek Leonard Pitt Learning When to Trust Which Experts . 134-149 1997 Shai Ben - David Computational Learning Theory , Third European Conference , EuroCOLT ' 97 , Proceedings March 17-19 , 1997 Jerusalem , Israel EuroCOLT Lecture Notes in Computer Science 1208 Springer 1997 EuroCOLT
B-author I-author I-author B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor I-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location B-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle
4d16a57a68ac6c0ce67148a0
Burton S. Kaliski Jr . Ronald L. Rivest Alan T. Sherman Is the Data Encryption Standard a Group ? ( Preliminary Abstract ) . 81-95 1985 EUROCRYPT
B-author I-author I-author I-author I-author B-author I-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a57a68ac6c0c737248a0
Junko Nakajima Mitsuru Matsui Performance Analysis and Parallel Implementation of Dedicated Hash Functions . 165-180 2002 Lars R. Knudsen Advances in Cryptology - EUROCRYPT , International Conference on the Theory and Applications of Cryptographic Techniques , Proceedings April 28 - May 2 , 2002 Amsterdam , The Netherlands EUROCRYPT Lecture Notes in Computer Science 2332 Springer 2002 EUROCRYPT
B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date I-date I-date I-date B-location I-location I-location I-location B-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle
4d16a57a68ac6c0ccd7248a0
Rafail Ostrovsky Ramarathnam Venkatesan Moti Yung Interactive Hashing Simplifies Zero - Knowledge Protocol Design . 267-273 1993 EUROCRYPT
B-author I-author B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a57b68ac6c0c3e8148a0
Luis Pinuel Rafael A. Moreno Francisco Tirado Implementation of Hybrid Context Based Value Predictors Using Value Sequence Classification . 1291-1295 1999 Patrick Amestoy Philippe Berger Michel J. Dayde Iain S. Duff Valerie Fraysse Luc Giraud Daniel Ruiz Euro - Par ' 99 Parallel Processing , 5th International Euro - Par Conference , Proceedings August 31 - September 3 , 1999 Toulouse , France Euro - Par Lecture Notes in Computer Science 1685 Springer 1999 Euro - Par
B-author I-author B-author I-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor B-editor I-editor B-editor I-editor I-editor B-editor I-editor I-editor B-editor I-editor B-editor I-editor B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date I-date I-date I-date B-location I-location I-location B-booktitle I-booktitle I-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle I-booktitle I-booktitle
4d16a57b68ac6c0c938748a0
Nicky Kern Bernt Schiele Albrecht Schmidt Multi - sensor Activity Context Detection for Wearable Computing . 220-232 2003 Emile H. L. Aarts Rene Collier Evert van Loenen Boris E. R. de Ruyter Ambient Intelligence , First European Symposium , EUSAI , Proceedings November 3 . - 4 , 2003 Veldhoven , The Netherlands EUSAI Lecture Notes in Computer Science 2875 Springer 2003 EUSAI
B-author I-author B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor I-editor I-editor B-editor I-editor B-editor I-editor I-editor B-editor I-editor I-editor I-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date I-date I-date I-date B-location I-location I-location I-location B-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle
4d16a57b68ac6c0c818848a0
Roy L. Johnston Thomas V. Mortimer - Jones Christopher Roberts Sarah Darby Frederick R. Manby Application of Genetic Algorithms in Nanoscience : Cluster Geometry Optimization . 92-101 2002 Stefano Cagnoni Jens Gottlieb Emma Hart Martin Middendorf Gunther R. Raidl Applications of Evolutionary Computing , EvoWorkshops : EvoCOP , EvoIASP , EvoSTIM /EvoPLAN, Proceedings April 3-4 , 2002 Kinsale , Ireland EvoWorkshops Lecture Notes in Computer Science 2279 Springer 2002 EvoWorkshops
B-author I-author I-author B-author I-author I-author I-author I-author B-author I-author B-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor B-editor I-editor B-editor I-editor B-editor I-editor B-editor I-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location B-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle
4d16a57c68ac6c0c518f48a0
Alf Inge Wang Support for Mobile Software Processes in CAGIS . 115-130 2000 Reidar Conradi Software Process Technology , 7th European Workshop , EWSPT , Proceedings February 21-25 , 2000 Kaprun , Austria EWSPT Lecture Notes in Computer Science 1780 Springer 2000 EWSPT
B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location B-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle
4d16a57c68ac6c0c739748a0
Peter Bellows Brad L. Hutchings JHDL - An HDL for Reconfigurable Systems . 175 - 1998 6th IEEE Symposium on Field - Programmable Custom Computing Machines ( FCCM ' 98 ) 15-17 April 1998 Napa Valley , CA , USA IEEE Computer Society FCCM 1998 FCCM
B-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title B-pages I-pages B-date B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date B-location I-location I-location I-location I-location I-location B-publisher I-publisher I-publisher B-booktitle B-date B-booktitle
4d16a57c68ac6c0cce9748a0
Scott Hauck Zhiyuan Li Eric J. Schwabe Configuration Compression for the Xilinx XC 6200 FPGA . 138-146 1998 6th IEEE Symposium on Field - Programmable Custom Computing Machines ( FCCM ' 98 ) 15-17 April 1998 Napa Valley , CA , USA IEEE Computer Society FCCM 1998 FCCM
B-author I-author B-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date B-location I-location I-location I-location I-location I-location B-publisher I-publisher I-publisher B-booktitle B-date B-booktitle
4d16a57c68ac6c0c7e9848a0
Azra Rashid Jason Leonard William H. Mangione - Smith Dynamic Circuit Generation for Solving Specific Problem Instances of Boolean Satisfiability . 196 - 1998 6th IEEE Symposium on Field - Programmable Custom Computing Machines ( FCCM ' 98 ) 15-17 April 1998 Napa Valley , CA , USA IEEE Computer Society FCCM 1998 FCCM
B-author I-author B-author I-author B-author I-author I-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages I-pages B-date B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date B-location I-location I-location I-location I-location I-location B-publisher I-publisher I-publisher B-booktitle B-date B-booktitle
4d16a57c68ac6c0cc09848a0
Mihai Sima Sorin Cotofana Stamatis Vassiliadis Jos T. J. van Eijndhoven Kees A. Vissers MPEG - Compliant Entropy Decoding on FPGA - Augmented TriMedia /CPU64. 261 - 2002 10th IEEE Symposium on Field - Programmable Custom Computing Machines ( FCCM ) , Proceedings 22-24 April 2002 Napa , CA IEEE Computer Society FCCM 2002 FCCM
B-author I-author B-author I-author B-author I-author B-author I-author I-author I-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages I-pages B-date B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date B-location I-location I-location B-publisher I-publisher I-publisher B-booktitle B-date B-booktitle
4d16a57c68ac6c0ccd9d48a0
Setsuo Arikawa Satoru Kuhara Satoru Miyano Yasuhito Mukouchi Ayumi Shinohara Takeshi Shinohara A Machine Discovery from Amino Acid Sequences by Decision Trees over Regular Patterns . 618-625 1992 FGCS
B-author I-author B-author I-author B-author I-author B-author I-author B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a57c68ac6c0c009f48a0
Hiroto Yasuura On Parallel Computational Complexity of Unification . 235-243 1984 FGCS
B-author I-author B-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a57c68ac6c0c65a348a0
Kenneth J. Turner Formalising the Chisel Feature Notation . 241-256 2000 Muffy Calder Evan H. Magill Feature Interactions in Telecommunications and Software Systems VI May 17-19 , 2000 Glasgow , Scotland , UK FIW IOS Press 2000 FIW
B-author I-author I-author B-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor B-editor I-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location I-location I-location B-booktitle B-publisher I-publisher B-date B-booktitle
4d16a57c68ac6c0c8ea348a0
Cornel Klein Christian Prehofer Bernhard Rumpe Feature Specification and Refinement with State Transition Diagrams . 284-297 1997 Petre Dini Raouf Boutaba Luigi Logrippo Feature Interactions in Telecommunications Networks IV June 17-19 , 1997 Montreal , Canada FIW IOS Press 1997 FIW
B-author I-author B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor B-editor I-editor B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location B-booktitle B-publisher I-publisher B-date B-booktitle
4d16a57d68ac6c0cfba648a0
David R. Musicant Vipin Kumar Aysel Ozgur Optimizing F - Measure with Support Vector Machines . 356-360 2003 Ingrid Russell Susan M. Haller Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference May 12-14 , 2003 , St . Augustine Florida , USA FLAIRS Conference AAAI Press 2003 FLAIRS Conference
B-author I-author I-author B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor B-editor I-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date I-date B-location I-location I-location I-location I-location I-location B-booktitle I-booktitle B-publisher I-publisher B-date B-booktitle I-booktitle
4d16a57d68ac6c0c32ad48a0
Christel Seguin Virginie Wiels Using a Logical and Categorical Approach for the Validation of Fault - Tolerant Systems . 347-366 1996 Marie - Claude Gaudel Jim Woodcock FME ' 96 : Industrial Benefit and Advances in Formal Methods , Third International Symposium of Formal Methods Europe , Co - Sponsored by IFIP WG 14 . 3 , Proceedings March 18-22 , 1996 Oxford , UK FME Lecture Notes in Computer Science 1051 Springer 1996 FME
B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor I-editor I-editor B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location B-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle
4d16a57e68ac6c0cfdb448a0
An Approach to a Unified Theory of Automata John E. Hopcroft Jeffrey D. Ullman 140-147 Conference Record of Eighth Annual Symposium on Switching and Automata Theory 18-20 October 1967 Austin , Texas , USA Conference Record of 1967 Eighth Annual Symposium on Switching and Automata Theory 1967 IEEE 1967 FOCS
B-title I-title I-title I-title I-title I-title I-title I-title B-author I-author I-author B-author I-author I-author B-pages B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date B-location I-location I-location I-location I-location B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date B-publisher B-date B-booktitle
4d16a57e68ac6c0c3cb548a0
A Compact Representation for Permutation Groups Mark Jerrum 126-133 23rd Annual Symposium on Foundations of Computer Science 3-5 November 1982 Chicago , Illinois , USA FOCS 3-5 November 1982 Chicago , Illinois IEEE 1982 FOCS
B-title I-title I-title I-title I-title I-title B-author I-author B-pages B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date B-location I-location I-location I-location I-location B-booktitle B-date I-date B-date B-location I-location I-location B-publisher B-date B-booktitle
4d16a57e68ac6c0c24bc48a0
Tommaso Bolognesi Maurizio Caneve Squiggles - A Tool for the Analysis of LOTOS Specifications . 201-216 1988 Kenneth J. Turner Formal Description Techniques , Proceedings of the First International Conference on Formal Description Techniques 6-9 September , 1988 Stirling , Scotland , UK FORTE North - Holland 1989 FORTE
B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location I-location I-location B-booktitle B-publisher I-publisher I-publisher B-date B-booktitle
4d16a57e68ac6c0ca1bc48a0
Colin J. Fidge A constraint - oriented real - time process calculus . 363-378 1992 Michel Diaz Roland Groz Formal Description Techniques , Proceedings of the IFIP TC 6 /WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols , FORTE ' 92 13-16 October 1992 Perros - Guirec , France FORTE IFIP Transactions C - 10 North - Holland 1993 FORTE
B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date B-location I-location I-location I-location I-location B-booktitle B-series I-series B-volume I-volume I-volume B-publisher I-publisher I-publisher B-date B-booktitle
4d16a57e68ac6c0ccfbc48a0
Thomas Gehrke Michaela Huhn Arend Rensink Heike Wehrheim An Algebraic Semantics for Message Sequence Chart Documents . 3-18 1998 Stanislaw Budkowski Ana R. Cavalli Elie Najm Formal Description Techniques and Protocol Specification , Testing and Verification , FORTE XI / PSTV XVIII ' 98 , IFIP TC 6 WG 6 . 1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols ( FORTE XI ) and Protocol Specification , Testing and Verification ( PSTV XVIII ) 3-6 November , 1998 Paris , France FORTE IFIP Conference Proceedings 135 Kluwer 1998 FORTE
B-author I-author B-author I-author B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor B-editor I-editor I-editor B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location B-booktitle B-series I-series I-series B-volume B-publisher B-date B-booktitle
4d16a57e68ac6c0c5fbd48a0
M. Lawford Jonathan S. Ostroff W. Murray Wonham Model Reduction of Modules for State - Even Temporal Logics . 263-278 1996 Reinhard Gotzhein Jan Bredereke Formal Description Techniques IX : Theory , application and tools , IFIP TC 6 WG 6 . 1 International Conference on Formal Description Techniques IX / Protocol Specification , Testing and Verification XVI 8-11 October 1996 Kaiserslautern , Germany FORTE IFIP Conference Proceedings 69 Chapman and Hall 1996 FORTE
B-author I-author B-author I-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date B-location I-location I-location B-booktitle B-series I-series I-series B-volume B-publisher I-publisher I-publisher B-date B-booktitle
4d16a57e68ac6c0c45be48a0
Linda Simon Lynn S. Marshall Using VDM to Specify OSI Managed Objects . 17-31 1991 Ken R. Parker Gordon A. Rose Formal Description Techniques , Proceedings of the IFIP TC 6 /WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols , FORTE ' 91 19-22 November 1991 Sydney , Australia FORTE IFIP Transactions C - 2 North - Holland 1992 FORTE
B-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor I-editor B-editor I-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date B-location I-location I-location B-booktitle B-series I-series B-volume I-volume I-volume B-publisher I-publisher I-publisher B-date B-booktitle
4d16a57e68ac6c0c01bf48a0
Andrew D. Gordon Notes on Nominal Calculi for Security and Mobility . 262-330 2000 Riccardo Focardi Roberto Gorrieri Foundations of Security Analysis and Design , Tutorial Lectures [revised versions of lectures given during the IFIP WG 1 . 7 International School on Foundations of Security Analysis and Design , FOSAD September 2000 ] Bertinoro , Italy FOSAD Lecture Notes in Computer Science 2171 Springer 2001 FOSAD
B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date B-location I-location I-location B-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle
4d16a57e68ac6c0c4dc248a0
Vijay Lakamraju Russell Tessier Tolerating operational faults in cluster - based FPGAs . 187-194 2000 FPGA
B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a57f68ac6c0ca3cf48a0
Jos C. M. Baeten Rob J. van Glabbeek Merge and Termination in Process Algebra . 153-172 1987 Kesav V. Nori Foundations of Software Technology and Theoretical Computer Science , Seventh Conference , Proceedings December 17-19 , 1987 Pune , India FSTTCS Lecture Notes in Computer Science 287 Springer 1987 FSTTCS
B-author I-author I-author I-author B-author I-author I-author I-author B-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location B-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle
4d16a57f68ac6c0c77d148a0
J. Ian Munro Tables . 37-42 1996 Vijay Chandru V. Vinay Foundations of Software Technology and Theoretical Computer Science , 16th Conference , Proceedings December 18-20 , 1996 Hyderabad , India FSTTCS Lecture Notes in Computer Science 1180 Springer 1996 FSTTCS
B-author I-author I-author B-title I-title B-pages B-date B-editor I-editor B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location B-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle
4d16a57f68ac6c0cefd348a0
Dwight Sunada David Glasco Michael J. Flynn Multiprocessor Architecture Using an Audit Trail for Fault Tolerance . 40-47 1999 FTCS
B-author I-author B-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a57f68ac6c0ca3d448a0
Wolfgang Emmerich Walter Schwarz Anthony Finkelstein Markup Meets Middleware . 261-266 1999 7th IEEE Workshop on Future Trends of Distributed Computer Systems ( FTDCS ' 99 ) , Proceedings 20-22 December 1999 Cape Town , South Africa FTDCS IEEE Computer Society 1999 FTDCS
B-author I-author B-author I-author B-author I-author B-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date B-location I-location I-location I-location I-location B-booktitle B-publisher I-publisher I-publisher B-date B-booktitle
4d16a57f68ac6c0ce8dd48a0
Ina Koch Stefan Schuster Monika Heiner Simulation and analysis of metabolic networks by time - dependent Petri nets . 208-209 1999 German Conference on Bioinformatics
B-author I-author B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle I-booktitle I-booktitle
4d16a57f68ac6c0c3adf48a0
Rashid J. Al - Ali Kaizar Amin Gregor von Laszewski Omer F. Rana David W. Walker An OGSA - Based Quality of Service Framework . 529-540 2003 Minglu Li Xian - He Sun Qianni Deng Jun Ni Grid and Cooperative Computing , Second International Workshop , GCC , Revised Papers December 7-10 , 2003 Shanghai , China Volume 2 GCC (2) Lecture Notes in Computer Science 3033 Springer 2004 GCC (2)
B-author I-author I-author I-author I-author B-author I-author B-author I-author I-author B-author I-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor B-editor I-editor I-editor I-editor B-editor I-editor B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location B-volume I-volume B-booktitle I-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle I-booktitle
4d16a57f68ac6c0cbbe348a0
Weiqing He Kim Marriott Constrained Graph Layout . 217-232 1996 Stephen C. North Graph Drawing , Symposium on Graph Drawing , GD ' 96 , Proceedings September 18-20 Berkeley , California , USA Graph Drawing Lecture Notes in Computer Science 1190 Springer 1997 Graph Drawing
B-author I-author B-author I-author B-title I-title I-title I-title B-pages B-date B-editor I-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date B-location I-location I-location I-location I-location B-booktitle I-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle I-booktitle
4d16a57f68ac6c0cf7e448a0
Seok - Hee Hong Drawing Graphs Symmetrically in Three Dimensions . 189-204 2001 Petra Mutzel Michael Junger Sebastian Leipert Graph Drawing , 9th International Symposium , GD Vienna , Revised Papers September 23-26 , 2001 Austria Graph Drawing Lecture Notes in Computer Science 2265 Springer 2002 Graph Drawing
B-author I-author I-author I-author B-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor B-editor I-editor B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location B-booktitle I-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle I-booktitle
4d16a58068ac6c0c6be848a0
Simon Fischer Ingo Wegener The Ising Model on the Ring : Mutation Versus Recombination . 1113-1124 2004 Kalyanmoy Deb Riccardo Poli Wolfgang Banzhaf Hans - Georg Beyer Edmund K. Burke Paul J. Darwen Dipankar Dasgupta Dario Floreano James A. Foster Mark Harman Owen Holland Pier Luca Lanzi Lee Spector Andrea Tettamanzi Dirk Thierens Andrew M. Tyrrell Genetic and Evolutionary Computation - GECCO , Genetic and Evolutionary Computation Conference , Proceedings June 26-30 , 2004 Seattle , WA , USA Volume 1 GECCO (1) Lecture Notes in Computer Science 3102 Springer 2004 GECCO (1)
B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor B-editor I-editor B-editor I-editor B-editor I-editor I-editor I-editor B-editor I-editor I-editor B-editor I-editor I-editor B-editor I-editor B-editor I-editor B-editor I-editor I-editor B-editor I-editor B-editor I-editor B-editor I-editor I-editor B-editor I-editor B-editor I-editor B-editor I-editor B-editor I-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location I-location I-location B-volume I-volume B-booktitle I-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle I-booktitle
4d16a58068ac6c0c00f548a0
Martin Eisenhardt Wolfgang Muller 0002 Andreas Henrich Classifying Documents by Distributed P 2 P Clustering . 286-291 2003 Klaus R. Dittrich Wolfgang Konig Andreas Oberweis Kai Rannenberg Wolfgang Wahlster INFORMATIK - Innovative Informatikanwendungen , Beitrage der 33 . Jahrestagung der Gesellschaft fur Informatik e . V. ( GI ) Band 2 29 . September - 2 . Oktober 2003 GI Jahrestagung (2) LNI 35 GI 2003 GI Jahrestagung (2)
B-author I-author B-author I-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor I-editor B-editor I-editor B-editor I-editor B-editor I-editor B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date I-date I-date I-date I-date B-booktitle I-booktitle I-booktitle B-series B-volume B-publisher B-date B-booktitle I-booktitle I-booktitle
4d16a58168ac6c0ced0f49a0
Marcia Zangrilli Bruce Lowekamp Comparing Passive Network Monitoring of Grid Application Traffic with Active Probes . 84-93 2003 Heinz Stockinger 4th International Workshop on Grid Computing ( GRID ) , Proceedings 17 November 2003 Phoenix , AZ , USA GRID IEEE Computer Society 2003 GRID
B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date B-location I-location I-location I-location I-location B-booktitle B-publisher I-publisher I-publisher B-date B-booktitle
4d16a58268ac6c0c2c2749a0
Muthucumaru Maheswaran Shoukat Ali Howard Jay Siegel Debra A. Hensgen Richard F. Freund Dynamic Matching and Scheduling of a Class of Independent Tasks onto Heterogeneous Computing Systems . 30 - 1999 Heterogeneous Computing Workshop
B-author I-author B-author I-author B-author I-author I-author B-author I-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages I-pages B-date B-booktitle I-booktitle I-booktitle
4d16a58268ac6c0c052949a0
John W. C. Fu Janak H. Patel Trace Driven Simulation using Sampled Traces . 211-220 1994 HICSS (1)
B-author I-author I-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle
4d16a58268ac6c0c8d2a49a0
Kelly Burke Laku Chidambaram Do Mediated Contexts Differ in Information Richness ? A Comparison of Collocated and Dispersed Meetings . 92-101 1996 HICSS (3)
B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle
4d16a58268ac6c0ce72e49a0
Geri Gay Helene Hembrooke Browsing Behaviors in Wireless Learning Networks . 33 2002 HICSS
B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a58268ac6c0c243049a0
William S. Harrison Axel W. Krings Nadine Hanebutte Miles McQueen On the Performance of a Survivability Architecture for Networked Computing Systems . 195 2002 HICSS
B-author I-author I-author B-author I-author I-author B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a58268ac6c0c603149a0
Ioannis Ioannidis Ananth Grama An Efficient Protocol for Yao ?s Millionaires ? Problem . 205 2003 HICSS
B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a58368ac6c0c213349a0
Shonali Krishnaswamy Arkady B. Zaslavsky Seng Wai Loke Federated Data Mining Services and a Supporting XML - based Language . 2001 HICSS
B-author I-author B-author I-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-date B-booktitle
4d16a58368ac6c0c973649a0
Christian D. Muller Hans - Dieter Zimmermann Beyond Mobile : Research Topics for upcoming Technologies in the Insurance Industry . 197 2003 HICSS
B-author I-author I-author B-author I-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a58368ac6c0c864449a0
Hai Jiang Vipin Chaudhary On Improving Thread Migration : Safety and Performance . 474-484 2002 Sartaj Sahni Viktor K. Prasanna Uday Shukla High Performance Computing - HiPC , 9th International Conference , Proceedings December 18-21 , 2002 Bangalore , India HiPC Lecture Notes in Computer Science 2552 Springer 2002 HiPC
B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor B-editor I-editor I-editor B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location B-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle
4d16a58368ac6c0cd54849a0
Paolo Ciancarini Parallel Logic Programming Using the Linda Model of Computation . 110-125 1991 Jean - Pierre Banatre Daniel Le Metayer Research Directions in High - Level Parallel Programming Languages June 17-19 , 1991 Mont Saint - Michel , France , Procedings Research Directions in High - Level Parallel Programming Languages Lecture Notes in Computer Science 574 Springer 1992 Research Directions in High - Level Parallel Programming Languages
B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor I-editor I-editor B-editor I-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location I-location I-location I-location I-location I-location B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle
4d16a58468ac6c0c2e4e49a0
Pierre Boulet Bouclettes : A Fortran Loop Parallelizer . 784-791 1996 Heather M. Liddell Adrian Colbrook Louis O. Hertzberger Peter M. A. Sloot High - Performance Computing and Networking , International Conference and Exhibition , HPCN Europe , Proceedings April 15-19 , 1996 Brussels , Belgium HPCN Lecture Notes in Computer Science 1067 Springer 1996 HPCN Europe
B-author I-author B-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor I-editor B-editor I-editor B-editor I-editor I-editor B-editor I-editor I-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location B-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle I-booktitle
4d16a58468ac6c0c434e49a0
Giuseppe Ciaccio V. DiMartino P. Lanucara Porting the Flame Front Propagation Problem on GAMMA . 884-886 1998 Peter M. A. Sloot Marian Bubak Louis O. Hertzberger High - Performance Computing and Networking , International Conference and Exhibition , HPCN Europe , Proceedings April 21-23 , 1998 Amsterdam , The Netherlands HPCN Lecture Notes in Computer Science 1401 Springer 1998 HPCN Europe
B-author I-author B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor I-editor I-editor B-editor I-editor B-editor I-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location I-location B-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle I-booktitle
4d16a58468ac6c0ced5249a0
Marco Alfano Rolf Sigle Controlling QoS in a Collaborative Multimedia Environment . 340-347 1996 HPDC
B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a58468ac6c0cfa5249a0
Matthew S. Allen Richard Wolski James S. Plank Adaptive Timeout Discovery Using the Network Weather Service . 35-41 2002 11th IEEE International Symposium on High Performance Distributed Computing ( HPDC - 11 ) 23-26 July 2002 Edinburgh , Scotland , UK HPDC IEEE Computer Society 2002 HPDC
B-author I-author I-author B-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date B-location I-location I-location I-location I-location B-booktitle B-publisher I-publisher I-publisher B-date B-booktitle
4d16a58468ac6c0c875349a0
Ian T. Foster Michael E. Papka Rick L. Stevens Tools for Distributed Collaborative Environments : A Research Agenda . 23 - 1996 HPDC
B-author I-author I-author B-author I-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages I-pages B-date B-booktitle
4d16a58468ac6c0c2c5449a0
Masato Oguchi Kinji Ono A Study of Caching Proxy Mechanisms Realized on Wide Area Distributed Networks . 443-449 1996 HPDC
B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a58468ac6c0c4a5449a0
Christophe Rene Thierry Priol MPI Code Encapsulating using Parallel CORBA Object . 1999 HPDC
B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title B-date B-booktitle
4d16a58468ac6c0c935549a0
Jussara M. Almeida Virgilio Almeida David J. Yates Measuring the behaviour of a world - wide web server . 57-72 1997 Ahmed N. Tantawy High Performance Networking VII , IFIP TC 6 Seventh International Conference on High Performance Networking ( HPN ' 97 ) 28th April - 2nd May 1997 White Plains , New York , USA HPN IFIP Conference Proceedings 87 Chapman and Hall 1997 HPN
B-author I-author I-author B-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date I-date I-date B-location I-location I-location I-location I-location I-location I-location B-booktitle B-series I-series I-series B-volume B-publisher I-publisher I-publisher B-date B-booktitle
4d16a58468ac6c0cef5749a0
Rodrigo A. Botafogo Ben Shneiderman Identifying Aggregates in Hypertext Structures . 63-74 1991 Hypertext ' 91 Proceedings San Antonio , Texas , USA ACM 1991 Hypertext
B-author I-author I-author B-author I-author B-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle I-booktitle I-booktitle B-location I-location I-location I-location I-location I-location B-publisher B-date B-booktitle
4d16a58468ac6c0cff5849a0
Jocelyne Nanard Marc Nanard Using Structured Types to Incorporate Knowledge in Hypertext . 329-343 1991 Hypertext ' 91 Proceedings San Antonio , Texas , USA ACM 1991 Hypertext
B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle I-booktitle I-booktitle B-location I-location I-location I-location I-location I-location B-publisher B-date B-booktitle
4d16a58468ac6c0c545949a0
Morgan N. Price Gene Golovchinsky Bill N. Schilit Linking by Inking : Trailblazing in a Paper - Like Hypertext . 30-39 1998 HYPERTEXT ' 98 . Proceedings of the Ninth ACM Conference on Hypertext and Hypermedia : Links , Objects , Time and Space - Structure in Hypermedia Systems June 20-24 , 1998 Pittsburgh , PA , USA ACM 1998 Hypertext
B-author I-author I-author B-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location I-location I-location B-publisher B-date B-booktitle
4d16a58468ac6c0cbe5c49a0
Alberto Bemporad Manfred Morari Verification of Hybrid Systems via Mathematical Programming . 31-45 1999 Frits W. Vaandrager Jan H. van Schuppen Hybrid Systems : Computation and Control , Second International Workshop , HSCC ' 99 , Proceedings March 29-31 , 1999 Berg en Dal , The Netherlands HSCC Lecture Notes in Computer Science 1569 Springer 1999 HSCC
B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor I-editor B-editor I-editor I-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location I-location I-location I-location B-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle
4d16a58468ac6c0cc85d49a0
Ian Mitchell Claire Tomlin Level Set Methods for Computation in Hybrid Systems . 310-323 2000 Nancy A. Lynch Bruce H. Krogh Hybrid Systems : Computation and Control , Third International Workshop , HSCC , Proceedings March 23-25 , 2000 Pittsburgh , PA , USA HSCC Lecture Notes in Computer Science 1790 Springer 2000 HSCC
B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor I-editor B-editor I-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location I-location I-location B-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle
4d16a58468ac6c0c6e5e49a0
Martin De Wulf Laurent Doyen Jean - Francois Raskin Almost ASAP Semantics : From Timed Models to Timed Implementations . 296-310 2004 Rajeev Alur George J. Pappas Hybrid Systems : Computation and Control , 7th International Workshop , HSCC , Proceedings March 25-27 , 2004 Philadelphia , PA , USA HSCC Lecture Notes in Computer Science 2993 Springer 2004 HSCC
B-author I-author I-author B-author I-author B-author I-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor B-editor I-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location I-location I-location B-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle
4d16a58468ac6c0cb65f49a0
Per E. Pedersen An Adoption Framework for Mobile Commerce . 643-656 2001 Beat Schmid Katarina Stanoevska - Slabeva Volker Tschammer Towards The E - Society : E - Commerce , E - Business , and E - Government , The First IFIP Conference on E - Commerce , E - Business , E - Government ( I 3 E ) , October 3-5 Zurich , Switzerland I 3 E IFIP Conference Proceedings 202 Kluwer 2001 I 3 E
B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor B-editor I-editor I-editor I-editor B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date B-location I-location I-location B-booktitle I-booktitle I-booktitle B-series I-series I-series B-volume B-publisher B-date B-booktitle I-booktitle I-booktitle
4d16a58568ac6c0c127949a0
Dara Curran Colm O ' Riordan Artificial Life Simulation Using Marker - Based Encoding . 665-668 2003 Hamid R. Arabnia Rose Joshua Youngsong Mun Proceedings of the International Conference on Artificial Intelligence , IC - AI ' 03 June 23 - 26 , 2003 Las Vegas , Nevada , USA Volume 2 IC - AI CSREA Press 2003 IC - AI
B-author I-author B-author I-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor I-editor B-editor I-editor B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location I-location I-location I-location B-volume I-volume B-booktitle I-booktitle I-booktitle B-publisher I-publisher B-date B-booktitle I-booktitle I-booktitle
4d16a58668ac6c0cb87d49a0
David B. Skalak Taking Advantage of Models for Legal Classification . 234-241 1989 ICAIL
B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a58668ac6c0c168049a0
Frank S. de Boer A Proof System for the Parallel Object - Oriented Language POOL . 572-585 1990 Mike Paterson Automata , Languages and Programming , 17th International Colloquium , ICALP 90 , Proceedings July 16-20 , 1990 England Warwick University ICALP Lecture Notes in Computer Science 443 Springer 1990 ICALP
B-author I-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location B-institution I-institution B-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle
4d16a58668ac6c0cef8249a0
Cindy Eisner Dana Fisman John Havlicek Anthony McIsaac David Van Campenhout The Definition of a Temporal Clock Operator . 857-870 2003 Jos C. M. Baeten Jan Karel Lenstra Joachim Parrow Gerhard J. Woeginger Automata , Languages and Programming , 30th International Colloquium , ICALP , . Proceedings June 30 - July 4 Eindhoven , The Netherlands ICALP Lecture Notes in Computer Science 2719 Springer 2003 ICALP
B-author I-author B-author I-author B-author I-author B-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor I-editor I-editor B-editor I-editor I-editor B-editor I-editor B-editor I-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date I-date B-location I-location I-location I-location B-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle
4d16a58668ac6c0c2e8449a0
Johan Hastad Tensor Rank is NP - Complete . 451-460 1989 Giorgio Ausiello Mariangiola Dezani - Ciancaglini Simona Ronchi Della Rocca Automata , Languages and Programming , 16th International Colloquium , ICALP 89 , Proceedings July 11-15 , 1989 Stresa , Italy ICALP Lecture Notes in Computer Science 372 Springer 1989 ICALP
B-author I-author B-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor B-editor I-editor I-editor I-editor B-editor I-editor I-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location B-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle
4d16a58668ac6c0c1a8549a0
Marco Kick Bialgebraic Modelling of Timed Processes . 525-536 2002 Peter Widmayer Francisco Triguero Ruiz Rafael Morales Bueno Matthew Hennessy Stephan Eidenbenz Ricardo Conejo Automata , Languages and Programming , 29th International Colloquium , ICALP , Proceedings July 8-13 , 2002 Malaga , Spain ICALP Lecture Notes in Computer Science 2380 Springer 2002 ICALP
B-author I-author B-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor B-editor I-editor I-editor B-editor I-editor I-editor B-editor I-editor B-editor I-editor B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location B-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle
4d16a58668ac6c0c7b8549a0
Slawomir Lasota Partial - Congruence Factorization of Bisimilarity Induced by Open Maps . 91-102 1998 Kim Guldstrand Larsen Sven Skyum Glynn Winskel Automata , Languages and Programming , 25th International Colloquium , ICALP ' 98 , Proceedings July 13-17 , 1998 Aalborg , Denmark ICALP Lecture Notes in Computer Science 1443 Springer 1998 ICALP
B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor I-editor B-editor I-editor B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location B-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle
4d16a58668ac6c0c8d8649a0
Seth Pettie A Faster All - Pairs Shortest Path Algorithm for Real - Weighted Sparse Graphs . 85-97 2002 Peter Widmayer Francisco Triguero Ruiz Rafael Morales Bueno Matthew Hennessy Stephan Eidenbenz Ricardo Conejo Automata , Languages and Programming , 29th International Colloquium , ICALP , Proceedings July 8-13 , 2002 Malaga , Spain ICALP Lecture Notes in Computer Science 2380 Springer 2002 ICALP
B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor B-editor I-editor I-editor B-editor I-editor I-editor B-editor I-editor B-editor I-editor B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location B-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle
4d16a58668ac6c0c3d9449a0
Cornelius Weber Stefan Wermter Object Localisation Using Laterally Connected " What " and " Where " Associator Networks . 813-820 2003 Okyay Kaynak Ethem Alpaydin Erkki Oja Lei Xu Artificial Neural Networks and Neural Information Processing - ICANN /ICONIP , Joint International Conference ICANN /ICONIP , Proceedings June 26-29 , 2003 Istanbul , Turkey ICANN Lecture Notes in Computer Science 2714 Springer 2003 ICANN
B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor B-editor I-editor B-editor I-editor B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location B-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle
4d16a58768ac6c0ce19649a0
Yingquan Wu Krassimir G. Ianakiev Venu Govindaraju Improvements in K - Nearest Neighbor Classification . 222-229 2001 Sameer Singh Nabeel A. Murshed Walter G. Kropatsch Advances in Pattern Recognition - ICAPR , Second International Conference Rio de Janeiro , Proceedings March 11-14 , 2001 Brazil ICAPR Lecture Notes in Computer Science 2013 Springer 2001 ICAPR
B-author I-author B-author I-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor B-editor I-editor I-editor B-editor I-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location B-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle
4d16a58768ac6c0c829b49a0
Dieter Boss Karl - Dirk Kammeyer Blind GSM Channel Estimation Based on Higher Order Statistics . 46-50 1997 ICC (1)
B-author I-author B-author I-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle
4d16a58768ac6c0c00a749a0
Thierry Matthey Alice Ko Jesus A. Izaguirre PROTOMOL : A Molecular Dynamics Research Framework for Algorithmic Development . 50-59 2003 Peter M. A. Sloot David Abramson Alexander V. Bogdanov Jack Dongarra Albert Y. Zomaya Yuri E. Gorbachev Computational Science - ICCS , International Conference , . Proceedings June 2-4 Melbourne , Australia and St . Petersburg , Russia Volume 3 International Conference on Computational Science Lecture Notes in Computer Science 2659 Springer 2003 International Conference on Computational Science
B-author I-author B-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor I-editor I-editor B-editor I-editor B-editor I-editor I-editor B-editor I-editor B-editor I-editor I-editor B-editor I-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date B-location I-location I-location I-location I-location I-location I-location I-location I-location B-volume I-volume B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle
4d16a58868ac6c0c8aaf49a0
Jules P. Bergmann Mark Horowitz Improving coverage analysis and test generation for large designs . 580-583 1999 Jacob K. White Ellen Sentovich Proceedings of the IEEE /ACM International Conference on Computer - Aided Design 1999 , November 7-11 , 1999 San Jose , California , USA ICCAD IEEE 1999 ICCAD
B-author I-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor I-editor B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date I-date I-date B-location I-location I-location I-location I-location I-location B-booktitle B-publisher B-date B-booktitle
4d16a58868ac6c0c1eb149a0
Fabrizio Ferrandi Alberto Macii Enrico Macii Massimo Poncino Riccardo Scarsi Fabio Somenzi Symbolic algorithms for layout - oriented synthesis of pass transistor logic circuits . 235-241 1998 ICCAD
B-author I-author B-author I-author B-author I-author B-author I-author B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a58868ac6c0cffb449a0
Ellen Sentovich Horia Toma Gerard Berry Latch optimization in circuits generated from high - level descriptions . 428-435 1996 ICCAD
B-author I-author B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a58868ac6c0cc7b549a0
Joe G. Xi Wayne Wei - Ming Dai Jitter - tolerant clock routing in two - phase synchronous systems . 316-320 1996 ICCAD
B-author I-author I-author B-author I-author I-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a58868ac6c0c96bc49a0
Ren - Hung Hwang Optimal Video Placement for Hierarchical Video - on - Demand Systems . 454-461 1998 Proceedings of the International Conference On Computer Communications and Networks ( ICCCN ) October 12-15 , 1998 Lafayette , Lousiana , USA ICCCN IEEE 1998 ICCCN
B-author I-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location I-location I-location B-booktitle B-publisher B-date B-booktitle
4d16a58968ac6c0c01ca49a0
John G. Geske Diane Kakihara Almost - Everywhere Complexity , Bi - Immunity and Nondeterministic Space . 44-51 1990 Selim G. Akl Frantisek Fiala Waldemar W. Koczkodaj Advances in Computing and Information - ICCI ' 90 , International Conference on Computing and Information , Proceedings May 23-26 , 1990 Niagara Falls , Canada ICCI Lecture Notes in Computer Science 468 Springer 1990 ICCI
B-author I-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor I-editor B-editor I-editor B-editor I-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location I-location B-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle
4d16a58968ac6c0cd8cd49a0
Anne - Marie Rassinoux Robert H. Baud Jean - Raoul Scherrer A Multilingual Analyser ofMedical Texts . 84-96 1994 William M. Tepfenhart Judith P. Dick John F. Sowa Conceptual Structures : Current Practices , Second International Conference on Conceptual Structures , ICCS ' 94 , Proceedings August 16-20 , 1994 College Park , Maryland , USA ICCS Lecture Notes in Computer Science 835 Springer 1994 ICCS
B-author I-author I-author I-author B-author I-author I-author B-author I-author I-author I-author B-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor I-editor B-editor I-editor I-editor B-editor I-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location I-location I-location I-location B-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle
4d16a58968ac6c0c85d949a0
Liran Goshen Ilan Shimshoni P. Anandan Daniel Keren Recovery of Epipolar Geometry as a Manifold Fitting Problem . 1321-1328 2003 9th IEEE International Conference on Computer Vision ( ICCV ) 14-17 October 2003 Nice , France IEEE Computer Society 2003 ICCV
B-author I-author B-author I-author B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date B-location I-location I-location B-publisher I-publisher I-publisher B-date B-booktitle
4d16a58968ac6c0cc1da49a0
Baback Moghaddam Principal Manifolds and Bayesian Subspaces for Visual Recognition . 1131-1136 1999 ICCV
B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a58968ac6c0c8adb49a0
Garbis Salgian Dana H. Ballard Visual Routines for Autonomous Driving . 876-882 1998 ICCV
B-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a58968ac6c0c2fdc49a0
Tomas Uhlin Peter Nordlund Atsuto Maki Jan - Olof Eklundh Towards an Active Visual Observer . 679-686 1995 ICCV
B-author I-author B-author I-author B-author I-author B-author I-author I-author I-author B-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a58968ac6c0cb9dd49a0
Francesca Cesarini Enrico Francesconi Marco Gori Simone Marinai Jianqing Sheng Giovanni Soda A Neural - Based Architecture for Spot - Noisy Logo Recognition . 175-179 1997 4th International Conference Document Analysis and Recognition ( ICDAR ' 97 ) , Proceedings 2 - Volume Set August 18-20 , 1997 Ulm , Germany ICDAR IEEE Computer Society 1997 ICDAR
B-author I-author B-author I-author B-author I-author B-author I-author B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location B-booktitle B-publisher I-publisher I-publisher B-date B-booktitle
4d16a58a68ac6c0c10e149a0
George Saon Abdel Belaid Y. Gong Stochastic trajectory modeling for recognition of unconstrained handwritten words . 508 - 1995 ICDAR
B-author I-author B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages I-pages B-date B-booktitle
4d16a58a68ac6c0cece149a0
Hanno Walischewski Automatic Knowledge Acquisition for Spatial Document Interpretation . 243 - 1997 4th International Conference Document Analysis and Recognition ( ICDAR ' 97 ) , Proceedings 2 - Volume Set August 18-20 , 1997 Ulm , Germany ICDAR IEEE Computer Society 1997 ICDAR
B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title B-pages I-pages B-date B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location B-booktitle B-publisher I-publisher I-publisher B-date B-booktitle
4d16a58a68ac6c0ce2e449a0
David P. Anderson Shin - Yuan Tzou Robert Wahbe Ramesh Govindan M. Andrews Support for Continuous Media in the DASH System . 54-61 1990 10th International Conference on Distributed Computing Systems ( ICDCS ) May 28 - June 1 , 1990 Paris , France ICDCS IEEE Computer Society 1990 ICDCS
B-author I-author I-author B-author I-author I-author I-author B-author I-author B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date I-date I-date I-date B-location I-location I-location B-booktitle B-publisher I-publisher I-publisher B-date B-booktitle
4d16a58a68ac6c0c6ae549a0
Songqing Chen Li Xiao Xiaodong Zhang Dynamic Load Sharing with Unknown Memory Demands in Clusters . 109-118 2001 ICDCS
B-author I-author B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a58a68ac6c0c69e649a0
Eugene Gendelman Lubomir Bic Michael B. Dillencourt An Application - Transparent , Platform - Independent Approach to Rollback - Recovery for Mobile Agent Systems . 564-571 2000 ICDCS
B-author I-author B-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a58a68ac6c0cdde749a0
Avraham Leff Philip S. Yu A Comparison of Regression - Based Load Sharing Strategies for Distributed Database Environments . 98-107 1992 ICDCS
B-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a58a68ac6c0c21e849a0
G. Robert Malan Farnam Jahanian Peter Knoop Comparison of Two Middleware Data Dissemination Services in a Wide - Area Distributed Systems . 0 - 1997 ICDCS
B-author I-author I-author B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages I-pages B-date B-booktitle
4d16a58a68ac6c0cb4e949a0
Sandeep K. Singhal David R. Cheriton Using Projection Aggregations to Support Scalability to Distributed Simulation . 196-206 1996 ICDCS
B-author I-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a58a68ac6c0c86ef49a0
Sihem Amer - Yahia Yannis Kotidis Web - Services Architecture for Efficient XML Data Exchange . 523-534 2004 Proceedings of the 20th International Conference on Data Engineering , ICDE 30 March - 2 April 2004 Boston , MA , USA ICDE IEEE Computer Society 2004 ICDE
B-author I-author I-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date I-date I-date B-location I-location I-location I-location I-location B-booktitle B-publisher I-publisher I-publisher B-date B-booktitle
4d16a58a68ac6c0c95f049a0
Xiaolin Du Fred J. Maryanski Data Allocation in a Dynamically Reconfigurable Environment . 74-81 1988 ICDE Proceedings of the Fourth International Conference on Data Engineering February 1-5 , 1988 Los Angeles , California , USA IEEE Computer Society 1988
B-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location I-location I-location I-location B-publisher I-publisher I-publisher B-date
4d16a58a68ac6c0cd2f149a0
Clark D. French Teaching an OLTP Database Kernel Advanced Data Warehousing Techniques . 194-198 1997 ICDE W. A. Gray Per - Ake Larson Proceedings of the Thirteenth International Conference on Data Engineering April 7-11 , 1997 IEEE Computer Society 1997
B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle B-editor I-editor I-editor B-editor I-editor I-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-publisher I-publisher I-publisher B-date
4d16a58a68ac6c0c85f249a0
Stephen Hayne Sudha Ram Multi - User View Integration System ( MUVIS ) : An Expert System for View Integration . 402-409 1990 ICDE Proceedings of the Sixth International Conference on Data Engineering February 5-9 , 1990 Los Angeles , California , USA IEEE Computer Society 1990
B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location I-location I-location I-location B-publisher I-publisher I-publisher B-date
4d16a58a68ac6c0c59f349a0
Yuhui Jin Sichun Xu Stefan Decker Gio Wiederhold OntoWebber : A Novel Approach for Managing Data on the We . 488-489 2002 Proceedings of the 18th International Conference on Data Engineering 26 February - 1 March 2002 San Jose , CA IEEE Computer Society 2002 ICDE
B-author I-author B-author I-author B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date I-date I-date B-location I-location I-location I-location B-publisher I-publisher I-publisher B-date B-booktitle
4d16a58a68ac6c0c65f549a0
Yannis Papakonstantinou Hector Garcia - Molina Jeffrey D. Ullman MedMaker : A Mediation System Based on Declarative Specifications . 132-141 1996 ICDE Stanley Y. W. Su Proceedings of the Twelfth International Conference on Data Engineering February 26 - March 1 , 1996 New Orleans , Louisiana IEEE Computer Society 1996
B-author I-author B-author I-author I-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle B-editor I-editor I-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date I-date I-date I-date B-location I-location I-location I-location B-publisher I-publisher I-publisher B-date
4d16a58a68ac6c0c9df649a0
Giedrius Slivinskas Christian S. Jensen Richard T. Snodgrass Query Plans for Conventional and Temporal Queries Involving Duplicates and Ordering . 547-558 2000 ICDE
B-author I-author B-author I-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a58b68ac6c0c15054aa0
Shaoying Liu Yong Sun Structured methodology +object-oriented methodology +formal methods : methodology of SOFL . 137-144 1995 1st IEEE International Conference on Engineering of Complex Computer Systems ( ICECCS ' 95 ) November 6-10 , 1995 Fort Lauderdale , Florida , USA ICECCS IEEE Computer Society 1995 ICECCS
B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location I-location I-location I-location B-booktitle B-publisher I-publisher I-publisher B-date B-booktitle
4d16a58b68ac6c0c86114aa0
Jin G. Kim Kyung - gon Noh Kiheon Park Human - Like Dynamic Walking for a Biped Robot Using Genetic Algorithm . 159-170 2001 Yong Liu Kiyoshi Tanaka Masaya Iwata Tetsuya Higuchi Moritoshi Yasunaga Evolvable Systems : From Biology to Hardware , 4th International Conference , ICES Proceedings October 3-5 , 2001 Tokyo , Japan ICES Lecture Notes in Computer Science 2210 Springer 2001 ICES
B-author I-author I-author B-author I-author I-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor B-editor I-editor B-editor I-editor B-editor I-editor B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location B-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle
4d16a58c68ac6c0c88164aa0
Kirsten Lackner Solberg Gasser Flemming Nielson Hanne Riis Nielson Systematic Realisation of Control Flow Analyses for CML . 38-51 1997 ICFP
B-author I-author I-author I-author B-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a58c68ac6c0c3e194aa0
Steven A. Harp Tariq Samad Aloke Guha Towards the Genetic Synthesisof Neural Networks . 360-369 1989 J. David Schaffer Proceedings of the 3rd International Conference on Genetic Algorithms June 1989 Fairfax , Virginia , USA George Mason University ICGA Morgan Kaufmann 1989 ICGA
B-author I-author I-author B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date B-location I-location I-location I-location I-location B-institution I-institution I-institution B-booktitle B-publisher I-publisher B-date B-booktitle
4d16a58c68ac6c0cc41a4aa0
Rafael C. Carrasco Jose Oncina Learning Stochastic Regular Grammars by Means of a State Merging Method . 139-152 1994 Rafael C. Carrasco Jose Oncina Grammatical Inference and Applications , Second International Colloquium , ICGI - 94 , Proceedings September 21-23 , 1994 Alicante , Spain ICGI Lecture Notes in Computer Science 862 Springer 1994 ICGI
B-author I-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor I-editor B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location B-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle
4d16a56668ac6c0cb6a546a0
Lee R. Nackman John J. Barton Base - Class Composition with Multiple Derivation and Virtual Bases . 57-72 1994 C ++ Conference
B-author I-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle I-booktitle
4d16a56668ac6c0cf8a646a0
James J. Kuffner Jr . Jean - Claude Latombe Fast Synthetic Vision , Memory , and Learning Models for Virtual Humans . 118-127 1999 CA
B-author I-author I-author I-author I-author B-author I-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a56968ac6c0c79ea46a0
B. J. Fogg Hsiang Tseng The Elements of Computer Credibility . 80-87 1999 CHI
B-author I-author I-author B-author I-author B-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a56968ac6c0c21ef46a0
Anant Kartik Mithal Sarah A. Douglas Differences in Movement Microstructure of the Mouse and the Finger - Controlled Isometric Joystick . 300-307 1996 CHI
B-author I-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a56e68ac6c0c723347a0
Peter L. Bartlett Philip M. Long More Theorems about Scale - sensitive Dimensions and Learning . 392-401 1995 COLT
B-author I-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a57068ac6c0cd56b47a0
Nancy J. Wahl Student - Run Usability Testing . 123-131 2000 CSEE and T
B-author I-author I-author B-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle I-booktitle
4d16a58d68ac6c0c39334aa0
Mark S. Drew Ze - Nian Li Xiang Zhong Video Dissolve and Wipe Detection via Spatio - Temporal Images of Chromatic Histogram Differences . 2000 ICIP
B-author I-author I-author B-author I-author I-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-date B-booktitle
4d16a58d68ac6c0cf0354aa0
George M. Haley B. S. Manjunath Rotation - invariant texture classification using modified Gabor filters . 262-265 1995 ICIP
B-author I-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a58d68ac6c0c19374aa0
Hiroshi Ito Nariman Farvardin A wavelet video coder using entropy - constrained trellis coded quantization . 598-601 1995 ICIP
B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a58d68ac6c0ca73b4aa0
Jiebo Luo Hongzhi Li Chang Wen Chen Ultrasound Image Compression Based on Subband Decomposition and Speckle Synthesis . 106-109 1997 ICIP (3)
B-author I-author B-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle
4d16a58d68ac6c0c783f4aa0
Pietro Perona Marco Tartagni Diffusion Networks for On - Chip Image Contrast Normalization . 1-5 1994 ICIP (1)
B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle
4d16a58d68ac6c0c1f484aa0
W. Zeng B. Liu On Resolving Rightful Ownership's of Digital Images by Invisible Watermarks . 552 - 1997 ICIP (1)
B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages I-pages B-date B-booktitle I-booktitle
4d16a58e68ac6c0cd0554aa0
Larry S. Seligman Adoption as sensemaking : toward an adopter - centered process model of IT adoption . 361-370 2000 ICIS
B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a58e68ac6c0c44574aa0
Sung - Ming Yen Seungjoo Kim Seongan Lim Sang - Jae Moon A Countermeasure against One Physical Cryptanalysis May Benefit Another Attack . 414-427 2001 Kwangjo Kim Information Security and Cryptology - ICISC , 4th International Conference Seoul , Proceedings December 6-7 , 2001 Korea ICISC Lecture Notes in Computer Science 2288 Springer 2002 ICISC
B-author I-author I-author I-author B-author I-author B-author I-author B-author I-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location B-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle
4d16a58e68ac6c0c24594aa0
Michael Codish Moreno Falaschi Kim Marriott Suspension Analysis for Concurrent Logic Programs . 331-345 1991 ICLP
B-author I-author B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a58e68ac6c0c78594aa0
Sandro Etalle Maurizio Gabbrielli A Transformation System for Modular CLP Programs . 681-695 1995 ICLP
B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a58e68ac6c0c025a4aa0
Michael Gelfond Vladimir Lifschitz Logic Programs with Classical Negation . 579-597 1990 ICLP
B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a58e68ac6c0cef5a4aa0
Liang - Liang Li Mike Reeve Kees Schuerman Andre Veron Jacques Bellone Claudine Pradelles Zissis Palaskas Takis Stamatopoulos Dominic A. Clark Sylvie Doursenot Christopher J. Rawlings Jack Shirazi Giuseppe Sardu APPLAUSE : Applications Using the ElipSys Parallel CLP System . 847-848 1993 ICLP
B-author I-author I-author I-author B-author I-author B-author I-author B-author I-author B-author I-author B-author I-author B-author I-author B-author I-author B-author I-author I-author B-author I-author B-author I-author I-author B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a58e68ac6c0cfc5b4aa0
Antonio Porto Epilog : A Language for Extended Programming in Logic . 31-37 1982 ICLP
B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a58e68ac6c0c3a5c4aa0
Prasad Rao C. R. Ramakrishnan I. V. Ramakrishnan A Thread in Time Saves Tabling Time . 112-126 1996 JICSLP
B-author I-author B-author I-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a58e68ac6c0c785c4aa0
Kish Shen Implementing Dynamic Dependent And - Parallelism . 167-183 1993 ICLP
B-author I-author B-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a58e68ac6c0ce65c4aa0
Laurent Vieille A Database - Complete Proof Procedure Based on SLD - Resolution . 74-103 1987 ICLP
B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a58e68ac6c0c845d4aa0
Jorg Denzinger Knowledge - Based Distributed Search Using Teamwork . 81-88 1995 Victor R. Lesser Les Gasser Proceedings of the First International Conference on Multiagent Systems June 12-14 , 1995 San Francisco , California , USA ICMAS The MIT Press 1995 ICMAS
B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor I-editor B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location I-location I-location I-location B-booktitle B-publisher I-publisher I-publisher B-date B-booktitle
4d16a58e68ac6c0ca55d4aa0
Alessandro Cimatti Luciano Serafini Multiagent Reasoning with Belief Contexts II : Elaboration Tolerance . 57-64 1995 Victor R. Lesser Les Gasser Proceedings of the First International Conference on Multiagent Systems June 12-14 , 1995 San Francisco , California , USA ICMAS The MIT Press 1995 ICMAS
B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor I-editor B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location I-location I-location I-location B-booktitle B-publisher I-publisher I-publisher B-date B-booktitle
4d16a58e68ac6c0cb25d4aa0
Jacques Ferber Olivier Gutknecht Catholijn M. Jonker Jan Treur Jean - Pierre Muller Organization Models and Behavioral Requirements Specification for Multi - Agent Systems . 387-388 2000 4th International Conference on Multi - Agent Systems ( ICMAS ) 10-12 July 2000 Boston , MA , USA ICMAS IEEE Computer Society 2000 ICMAS
B-author I-author B-author I-author B-author I-author I-author B-author I-author B-author I-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date B-location I-location I-location I-location I-location B-booktitle B-publisher I-publisher I-publisher B-date B-booktitle
4d16a58f68ac6c0cb4714aa0
Rich Caruana Algorithms and Applications for Multitask Learning . 87-95 1996 ICML
B-author I-author B-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a59068ac6c0c5e734aa0
Hisashi Kashima Yuta Tsuboi Kernel - based discriminative learning algorithms for labeling sequences , trees , and graphs . 2004 Carla E. Brodley Machine Learning , Proceedings of the Twenty - first International Conference ( ICML ) July 4-8 , 2004 Banff , Alberta , Canada ICML ACM International Conference Proceeding Series 69 ACM 2004 ICML
B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-date B-editor I-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location I-location I-location B-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle
4d16a59068ac6c0cd8744aa0
Balas K. Natarajan Prasad Tadepalli Two New Frameworks for Learning . 402-415 1988 ML
B-author I-author I-author B-author I-author B-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a59068ac6c0c8f754aa0
Lawrence K. Saul Automatic Segmentation of Continuous Trajectories with Invariance to Nonlinear Warpings of Time . 506-514 1998 Jude W. Shavlik Proceedings of the Fifteenth International Conference on Machine Learning ( ICML ) July 24-27 , 1998 Madison , Wisconson , USA ICML Morgan Kaufmann 1998 ICML
B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location I-location I-location B-booktitle B-publisher I-publisher B-date B-booktitle
4d16a59068ac6c0cb0794aa0
L. Fan Michael E. Woodward John G. Gardiner Performance of an Inter - segment Handover Protocol in an IP - Based Terrestrial /Satellite Mobile Communications Network . 147-156 2001 Pascal Lorenz Networking - ICN , First International Conference , Proceedings July 9-13 Colmar , France Volume 1 ICN Lecture Notes in Computer Science 2093 Springer 2001 ICN (1)
B-author I-author B-author I-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date B-location I-location I-location B-volume I-volume B-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle I-booktitle
4d16a59168ac6c0c819c4aa0
Noureddine Abbadeni Djemel Ziou Shengrui Wang Autocovariance - based Perceptual Textural Features Corresponding to Human Visual Perception . 3913-3916 2000 ICPR
B-author I-author B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a59168ac6c0c8f9e4aa0
Yi - Kai Chen Jhing - Fa Wang Segmentation of Handwritten Connected Numeral String Using Background and Foreground Analysis . 2598-2601 2000 ICPR
B-author I-author I-author I-author B-author I-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a59168ac6c0caea64aa0
Ilse Ravyse Hichem Sahli Jan Cornelis Marcel J. T. Reinders Eye Activity Detection and Recognition Using Morphological Scale - Space Decomposition . 5080-5083 2000 ICPR
B-author I-author B-author I-author B-author I-author B-author I-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a59268ac6c0c2cb04aa0
Mehmet Onder Efe Okyay Kaynak Imre J. Rudas A Novel Computationally Intelligent Architecture for Identification and Control of Nonlinear Systems . 2073-2077 1999 ICRA
B-author I-author I-author B-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a59268ac6c0c62b14aa0
Siome Goldenstein Menelaos I. Karavelas Dimitris N. Metaxas Leonidas J. Guibas Ambarish Goswami Scalable Dynamical Systems for Multi - Agent Steering and Simulation . 3973-3980 2001 Proceedings of the IEEE International Conference on Robotics and Automation , ICRA May 21-26 , 2001 Seoul , Korea IEEE ICRA 2001 ICRA
B-author I-author B-author I-author I-author B-author I-author I-author B-author I-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location B-publisher B-booktitle B-date B-booktitle
4d16a59268ac6c0c2eb44aa0
Daniel Keren Ehud Rivlin Ilan Shimshoni Isaac Weiss Recognizing Surfaces Using Curve Invariants and Differential Properties of Curves and Surfaces . 3375-3381 1998 ICRA
B-author I-author B-author I-author B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a59268ac6c0c41b54aa0
James J. Kuffner Jr . Koichi Nishiwaki Satoshi Kagami Yasuo Kuniyoshi Masayuki Inaba Hirochika Inoue Self - Collision Detection and Prevention for Humanoid Robots . 2265-2270 2002 Proceedings of the IEEE International Conference on Robotics and Automation , ICRA May 11-15 , 2002 Washington , DC , USA IEEE ICRA 2002 ICRA
B-author I-author I-author I-author I-author B-author I-author B-author I-author B-author I-author B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location I-location I-location B-publisher B-booktitle B-date B-booktitle
4d16a59268ac6c0c0db74aa0
Kevin M. Lynch Matthew T. Mason Pulling by Pushing , Slip with Infinite Friction , and Perfectly Rough Surfaces . 745-751 1993 ICRA (1)
B-author I-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle
4d16a59268ac6c0c89b84aa0
Enzo Mumolo Massimiliano Nolich Gianni Vercelli Algorithms and Architectures for Acoustic Localization Based on Microphone Array in Service Robotics . 2966-2971 2000 Proceedings of the IEEE International Conference on Robotics and Automation , ICRA April 24-28 , 2000 San Francisco , CA , USA IEEE ICRA 2000 ICRA
B-author I-author B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location I-location I-location I-location B-publisher B-booktitle B-date B-booktitle
4d16a59268ac6c0c18ba4aa0
Liam Pedersen Maria Bualat C. Kunz S. Lee R. Sargent Richard Washington A. Wright Instrument deployment for Mars Rovers . 2535-2542 2003 Proceedings of the IEEE International Conference on Robotics and Automation , ICRA September 14-19 , 2003 Taipei , Taiwan IEEE ICRA 2003 ICRA
B-author I-author B-author I-author B-author I-author B-author I-author B-author I-author B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location B-publisher B-booktitle B-date B-booktitle
4d16a59268ac6c0c35bc4aa0
Hiroyuki Shinoda Naoki Morimoto Shigeru Ando Tactile Sensing Using Tensor Cell . 825-830 1995 ICRA
B-author I-author B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a59268ac6c0c31bd4aa0
John Sweeney T. J. Brunette Yunlei Yang Roderic A. Grupen Coordinated Teams of Reactive Mobile Platforms . 299-304 2002 Proceedings of the IEEE International Conference on Robotics and Automation , ICRA May 11-15 , 2002 Washington , DC , USA IEEE ICRA 2002 ICRA
B-author I-author B-author I-author I-author B-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location I-location I-location B-publisher B-booktitle B-date B-booktitle
4d16a59268ac6c0cf8be4aa0
Mark West Haruhiko Asada Design and Control of Ball Wheel Omnidirectional Vehicles . 1931-1938 1995 ICRA
B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a59268ac6c0cacbf4aa0
Christopher C. Yang Michael M. Marefat Rangasami L. Kashyap Active Visual Inspection Based on CAD Models . 1120-1125 1994 ICRA
B-author I-author I-author B-author I-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a59268ac6c0c45c04aa0
Billibon H. Yoshimi Peter K. Allen Active , Uncalibrated Visual Servoing . 156-161 1994 ICRA
B-author I-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a59368ac6c0c33cd4aa0
Li - Ling Chen Williams Ludwell Harrison III An efficient approach to computing fixpoints for complex program analysis . 98-106 1994 International Conference on Supercomputing
B-author I-author I-author I-author B-author I-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle I-booktitle I-booktitle
4d16a59368ac6c0ccfcd4aa0
Tzi - cker Chiueh Manish Verma A Compiler - Directed Distributed Shared Memory System . 77-86 1995 International Conference on Supercomputing
B-author I-author I-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle I-booktitle I-booktitle
4d16a59368ac6c0c10ce4aa0
Christine Eisenbeis Optimization of horizontal microcode generation for loop structures . 453-465 1988 ICS
B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a59368ac6c0cabd24aa0
Robert Balzer Neil M. Goldman David S. Wile On the Transformational Implementation Approach to Programming . 337-344 1976 ICSE
B-author I-author B-author I-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a59368ac6c0cc5d24aa0
Mikio Aoyama Agile Software Process and Its Experience . 3-12 1998 ICSE
B-author I-author B-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a59368ac6c0cced34aa0
Satish Chandra Patrice Godefroid Christopher Palm Software model checking in practice : an industrial case study . 431-441 2002 Proceedings of the 22rd International Conference on Software Engineering , ICSE 19-25 May 2002 Orlando , Florida , USA ICSE ACM 2002 ICSE
B-author I-author B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date B-location I-location I-location I-location I-location B-booktitle B-publisher B-date B-booktitle
4d16a59368ac6c0c31d44aa0
Davor Cubranic Gail C. Murphy Hipikat : Recommending Pertinent Software Development Artifacts . 408-418 2003 Proceedings of the 25th International Conference on Software Engineering May 3-10 , 2003 Portland , Oregon , USA ICSE IEEE Computer Society 2003 ICSE
B-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location I-location I-location B-booktitle B-publisher I-publisher I-publisher B-date B-booktitle
4d16a59368ac6c0c8fd64aa0
W. Lewis Johnson Martin S. Feather Building an Evolution Transformation Library . 238-248 1990 ICSE
B-author I-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a59368ac6c0c9cd74aa0
Bev Littlewood Lorenzo Strigini Software reliability and dependability : a roadmap . 175-188 2000 ICSE - Future of SE Track
B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle
4d16a59368ac6c0c0dd94aa0
Burkhard Peuschel Wilhelm Schafer Concepts and Implementation of a Rule - Based Process Engine . 262-279 1992 ICSE
B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a59368ac6c0c56d94aa0
Torsten Robschink Gregor Snelting Efficient path conditions in dependence graphs . 478-488 2002 Proceedings of the 22rd International Conference on Software Engineering , ICSE 19-25 May 2002 Orlando , Florida , USA ICSE ACM 2002 ICSE
B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date B-location I-location I-location I-location I-location B-booktitle B-publisher B-date B-booktitle
4d16a59468ac6c0cfbdd4aa0
Kingsum Chow David Notkin Semi - automatic update of applications in response to library changes . 359 - 1996 International Conference on Software Maintenance ( ICSM ' 96 ) , Proceedings 4-8 November 1996 Monterey , CA , USA ICSM 1996 IEEE Computer Society ICSM
B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages I-pages B-date B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date B-location I-location I-location I-location I-location B-booktitle B-date B-publisher I-publisher I-publisher B-booktitle
4d16a59468ac6c0c05df4aa0
Nazim H. Madhavji Josee Tasse Policy - guided Software Evolution . 75-82 2003 19th International Conference on Software Maintenance ( ICSM ) , The Architecture of Existing Systems 22-26 September 2003 Amsterdam , The Netherlands ICSM 2003 IEEE Computer Society ICSM
B-author I-author I-author B-author I-author B-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date B-location I-location I-location I-location B-booktitle B-date B-publisher I-publisher I-publisher B-booktitle
4d16a59468ac6c0c27df4aa0
Tom Mens A Formal Foundation for Object - Oriented Software Evolution . 549-552 2001 ICSM
B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a59468ac6c0c9ae04aa0
Silvana Castano Alfio Ferrara Stefano Montanelli Gianpaolo Racca Semantic Information Interoperability in Open Networked Systems . 215-230 2004 Mokrane Bouzeghoub Carole A. Goble Vipul Kashyap Stefano Spaccapietra Semantics for Grid Databases , First International IFIP Conference on Semantics of a Networked World : ICSNW , . Revised Selected Papers June 17-19 Paris , France ICSNW Lecture Notes in Computer Science 3226 Springer 2004 ICSNW
B-author I-author B-author I-author B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor B-editor I-editor I-editor B-editor I-editor B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date B-location I-location I-location B-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle
4d16a59468ac6c0c0ae84aa0
Clara Pizzuti Computing Prime Implicants by Integer Programming . 332-336 1996 ICTAI
B-author I-author B-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a59568ac6c0c90fb4aa0
David E. Gay Interface Definition Language Conversions : Recursive Types . 101-110 1994 Workshop on Interface Definition Languages
B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle
4d16a59568ac6c0c0a024ba0
David Stuart Robertson Flavio S. Correa da Silva Wamberto Weber Vasconcelos Ana Cristina Vieira de Melo A Lightweight Capability Communication Mechanism . 660-670 2000 Rasiah Loganantharaj Gunther Palm Intelligent Problem Solving , Methodologies and Approaches , 13th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems , IEA /AIE , Proceedings June 19-22 , 2000 New Orleans , Louisiana , USA IEA /AIE Lecture Notes in Computer Science 1821 Springer 2000 IEA /AIE
B-author I-author I-author B-author I-author I-author I-author I-author B-author I-author I-author B-author I-author I-author I-author I-author B-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location I-location I-location I-location B-booktitle I-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle I-booktitle
4d16a59568ac6c0c5a054ba0
Christoph Beierle Formal Design of an Abstract Machine for Constraint Logic Programming . 377-382 1994 IFIP Congress (1)
B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle I-booktitle
4d16a59568ac6c0cf7054ba0
U. Bussolati Maria Grazia Fugini Giancarlo Martella A Conceptual Framework for Security Systems : The Action - Entity Model . 127-132 1983 IFIP Congress
B-author I-author B-author I-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle I-booktitle
4d16a59668ac6c0c2a1a4ba0
Luis Brito Jose Neves Francisco Moura A mobile - agent based architecture for virtual enterprises . 167-174 2000 Luis M. Camarinha - Matos Hamideh Afsarmanesh Ricardo J. Rabelo E - Business and Virtual Enterprises : Managing Business - to - Business Cooperation , IFIP TC 5 /WG5.3 Second IFIP Working Conference on Infrastructures for Virtual Organizations : Managing Cooperation in Virtual Organizations and Electronic Busimess towards Smart Organizations December 4-6 , 2000 Florianopolis , Brazil E - Business and Virtual Enterprises IFIP Conference Proceedings 184 Kluwer 2000 E - Business and Virtual Enterprises
B-author I-author B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor I-editor I-editor I-editor B-editor I-editor B-editor I-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-series I-series I-series B-volume B-publisher B-date B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle
4d16a59668ac6c0ce61f4ba0
Zoltan Turanyi Andras Veres A. Olah A family of measurement - based admission control algorithms . 153-164 1998 Ulf Korner Arne A. Nilsson Performance of Information and Communication Systems , IFIP TC 6 /WG6.3 Seventh International Conference on Performance of Information and Communication Systems ( PICS ' 98 ) 25-28 May 1998 Lund , Schweden PICS IFIP Conference Proceedings 127 Chapman and Hall 1998 PICS
B-author I-author B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor B-editor I-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date B-location I-location I-location B-booktitle B-series I-series I-series B-volume B-publisher I-publisher I-publisher B-date B-booktitle
4d16a59768ac6c0c432a4ba0
Adam Back Ulf Moller Anton Stiglic Traffic Analysis Attacks and Trade - Offs in Anonymity Providing Systems . 245-257 2001 Ira S. Moskowitz Information Hiding , 4th International Workshop , IHW , Proceedings April 25-27 , 2001 Pittsburgh , PA , USA Information Hiding Lecture Notes in Computer Science 2137 Springer 2001 Information Hiding
B-author I-author B-author I-author B-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location I-location I-location B-booktitle I-booktitle B-series I-series I-series I-series I-series B-volume B-publisher B-date B-booktitle I-booktitle
4d16a59768ac6c0c61314ba0
Greg Barish Craig A. Knoblock Learning Value Predictors for the Speculative Execution of Information Gathering Plans . 3-9 2003 Georg Gottlob Toby Walsh IJCAI - 03 , Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence August 9-15 , 2003 Acapulco , Mexico IJCIA Morgan Kaufmann 2003 IJCAI
B-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location B-booktitle B-publisher I-publisher B-date B-booktitle
4d16a59768ac6c0c97324ba0
Michael H. Bowling Manuela M. Veloso Bounding the Suboptimality of Reusing Subproblem . 1340-1347 1999 Thomas Dean Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence , IJCAI 99 July 31 - August 6 , 1999 . Stockholm , Sweden Morgan Kaufmann 1999 IJCAI
B-author I-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date I-date I-date I-date I-date B-location I-location I-location B-publisher I-publisher B-date B-booktitle
4d16a59768ac6c0c22334ba0
James R. Carbonell Allan M. Collins Natural Semantics in Artificial Intelligence . 344-351 1973 IJCAI
B-author I-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle
4d16a59768ac6c0c35384ba0
Henry A. Kautz Yongshao Ruan Dimitris Achlioptas Carla P. Gomes Bart Selman Mark E. Stickel Balance and Filtering in Structured Satisfiable Problems . 351-358 2001 Bernhard Nebel Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence , IJCAI August 4-10 , 2001 Seattle , Washington , USA IJCIA Morgan Kaufmann 2001 IJCAI
B-author I-author I-author B-author I-author B-author I-author B-author I-author I-author B-author I-author B-author I-author I-author B-title I-title I-title I-title I-title I-title I-title I-title B-pages B-date B-editor I-editor B-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle I-booktitle B-date I-date I-date I-date B-location I-location I-location I-location I-location B-booktitle B-publisher I-publisher B-date B-booktitle
4d16a59768ac6c0caa394ba0
Vladimir Lifschitz Nonmonotonic Databases and Epistemic Queries . 381-386 1991 IJCAI
B-author I-author B-title I-title I-title I-title I-title I-title B-pages B-date B-booktitle