close
1.

図書

図書
Setsuo Arikawa, Koichi Furukawa (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999  xi, 374 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1721 . Lecture notes in artificial intelligence
所蔵情報: loading…
2.

図書

図書
Satoshi Matsuoka, Rodney R. Oldehoeft, Marydell Tholburn (eds.)
出版情報: Berlin : Springer, c1999  viii, 203 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1732
所蔵情報: loading…
目次情報: 続きを見る
Complex Numbers for Java / Michael Philippsen ; Edwin Günthner
Automatic Generation of Executable Data Structures / Nobuhisa Fujinami
Improving Cache Utilization of Linear Relaxation Methods:
Theory and Practice / Federico Bassetti ; Kei Davis ; Madhav Marathe ; Dan Quinlan ; Bobby Philip
An Object-Oriented Framework for Parallel Simulation of Ultra-large Communication Networks / Dhananjai Madhava Rao ; Philip A. Wilsey
Exploiting Parallelism in Real-Time Music and Audio Applications / Amar Chaudhary ; Adrian Freed ; David Wessel
ARAMIS: A Remote Access Medical Imaging System / David Sarrut ; Serge Miguet
Language Interoperability for High-Performance Parallel Scientific Components / Brent Smolinski ; Scott Kohn ; Noah Elliott ; Nathan Dykman
A Framework for Object-Oriented Metacomputing / Nenad Stankovic ; Kang Zhang
Tiger: Toward Object-Oriented Distributed and Parallel Programming in Global Environment / Youn-Hee Han ; Chan Yeol Park ; Chong-Sun Hwang ; Young-Sik Jeong
SIFFEA: Scalable Integrated Framework for Finite Element Analysis / Xiangmin Jiao ; Xiang-Yang Li ; Xiaosong Ma
Overture: Object-Oriented Tools for Applications with Complex Geometry / David L. Brown ; William D. Henshaw
Generic Programming for Parallel Mesh Problems / Jens Gerlach ; Mitsuhisa Sato
Generic Graph Algorithms for Sparse Matrix Ordering / Lie-Quan Lee ; Jeremy G. Siek ; Andrew Lumsdaine
Using Object-Oriented Techniques for Realizing Parallel Architectural Skeletons / Dhrubajyoti Goswami ; Ajit Singh ; Bruno R. Preiss
Loci: A Deductive Framework for Graph-Based Algorithms / Edward A. Luke
The OptSolve++ Software Components for Nonlinear Optimization and Root-Finding / David L. Bruhwiler ; Svetlana G. Shasharina ; John R. Cary
Are Generic Parallel Algorithms Feasible for Quantum Lattice Models? / Matthias Troyer
A Runtime Monitoring Framework for the TAU Profiling System / Timothy J. Sheehan ; Allen D. Malony ; Sameer S. Shende
SharedOnRead Optimization in Parallel Object-Oriented Programming / Denis Caromel ; Eric Noulard ; David Sagnol
Branch and Bound Based Load Balancing for Parallel Applications / Shobana Radhakrishnan ; Robert K. Brunner ; Laxmikant V. Kale
Author Contacts
Author Index
Complex Numbers for Java / Michael Philippsen ; Edwin Günthner
Automatic Generation of Executable Data Structures / Nobuhisa Fujinami
Improving Cache Utilization of Linear Relaxation Methods:
3.

図書

図書
Hideyuki Nakashima, Chengqi Zhang (eds.)
出版情報: Berlin : Springer, c1999  xii, 240 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1733 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Cooperation
Flexible Multi-agent Collaboration Using Pattern Directed Message Collaboration of Field Reactor Model / Tadashige Iwao ; Makoto Okada ; Yuji Takada ; Makoto Amamiya
Reliable Agent Communication - A Pragmatic Perspective / David Kinny
Formal Semantics of Acknowledgements, Agreements and Disagreements Norihiro Ogata
Making Rational Decisions in N-by-N Negotiation Games with a Trusted Third Party / Shih-Hung Wu ; Von-Wun Soo
The Security Mechanism in Multiagent System AOSDE / Zhongzhi Shi ; Ju Wang ; Hu Cao
Mobility
Remote Messaging Mechanism Supporting Agent Mobility Based on CORBA / Byung-Rae Lee ; Kyung-Ah Chang ; Tai-Yun Kim
Persisting Autonomous Workflow for Mobile Agents Using a Mobile Thread Programming Model / Minjie Zhang ; Wei Li
Mobile Robot Navigation by Distributed Vision Agents / Takushi Sogo ; Hiroshi Ishiguro ; Toru Ishida
Learning
Rationality of Reward Sharing in Multi-agent Reinforcement Learning / Kazuteru Miyazaki ; Shigenobu Kobayashi
How to Design Good Rules for Multiple Learning Agents in Scheduling Problems? / Keiki Takadama ; Masakazu Watabe ; Katsunori Shimohara ; Shinichi Nakasuka
Hierarchical Multi-agent Organization for Text Database Discovery / Yong S. Choi ; Jaeho Lee ; Suk I. Yoo
Interfacing
Predicting User Actions Using Interface Agents with
Individual User Models / Jung-Jin Lee ; Robert McCartney
Gleams of People: Monitoring the Presence of People with
Multi-agent Architecture / Takeshi Ohguro ; Sen Yoshida ; Kazuhiro Kuwabara
System Design
Distributed Fault Location in Networks Using Learning Mobile Agents / Tony White ; Bernard Pagurek
Designing Multi-Agent Reactive Systems: A Specification Method Based on Reactive Decisional Agents / Bouchaib Bounabat ; Rahal Romadi ; Salah Labhalla
A Class of Isomorphic Transformations for Integrating EMYCIN-Style and PROSPECTOR-Style Systems into a Rule-Based
Multi-Agent System / Xudong Luo ; Chengqi Zhang ; Ho-fung Leung
An Agent Architecture for Strategy-Centric Adaptive QoS Control in Flexible Videoconference System / Takuo Suganuma ; SungDoke Lee ; Takuji Karahashi ; Tetsuo Kinoshita ; Norio Shiratori
Author Index
Cooperation
Flexible Multi-agent Collaboration Using Pattern Directed Message Collaboration of Field Reactor Model / Tadashige Iwao ; Makoto Okada ; Yuji Takada ; Makoto Amamiya
Reliable Agent Communication - A Pragmatic Perspective / David Kinny
4.

図書

図書
C. Pandu Rangan, V. Raman, R. Ramanujam (eds.)
出版情報: Berlin : Springer, c1999  xii, 452 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1738
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
Recent Developments in the Theory of Arrangements of Surfaces / Micha Sharir
Session 1(a)
Dynamic Compressed Hyperoctrees with Application to the N-body Problem / Srinivas Aluru ; Fatih E. Sevilgen
Largest Empty Rectangle among a Point Set / Jeet Chaudhuri ; Subhas C. Nandy
Session 1(b)
Renaming Is Necessary in Timed Regular Expressions / Philippe Herrmann
Product Interval Automata: A Subclass of Timed Automata / Deepak D'Souza ; P. S. Thiagarajan
Session 2(a)
The Complexity of Rebalancing a Binary Search Tree / Rolf Fagerberg
Fast Allocation and Deallocation with an Improved Buddy System / Erik D. Demaine ; Ian J. Munro
Session 2(b)
Optimal Bounds for Transformations of ω-Automata / Christof Löding
CTL+ Is Exponentially More Succinct than CTL / Thomas Wilke
A Top-Down Look at a Secure Message / Martín Abadi ; Cédric Fournet ; Georges Gonthier
Session
Explaining Updates by Minimal Sums / Jürgen Dix ; Karl Schlechta
A Foundation for Hybrid Knowledge Bases / James J. Lu ; Neil V. Murray ; Erik Rosenthal
Hoare Logic for Mutual Recursion and Local Variables / David von Oheimb
Explicit Substitutions and Programming Languages / Jean-Jacques Lévy ; Luc Maranget
Session 5(a)
Approximation Algorithms for Routing and Call Scheduling in All-Optical Chains and Rings / Luca Becchetti ; Miriam Di Ianni ; Alberto Marchetti-Spaccamela
A Randomized Algorithm for Flow Shop Scheduling / Naveen Garg ; Sachin Jain ; Chaitanya Swamy
Session 5(b)
Synthesizing Distributed Transition Systems from Global Specifications / Ilaria Castellani ; Madhavan Mukund
Beyond Region Graphs: Symbolic Forward Analysis of Timed Automata / Supratik Mukhopadhyay ; Andreas Podelski
Implicit Temporal Query Languages: Towards Completeness / Nicole Bidoit ; Sandra de Amo
On the Undecidability of Some Sub-classical First-Order Logics / Matthias Baaz ; Agata Ciabattoni ; Christian Fermüller ; Helmut Veith
How to Compute with DNA* / Lila Kari ; Mark Daley ; Greg Gloor ; Rani Siromoney ; Laura F. Landweber
Session 7(a)
A High Girth Graph Construction and a Lower Bound for Hitting Set Size for Combinatorial Rectangles / L. Sunil Chandran
Protecting Facets in Layered Manufacturing / Jörg Schwerdt ; Michiel Smid ; Ravi Janardan ; Eric Johnson ; Jayanth Majhi
Session 7(b)
The Receptive Distributed π-Calculus (Extended Abstract) / Roberto M. Amadio ; Gérard Boudol ; Cédric Lhoussaine
Series and Parallel Operations on Pomsets / Zoltán Ésik ; Satoshi Okawa
Unreliable Failure Detectors with Limited Scope Accuracy and an Application to Consensus / Achour Mostéfaoui ; Michel Raynal
Graph Isomorphism: Its Complexity and Algorithms / Seinosuke Toda
Session 9(a)
Computing with Restricted Nondeterminism: The Dependence of the OBDD Size on the Number of Nondeterministic Variables / Martin Sauerhoff
Lower Bounds for Linear Transformed OBDDs and FBDDs (Extended Abstract) / Detlef Sieling
Session 9(b)
A Unifying Framework for Model Checking Labeled Kripke Structures, Modal Transition Systems, and Interval Transition Systems / Michael Huth
Graded Modalities and Resource Bisimulation / Flavio Corradini ; Rocco De Nicola ; Anna Labella
Session 10(a)
The Non-recursive Power of Erroneous Computation / Christian Schindelhauer ; Andreas Jakoby
Analysis of Quantum Functions (Preliminary Version) / Tomoyuki Yamakami
Session 10(b)
On Sets Growing Continuously / Bernhard Heinemann
Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract) / Ron van der Meyden ; Nikolay V. Shilov
FST&TCS - ISAAC Joint Session Talks
The Engineering of Some Bipartite Matching Programs / Kurt Mehlhorn
Author Index
Invited Talk
Recent Developments in the Theory of Arrangements of Surfaces / Micha Sharir
Session 1(a)
5.

図書

図書
P.S. Thiagarajan, R. Yap (eds.)
出版情報: Berlin : Springer, c1999  xi, 395 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1742
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing / N. Halbwachs ; P. Raymond
Emerging Application Domains and the Computing Fabric / K. V. Palem
Regular Papers
The Game of the Name in Cryptographic Tables / R. M. Amadio ; S. Prasad
A Parallel Approximation Algorithm for the Max Cut Problem on Cubic Graphs / T. Calamoneri ; I. Finocchi ; Y. Manoussakis ; R. Petreschi
Rapid Prototyping Techniques for Fuzzy Controllers / C. Chantrapornchai ; S. Tongsima ; E. Sha
Transactional Cache Management with Aperiodic Invalidation Scheme in Mobile Environments / I. Chung ; C.-S. Hwang
Observable Sharing for Functional Circuit Description / K. Claessen ; D. Sands
Relating May and Must Testing Semantics for Discrete Timed Process Algebras / L. F. L. Díaz ; D. de Frutos Escrig
A Framework for Formal Reasoning about Open Distributed Systems / a. Fredlund ; D. Gurov
Structural Sharing and Efficient Proof-Search in Propositional Intuitionistic Logic / D. Galmiche ; D. Larchey-Wendling
Verifying Probabilistic Programs Using a Hoare like Logic / J. I. den Hartog
An Expressive Extension of TLC / J. G. Henriksen
Completeness and Decidability of a Fragment of Duration Calculus with Iteration / D. V. Hung ; D. P. Guelev
Logical Relations in Circuit Verification / M. Indrika
Lemma Generalization and Non-unit Lemma Matching for Model Elimination / K. Iwanuma ; K. Kishino
On Automating Inductive and Non-inductive Termination Methods / F. Kamareddine ; F. Monin
Asynchronous Links in the PBC and M-Nets / H. Klaudel ; F. Pommereau
Demand-Driven Model Checking for Context-Free Processes / J. Knoop
Programming the Mobility Behaviour of Agents by Composing Itineraries / S. W. Loke ; H. Schmidt ; A. Zaslavsky
Faster Model Checking for Open Systems / M. Mukund ; K. N. Kumar ; S. A. Smolka
An Argumentation Approach to Semantics of Declarative Programs with Defeasible Inheritance / E. Nantajeewarawat ; V. Wuwongse
Entailment of Non-structural Subtype Constraints / J. Niehren ; T. Priesnitz
A CPS-Transform of Constructive Classical Logic / I. Ogata
Formal Verification of the MCS List-Based Queuing Lock / K. Ogata ; K. Futatsugi
BDD-Nodes Can Be More Expressive / F. Reffel
Formal Verification of Descriptions with Distinct Order of Memory Operations / G. Ritter ; H. Hinrichsen ; H. Eveking
Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs / A. Roychoudhury ; C. R. Ramakrishnan ; I. V. Ramakrishnan
Separators Are as Simple as Cutsets / A. Seth ; H. Shen ; K. Li ; S.-Q. Zheng
Ant Colony Optimization for the Ship Berthing Problem / C. J. Tong ; H. C. Lau ; A. Lim
Poster Session Abstracts
Security Modeling and Evaluation for the Mobile Code Paradigm / A. H. W. Chan ; M. R. Lyu
CASA - Structured Design of a Specification Language for Intelligent Agents / S. Flake ; C. Geiger
An Efficient Location Management by Optimal Location Area Partitioning in PCS Networks / J.-M. Gil
Programming with Explicit Regions / K. Kagawa
A Verification Technique Based on Syntactic Action Refinement in a TCSP-like Process Algebra and the Hennessy-Milner-Logic / M. Majster-Cederbaum ; F. Salger
Formal Verification of Secret Sharing Protocol Using Coq / K. M. Yew ; M. Z. Rahman ; S. P. Lee
Deduction in Logic of Association Rules / N. D. Quang ; J. Rauch
Asynchronous Migration in Parallel Genetic Programming / S. Tongchim ; P. Chongstitvatana
Verification Results for a Multimedia Protocol / T. Tsang ; R. Lai
Multipoint-to-Point ABR Service with Fair Intelligent Congestion Control in ATM Networks / Q. Yu ; D. B. Hoang
Author Index
Invited Talks
Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing / N. Halbwachs ; P. Raymond
Emerging Application Domains and the Computing Fabric / K. V. Palem
6.

図書

図書
Lucas Chi-Kwong Hui, Dik Lun Lee (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999  xx, 518 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1749
所蔵情報: loading…
7.

図書

図書
Hong Va Leong ... [et al.] (eds.)
出版情報: Berlin : Springer, c1999  x, 239 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1748
所蔵情報: loading…
目次情報: 続きを見る
Wireless Networks and Communications / Session I:
Wireless VoIP: Opportunities and Challenges / Jin Yang ; Ioannis Kriaras
GSM Mobile Phone Based Communication of Multimedia Information: A Case Study / Y.S. Moon ; H.C. Ho ; Kenneth Wong
A Witness-Aided Routing Protocol for Mobile Ad-Hoc Networks with Unidirectional Links / Ionu? D. Aron ; Sandeep K. S. Gupta
Accessing Opportunities for Broadband Optical Wireless Local Loops in an Unbundled Access Network / Edward Mutafungwa ; Kamugisha Kazaura
On Simulation Modeling of Information Dissemination Systems in Mobile Environments / Wang-Chien Lee ; Johnson Lee ; Karen Huff
Transaction Processing in Mobile Environments / Session II:
On the Performance of Transaction Processing in Broadcast Environments / Victor C. S. Lee ; Sang H. Son ; Kwok-Wa Lam
Transaction Processing in an Asymmetric Mobile Environment / Eppie Mok ; Hong Va Leong ; Antonio Si
Speculative Lock Management to Increase Concurrency in Mobile Environments / P. Krishna Reddy ; Masaru Kitsuregawa
Optimistic Concurrency Control in Broadcast Environments:
Looking Forward at the Server and Backward at the Clients / Kwok-wa Lam
Ubiquitous Information Services / Session III:
Modelling the WAP Transaction Service Using Coloured Petri Nets / Steven Gordon ; Jonathan Billington
Enabling Ubiquitous Database Access with XML / Hui Lei ; Kang-Woo Lee ; Marion Blount ; Carl Tait
Design and Evaluation of an Information Announcement Mechanism for Mobile Computers / Shigeaki Tagashira ; Fumitake Inada ; Keizo Saisho ; Akira Fukuda
Active Rule System for Adaptive Mobile Data Access / Shiow-yang Wu ; Shih-Hsun Ho
Preserving Smooth Traffic and High Presentation QoS for VBR-Encoded Video / Se-Jin Hwang ; Myong-Soon Park
Mobile Data Replication and Caching / Session IV:
Peer Replication with Selective Control / David H. Ratner ; Peter L. Reiher ; Gerald J. Popek ; Richard G. Guy
Cache Coherency in Location-Dependent Information Services for Mobile Environment / Jianliang Xu ; Xueyan Tang ; Dik Lun Lee ; Qinglong Hu
An Autonomous Data Coherency Protocol for Mobile Devices / Masahiro Kuroda ; Takashi Sakakura ; Takashi Watanabe ; Tadanori Mizuno
Mobility and Location Management / Session V:
Location Management Strategies for Reducing Both Movement Cost and Locating Cost Simultaneously / Chao-Chun Chen ; Chiang Lee
Internet Mobility Support Optimized for Client Access and Its Scalable Authentication Framework / Sufatrio ; Kwok-Yan Lam
Proxy Agent Consistency Service Based on CORBA / Kyung-Ah Chang ; Byung-Rae Lee ; Tai-Yun Kim
Keynote Speeches
Integrating Mobile Objects into the Wirelessly Wired World: The Need for Energy Efficient Algorithms / Prof. Imrich Chlamtac
Databases Unplugged: Challenges in Ubiquitous Data Management / Prof. Michael Franklin
Author Index
Wireless Networks and Communications / Session I:
Wireless VoIP: Opportunities and Challenges / Jin Yang ; Ioannis Kriaras
GSM Mobile Phone Based Communication of Multimedia Information: A Case Study / Y.S. Moon ; H.C. Ho ; Kenneth Wong
8.

図書

図書
Prith Banerjee, Viktor K. Prasanna, Bhabani P. Sinha (eds.)
出版情報: Berlin : Springer, c1999  xxii, 412 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1745
所蔵情報: loading…
目次情報: 続きを見る
Architecture/Compilers / Pradip K. DasSession I-A:
Efficient Technique for Overcoming Data Migration in Dynamic Disk Arrays / S. Zertal ; C. Timsit
Combining Conditional Constant Propagation and Interprocedural Alias Analysis / K. Gopinath ; K.S. Nandakumar
Microcaches / D. May ; D. Page ; J. Irwin ; H.L. Muller
Improving Data Value Prediction Accuracy Using Path Correlation / W. Mohan ; M. Franklin
Performance Benefits of Exploiting Control Independence / S. Vadlapatla
Fast Slicing of Concurrent Programs / D. Goswami ; Kharagpur ; R. Mall
Cluster Computing / R. GovindarajanSession I-B:
VME Bus-Based Memory Channel Architecture for High Performance Computing / M. Sharma ; A. Mandal ; B.S. Rao ; G. Athithan
Evaluation of Data and Request Distribution Policies in Clustered Servers / A. Khaleel ; A.L.N. Reddy
Thunderbolt: A Consensus-Based Infrastructure for Loosely-Coupled Cluster Computing / H. Praveen ; S. Arvindam ; S. Pokarna
Harnessing Windows NT for High Performance Computing / A. Saha ; K. Rajesh ; S. Mahajan ; P.S. Dhekne ; H.K. Kaura
Performance Evaluation of a Load Sharing System on a Cluster of Workstations / Y. Hajmahmoud ; P. Sens ; B. Folliot
Modeling Cone-Beam Tomographic Reconstruction Using LogSMP: An Extended LogP Model for Clusters of SMPs / D.A. Reimann ; V. Chaudhary ; I.K. Sethi
Compilers and Tools / Manoj FranklinSession II-A:
A Fission Technique Enabling Parallelization of Imperfectly Nested Loops / J. Ju
A Novel Bi-directional Execution Approach to Debugging Distributed Programs
Memory-Optimal Evaluation of Expression Trees Involving Large Objects / C.-C. Lam ; D. Cociorva ; G. Baumgartner ; P. Sadayappan
Resource Usage Modelling for Software Pipelining / V.J. Ramanan
An Interprocedural Framework for the Data and Loops Partitioning in the SIMD Machines / J. Lin ; Z. Zhang ; R. Qiao ; N. Zhu
Tiling and Processors Allocation for Three Dimensional Iteration Space / H. Bourzoufi ; B. Sidi-Boulenouar ; R. Andonov
Scheduling / Rajib MallSession II-B:
Process Migration Effects on Memory Performance of Multiprocessor Web-Servers / P. Foglia ; R. Giorgi ; C.A. Prete
Adaptive Algorithms for Scheduling Static Task Graphs in Dynamic Distributed Systems / P. Das ; D. Das ; P. Dasgupta
Scheduling Strategies for Controlling Resource Contention on Multiprocessor Systems / S. Majumdar
Deadline Assignment in Multiprocessor-Based Fault-Tolerant Systems / S.K. Kodase ; N.V. Satyanarayana ; A. Pal
Affinity-Based Self Scheduling for Software Shared Memory Systems / W. Shi ; Z. Tang
Efficient Algorithms for Delay Bounded Multicast Tree Generation for Multimedia Applications / N. Narang ; G. Kumar ; C.P. Ravikumar
Panel
Whither Indian Computer ScienceR&D? / Sriram Vajapeyam
Mini Symposium
High Performance Data Mining / Vipin Kumar ; Jaideep Srivastava
Parallel Algorithms - I / Amar MukherjeeSession III-A:
Self-Stabilizing Network Decomposition / F. Belkouch ; M. Bui ; L. Chen ; A.K. Datta
Performance Analysis of a Parallel PCS Network Simulation / A. Boukerche ; A. Fabbri ; O. Yildiz ; S.K. Das
Ultimate Parallel List Ranking? / J. F. Sibeyn
A Parallel 3-D Capacitance Extraction Program / Y.Yuan ; P. Banerjee
Parallel Algorithms for Queries with Aggregate Functions in the Presence of Data Skew / Y. Jiang ; K.H. Liu ; C.H.C. Leung
A Deterministic On-Line Algorithm for the List-Update Problem / H. Mahanta ; P. Gupta
Mobile Computing - I / Sajal DasSession III-B:
Link-State Aware Traffic Scheduling for Providing Predictive QoS in Wireless Mobile Multimedia Networks / A.Z.M.E. Hossain ; V.K. Bhargava
Enhancing Mobile IP Routing Using Active Routers / K.W. Chin ; M.Kumar ; C. Farrell
Adaptive Scheduling at Mobiles for Wireless Networks with Multiple Priority Traffic and Multiple Transmission Channels / S. Damodaran ; K.M. Sivalingam
An Analysis of Routing Techniques for Mobile and Ad Hoc Networks / R.V. Boppana ; M.K. Marina ; S.P. Konduru
MobiDAT: Mobile Data Access and Transactions / D. Bansal ; M. Kalia ; H. Saran
Parallel Algorithms - II / Dilip KrishnaswamySession IV-A:
Optimal k-ary Divide and Conquer Computations on Wormhole 2-D and 3-D Meshes / J. Trdli&cbreve;ka ; P. Tvrdík
Parallel Real Root Isolation Using the Descartes Method / T. Decker ; W. Krandick
Cellular Automata Based Transform Coding for Image Compression / K. Paul ; D.R. Choudhury ; P.P. Chaudhuri
A Parallel Branch-and-Bound Algorithm for the Classification Problem / S. Balev ; A. Freville
Parallel Implementation of Tomographic Reconstruction Algorithms on Bus-Based Extended Hypercube / K. Rajan ; L.M. Patnaik
An Optimal Hardware-Algorithm for Selection Using a Fixed-Size Parallel Classifier Device / S. Olariu ; M.C. Pinotti ; S.Q. Zheng
Mobile Computing - II / Ajit PalSession IV-B:
A Novel Frame Structure and Call Admission Control for Efficient Resource Management in Next Generation Wireless Networks / N.K. Kakani ; S.K. Sen
Harmony - A Framework for Providing Quality of Service in Wireless Mobile Computing Environment / A. Lele ; S.K. Nandy
Stochastic Modeling of TCP/IP over Random Loss Channels / A.A. Abouzeid ; M. Azizoglu ; S. Roy
Accurate Approximate Analysis of Dual-Band GSM Networks with Multimedia Services and Different User Mobility Patterns / M. Meo ; M.A. Marsan
Paging Strategies for Future Personal Communication Services Network / P.S. Bhattacharjee ; D. Saha ; A. Mukherjee
Parallel Applications / Session V-A:
A Framework for Matching Applications with Parallel Machines / J. In ; C. Jin ; J. Peir ; S. Ranka ; S. Sahni
A Parallel Monte Carlo Algorithm for Protein Accessible Surface Area Computation / S. Aluru ; D. Ranjan ; N. Futamura
Parallelisation of a Navier-Stokes Code on a Cluster of Workstations / V. Ashok ; T.C. Babu
I/O Implementation and Evaluation of Parallel Pipelined STAP on High Performance Computers / W.-k. Liao ; A. Choudhary ; D. Weiner ; P. Varshney
Efficient Parallel Adaptive Finite Element Methods Using Self-Scheduling Data and Computations / A.K. Patra ; J. Long ; A. Laszloffy
Avoiding Conventional Overheads in Parallel Logic Simulation: A New Architecture / D. Dalton
Interconnection Networks / Bhargab BhattacharyaSession V-B:
Isomorphic Allocation in k-ary n-cube Systems / M. Kang ; C. Yu
Unit-Oriented Communication in Real-Time Multihop Networks / S. Balaji ; G. Manimaran ; C.S.R. Murthy
Counter-Based Routing Policies / X. Liu ; Y. Xiang ; T.J. Li
Minimizing Lightpath Set-up Times in Wavelength Routed All-Optical Networks / M. Shiva Kumar ; P.S. Kumar
Design of WDM Networks for Delay-Bound Multicasting / P. Jain
Generalized Approach towards the Fault Diagnosis in Any Arbitrarily Connected Networks / B. Dasgupta ; S. Dasgupta ; A. Chowdhury
Author Index
Architecture/Compilers / Pradip K. DasSession I-A:
Efficient Technique for Overcoming Data Migration in Dynamic Disk Arrays / S. Zertal ; C. Timsit
Combining Conditional Constant Propagation and Interprocedural Alias Analysis / K. Gopinath ; K.S. Nandakumar
9.

図書

図書
Norman Foo (ed.)
出版情報: Berlin : Springer, c1999  xv, 500 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1747 . Lecture notes in aritificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Machine Learning I
Generating Rule Sets from Model Trees / Geoffrey Holmes ; Mark Hall ; Eibe Frank
Classifying and Learning Cricket Shots Using Camera Motion / Mihai Lazarescu ; Svetha Venkatesh ; Geoff West
Unsupervised Learning in Metagame / Graham E. Farr ; David R. Powell
Neural Nets
A Neural Networks Based Approach for Fast Mining Characteristic Rules / Monzurur Rahman ; Xinghuo Yu ; Bala Srinivasan
FANRE: A Fast Adaptive Neural Regression Estimator / Zhihua Zhou ; Shifu Chen ; Zhaoqian Chen
Neural Networks for Defuzification of Fuzzy Rules: An Application in Macroeconomic Forecasting / Raouf Veliev ; Alex Rubinov ; Andrew Stranieri
Knowledge Representation I
Semantic Integration of Databases Using Linguistic Knowledge / Jeong-Oog Lee ; Doo-Kwon Baik
Representing `Just Invalid' Knowledge / John Debenham
Maximising Expected Utility for Behaviour Arbitration / Julio K. Rosenblatt
Natural Language
Generating Natural Language Descriptions of Project Plans / Margaret Wasko ; Robert Dale
Categorizing Unknown Words: A Decision Tree-Based Misspelling Identifier / Janine Toole
Sync/Trans: Simultaneous Machine Interpretation between English and Japanese / Shigeki Matsubara ; Katsuhiko Toyama ; Yasuyoshi Inagaki
Belief Revision
Minimal Belief Change and Pareto-Optimality / Oliver Schulte
Basic Infobase Change / Thomas Meyer
A Framework for Multi-Agent Belief Revision, Part I: The Role of Ontology / Wei Liu ; Mary-Anne Williams
Adaptive Algorithms
Genetic Programming for Multiple Class Object Detection / Mengjie Zhang ; Victor Ciesielski
A Simulated Annealing-Based Learning Algorithm for Boolean DNF / Andreas Albrecht ; Kathleen Steinhöfel
Mutant: A Genetic Learning System / Stéphane Calderoni ; Pierre Marcenac
Automated Reasoning
Computing Least Common Subsumers in Expressive Description Logics / Thomas Mantay
E-SETHEO: Design, Configuration and Use of a Parallel Automated Theorem Prover / Gernot Stenz ; Andreas Wolf
PTTP+GLiDeS: Guiding Linear Deductions with Semantics / Marianne Brown ; Geoff Sutcliffe
Neural Learning
Neural Network Learning Using Low-Discrepancy Sequence / Ivan Jordanov ; Robert Brown
An Investigation into the Effect of Ensemble Size and Voting Threshold on the Accuracy of Neural Network Ensembles / Robert Cox ; David Clark ; Alice Richardson
Neurofuzzy Learning of Mobile Robot Behaviours / Richard Willgoss ; Javaid Iqbal
Knowledge Representation II
<$>\cal {INDU}<$>: An Interval & Duration Network / Arun K. Pujari ; G. Vijaya Kumari ; Abdul Sattar
A Logical Framework for Inductive Inference and Its Rationality / Wei Li
Semantics for Pollock's Defeasible Reasoning / Quoc Bao Vo ; Joe Thurbon
Heuristics
Feasibility of Optimised Disjunctive Reasoning for Approximate Matching / Ian Horrocks ; Lin Padgham ; Laura Thomson
An Examination of Probabilistic Value-Ordering Heuristics / Matt Vernooy ; William S. Havens
Heuristics and Experiments on BDD Representation of Boolean Functions for Expert Systems in Software Verification Domains / Masahito Kurihara ; Hisashi Kondo
Knowledge Representation III
Abduction without Minimality / Abhaya C. Nayak ; Norman Y. Foo
Causal Propagation Semantics - A Study / Mikhail Prokopenko ; Maurice Pagnucco ; Pavlos Peppas ; Abhaya Nayak
Arc Weights for Approximate Evaluation of Dynamic Belief Networks / Nathalie Jitnah ; Ann E. Nicholson
Machine Learning II
Finding Cutpoints in Noisy Binary Sequences - A Revised Empirical Evaluation / Murlikrishna Viswanathan ; Chris S. Wallace ; David L. Dowe ; Kevin B. Korb
<$>\cal {Q}<$>-Learning in Continuous State and Action Spaces / Chris Gaskett ; David Wettergreen ; Alexander Zelinsky
Applications
On Understanding Global Behavior of Teams in Robot Soccer Simulators / Victor Korotkich ; Noel Patson
Visual Human-Machine Interaction
Applying Ant Algorithms and the No Fit Polygon to the Nesting Problem / Edmund Burke ; Graham Kendall
Poster Papers (Extended Summary)
Fisheye Matching: Viewpoint-Sensitive Feature Generation Based on Concept Structure / Yasufumi Takama ; Mitsuru Ishizuka
A Procedural Approach for Rule Based Update / Sai Kiran Lakkaraju ; Yan Zhang
Learning Logic Programs with Local Variables from Positive Examples / M.R.K. Krishna Rao
Estimating Problem Value in an Intelligent Tutoring System Using Bayesian Networks / Michael Mayo ; Antonija Mitrovic
Evaluation of Number-Kanji Translation Method of Non-Segmented Japanese Sentences Using Inductive Learning with Degenerated Input / Masafumi Matsuhara ; Kenji Araki ; Yoshio Momouchi ; Koji Tochinai
A Serving Agent for Integrating Soft Computing and Software Agents / Zili Zhang ; Chengqi Zhang
A Visual Geographic Knowledge Classification and Its Relationship to the KADS Model / Paul Crowther
A Constraint Optimization Framework for MultiAgent Anytime Scheduling / Bill Havens ; Randy Goebel ; Jean Berger ; René Proulx
Evolving Modular Neural Networks Using Rule-Based Genetic Programming / Bret Talko ; Linda Stern ; Les Kitchen
A Trajectory Approach to Causality / Victor Jauregui ; Norman Foo
Bayesian Reasoning for Diagnosing Student Misconceptions about Decimals / Elise Dettmann ; Ann Nicholson ; Liz Sonenberg ; Kaye Stacey ; Vicki Steinle
Reconsidering Fitness and Convergence in Co-Evolutionary Design / Mary Lou Maher ; Peter Xianghua Wu
A Proposal of Generating Artistic Japanese Calligraphic Fonts / Tsuyoshi Nakamura ; Lifeng He ; Hidenori Itoh
Using Competitive Learning in Neural Networks for Cluster-Detection-and-Labeling / Wen-Gong Chen ; Chen-Sen Ouyang ; Shie-Jue Lee
Knowledge-Based Communication Processes in Building Design / Wei Dai ; Robin Drogemuller
Information-Based Cooperation in Multiple Agent Systems / Yuefeng Li
Author Index
Machine Learning I
Generating Rule Sets from Model Trees / Geoffrey Holmes ; Mark Hall ; Eibe Frank
Classifying and Learning Cricket Shots Using Camera Motion / Mihai Lazarescu ; Svetha Venkatesh ; Geoff West
10.

図書

図書
Xiaoyuan Tu
出版情報: Berlin ; Tokyo : Springer, c1999  xiv, 172 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1635
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Motivation / 1.1:
Challenges / 1.2:
Conventional Animation Techniques / 1.2.1:
Methodology: Artificial Life for Computer Animation / 1.3:
Criteria and Goals / 1.3.1:
Artificial Animals / 1.3.2:
From Physics to Realistic Locomotion / 1.3.3:
Realistic Perception / 1.3.4:
Realistic Behavior / 1.3.5:
Fidelity and Efficiency / 1.3.6:
Contributions and Results / 1.4:
Primary Contributions / 1.4.1:
Auxiliary Technical Contributions / 1.4.2:
Thesis Overview / 1.5:
Background / 2:
Physics-Based Modeling / 2.1:
Constraint-Based Approach / 2.1.1:
Motion Synthesis Approach / 2.1.2:
Behavioral Animation / 2.2:
Perception Modeling / 2.2.1:
Control of Behavior / 2.2.2:
The Modeling of Action Selection / 2.3:
Defining Action / 2.3.1:
Goals and Means / 2.3.2:
Previous Work / 2.3.3:
ITask Level Motion Planning
Summary / 2.4:
Functional Anatomy of an Artificial Fish / 3:
Motor System / 3.1:
Perception System / 3.2:
Behavior System / 3.3:
Biomechanical Fish Model and Locomotion / 4:
Discrete Physics-Based Models / 4.1:
Structure of the Dynamic Fish Model / 4.2:
Mechanics / 4.3:
Viscoelastic Units / 4.3.1:
Muscles and Hydrodynamics / 4.4:
Numerical Solution / 4.5:
System Matrix Assembling and the Skyline Storage Scheme / 4.5.1:
Algorithm Outline and Discussion / 4.5.2:
Motor Controllers / 4.6:
Muscle Motor Controllers / 4.6.1:
Pectoral Fin Motor Controllers / 4.6.2:
Modeling the Form and Appearance of Fishes / 5:
Constructing 3D Geometric Fish Models / 5.1:
Obtaining Texture Coordinates / 5.2:
Deformable Mesh / 5.2.1:
Texture-Mapped Models / 5.3:
Coupling the Dynamic and Display Models / 5.4:
Visualization of the Pectoral Motions / 5.5:
Perception Modeling for Animation / 6:
Overview of the Artificial Fish's Perception System / 6.2:
Vision Sensor Modeling / 6.3:
Perceptual Range / 6.3.1:
Occlusion / 6.3.2:
Functionality / 6.3.3:
Computing Visibility / 6.4:
Visibility of a Point / 6.4.1:
Visibility of Another Fish / 6.4.2:
Visibility of a Cylinder / 6.4.3:
Visibility of Seaweeds / 6.4.4:
Discussion / 6.4.5:
The Focusser / 6.5:
Focus of Attention in Animals / 6.5.1:
Design of the Focusser / 6.5.2:
From Perception to Behavior / 6.5.3:
An Example: Collision Detection / 6.6.1:
Synthetic Vision Models / 6.7:
The Behavior System / 7:
Effective Action Selection Mechanisms / 7.1:
Behavior Control and Ethology / 7.2:
The Intention Level / 7.2.1:
The Action Level / 7.2.2:
Habits / 7.2.3:
Mental State / 7.4:
Intention Generator / 7.5:
Why Hierarchy? / 7.5.1:
Intention-Guided Perception: Control of the Focusser / 7.6:
Persistence in Behavior / 7.7:
Behavior Memory / 7.7.1:
Inhibitory Gain and Fatigue / 7.7.2:
Persistence in Targeting / 7.7.3:
Behavior Routines / 7.8:
Primitive Behavior: Avoiding Potential Collisions / 7.8.1:
Primitive Behavior: Moving Target Pursuit / 7.8.2:
Artificial Fish Types / 7.9:
Predators / 7.9.1:
Prey / 7.9.2:
Pacifists / 7.9.3:
Analysis / 7.10:
Modeling the Marine Environment / 7.10.2:
Water Current / 8.1:
Seaweeds, Plankton and Air Bubbles / 8.2:
The Graphical User Interface / 9:
Initialization Panels / 9.1:
Manipulation Panels / 9.2:
Control Panels / 9.3:
Animation Results / 9.4:
"Go Fish!" / 10.1:
"The Undersea World of Jack Cousto" / 10.2:
Animation Short: Preying Behavior / 10.3:
Animation Short: Schooling Behavior / 10.4:
Animation Short: Mating Behavior / 10.5:
Conclusion and Future Work / 11:
Conclusion / 11.1:
Additional Impact in Animation and Artificial Life / 11.2:
Impact in Computer Vision and Robotics / 11.3:
Potential Applications in Ethology / 11.4:
Other Artificial Animals / 11.5:
Future Research Directions / 11.6:
Animation / 11.6.1:
Artificial Life / 11.6.2:
Epilogue / 12:
Deformable Contour Models / A:
Animating the Pectoral Flapping Motion / B:
Animating the Pectoral Oaring Motion / B.2:
Prior Action Selection Mechanisms / C:
Behavior Choice Network / C.1:
Free-Flow Hierarchy / C.2:
Color Images / D:
References
Index
Introduction / 1:
Motivation / 1.1:
Challenges / 1.2:
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼