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:
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
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
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
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
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
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
Markov Localization for Reliable Robot Navigation and People Detection / Dieter Fox ; Wolfram Burgard ; Sebastian Thrun
Relocalisation by Partial Map Matching / Wolfgang D. Rencken ; Wendlin Feiten ; Raoul Zollner
Localization and On-Line Map Building for an Autonomous Mobile Robot / Ewald von Puttkamer ; Gerhard Weiss ; Thomas Edlinger
Interactive Learning of World Model Information for a Service Robot / Steen Kristensen ; Volker Hansen ; Sven Horstmann ; Jesko Klandt ; Konstantin Kondak ; Frieder Lohnert ; Andreas Stopp
MAid: A Robotic Wheelchair Operating in Public Environments / Erwin Prassler ; Jens Scholz ; Matthias Strobel ; Paolo Fiorini
Interactive Robot Programming Based on Human Demonstration and Advice / Holger Friedrich ; Rudiger Dillmann ; Oliver Rogalla
Towards Smarter Cars / Karin Sobottka ; Esther Meier ; Frank Ade ; Horst Bunke
Active Control of Resolution for Stable Visual Tracking / Nicola Ferrier
Near-Optimal Sensor-Based Navigation in an Environment Cluttered with Simple Shapes / Hiroshi Noborio ; Kenji Urakawa
Realistic Environment Models and Their Impact on the Exact Solution of the Motion Planning Problem / A. Frank van der Stappen
Robot Localization Using Polygon Distances / Oliver Karch ; Hartmut Noltemeier ; Thomas Wahl
On-Line Searching in Simple Polygons / Sven Schuierer
Distributed Algorithms for Carrying a Ladder by Omnidirectional Robots in Near Optimal Time / Yuichi Asahiro ; Hajime Asama ; Satoshi Fujita ; Ichiro Suzuki ; Masafumi Yamashita
Modeling and Stability Analysis of the Dynamic Behavior in Load Sharing Systems / Paul Levi ; Michael Schanz ; Viktor Avrutin ; Robert Lammert
Recent Advances in Range Image Segmentation / Xiaoyi Jiang
ISR: An Intelligent Service Robot / Magnus Andersson ; Anders Oreback ; Matthias Lindstrom ; Henrik I. Christensen
Vision-Based Behavior Control of Autonomous Systems by Fuzzy Reasoning / Wei Li ; Friedrich M. Wahl ; Jiangzhong Z. Zhou ; Hong Wang ; Kezhong Z. He
Author Index
Markov Localization for Reliable Robot Navigation and People Detection / Dieter Fox ; Wolfram Burgard ; Sebastian Thrun
Relocalisation by Partial Map Matching / Wolfgang D. Rencken ; Wendlin Feiten ; Raoul Zollner
Localization and On-Line Map Building for an Autonomous Mobile Robot / Ewald von Puttkamer ; Gerhard Weiss ; Thomas Edlinger
The Anatomy of a Geometric Algorithm / Jiří Matoušek
Orthogonality I
Turn-Regularity and Planar Orthogonal Drawings / Stina S. Bridgeman ; Roberto Tamassia ; Luca Vismara ; Giuseppe Di Battista ; Walter Didimo ; Giuseppe Liotta
Combining Graph Labeling and Compaction / Gunnar W. Klau ; Petra Mutzel
Almost Bend-Optimal Planar Orthogonal Drawings of Biconnected Degree-3 Planar Graphs in Quadratic Time / Ashim Garg
Fully Dynamic 3-Dimensional Orthogonal Graph Drawing / M. Closson ; S. Gartshore ; J. Johansen ; S. K. Wismath
Levels I
An E log E Line Crossing Algorithm for Levelled Graphs / Vance Waddle ; Ashok Malhotra
Level Planar Embedding in Linear Time / Michael Jünger ; Sebastian Leipert
Higres - Visualization System for Clustered Graphs and Graph Algorithms / Ivan A. Lisitsyn ; Victor N. Kasyanov
Clusters I
Partitioning Approach to Visualization of Large Graphs / Vladimir Batagelj ; Andrej Mrvar ; Matjaž Zaveršnik
Graph Clustering Using Distance-k Cliques / Jubin Edachery ; Arunabha Sen ; Franz J. Brandenburg
Drawing I
A Framework for Circular Drawings of Networks / Janet M. Six ; Ioannis G. Tollis
Drawing Planar Graphs with Circular Arcs / C. C. Cheng ; C. A. Duncan ; M. T. Goodrich ; S. G. Kobourov
Drawing Graphs in the Hyperbolic Plane / Bojan Mohar
Human Perception and Production of Gesture / Section 1：
Invited Paper
Seeing Biological Motion - Is There a Role for Cognitive Strategies? / Winand H. Dittrich
Long Papers
The Expressive Power of Gestures: Capturing Scent in a Spatial Shape / Caroline Hummels ; Kees Overbeeke
Non-obvious Performer Gestures in Instrumental Music / Marcelo M. Wanderley
Short Papers
The Ecological Approach to Multimodal System Design / Antonella De Angeli ; Frederic Wolff ; Laurent Romary ; Walter Gerbino
Analysis of Trunk and Upper Limb Articular Synergies / Agnes Roby-Brami ; Mounir Mokhtari ; Isabelle Laffont ; Nezha Bennis ; Elena Biryukova
Localisation and Segmentation / Section 2：
GREFIT: Visual Recognition of Hand Postures / Claudia Nölker ; Helge Ritter
Towards Imitation Learning of Grasping Movements by an Autonomous Robot / Jochen Triesch ; Jan Wieghardt ; Eric Maël ; Christoph von der Malsburg
A Line-Scan Computer Vision Algorithm for Identifying Human Body Features / Damian M. Lyons ; Daniel L. Pelletier
Short Paper
Hand Posture Recognition in a Body-Face Centered Space / Sebastien Marcel ; Olivier Bernier
Recognition / Section 3：
Vision-Based Gesture Recognition: A Review / Ying Wu ; Thomas S. Huang
Person Localization and Posture Recognition for Human-Robot Interaction / Hans-Joachim Boehme ; Ulf-Dietrich Braumann ; Andrea Corradini ; Horst-Michael Gross
Statistical Gesture Recognition Through Modelling of Parameter Trajectories / J. Martin ; D. Hall ; J.L. Crowley
Gesture Recognition for Visually Mediated Interaction / A. Jonathan Howell ; Hilary Buxton
Interpretation of Pointing Gestures: The PoG System / Rachid Gherbi ; Annelies Braffort
Control of In-vehicle Systems by Gestures / Jean-FrançoisKamp ; Frank Poirier ; Philippe Doignon
Sign Language / Section 4：
French Sign Language: Proposition of a Structural Explanation by Iconicity / Christian Cuxac
HMM-Based Continuous Sign Language Recognition Using Stochastic Grammars / Hermann Hienz ; Britta Bauer ; Karl-Friedrich Kraiss
A Method for Analyzing Spatial Relationships Between Words in Sign Language Recognition / Hirohiko Sagawa ; Masaru Takeuchi
Toward Scalability in ASL Recognition: Breaking Down Signs into Phonemes / Christian Vogler ; Dimitris Metaxas
Gesture Synthesis and Animation / Section 5：
A Complete System for the Specification and the Generation of Sign Language Gestures / Thierry Lebourque ; Sylvie Gibet
Sign Specification and Synthesis / Olivier Losson ; Jean-Marc Vannobel
Active Character: Dynamic Reaction to the User / Shan Lu ; Seiji Igi
The Role of Trust Management in Distributed Systems Security / Matt Blaze ; Joan Feigenbaum ; John Ioannidis ; Angelos D. Keromytis
Distributed Access-Rights Management with Delegation Certifi- cates / Tuomas Aura
A View-Based Access Control Model for CORBA / Gerald Brose
Apoptosis - the Programmed Death of Distributed Services / Christian Tschudin
A Sanctuary for Mobile Agents / Bennet S. Yee
Mutual Protection of Co-operating Agents / Volker Roth
Implementations / III：
Access Control in Configurable Systems / Trent Jaeger
Providing Policy-Neutral and Transparent Access Control in Extensible Systems / Robert Grimm ; Brian N. Bershad
Interposition Agents: Transparently Interposing User Code at the System Interface / Michael B. Jones
J-Kernel: A Capability-Based Operating System for Java / Thorsten von Eicken ; Chi-Chao Chang ; Grzegorz Czajkowski ; Chris Hawblitzel ; Deyu Hu ; Dan Spoonhower
Secure Network Objects / Leendert van Doorn ; Martin Abadi ; Mike Burrows ; Edward Wobber
History-Based Access Control for Mobile Code / Guy Edjlali ; Anurag Acharya ; Vipin Chaudhary
Security in Active Networks / D. Scott Alexander ; William A. Arbaugh ; Jonathan M. Smith
Using Interfaces to Specify Access Rights / J. Hulaas ; A. Villazon ; J. Harms
Introducing Trusted Third Parties to the Mobile Agent Paradigm / Uwe G. Wilhelm ; Sebastian Staamann ; Levente Buttyan
Appendix / IV：
List of Authors
Foundations / I：
Trust: Benefits, Models, and Mechanisms / Vipin Swarup ; Javier Thayer Fábrega
Protection in Programming-Language Translations / MartÃn Abadi
VSDITLU: A Verifiable Symbolic Definite Integral Table Look-Up / A. A. Adams ; H. Gottliebsen ; S. A. Linton ; U. MartinSession 4：
A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers / Predrag Janičić ; Alan Bundy ; Ian Green
Presenting Proofs in a Human-Oriented Way / Helmut Horacek
On the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity Results / Viorica Sofronie-StokkermansSession 5：
Maslov's Class K Revisited / Ullrich Hustadt ; Renate A. Schmidt
Prefixed Resolution: A Resolution Method for Modal and Description Logics / Carlos Areces ; Hans de Nivelle ; Maarten de Rijke
System Descriptions / Session 6：
System Description: Twelf - A Meta-Logical Framework for Deductive Systems / Frank Pfenning ; Carsten Schürmann
System Description: inka 5.0 - A Logic Voyager / Serge Autexier ; Dieter Hutter ; Heiko Mantel ; Axel Schairer
System Description: CutRes 0.1: Cut Elimination by Resolution / Matthias Baaz ; Alexander Leitsch ; Georg Moser
System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving / Andreas Franke ; Michael Kohlhase
System Description: Using OBDD's for the Validation of Skolem Verification Conditions / E. Pascal Gribomont ; Nachaat Salloum
Fault-Tolerant Distributed Theorem Proving / Jason Hickey
System Description: Waldmeister - Improvements in Performance and Ease of Use / Thomas Hillenbrand ; Andreas Jaeger ; Bernd Löchner
Formal Metatheory Using Implicit Syntax, and an Application to Data Abstraction for Asynchronous Systems / Amy P. Felty ; Douglas J. Howe ; Abhik RoychoudhurySession 7：
A Formalization of Static Analyses in SystemF / Frédéric Prost
On Explicit Reflection in Theorem Proving and Formal Verification / Sergei N. Artemov
System Description: Kimba, A Model Generator for Many-Valued First-Order Logics / Karsten Konrad ; D. A. WolframSession 8：
System Description: Teyjus-A Compiler and Abstract Machine Based Implementation of λProlog / Gopalan Nadathur ; Dustin J. Mitchell
Vampire / Alexandre Riazanov ; Andrei Voronkov
System Abstract: E 0.3 / Stephan Schulz
Invited Talk: Rewrite-Based Deduction and Symbolic Constraints / Robert NieuwenhuisSession 9：
Towards an Automatic Analysis of Security Protocols in First-Order Logic / Christoph Weidenbach
A Confluent Connection Calculus / Peter Baumgartner ; Norbert Eisinger ; Ulrich FurbachSession 10：
Abstraction-Based Relevancy Testing for Model Elimination / Marc Fuchs ; Dirk Fuchs
A Breadth-First Strategy for Mating Search / Matthew Bishop
System Competitions / Session 11：
The Design of the CADE-16 Inductive Theorem Prover Contest
System Description: Spass Version 1.0.0 / Bijan Afshordel ; Uwe Brahm ; Christian Cohrs ; Thorsten Engel ; Enno Keen ; Christian Theobalt ; Dalibor TopićSession 12：
KK: A Theorem Prover for K
System Description: CYNTHIA / Jon Whittle ; Richard Boulton ; Helen Lowe
System Description: MCS: Model-Based Conjecture Searching / Jian Zhang
Invited Talk: Embedding Programming Languages in Theorem Provers / Tobias NipkowSession 13：
Extensional Higher-Order Paramodulation and RUE-Resolution / Christoph Benzmüller
Automatic Generation of Proof Search Strategies for Second-Order Logic / Raul H. C. Lopes
Author Index
A Dynamic Programming Approach to Categorial Deduction / Philippe de GrooteSession 1：
Tractable Transformations from Modal Provability Logics into First-Order Logic / Stéphane Demri ; Rajeev Goré
Invited Talk: Decision Procedures for Guarded Logics / Erich GrädelSession 2：
Eigenvalue Problems and Solution of Linear Systems / Chapter 1：
Introduction / Vicente Hernández
Some Unusual Eigenvalue Problems (Invited Talk) / Zhaojun Bai ; Gene H. Golub
Multi-sweep Algorithms for the Symmetric Eigenproblem / Wilfried N. Gansterer ; Dieter F. Kvasnicka ; Christoph W. Ueberhuber
A Unified Approach to Parallel Block-Jacobi Methods for the Symmetric Eigenvalue Problem / D. Giménez ; Antonio M. Vidal
Calculation of Lambda Modes of a Nuclear Reactor: A Parallel Implementation Using the Implicitly Restarted Arnoldi Method / José E. Román ; Vicent Vidal
Parallel Jacobi-Davidson for Solving Generalized Eigenvalue Problems / Margreet Nool ; Auke van der Ploeg
Parallel Preconditioned Solvers for Large Sparse Hermitian Eigenproblems / Achim Basermann
Solving Eigenvalue Problems on Networks of Processors / C. Jiménez ; M. J. Majado ; N. Marín ; A. Martín
Solving Large-Scale Eigenvalue Problems on Vector Parallel Processors / David L. Harrar II ; Michael R. Osborne
Direct Linear Solvers for Vector and Parallel Computers / Friedrich Grund
Parallel Preconditioners for Solving Nonsymmetric Linear Systems / Antonio J. García-Loureiro ; Tomás F. Pena ; J.M. López-González ; Ll. Prat Viñas
Synchronous and Asynchronous Parallel Algorithms with Overlap for Almost Linear Systems / Josep Arnal ; Violeta Migallón ; José Penadés
The Parallel Problems Server: A Client-Server Model for Interactive Large Scale Scientific Computation / Parry Husbands ; Charles Isbell
Parallel Domain-Decomposition Preconditioning for Computational Fluid Dynamics (Invited Talk) / Timothy J. Barth ; Tony F. Chan ; Wei-Pai Tang
Influence of the Discretization Scheme on the Parallel Efficiency of a Code for the Modelling of a Utility Boiler / Pedro Jorge Coelho
Parallel 3D Airflow Simulation on Workstation Clusters / Jean-Baptiste Vicaire ; Loic Prylli ; Georges Perrot ; Bernard Tourancheau
Parallel Turbulence Simulation: Resolving the Inertial Subrange of the Kolmogorov Spectrum / Martin Strietzel ; Thomas Gerz
The Study of a Parallel Algorithm Using the Laminar Backward-Facing Step Flow as a Test Case / P.M. Areal ; J.M.L.M. Palma
A Low Cost Distributed System for FEM Parallel Structural Analysis / Célio Oda Moretti ; Túlio Nogueira Bittencourt ; Luiz Fernando Martha
Dynamic Load Balancing in Crashworthiness Simulation / Hans Georg Galbas ; Otto Kolp
Some Concepts of the Software Package FEAST / Ch. Becker ; S. Kilian ; S. Turek
Multilevel Mesh Partitioning for Optimising Aspect Ratio / C. Walshaw ; M. Cross ; R. Diekmann ; F. Schimbach
Computing in Education / Chapter 3：
Parallel and Distributed Computing in Education (Invited Talk) / Peter H. Welch
Computer Organisation, Programming and Benchmarking / Chapter 4：
Reconfigurable Systems: Past and Next 10 Years (Invited Talk) / José Silva Matos ; Jean Vuillemin
A Systolic Algorithm for the Factorisation of Matrices Arising in the Field of Hydrodynamics / S.-G. Seo ; M. J. Downie ; G. E. Hearn ; C. Phillips
Automatic Detection of Parallel Program Performance Problems / A. Espinosa ; T. Margalef ; E. Luque
Behavioural Analysis Methodology Oriented to Configuration of Parallel, Real-Time and Embedded Systems / F.J. Suárez ; D.F. García
Spatial Data Locality with Respect to Degree of Parallelism in Processor-and-Memory Hierarchies / Renato J. O. Figueiredo ; José A.B. Fortes ; Zina Ben Miled
Partitioning Regular Domains on Modern Parallel Computers / Manuel Prieto-Matías ; Ignacio Martín-Llorente ; Francisco Tirado
New Access Order to Reduce Inter-vector-Conflicts / A. M. del Corral ; J. M. Llaberia
Registers Size Influence on Vector Architectures / Luis Villa ; Roger Espasa ; Mateo Valero
Limits of Instruction Level Parallelism with Data Value Speculation / José González ; Antonio González
High Performance Cache Management for Parallel File Systems / F. García ; J. Carretero ; F. Pérez ; P. de Miguel
Using Synthetic Workloads for Parallel Task Scheduling Improvement Analysis / João Paulo Kitajima ; Stella Porto
Algorithm-Dependant Method to Determine the Optimal Number of Computers in Parallel Virtual Machines / Jorge Barbosa ; Armando Padilha
Low Cost Parallelizing: A Way to be Efficient / Marc Martin ; Bastien Chopard
A Performance Analysis of the SGI Origin2000 / Aad J. van der Steen ; Ruud van der Pas
An ISA Comparison Between Superscalar and Vector Processors / Francisca Quintana
Image, Analysis and Synthesis / Chapter 5：
High Performance Computing for Image Synthesis (Invited Talk) / Thierry Priol
Parallel Implementations of Morphological Connected Operators Based on Irregular Data Structures / Christophe Laurent ; Jean Roman
Parallel Database Servers / Chapter 6：
The Design of an ODMG Compatible Parallel Object Database Server (Invited Talk) / Paul Watson
Nonlinear Problems / Chapter 7：
A Parallel N-body Integrator Using MPI / Heather Ruskin ; José A.M.S. Duarte ; Nuno Sidónio Andrade Pereira
A Parallelisation Strategy for Power Systems Composite Reliability Evaluation (Best Student Paper Award: Honourable Mention) / Carmen L. T. Borges ; Djalma M. Falcão
High Performance Computing of an Industrial Problem in Tribology (Best Student Paper Award: First Prize) / M. Arenaz ; R.Doallo ; G.García ; C. Vázquez
Parallel Grid Manipulations in Earth Science Calculations / William Sawyer ; Lawrence Takacs ; Arlindo da Silva ; Peter Lyster
Simulating Magnetised Plasma with the Versatile Advection Code / Rony Keppens ; Gábor Tóth
Adaptively-Secure Distributed Public-Key Systems / Yair Frankel ; Moti Yung ; Philip MacKenzie
How Long Does a Bit Live in a Computer? / Bernhard Korte
Approximation Algorithms for the Traveling Purchaser Problem and Its Variants in Network Design / R. Ravi ; F. S. Salman
The Impact of Knowledge on Broadcasting Time in Radio Networks (Extended Abstract) / Krzysztof Diks ; Danny Krizanc ; Evangelos Kranakis ; Andrzej Pelc
Multipacket Routing on 2-D Meshes and Its Application to Fault-Tolerant Routing / Kazuo Iwama ; Eiji Miyano
IP Address Lookup Made Fast and Simple / Pierluigi Crescenzi ; Leandro Dardini ; Roberto Grossi
On-Line Load Balancing in a Hierarchical Server Topology / Amotz Bar-Noy ; Ari Freund ; Joseph Naor
Provably Good and Practical Strategies for Non-uniform Data Management in Networks / Friedhelm Meyer auf der Heide ; Matthias Westermann ; Berthold Vöcking
Approximation Algorithms for Restoration Capacity Planning / Steven J. Phillips ; JefferyR. Westbrook
Efficient Algorithms for Integer Programs with Two Variables per Constraint (Extended Abstract) / Reuven Bar-Yehuda ; Dror Rawitz
Convex Quadratic Programming Relaxations for Network Scheduling Problems / Martin Skutella
Resource-Constrained Project Scheduling: Computing Lower Bounds by Solving Minimum Cut Problems / RolfH. Möhring ; Frederik Stork ; Marc Uetz ; Andreas S. Schulz
Approximation Schemes for Scheduling on Uniformly Related and Identical Parallel Machines / Leah Epstein ; Jiří Sgall
Linear and Nonlinear Supersymmetries / J. Bagger ; A. Galperin
Covariant Harmonic Supergraphity for N = 2 Super Yang-Mills Theories / I. Buchbinder ; S. Kuzenko ; B. Ovrut
Rigid N = 2 Superconformal Hypermultiplets / B. de Wit ; B. Kleijn ; S. Vandoren
Ectoplasm Has No Topology: The Prelude / S. James Gates ; Jr
From Supergravity to Ballbearings / P. Grozman ; D. Leites
On Harmonic Superspace / P. Howe
Harmonic Approach and Quaternionic Taub-NUT Metric / E. Ivanov ; G. Valent
Supergeometry in Equivariant Cohomology / A. Nersessian
Harmonics, Notophs and Chiral Bosons / P. Pasti ; D. Sorokin ; M. Tonin
3-Point Functions in N = 4 Yang-Mills in Harmonic Superspace / E. Sokatchev
Harmonic Superspaces for Three-Dimensional Theories / B. Zupnik
Super p-Branes and M-Theory / Part II：
The Neveu-Schwarz Five-Brane and Its Dual Geometries / B. Andreas ; G. Curio ; D. Lüst
Superembedding Approach and Generalized Action in String/M-Theory / I. Bandos
Domain Walls and Spacetime-Filling Branes / E. Bergshoeff
The Quantum Geometry of Branes / C.M. Hull
String Action on adS Space / R. Kallosh
Making Manifest the Symmetry Enhancement for Coinciding BPS Branes / S.V. Ketov
On Some Stability Properties of Compactified D = 11 Supermembranes / I. Martin ; A. Restuccia
U-Duality and M-Theory Cosmology / B.A. Ovrut
Brane Scattering and Supersymmetric ?-Model Geometries / K.S. Stelle
Graviton Scattering in Eleven-Dimensional Supergravity / A.A. Tseytlin
Supersymmetric Quantum Mechanics and Integrable Systems / Part III：
Nilpotent Marsh and SUSY QM / V.P. Akulov ; S. Duplij
On Superconformal-Like Transformations and Their Nonlinear Realization
N = 2 SUSY Two-Boson KP Hierarchy, (Derivative) NLS Equation and Miura Transformations / S. Krivonos ; Z. Popowicz
Third Family of N = 2 Supersymmetric KdV Hierarchies / A. Sorin
Integrals of Motion, Supersymmetric Quantum Mechanics and Dynamical Supersymmetry / M.S. Plyushchay
From LG to a Butterfly Resolution of Unitary N = 2 Representations / A. Semikhatov
Super-affine Hierarchies and Their Poisson Embeddings / F. Toppan
Quantum Field Theory and Quantum Groups / Part IV：
1+1 Dimensional Models of Dilaton Gravity Coupled to Bosons and Fermions / A.T. Filippov
Finite-Size Energy Levels of the Superintegrable Chiral Potts Model / G. v. Gehlen
Characteristic Polynomials for Quantum Matrices / A. Isaev ; O. Ogievetsky ; P. Pyatov ; P. Saponov
Arbitrary Spin Massless Bosonic Fields in d-Dimensional Anti-de Sitter Space / R.R. Metsaev
Direct Mode Summation for the Casimir Energy of Spherical Shell and Compact Ball / V.V. Nesterenko ; I.G. Pirozhenko
On Different BRST Constructions for a Given Lie Algebra / A. Pashnev ; M. Tsulaia
Higher-Spin Gauge Theories - Integrability Versus Locality / S. Prokushkin ; M. Vasiliev
Global Quantum Anomaly / A. Slavnov
Non-commutative Space-Time Algebra and the Spectrum of Its Operators / J. Wess
Selected Works and List of Main Publications of V.I. Ogievetsky / Part V：
Spinors in Gravitation Theory / V.I. Ogievetskii ; I.V. Polubarinov
The Notoph and Its Possible Interactions
Infinite-Dimensional Algebra of General Covariance Group as the Closure of Finite-Dimensional Algebras of Conformal and Linear Groups / V.I. Ogievetsky
Theory of Dynamical Affine and Conformal Symmetries as the Theory of the Gravitational Field / A.B. Borisov
Structure of the Supergravity Group / V. Ogievetsky
Grassmann Analyticity and Extension of Supersymmetry / A. Gal'perin ; V. Ogievetskii
Harmonic Superspace: Key to N = 2 Supersymmetry Theories / E. Sokachev
N = 3 Supersymmetric Gauge Theory / S. Kalitzin
Super Self-duality as Analyticity in Harmonic Superspace / Ch. Devchand
List of Main Publications of V.I. Ogievetsky
Superspace Approach to Supersymmetry / Part I：
Linear and Nonlinear Supersymmetries / J. Bagger ; A. Galperin
Covariant Harmonic Supergraphity for N = 2 Super Yang-Mills Theories / I. Buchbinder ; S. Kuzenko ; B. Ovrut
Information Discovery and Management on the Internet
Invited Contribution: Agent Technology from a NASA Perspective / W. Truszkowski ; H. Hallock ; J. Kurien
Invited Contribution: Digital City Kyoto: Towards a Social Information Infrastructure / T. Ishida ; J.-i. Akahani ; K. Hiramatsu ; K. Isbister ; S. Lisowski ; H. Nakanishi ; M. Okamoto ; Y. Miyazaki ; K. Tsutsuguchi
Invited Contribution: Autonomous Search for Information in an Unknown Environment / E. Gelenbe
Invited Contribution: Resource Management in Agent-based Distributed Environments / A. Brodsky ; L. Kerschberg ; S. Varas
Information Agents on the Internet - Prototypes, Systems and Applications
A Multi-Agent Architecture for an Intelligent Website in Insurance / C. M. Jonker ; R. A. Lam ; J. Treur
Formation of Cooperative Behavior among Information Agents in Web Repository Change Monitoring Service / S. Saeyor ; M. Ishizuka
GETESS - Searching the Web Exploiting German Texts / S. Staab ; C. Braun ; I. Bruder ; A. Dusterhöft ; A. Heuer ; M. Klettke ; G. Neumann ; B. Prager ; J. Pretzel ; H.-P. Schnurr ; R. Studer ; H. Uszkoreit ; B. Wrenger
An Agent-Based System for Intelligent Collaborative Filtering / C. O'Riordan ; H. Sorensen
Communication and Collaboration
Inter-Agent Communication in Cooperative Information Agent-Based Systems / H. Gomaa
Intention Reconciliation in the Context of Teamwork: An Initial Empirical Investigation / D. G. Sullivan ; A. Glass ; B. J. Grosz ; S. Kraus
A Similarity Evaluation Technique for Cooperative Problem Solving with a Group of Agents / S. Puuronen ; V. Terziyan
A Computational Model for a Cooperating Agent System / S. M. Deen
Mobile Information Agents
Mobile Agents Behaviours: From Declarative Speci cations to Implementation / C. Hanachi ; N. Hameurlain ; C. Sibertin-Blanc
Maintaining Specialized Search Engines through Mobile Filter Agents / W. Theilmann ; K. Rothermel
Execution Monitoring in Adaptive Mobile Agents / W. Vieira ; L. M. Camarinha-Matos
Mobile-Agent Mediated Place Oriented Communication / Y. Kitamura ; Y. Mawarimichi ; S. Tatsumi
Rational Information Agents for Electronic Business
Invited Contribution (Abstract): Agents and Electronic Commerce: Mechanisms and Protocols / M. P. Wellman
Invited Contribution: The Role of Agent Technology in Business to Business Electronic Commerce / M. P. Papazoglou
An Agency-Based Framework for Electronic Business / S. Banerjee
Secure Agent-Mediated Auctionlike Negotiation Protocol for Internet Retail Commerce / X. F. Wang ; X. Yi ; K. Y. Lam ; C. Q. Zhang ; E. Okamoto
Service Mediation and Negotiation
Invited Contribution: Semantic Information Brokering: How Can a Multi-agent Approach Help? / A. Sheth ; V. Kashyap ; T. Lima
Arbitration and Matchmaking for Agents with Con icting Interests / T. Tesch ; P. Fankhauser
Enabling Integrative Negotiations by Adaptive Software Agents / W. Benn ; O. Görlitz ; R. Neubert
Adaptive, Personal Assistance
Invited Contribution: An Adaptive Conversational Interface for Destination Advice / P. Langley ; C. Thompson ; R. Elio ; A. Haddadi
Invited Contribution: Anticipation, Delegation, and Demonstration: Why Talking to Agents Is Hard / M. Lewis
A Cooperative Comprehension Assistant for Intranet-Based Information Environments / L. van Elst ; F. Schmalhofer
Author Index
Information Discovery and Management on the Internet
Invited Contribution: Agent Technology from a NASA Perspective / W. Truszkowski ; H. Hallock ; J. Kurien
Invited Contribution: Digital City Kyoto: Towards a Social Information Infrastructure / T. Ishida ; J.-i. Akahani ; K. Hiramatsu ; K. Isbister ; S. Lisowski ; H. Nakanishi ; M. Okamoto ; Y. Miyazaki ; K. Tsutsuguchi
図書
