close
1.

図書

図書
Belur V. Dasarathy, editor ; sponsored and published by SPIE--the International Society for Optical Engineering
出版情報: Bellingham, Wash. : SPIE, c2007  1 v. (various pagings) ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v.6570
所蔵情報: loading…
2.

図書

図書
Shu-Zi Yang, Ji Zhou, Cheng-Gang Li, chairs/editors ; sponsored by National Natural Science Foundation of China ... [et al.] ; cosponsored by Chinese Mechanical Engineering Society ... [et al.] ; organized by Huazhong University of Science and Technology, China ; published by SPIE--the International Society for Optical Engineering.; jf08 10-11-96 to SL
出版情報: Bellingham, Wash., USA : SPIE, c1995  xv, 818 p. ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 2620
所蔵情報: loading…
3.

図書

図書
Angappa Gunasekaran, Bhaskaran Gopalakrishnan, chairs/editors ; sponsored ... by SPIE-the International Society for Optical Engineering
出版情報: Bellingham, Wash., USA : SPIE, c2001  xiii, 138 p. ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 4565
所蔵情報: loading…
4.

図書

図書
Bhaskaran Gopalakrishnan, chair/editor ; sponsored and published by SPIE-the International Society for Optical Engineering ; technical cosponsor IEICE Communications Society (Japan) ; in cooperation with IEICE Electronics Society (Japan)
出版情報: Bellingham, Wash. : SPIE, c2004  ix, 266 p. ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 5605
所蔵情報: loading…
5.

図書

図書
Bhaskaran Gopalakrishnan, chair/editor ; sponsored and published by SPIE-the International Society for Optical Engineering
出版情報: Bellingham, Wash. : SPIE, c2005  1 v. (various pagings) ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 5999
所蔵情報: loading…
6.

図書

図書
Kevin L. Priddy, chair/editor ; sponsored ... by SPIE--the International Society for Optical Engineering
出版情報: Bellingham, Wash., USA : SPIE, c2004  ix, 196 p. ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 5421
所蔵情報: loading…
7.

図書

図書
Kevin L. Priddy, chair/editor ; sponsored and published by SPIE--the International Society for Optical Engineering ; cooperating organizations, Ball Aerospace & Technologies Corporation (USA) ... [et al.]
出版情報: Bellingham, Wash. : SPIE, c2005  v, 184 p. ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 5803
所蔵情報: loading…
8.

図書

図書
Kevin L. Priddy, Emre Ertin, chairs/editors ; sponsored and published by SPIE--the International Society for Optical Engineering
出版情報: Bellingham, Wash. : SPIE, c2006  1 v. (various pagings) ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 6229
所蔵情報: loading…
9.

図書

図書
edited by Ivan Plander
出版情報: Amsterdam ; Tokyo : North-Holland , New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1987  xvii, 499 p. ; 23 cm
所蔵情報: loading…
10.

図書

図書
G. Menges, N. Hövelmanns, E. Baur (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  iv, 245 p. ; 25 cm
シリーズ名: Lecture notes in engineering ; 29
所蔵情報: loading…
11.

図書

図書
edited by Masaru Kitsuregawa, Hidehiko Tanaka
出版情報: Boston : Kluwer Academic Pub., c1988  ix, 687 p. ; 25 cm
シリーズ名: The Kluwer international series in engineering and computer science ; 43 . Parallel processing and fifth generation computing
所蔵情報: loading…
12.

図書

図書
edited by M.A. Bramer
出版情報: Cambridge [Cambridgeshire] ; New York : Cambridge University Press on behalf of the British Computer Society, 1985  vi, 228 p. ; 24 cm
シリーズ名: The British Computer Society Workshop series
所蔵情報: loading…
13.

図書

図書
sponsored by IEEE Computer Society, Fontainebleau Hilton, Miami Beach, Florida, December 11-13, 1985
出版情報: Washington, D.C. : IEEE Computer Society Press , Los Angeles, CA : Order from IEEE Computer Society, c1985  xvii, 685 p. ; 28 cm
所蔵情報: loading…
14.

図書

図書
John F. Gilmore, chairman/editor
出版情報: Bellingham, Wash., USA : SPIE--The International Society for Optical Engineering, c1984  vi, 237 p. ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 485
所蔵情報: loading…
15.

図書

図書
edited by Thomas Bernold
出版情報: Amsterdam ; Tokyo : North-Holland, 1986  ix, 343 p. ; 24 cm
シリーズ名: Technology assessment and management ; 2
所蔵情報: loading…
16.

図書

図書
edited by Celal N. Kostem and Mary Lou Maher
出版情報: New York, N.Y. : American Society of Civil Engineers, c1986  vi, 250 p. ; 22 cm
所蔵情報: loading…
17.

図書

図書
edited by John S. Gero
出版情報: Amsterdam ; Tokyo : North-Holland , New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1987  x, 533 p. ; 23 cm
所蔵情報: loading…
18.

図書

図書
edited by Ben du Boulay and David Hogg, Luc Steels
出版情報: Amsterdam ; Tokyo : North-Holland , New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1987  xiv, 682 p. ; 23 cm
所蔵情報: loading…
19.

図書

図書
B. Bouchon, R.R. Yager, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  viii, 405 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 286
所蔵情報: loading…
目次情報: 続きを見る
Preliminary Papers
Approaches to Uncertainty
Applications
Information Theoretic Approach
Preliminary Papers
Approaches to Uncertainty
Applications
20.

図書

図書
Larry Kerschberg, editor
出版情報: Menlo Park, Calif. ; Tokyo : Benjamin/Cummings Pub. Co., c1987  501 p. ; 29 cm
シリーズ名: Benjamin/Cummings series in database systems and applications
所蔵情報: loading…
21.

図書

図書
edited by Jeryl L. Mumpower ... [et al.]
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  viii, 361 p. ; 25 cm
シリーズ名: NATO ASI series ; ser. F . Computer and systems sciences ; v. 35
所蔵情報: loading…
22.

図書

図書
edited by Bertram C. Brookes
出版情報: Amsterdam ; Tokyo : North-Holland , New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1986  xii, 247 p. ; 24 cm
所蔵情報: loading…
23.

図書

図書
edited by Ivo De Lotto and Mario Stefanelli
出版情報: Amsterdam ; New York : North-Holland , New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1985  viii, 226 p. ; 24 cm
所蔵情報: loading…
24.

図書

図書
edited by Janusz S. Kowalik and Charles T. Kitzmiller
出版情報: Amsterdam ; Tokyo : North-Holland , New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1988  viii, 274 p. ; 23 cm
所蔵情報: loading…
25.

図書

図書
B. Bouchon, L. Saitta, R.R. Yager (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988  viii, 408 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 313
所蔵情報: loading…
目次情報: 続きを見る
Mathematics
Fuzzy Sets and Possibility Theory
Information Theory
Intelligent Data Base
Knowledge Acquisition and Machine Learning
Knowledge Representation
Logics for Artificial Intelligence
Neural Nets
Reasoning Techniques Under Uncertainty
Late Arrivals
Invited Paper
Mathematics
Fuzzy Sets and Possibility Theory
Information Theory
26.

図書

図書
sponsored by IEEE Computer Society ; in cooperation with AAAI Society, Virtual Intelligence Task Force, BU-CIS Center
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1999  xvii, 446 p. ; 28 cm
所蔵情報: loading…
27.

図書

図書
editor, J.S. Wong
出版情報: Anaheim, CA : IASTED/Acta Press, c1996  ii, 242 p. ; 28 cm
所蔵情報: loading…
28.

図書

図書
Werner Horn [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999  xiii, 454 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1620 . Lecture Notes in Artificial Intelligence
所蔵情報: loading…
29.

図書

図書
Frank Puppe (ed.)
出版情報: Berlin ; Tokyo : Springer, c1999  viii, 225 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1570 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Knowledge Engineering - Survey and Future Directions / Rudi Studer ; Dieter Fensel ; Stefan Decker ; V. Richard Benjamins
Knowledge-Based Diagnosis - Survey and Future Directions / Oskar Dressler ; Frank Puppe
Knowledge-Based Configuration - Survey and Future Directions / Andreas Günter ; Christian Kühn
Case-Based Reasoning - Survey and Future Directions / Brigitte Bartsch-Spörl ; Mario Lenz ; André Hübner
Technical Papers: Methods
Meeting Re-use Requirements of Real-Life Diagnosis Applications / Thomas Guckenbiehl ; Heiko Milde ; Bernd Neumann ; Peter Struss
Towards Reusable Intelligent Scheduling Software / Jürgen Dorn
Organizational Memory: Knowledge Acquisition, Integration, and Retrieval Issues / Andreas Abecker
A Competence Knowledge Base System as Part of the Organizational Memory / Minghong Liao ; Knut Hinkelmann ; Michael Sintek
Practical Evaluation of an Organizational Memory Using the Goal-Question-Metric Technique / Markus Nick ; Carsten Tautz
On Texts, Cases, and Concepts / Alexander Glintschert
Integrated Case-Based Neural Network Approach to Problem Solving Technical Papers: Applications / Brian Lees ; Juan Corchado
PRO_PLANT - Experiences with a Knowledge-Based System for Plant Protection / Karoline Epke
WekI - A Knowledge Based System of Suva for the Assignment of Companies to Risk Related Groups / Gregor Kaufmann ; François Braun ; Kurt Egli ; Marc Hodel
Expert System Technology in Aircraft Fleet Managemet - The Development of SAREX / Henrik Imhof
Experiences with a Knowledge-Based Tutoring System for Student Education in Rheumatology / Stefan Schewe ; Bettina Reinhardt ; Christian Betz
Computer Assisted Editing of Genomic Sequences - Why And How We Evaluated a Prototype / Thomas Pfisterer ; Thomas Wetter
Experiences of Using a Computer-Aided Therapy Planning for Pediatric Oncology in Clinical Routine / Petra Knaup ; Timm Wiedemann ; Andreas Bachert ; Ursula Creutzig ; Reinhold Haux ; Michael Schafer ; Freimut Schilling
Experiences with Knowledge-Based Data Cleansing at the Epidemiological Cancer Registry of Lower-Saxony / Holger Hinrichs ; Kirsten Panienski
Author Index
Invited Papers
Knowledge Engineering - Survey and Future Directions / Rudi Studer ; Dieter Fensel ; Stefan Decker ; V. Richard Benjamins
Knowledge-Based Diagnosis - Survey and Future Directions / Oskar Dressler ; Frank Puppe
30.

図書

図書
Trevor Bench-Capon, Giovanni Soda, A Min Tjoa (eds.)
出版情報: Berlin : Springer, c1999  xviii, 1105 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1677
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
On Tractable Queries and Constraints / Gottlob G. ; Leone N. ; Scarcello F.
Object-Orientation I
Instances Evolution Vs Classes Evolution / Tamzalit D. ; Oussalah C.
Dynamic Relationships in Object Oriented Databases: A Uniform Approach / Rashid A. ; Sawyer P.
IFOOD: An Intelligent Object-Oriented Database Architecture / Koyuncu M. ; Yazici A. ; George R.
An OODBMS-IRS Integration Based on a Statistical Corpus Extraction Method for Document Management / Lee C.-H. ; Chien L.-F.
Query Aspects I
Controlled Hypertextual Navigation in the SgmlQL Language / Bruno E. ; Le Maitre J. ; Murisasco E.
SECONDO/QP: Implementation of a Generic Query Processor / Güting R.H. ; Dieker S. ; Freundorfer C. ; Becker L. ; Schenk H.
Hybrid Simultaneous Scheduling and Mapping in SQL Multi-query Parallelization / Bonneau S. ; Hameurlain A.
Cluster-Based Database Selection Techniques for Routing Bibliographic Queries / Xu J. ; Lim E.-P. ; Ng W.-K.
Fundamentals for Applications I
Developing Patterns as a Mechanism for Assisting the Management of Knowledge in the Context of Conducting Organisational Change / Prekas N. ; Loucopoulos P. ; Rolland C. ; Grosz G. ; Semmak F. ; Brash D.
Knowledge Acquisition for Mobile Robot Environment Mapping / Kulich M. ; Stepan P. ; Preucil L.
Text Understanding for Knowledge Base Generation in the SYNDICATE System / Hahn U. ; Romacker M
Knowledge Discovery with the Associative Memory Modell Neunet / Küng J. ; Hagmüller S. ; Hagmüller H.
Advanced Databases I
Tracking Mobile Users Utilizing Their Frequently Visited Locations / Lee C. ; Ke C.-H. ; Chen C.-C.
VPSF: A Parallel Signature File Technique Using Vertical Partitioning and Extendable Hashing / Kim J.-K. ; Chang J.-W.
A Case for Deltas in Business - to - Business Electronic Commerce / Ghandeharizadeh S. ; Sommers F.
Flexible Workflow Management Systems: An Approach Based on Generic Process Models / van der Aalst W.M.P.
Object-Orientation II
Object-Based Ordered Delivery of Messages in Object-Based Systems / Tanaka K. ; Higaki H. ; Takizawa M.
Storage and Retrieval of XML Documents Using Object-Relational Databases / Shimura T. ; Yoshikawa M. ; Uemura S.
Query Aspects II
SQL/LPP: A Time Series Extension of SQL Based on Limited Patience Patterns / Perng C.-S. ; Stott Parker D.
A Knowledge Based Approach for Modeling and Querying Multidimensional Databases / Bellahsene Z. ; Hacid M.-S.
An Incremental Hypercube Approach for Finding Best Matches for Vague Queries / Palkoska J.
Fundamentals for Applications II
Formalising Ontologies and Their Relations / Bench-Capon T. ; Malcolm G.
Is this Argument Justified, Overruled or Defensible? / Royakkers L
Addressing Efficiency Issues During the Process of Integrity Maintenance / Mayol E. ; Teniente E.
Advanced Databases II
Quality and Recommendation of Multi-Source Data for Assisting Technological Intelligence Applications / Berti L.
Benchmarking Attribute Cardinality Maps for Database Systems Using the TPC-D Specifications / Thiyagarajah M. ; Oommen J.
Using Self-organizing Maps to Organize Document Archives and to Characterize Subject Matters: How to Make a Map Tell the News of the World / Rauber A. ; Merkl D.
Object-Orientation III
Combining C-signature with Path Dictionary for Query Processing of Nested Objects in OODBS / Shin H. ; Chang J.
A CORBA Object-based Caching with Consistency / Tari Z. ; Hammoudi S. ; Wagner S.
From Object- Oriented Conceptual Modeling to Component-Based Development / Gomez J. ; Pastor O. ; Insfran E. ; Pelechano V.
Query Aspects III
Query Processing in Relationlog / Liu M.
Rewriting Queries using Views / Flesca S. ; Greco S.
A Query Subsumption Technique / Deen S.M. ; Al-Qasem M.
Fundamentals for Applications III
A Conference Key Multicasting Scheme Using Knapsack and Secret Sharing / Wang S.-J. ; Chang J.-F.
Verify Updating Trigger Correctness / Lee S.-Y. ; Ling T.-W.
A Flexible Weighting Scheme for Multimedia Documents / Ounis I.
Advanced Databases III
A Fast Method for Ensuring the Consistency of Integrity Constraints / Lowden B.G.T. ; Robinson J.
A Mechanism for Deriving Specifications of Security Functions in the Common Criteria Framework / Leiwo J.
Object-Orientation IV
Efficient Retrieval of Structured Documents from Object-Relational Databases / Berlanga R. ; Aramburu M.J. ; García S.
Analysis of Active Database Rules Behaviour Using Rewriting Logic / Rabih Y. ; Schneider M.
Parallel Object Server - Architecture and Performance / Kroha P. ; Lindner J.
Query Aspects IV
Using Contextual Fuzzy Views to Query Imprecise Data / Buche P. ; Loiseau S.
Combining Pat-Trees and Signature Files for Query Evaluation in Document Databases / Chen Y. ; Aberer K.
Answering Queries by Semantic Caches / Godfrey P. ; Gryz J.
Fundamentals for Applications IV
Simulating the Interaction of Database Agents / Ciarlini A.E.M. ; Furtado A.L.
Automatic and Semantic Techniques for Scheme Integration and Scheme Abstraction / Palopoli L ; Pontieri L. ; Ursino D.
Dialogue Management in a Virtual College / Beer M.D. ; Bench-Capon T.J.M. ; Sixsmith A.
Advanced Databases IV
Meta Data Based EDI for Small Enterprises / Wöss W.
Database Challenges for Genome Information in the Post Sequencing Phase / Moussouni F. ; Paton N.W. ; Hayes A. ; Oliver S. ; Goble C.A. ; Brass A.
Supporting Teams in Virtual Organizations / Hawryszkiewycz I.T.
Object-Orientation V
If We Refuse the Inheritance ... / Al-Jadir L. ; Léonard M.
Viewpoints Handling in an Object Model with Criterium-Based Classes / Couloundre S. ; Libourel T.
Query Aspects V
The Constructive Method for Query Containment Checking / Farré C. ; Urpí T.
On the Specification of Representation-Based Conditions in a Context of Incomplete Databases / Bosc P. ; Pivert O.
Fundamentals for Applications V
Methods and Interpretation of Database Summarisation / Roddick J.F. ; Mohania M.K. ; Madria S.K.
An Efficient Scalable Parallel View Maintenance Algorithm for Shared Nothing Multi-processor Machines / Bamha M. ; Bentayeb F. ; Hains G.
Using Back Propagation Algorithm and Genetic Algorithm to Train and Refine Neural Networks for Object Detection / Zhang M. ; Ciesielski V.
Advanced Databases V
An Adaptive, Maintainable, Extensible Process Agent / Debenham J
Metadata, a "Semantic" Approach / Zarri G.P.
Heterogeneous, Distributed and Federated Database Systems I
Resolving Ontological Heterogeneity in the KRAFT Project / Uchôa E.M.A. ; Melo R.N. ; Visser P.R.S. ; Jones D.M. ; Diaz B.M. ; Shave M.J.R.
Generation of Conceptual Wrappers for Legacy Databases / Thiran P. ; Chougrani A. ; Hick J-M. ; Hainaut J.-L.
Transactions I
Design and Implementation of Linear Hash Algorithm in a Nested Transaction Environment / Tubaishat M.A. ; Bhargava B.
Supporting Partial Isolation in Flat Transactions / Karlsen R.
Applications I
Using a Similarity Measurement to Partition a Vocabulary of Medical Concepts / Gu H. ; Geller J. ; Liu L.-m. ; Halper M.
A Study on Musical Features for Melody Databases / Yip C.L. ; Kao B.
Using Multimedia in Aeronautical Technical Documentation / Duluc F.
Data-Warehousing and Data-Mining I
Data Warehouse Design and Maintenance through View Normalizaiton / Mohania M. ; Karlapalem K. ; Kambayashi Y.
Cleansing Data for Mining and Warehousing / Lee M.L. ; Lu H. ; Ling T. W. ; Ko Y.T.
DROLAP - A Dense-Region Based Approach to On-Line Analytical Processing / Cheung D.W. ; Zhou B. ; Hu K. ; Lee S.D.
Heterogeneous, Distributed and Federated Database Systems II
Availability and Reliability Issues in Distributed Databases Using Optimal Horizontal Fragmentation / Khalil N. ; Eid D. ; Khair M.
Object Clustering Methods and a Query Decomposition Strategy for Distributed Object-Based Information Systems / Leclercq E. ; Savonnet M. ; Terrasse M.-N. ; Yétongnon K.
Dynamic Adjustment of Localized Constraints / Pietrzyk M. ; Mazumdar S. ; Cline R.
Solent - A Platform for Distributed Open Hypermedia Applications / Reich S. ; Griffiths J. ; Millard D.E. ; Davis H.C.
Transactions II
Concurrency Control for Global Transaction Management in MDBSs / Lee K.-W. ; Park S. ; Oh G.-R.
Transactional Computation / Berztiss A.T.
Database Versions to Represent Bitemporal Databases / Gançarski S.
Applications II
A Case Study in Information Delivery to Mass Retail Markets / Kotlyar V. ; Viveros M.S. ; Duri S.S. ; Lawrence R.D. ; Almasi G.S.
Towards a Scalable System Architecture in Digital Libraries / Haddouti H. ; Wohner W. ; Bayer R.
MOSAIC: A Multi-feature Access Method for Large Image Databases / Goh S.-T. ; Tan K.-L.
Data-Warehousing and Data-Mining II
Enhancing Data Warehousing with Fuzzy Technology / Feng L. ; Dillon T.
Mining Several Databases with an Ensemble of Classifiers / Puuronen S. ; Terziyan V. ; Logvinovsky A.
WebTool: An Integrated Framework for Data Mining / Masseglia F. ; Poncelet P. ; Cicchetti R.
Heterogeneous, Distributed and Federated Database Systems III
Local and Federated Database Schemas Evolution. An Impact Propagation Model / Deruelle L. ; Bouneffa M. ; Goncalves G. ; Nicolas J.C.
Adaptive Caching Management for Multimedia Support / Andres F. ; Ono K.
An Approach Towards Virtual Global Information Systems / Wu X.
Transactions III
Transaction Shipping Approach for Mobile Distributed Real-Time Databases / Lam K.-y. ; Kuo T.-W. ; Tsang W.-H. ; Law G.C.K.
Distributed Global Transaction Support for Workflow Management Applications / Vonk J. ; Grefen P. ; Boertjes E. ; Apers P.
Spatial Aspects I
Update Propagation of Replicated Data in Distributed Spatial Databases / Choi J.O. ; Shin Y.S. ; Hong B.H.
Split Algorithms for Sets of High-Dimensional Objects / Teuhola J.
Spatio-Temporal Multimedia Presentations as Database Objects / Adiba M. ; Zechinelli Martini J.-L.
World Wide Web Applications I
WWW Bookmark Modeling and Visualization: A Fuzzy Based Approach / Petrou C. ; Charitas D. ; Martakos D.
PTA - A Personal Translation Assistant for Accessing the World Wide Web / Winiwarter W.
Temporal Aspects
Reasoning about Events with Imprecise Location and Multiple Granularities / Chittaro L. ; Combi C.
Effective Temporal Aggregation Using Point-Based Trees / Kim J.S. ; Kang S.T. ; Kim M.H.
Temporal Indexing with Multidimensional File Structures / Voigtmann A. ; Hinrichs K.H.
Communicating Time-Oriented, Skeletal Plans to Domain Experts Lucidly / Miksch S. ; Kosara R.
Spatial Aspects II
More BANG for Your Buck: A Performance Comparison of BANG and R* Spatial Indexing / Freeston M. ; Geffner S. ; Hörhammer M.
A High-Performance Spatial Storage System Based on Main-Memory Database Architecture / Park J.H. ; Kim K. ; Cha S.K. ; Song M.S. ; Lee S. ; Lee J.
World Wide Web Applications II
On the Feasibility of Website Refresh Queries / Liu H.
Building Cyber Broker in Digital Marketplaces Using Java and CORBA / Eng P.-K. ; Ooi B.C.
Experiments in Adaptable and Secure Multimedia Database Systems / Li S.
Author Index
Invited Talk
On Tractable Queries and Constraints / Gottlob G. ; Leone N. ; Scarcello F.
Object-Orientation I
31.

図書

図書
edited by Xindong Wu ... [et al.] ; sponsored by IEEE Computer Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1997  xi, 207 p. ; 28 cm
所蔵情報: loading…
32.

図書

図書
Rasiah Loganantharaj, Günther Palm, Moonis Ali (eds.)
出版情報: Berlin : Springer, c2000  xvii, 751 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1821 . Lecture notes in artificial intelligence
所蔵情報: loading…
33.

図書

図書
Enrico Blanzieri, Luigi Portinale (eds.)
出版情報: Berlin : Springer-Verlag, c2000  xii, 530 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1898. Lecture notes in artificial intelligence
所蔵情報: loading…
34.

図書

図書
Mohamed Ibrahim, Josef Küng, Norman Revell (eds.)
出版情報: Berlin : Springer, c2000  xix, 1005 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1873
所蔵情報: loading…
35.

図書

図書
Zbigniew W. Raś, Andrzej Skowron (eds.)
出版情報: Berlin ; New York : Springer, c1999  xii, 676 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1609 . Lecture notes in artificial intelligence
所蔵情報: loading…
36.

図書

図書
sponsored by the IEEE Computer Society Taiwanese Association for Artificail Intelligence ; in collaboration with National Science Council Computer and Communication Research Center of National Tsing Hua University, Research Center for computer System Technology of National Cheng Kung University, Center of Excellence for Research in Computer Science of National Taiwan University, IEEE Taipei Section Acer Sertek Incorporated
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1998  xviii, 483 p. ; 28 cm
所蔵情報: loading…
37.

図書

図書
endorsed by the State Science and Technology Commission of China, Chinese Electronics Ministry, Beijing Government ; sponsored by the IEEE Industrial Electronics Society ; in technical co-operation with Tsinghua University, China ... [et al.]
出版情報: New York, NY : The Institute of Electrical and Electronics Engineers, Inc., c1997  2 v. (xxviii, 1893 p.) ; 28 cm
所蔵情報: loading…
38.

図書

図書
edited by George Gardarin ... [et al.] ; sponsored by the Association for Computing Machinery (ACM), Special Interest Group on Information Retrieval (SIGIR), Special Interest Group on Artificial Intelligence (SIGIR) in cooperation with the University of Southwestern Louisiana (USL), University Maryland, Baltimore County (UMBC)
出版情報: New York : ACM Press, c1998  xiii, 450 p. ; 28 cm
所蔵情報: loading…
39.

図書

図書
Editor: Susan Gauch ; sponsored by the Association for Computing Machinery, Special Interest Groups on Management Information Systems (SIGMIS), and Information Retrieval (SIGIR)
出版情報: New York : ACM Press, c1999  x, 554 p. ; 28 cm
所蔵情報: loading…
40.

図書

図書
edited by Roland R. Wagner ; in cooperation with Institute de recherche en informatique de Toulouse IRIT, France ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1997  xvii, 770 p. ; 28 cm
所蔵情報: loading…
41.

図書

図書
Abdelkader Hameurlain, A Min Tjoa (eds.)
出版情報: Berlin : Springer, c1997  xvii, 688 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1308
所蔵情報: loading…
42.

図書

図書
edited by Niki Pissinou ... [et al.] ; sponsored by the Association for Computing Machinery (ACM), Special Interest Group on Information Retrieval (SIGIR), Special Interest Group on Artificial Intelligence (SIGIR) in cooperation with National Science Foundation (NSF) ... [et al.]
出版情報: New York : ACM Press, c1995  xvi, 418 p. ; 28 cm
所蔵情報: loading…
43.

図書

図書
Enric Plaza, Richard Benjamins (eds.)
出版情報: Berlin : Springer, c1997  xi, 388 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1319 . Lecture notes in artificial intelligence
所蔵情報: loading…
44.

図書

図書
Zbigniew W. Raś, Andrzej Skowron, (eds.)
出版情報: Berlin ; New York : Springer, c1997  xi, 630 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1325 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
The 57 revised full papers were selected from a total of 117 submissions
Also included are four invited papers
Among the topics covered are intelligent information systems
Approximate reasoning, evolutionary computation
Knowledge representation and integration, learning and knowledge discovery
AI-Logics, discovery systems, data mining, query processing, etc
The 57 revised full papers were selected from a total of 117 submissions
Also included are four invited papers
Among the topics covered are intelligent information systems
45.

図書

図書
sponsored by IEEE Computer Society, Technical Committee on PAMI ; in cooperation with Pan American Center for Earth and Environmental Studies
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1997  xv, 587 p. ; 28 cm
所蔵情報: loading…
46.

図書

図書
Barry Smyth, Pádraig Cunningham (eds.)
出版情報: Berlin : Springer-Verlag, c1998  xii, 482 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1488 . Lecture notes in artificial intelligence
所蔵情報: loading…
47.

図書

図書
Gerald Quirchmayr, Erich Schweighofer, Trevor J.M. Bench-Capon (eds.)
出版情報: Berlin : Springer, c1998  xvi, 905 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1460
所蔵情報: loading…
48.

図書

図書
edited by Rogelio Soto ... [et al.]
出版情報: Monterey, Mexico : Instituto Tecnológico y de Estudios Superiores de Monterey, Centro de Intelligencia Artificial , Piscataway, NJ : [Available from] IEEE-TAB Products Group, 1996  476 p. ; 28 cm
所蔵情報: loading…
49.

図書

図書
organized by the Working Group "Computational Statistics" of the German Region of the International Biometric Society ; edited by R. Haux
出版情報: Stuttgart ; New York : G. Fischer, 1986  194 p. ; 24 cm
所蔵情報: loading…
50.

図書

図書
Wray Buntine, Doug H. Fisher, chairs/editors ; sponsored and published by SPIE--the International Society for Optical Engineering ; cooperating organizations, AAAI--American Association for Artificial Intelligence, the Systems, Man and Cybernetics Society of the IEEE
出版情報: Bellingham, Wash. : SPIE, c1994  vii, 304 p. ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 2244
所蔵情報: loading…
51.

図書

図書
sponsored by Rome Laboratory, USAF ; in cooperation with AAAI, ACM SIGART and SIGSOFT, The IEEE Computer Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1996  x, 155 p. ; 28 cm
所蔵情報: loading…
52.

図書

図書
editor, M.H. Hamza
出版情報: Anaheim, Calif. : IASTED : Acta Press, c1996  iv, 410 p. ; 28 cm
所蔵情報: loading…
53.

図書

図書
David B. Leake, Enric Plaza, (eds.)
出版情報: Berlin ; Tokyo : Springer, c1997  xiii, 648 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1266 . Lecture notes in artificial intelligence
所蔵情報: loading…
54.

図書

図書
sponsored by IEEE Computer Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1994  xxiii, 842 p. ; 28 cm
所蔵情報: loading…
55.

図書

図書
sponsored by Rome Laboratory, USAF ; in cooperation with AAAI, ACM SIGART, IEEE Computer Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1994  viii, 189 p. ; 28 cm
所蔵情報: loading…
56.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Pattern Analysis and Machine Intelligence
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1995  xxii, 502 p. ; 28 cm
所蔵情報: loading…
57.

図書

図書
Roland R. Wagner, Helmut Thoma (eds.)
出版情報: Berlin : Springer, c1996  xv, 921 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1134
所蔵情報: loading…
58.

図書

図書
Zbigniew W. Raś, Maciek Michalewicz, (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1996  xi, 664 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1079 . Lecture notes in artificial intelligence
所蔵情報: loading…
59.

図書

図書
Manuela Veloso, Agnar Aamodt (eds.)
出版情報: Berlin : Springer-Verlag, c1995  x, 576 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1010 . Lecture notes in artificial intelligence
所蔵情報: loading…
60.

図書

図書
Ian D. Watson (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1995  viii, 209 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1020 . Lecture notes in artificial intelligence
所蔵情報: loading…
61.

図書

図書
sponsored by Rome Laboratory, USAF ; in cooperation with AAAI, ACM SIGART and SIGSOFT, The IEEE Computer Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1995  ix, 202 p. ; 28 cm
所蔵情報: loading…
62.

図書

図書
WESTEX-87 ; Western Conference on Expert Systems, June 2-4, 1987, Disneyland Hotel, Anaheim, California ; sponsored by Western Committee of the Computer Society of the IEEE, IEEE Los Angeles Council
出版情報: Washington, D.C. : Computer Society Press of the IEEE , Los Angeles, CA : Order from Computer Society of the IEEE, c1987  xiii, 238 p. ; 28 cm
所蔵情報: loading…
63.

図書

図書
Bernadette Bouchon-Meunier, Ronald R. Yager, Lotfi A. Zadeh (eds.)
出版情報: Berlin : Springer, c1995  xii, 628 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 945
所蔵情報: loading…
64.

図書

図書
Norman Revell, A Min Tjoa (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer, c1995  xv, 654 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 978
所蔵情報: loading…
65.

図書

図書
editors, H. James Antonisse, John W. Benoit, Barry G. Silverman
出版情報: Washington, D.C. : IEEE Computer Society Press , Los Angeles, CA : Order from Computer Society of the IEEE, c1987  xiv, 285 p. ; 28 cm
所蔵情報: loading…
66.

図書

図書
edited by Michael H. Smith ... [et al.] ; sponsored by NAFIPS, North American Fuzzy Information Processing Society, BISC, Berkeley Initiative in Soft Computing in cooperation with IEEE Neural Networks Council, IEEE Systems, Man and Cybernetics Society ; organizing institution, University of California, Berkeley, USA
出版情報: [New York] : Institute of Electrical and Electronics Engineers, c1996  601 p. ; 28 cm
所蔵情報: loading…
67.

図書

図書
sponsored by IEEE Computer Society ; in cooperation with Center for Intelligent Systems, Binghamton University, INRIA, France
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1996  xx, 492 p. ; 28 cm
所蔵情報: loading…
68.

図書

図書
Ian Smith, Boi Faltings, (eds.)
出版情報: Berlin : Springer-Verlag, c1996  ix, 530 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1168 . Lecture notes in artificial intelligence
所蔵情報: loading…
69.

図書

図書
edited by Henk G. Sol, Cees A.Th. Takkenberg, Pieter F. de Vries Robbé
出版情報: Dordrecht ; Boston : D. Reidel Pub. Co., c1987  vii, 330 p. ; 25 cm
所蔵情報: loading…
70.

図書

図書
Martin Merry [programme chairman]
出版情報: Cambridge : Cambridge University Press, 1985  vi, 334 p. ; 24 cm
シリーズ名: The British Computer Society Workshop series
所蔵情報: loading…
71.

図書

図書
edited by William A. Gale
出版情報: Reading, Mass. ; Tokyo : Addison-Wesley Pub. Co., c1986  xiv, 418 p. ; 25 cm
所蔵情報: loading…
72.

図書

図書
edited by Gautam Mitra and Unicom Consultants
出版情報: Amsterdam ; New York : North-Holland , New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1986  xxii, 282 p. ; 25 cm
所蔵情報: loading…
73.

雑誌

雑誌
International Conference on Intelligent Systems for Molecular Biology
出版情報: [Oxford, UK] : Oxford University Press  v. ; 30 cm
所蔵情報: loading…
74.

雑誌

雑誌
the ... Annual Workshop on Robotics and Expert Systems
出版情報: Research Triangle Park, N.C. : Instrument Society of America, c1985-  v. ; 28 cm
巻次年月次: 1st (1985)-
所蔵情報: loading…
75.

図書

図書
sponsored by Association for Computing Machinery-Sigart, the University of South Carolina, The University of Tennessee Space Institute(UTSI) ; cooperating organizations, American Association fo Artificial Intelligence ... [et al.]
出版情報: New York : Association for Computing Machinery, c1990  2 v. (1176 p.) ; 28 cm
所蔵情報: loading…
76.

図書

図書
edited by G.H. Schildt, J. Retti
出版情報: Amsterdam, The Netherlands ; New York : North-Holland , New York, N.Y., U.S.A. : Distributors for the U.S. and Canada, Elsevier Science, 1991  xi, 361 p. ; 23 cm
所蔵情報: loading…
77.

図書

図書
edited by A.H. Levis and H.E. Stephanou
出版情報: Oxford ; New York : Published for the International Federation of Automatic Control by Pergamon Press, 1992  ix, 256 p. ; 31 cm
シリーズ名: IFAC symposia series ; 1992, no. 4
所蔵情報: loading…
目次情報: 続きを見る
Putting some life into the system / J. L. Casti
Discrete Event Systems
Reasoning of discrete event systems in temporal logic / J-Y. Lin ; D. Ionescu
Theory of symmetry and fault-tolerance / M. F. Karavay
Manufacturing Systems
Distributed intelligence systems for FMS control using objects modelled with petri nets (SCOPE blackboard) / D. S. Devapriya et al.
The potential applications of artificial neural nets in quality control / Y-Z. Lu
Intelligent Systems and Neural Nets
Energy-functions and convergence analysis of inference networks / K. P. Lam
Interpolative reasoning in distributed intelligent systems based on fuzzy sets and neural nets / C-T. Sun. Robotics
Distributed intelligence systems based on knowledge modules of cellular robotic system "CEBOT" / T. Fukuda et al
Self-reconfiguration of a dual redundant arm system / S. Lee ; S. Kim
Decision Systems
Minimum trace fusion of n sensors with arbitrarily correlated sensor-to-sensor errors / H. McCabe
Design of quantizers for decentralized estimation systems with noisy channels / W. M. Lam ; A. R. Reibman
Author Index
Keyword Index
Putting some life into the system / J. L. Casti
Discrete Event Systems
Reasoning of discrete event systems in temporal logic / J-Y. Lin ; D. Ionescu
78.

図書

図書
Z.W. Ras, M. Zemankova, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991  x, 644 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 542 . Lecture notes in artificial intelligence
所蔵情報: loading…
79.

図書

図書
Elias M. Awad, editor ; the Special Interest Group on Business Data Processing (SIGBDP) of the Association for Computing Machinery
出版情報: Baltimore, MD : may be ordered prepaid from ACM Order Department, c1990  viii, 669 p. ; 28 cm
所蔵情報: loading…
80.

図書

図書
edited by Sanne Dijkstra, Hein P.M. Krammer, Jeroen J.G. van Merriënboer
出版情報: Berlin ; New York : Springer-Verlag, c1992  x, 510 p. ; 25 cm
シリーズ名: NATO ASI series ; ser. F. Computer and system sciences ; no. 104
所蔵情報: loading…
81.

図書

図書
B. Thalheim, J. Demetrovics, H.-D. Gerhardt, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991  vi, 395 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 495
所蔵情報: loading…
82.

図書

図書
sponsored by: IEEE Computer Society
出版情報: Los Alamitos ; Tokyo : IEEE Computer Society Press, c1990  xxi, 895 p. ; 28 cm
所蔵情報: loading…
83.

図書

図書
H. Boley, M.M. Richter, (eds.)
出版情報: Berlin ; New York : Springer Verlag, c1991  xii, 427 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 567 . Lecture notes in artificial intelligence
所蔵情報: loading…
84.

図書

図書
F. Schmalhofer, G. Strube, Th. Wetter (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1992  xii, 258 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 622 . Lecture notes in artificial intelligence
所蔵情報: loading…
85.

図書

図書
editors, Jay Liebowitz, Jerald Feinstein, and Randall Shumaker ; sponsored by IEEE Computer Society Technical Committee on Expert Systems Applications ; co-sponsored by EXSYS Corporation ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1990  xi, 230 p. ; 28 cm
所蔵情報: loading…
86.

図書

図書
Judith M. Hushon, editor
出版情報: Washington, DC : American Chemical Society, 1990  viii, 232 p. ; 24 cm
シリーズ名: ACS symposium series ; 431
所蔵情報: loading…
目次情報: 続きを見る
Overview of Environmental Expert Systems
Success Factors for Expert Systems
Verification and Validation of Environmental Expert Systems
Neutral Networks and Environmental
Application Expert Systems to Support Environmental
Sampling, Analysis, and Data Validation
An Intelligent Quality Assurance
Planner for Environmental Data: Functional Requirements
An Expert System for Prediction of Aquatic
Toxicity of Contaminants
A Citizen's Helper for Chemical Information
An Expert System to Diagnose Performance Limiting
Factors at Publicly Owned Treatment Works
The Activated Sludge Advisor Prototype Multidomain
Expert Systems for Hazardous Waste Site Investigations
The Cost of Remedial Action Model: Expert System
Applications Computerized System for Performing Risk Assessments for Chemical
Constituents of Hazardous Waste Remedial Action
Priority and Multimedia Environmental Pollutant Assessment Systems
The Defense Priority Model for Department of Defense
Remedial Site Ranking
The Future of Expert Systems in the Environmental Protection Agency
Overview of Environmental Expert Systems
Success Factors for Expert Systems
Verification and Validation of Environmental Expert Systems
87.

図書

図書
G. Gottlob, W. Nejdl (eds)
出版情報: Berlin ; New York : Springer-Verlag, c1990  ix, 260 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 462 . Lecture notes in artifitial intelligence
所蔵情報: loading…
88.

図書

図書
S. Ramani, R. Chandrasekar, K.S.R. Anjaneyulu (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990  x, 546 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 444 . Lecture notes in artificial intelligence
所蔵情報: loading…
89.

図書

図書
edited by Martin Schader, Wolfgang Gaul
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990  viii, 421 p. ; 25 cm
シリーズ名: NATO ASI series ; ser. F . Computer and systems sciences ; v. 61
所蔵情報: loading…
90.

図書

図書
sponsored by The University of Tennessee Space Institute, Association for Computing Machinery-Sigart ; cooperating organizations, American Association for Artificial Intelligence ... [et al.] ; [edited by Moonis Ali]
出版情報: New York : Association for Computing Machinery, c1989  2 v. (1108 p.) ; 28 cm
所蔵情報: loading…
91.

図書

図書
edited by G. Saucier, A. Ambler, and M.A. Breuer
出版情報: Amsterdam ; Tokyo : North-Holland, 1989  viii, 257 p. ; 24 cm
所蔵情報: loading…
92.

図書

図書
Sponserd by IBM Corporation ... [et. al]
出版情報: Los Alamitos, CA : IEEE Computer Society Press, [1989]  xii, 216 p.
所蔵情報: loading…
93.

図書

図書
edited by Mario Tokoro, Yuichiro Anzai, Akinori Yonezawa
出版情報: Amsterdam, Netherlands ; Tokyo : North-Holland , New York, N.Y., U.S.A. : Distributors for the U. S. and Canada, Elsevier Science Pub. Co., 1989  xiii, 511 p. ; 24 cm
所蔵情報: loading…
94.

図書

図書
edited by G. Odawara
出版情報: Amsterdam ; New York : North-Holland , New York, N.Y., U.S.A. : Distributors for the U.S. and Canada, Elsevier Science, 1989  xi, 229 p. ; 23 cm
所蔵情報: loading…
95.

図書

図書
WESTEX-86 ; IEEE Western Conference on Knowledge-Based Engineering and Expert Systems, June 24-26, 1986, Grand Hotel, Anaheim, California ; cosponsored by Western Committee of the IEEE Computer Society, IEEE Los Angeles Council ; Guner S. Robinson, editor ; Michael S. Cook, assistant editor
出版情報: Washington, D.C. : IEEE Computer Society Press , Los Angeles, CA : Order from IEEE Computer Society, c1986  xvi, 173 p. ; 28 cm
所蔵情報: loading…
96.

図書

図書
edited by Michael D. Oliff
出版情報: New York : North-Holland, c1988  xi, 479 p. ; 26 cm
所蔵情報: loading…
97.

図書

図書
edited by B. Kelly and A. L. Rector
出版情報: Cambridge ; New York : Cambridge University Press on behalf of the British Computer Society, 1989  359 p. ; 24 cm
シリーズ名: The British Computer Society Workshop series
所蔵情報: loading…
98.

図書

図書
edited by Jim Browne
出版情報: Amsterdam ; Tokyo : North-Holland , New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1989  xi, 339 p. ; 23 cm
所蔵情報: loading…
99.

図書

図書
edited by L.F. Pau
出版情報: Amsterdam ; Tokyo : North-Holland, 1986  xv, 292 p. ; 25 cm
所蔵情報: loading…
100.

図書

図書
Kamal N. Karna, editor ; IEEE Computer Society, The MITRE Corporation, The Institute of Electrical and Electronics Engineers, inc., in association with AIAA National Capital Section
出版情報: Washington, D.C. : IEEE Computer Society Press, c1985  xxiii, 694 p. ; 28 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼