close
1.

図書

図書
Dan Grigoras ... [et al.] (eds.)
出版情報: Berlin : Springer, c2002  xiii, 320 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2326
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Grid Computing: A New Technology for the Advanced Web / Wolfgang Gentzsch
Beyond Flexibility and Reflection: The Virtual Virtual Machine Approach / B. Folliot ; I. Piumarta ; L. Seinturier ; C. Baillarguet ; C. Khoury ; A. Leger ; F. Ogel
Programming Models for Cluster Computing / Dan Grigoras
About Design and Efficiency of Distributed Programming: Some Algorithmic Aspects / Bernard Toursel
A Collaborative Environment for High Performance Computing / Valentin Cristea
Layer 4 Fault Tolerance: Reliability Techniques for Cluster System in Internet Services / Guang Tan ; Hai Jin ; Liping Pang
Computational Issues in E-commerce Trading Exchanges / Can Özturan
Embedded Cluster Computing through Dynamic Reconfigurability of Inter-processor Connections / Marek Tudruj
Papers
Parallelisation of Wave Propagation Algorithms for Odour Propagation in Multi-agent Systems / Eugen Dedu ; Stéphane Vialle ; Claude Timsit
Parallel and Distributed Solutions for the Optimal Binary Search Tree Problem / Mitica Craus
A Framework for Efficient Sparse LU Factorization in a Cluster Based Platform / Laura Grigori
Task Allocation Using Processor Load Prediction on Multiprocessors Cluster / Thierry Monteil ; Patricia Pascal
Heterogeneous Dynamic Load Balancing / Tiberiu Rotaru ; Hans-Heinrich Nägeli
Multi-application Scheduling in Networks of Workstations and Clusters of Processors / D. Kebbal ; E.-G. Talbi ; J.-M. Geib
The Parallel Algorithm of Conjugate Gradient Method / Andrzej Jordan ; Robert Piotr Bycul
A Parallel Similarity Search in High Dimensional Metric Space Using M-Tree / Adil Alpkocak ; Taner Danisman ; Tuba Ulker
A User-Level Interface for Clustering Mathematical Software Kernels / Dana Petcu ; Horia Popa ; Dorin Tepeneu
Communication Balancing for Wireless Nodes in a LAN-WAN Cluster / Gabriel Antoniu ; Luc Bougé ; Cosmina Ivan
An Architecture and Task Scheduling Algorithm for Systems Based on Dynamically Reconfigurable Shared Memory Clusters / Lukasz Masko
Distributed Rendering Engine / Nicolae Tapus ; Emil Slusanschi ; Tudor Popescu
A Distributed Application for Monte Carlo Simulations / Mihai Burcea ; Vlad Staicu
A Model for Accessing Resources of the Distributed File Systems / Sabin C. Buraga
Coarse-Grain Parallelization of Test Vectors Generation on Multiprocessor Systems / Felicia Ionescu ; Mihail Ionescu ; Cristina Coconu ; Valentin Stoica
OpenMP/MPI Programming in a Multi-cluster System Based on Shared Memory/Message Passing Communication / Adam Smyk
Expressing Parallelism in Java Applications Distributed on Clusters / Violeta Felea ; Nathalie Devesa ; Pierre Lecouffe
Advanced Collaboration Techniques between Java Objects Distributed on Clusters / Florian Mircea Boian ; Corina Ferdean
Java Tools for Measurement of the Machine Loads / A. Bouchi ; R. Olejnik
The Parallel FDTD Algorithm and Its Application to the Analysis of Complex Structures / Boguslaw Butrylo
A Theoretical Application of Feedback Guided Dynamic Loop Scheduling / Tatiana Tabirca ; Len Freeman ; Sabin Tabirca
Image Processing Standard / Paulina Mitrea
DisMedJava - A Distributed Application for Medical Image Processing / Cristian Butincu
Author Index
Invited Papers
Grid Computing: A New Technology for the Advanced Web / Wolfgang Gentzsch
Beyond Flexibility and Reflection: The Virtual Virtual Machine Approach / B. Folliot ; I. Piumarta ; L. Seinturier ; C. Baillarguet ; C. Khoury ; A. Leger ; F. Ogel
2.

図書

図書
William J. Cook, Andreas S. Schulz (eds.)
出版情報: Berlin : Springer, c2002  xi, 486 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2337
所蔵情報: loading…
目次情報: 続きを見る
A Faster Scaling Algorithm for Minimizing Submodular Functions / Satoru Iwata
A Generalization of EdmondsÆ Matching and Matroid Intersection Algorithms / Bianca Spille ; Robert Weismantel
A Coordinatewise Domain Scaling Algorithm for M-convex Function Minimization / Akihisa Tamura
The Quickest Multicommodity Flow Problem / Lisa Fleischer ; Martin Skutella
A New Min-Cut Max-Flow Ratio for Multicommodity Flows / Oktay Günlük
Improved Rounding Techniques for the MAX 2-SAT and MAX DI-CUT Problems / Michael Lewin ; Dror Livnat ; Uri Zwick
Finding the Exact Integrality Gap for Small Traveling Salesman Problems / Sylvia Boyd ; Geneviève Labontè
Polynomial-Time Separation of Simple Comb Inequalities / Adam N. Letchford ; Andrea Lodi
A New Approach to Cactus Construction Applied to TSP Support Graphs / Klaus M. Wenger
Split Closure and Intersection Cuts / Kent Andersen ; Gérard Cornuéjols ; Yanjun Li
An Exponential Lower Bound on the Length of Some Classes of Branch-and-Cut Proofs / Sanjeeb Dash
Lifted Inequalities for 0-1 Mixed Integer Programming: Basic Theory and Algorithms / Jean-Philippe P. Richard ; Ismael R. de Farias, Jr. ; George L. Nemhauser
On a Lemma of Scarf / Ron Aharoni ; Tamás Fleiner
A Short Proof of SeymourÆs Characterization of the Matroids with the Max-Flow Min-Cut Property / Bertrand Guenin
Integer Programming and Arrovian Social Welfare Functions / Jay Sethuraman ; Chung-Piaw Teo ; Rakesh V. Vohra
Integrated Logistics: Approximation Algorithms Combining Facility Location and Network Design / Ramamoorthi Ravi ; Amitabh Sinha
The Minimum Latency Problem Is NP-Hard for Weighted Trees / René Sitters
An Improved Approximation Algorithm for the Metric Uncapacitated Facility Location Problem / Maxim Sviridenko
A Polyhedral Approach to Surface Reconstruction from Planar Contours / Ernst Althaus ; Christian Fink
The Semidefinite Relaxation of the k-Partition Polytope Is Strong / Andreas Eisenblätter
A Polyhedral Study of the Cardinality Constrained Knapsack Problem
A PTAS for Minimizing Total Completion Time of Bounded Batch Scheduling / Mao-Cheng Cai ; Xiaotie Deng ; Haodi Feng ; Guojun Li ; Guizhen Liu
An Approximation Scheme for the Two-Stage, Two-Dimensional Bin Packing Problem / Alberto Caprara ; Michele Monaci
On Preemptive Resource Constrained Scheduling: Polynomial-Time Approximation Schemes / Klaus Jansen ; Lorant Porkolab
Hard Equality Constrained Integer Knapsacks / Karen Aardal ; Arjen K. Lenstra
The Distribution of Values in the Quadratic Assignment Problem / Alexander Barvinok ; Tamon Stephen
A New Subadditive Approach to Integer Programming / Diego Klabjan
Improved Approximation Algorithms for Resource Allocation / Gruia Calinescu ; Amit Chakrabarti ; Howard Karloff ; Yuval Rabani
Approximating the Advertisement Placement Problem / Ari Freund ; Joseph Naor
Algorithms for Minimizing Response Time in Broadcast Scheduling / Rajiv Gandhi ; Samir Khuller ; Yoo-Ah Kim ; Yung-Chun Wan
Building Edge-Failure Resilient Networks / Chandra Chekuri ; Anupam Gupta ; Amit Kumar ; Danny Raz
The Demand Matching Problem / Bruce Shepherd ; Adrian Vetta
The Single-Sink Buy-at-Bulk LP Has Constant Integrality Gap / Kunal Talwar
Author Index
A Faster Scaling Algorithm for Minimizing Submodular Functions / Satoru Iwata
A Generalization of EdmondsÆ Matching and Matroid Intersection Algorithms / Bianca Spille ; Robert Weismantel
A Coordinatewise Domain Scaling Algorithm for M-convex Function Minimization / Akihisa Tamura
3.

図書

図書
Robin Cohen, Bruce Spencer (eds.)
出版情報: Berlin : Springer, c2002  x, 196 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2338 . Lecture notes in artificial intelligence
所蔵情報: loading…
4.

図書

図書
Enrico Gregori ... [et al.] (eds.)
出版情報: Berlin : Springer, c2002  xxvi, 1256 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2345
所蔵情報: loading…
目次情報: 続きを見る
Multicasting I
Channel Islands in a Reflective Ocean: Large Scale Event Distribution in Heterogeneous Networks / Jon Crowcroft
A Reliable Multicast Protocol with Delay Guarantees / Nicholas F. Maxemchuk
Optimizing QoS-Based Multicast Routing in Wireless Networks: A Multi-objective Genetic Algorithmic Approach / Abhishek Roy ; Sajal K. Das
Differentiated Services I
An Experimental Study of Probing-Based Admission Control for DiffServ Architectures / Susana Sargento ; Roger Salgado ; Miguel Carmo ; Victor Marques ; Rui Valadas ; Edward Knightly
High Performance DiffServ Mechanism for Routers and Switches: Packet Arrival Rate Based Queue Management for Class Based Scheduling / Bartek Wydrowski ; Moshe Zukerman
Session-Aware Popularity Resource Allocation for Assured Differentiated Services / Paulo Mendes ; Henning Schulzrinne ; Edmundo Monteiro
Network Performance I
Most Probable Path Techniques for Gaussian Queueing Systems / Ilkka Norros
On the Queue Tail Asymptotics for General Multifractal Traffic / Sándor Molnár ; Trang Dinh Dang ; István Maricza
Some Models for Contention Resolution in Cable Networks / Onno Boxma ; Dee Denteneer ; Jacques Resing
Self-Organizing Networks: Services and Protocols
Adaptive Creation of Network Applications in the Jack-in-the-Net Architecture / Tomoko Itao ; Tetsuya Nakamura ; Masato Matsuo ; Tatsuya Suda ; Tomonori Aoyama
Anchored Path Discovery in Terminode Routing / Ljubica Blažević ; Silvia Giordano ; Jean-Yves Le Boudec
Distributed Transmission Scheduling Using Code-Division Channelization / Lichun Bao ; J.J. Garcia-Luna-Aceves
Call Admission Control
Towards Efficient Decision Rules for Admission Control Based on the Many Sources Asymptotics / Gergely Seres ; Árpád Szlávik ; János Zátonyi ; József Bíró
QoS with an Edge-Based Call Admission Control in IP Networks / Daniel R. Jeske ; Behrokh Samadi ; Kazem Sohraby ; Yung-Terng Wang ; Qinqing Zhang
Admission Control and Capacity Management for Advance Reservations with Uncertain Service Duration / Yeali S. Sun ; Yung-Cheng Tu ; Meng Chang Chen
Voice/Video Performance Modeling
Performance Evaluation of the Deadline Credit Scheduling Algorithm for Soft-Real-Time Applications in Distributed Video-on-Demand Systems / Adamantia Alexandraki ; Michael Paterakis
The Impact of Replacement Granularity on Video Caching / Elias Balafoutis ; Antonis Panagakis ; Nikolaos Laoutaris ; Ioannis Stavrakakis
Utility Analysis of Simple FEC Schemes for VoIP / Parijat Dube ; Eitan Altman
Web Access
A Power Saving Architecture for Web Access from Mobile Computers / Giuseppe Anastasi ; Marco Conti ; Enrico Gregori ; Andrea Passarella
A Resource/Connection Management Scheme for HTTP Proxy Servers / Takuya Okamoto ; Tatsuhiko Terai ; Go Hasegawa ; Masayuki Murata
Measurement-Based Modeling of Internet Round-Trip Time Dynamics Using System Identification / Hiroyuki Ohsaki ; Mitsushige Morita
Optical Networks
Optimal Link Capacity Dimensioning in Proportionally Fair Networks / Michail Pióro ; Gábor Malicskó ; Gábor Fodor
Load Balancing in WDM Networks through Adaptive Routing Table Changes / Mauro Brunato ; Roberto Battiti ; Elio Salvadori
Models for the Logical Topology Design Problem / Nicolas Puech ; Josué Kuri ; Maurice Gagnaire
Dynamic Shaping for Self-Similar Traffic Using Network Calculus / Halima Elbiaze ; Tijani Chahed ; Tülin Atmaca ; Gérard Hébuterne
Network and Traffic Modeling
Is Admission-Controlled Traffic Self-Similar? / Giuseppe Bianchi ; Vincenzo Mancuso ; Giovanni Neglia
Analysis of CMPP Approach in Modeling Broadband Traffic / R.G. Garroppo ; S. Giordano ; S. Lucetti ; M. Pagano
AMathematical Model for IP over ATM / Irena Atov ; Richard J. Harris
Analysis and Comparison of Internet Topology Generators / Damien Magoni ; Jean-Jacques Pansiot
Ad Hoc Networks
Energy Efficient Design of Wireless Ad Hoc Networks / Carla-Fabiana Chiasserini ; Imrich Chlamtac ; Paolo Monti ; Antonio Nucci
Performance of Multipoint Relaying in Ad Hoc Mobile Routing Protocols / Philippe Jacquet ; Anis Laouiti ; Pascale Minet ; Laurent Viennot
An Adaptive Location-Aware MAC Protocol for Multichannel Multihop Ad-Hoc Networks / Zi-Tsan Chou ; Ching-Chi Hsu ; Ferng-Ching Lin
Capacity Assignment in Bluetooth Scatternets - Analysis and Algorithms / Gil Zussman ; Adrian Segall
Resource Allocation I
Optimization-Based Congestion Control for Multicast Communications / Jonathan K. Shapiro ; Don Towsley ; Jim Kurose
Severe Congestion Handling with Resource Management in Diffserv on Demand / András Császár ; Attila Takács ; Róbert Szabó ; Vlora Rexhepi ; Georgios Karagiannis
Resource Allocation with Persistent and Transient Flows / Supratim Deb ; Ayalvadi Ganesh ; Peter Key
LAN and PAN
A Novel and Simple MAC Protocol for High Speed Passive Optical LANs / Chuan Heng Foh
The Bluetooth Technology: State of the Art and Networking Aspects / Dajana Cassioli ; Andrea Detti ; Pierpaolo Loreti ; Franco Mazzenga ; Francesco Vatalaro
Time and Frequency Synchronization for Hiperlan/2 / Anna Berno ; Nicola Laurenti
Performance of Wireless Networks
Performance Analysis of a Forwarding Scheme for Handoff in HAWAII / Chris Blondia ; Olga Casals ; Llorenç Cerdà ; Gert Willems
Evaluating the Performance of a Network Management Application Based on Mobile Agents / Marcelo G. Rubinstein ; Otto Carlos Muniz Bandeira Duarte ; Guy Pujolle
Performance Evaluation on WAP and Internet Protocol over 3G Wireless Networks / Hidetoshi Ueno ; Norihiro Ishikawa ; Hideharu Suzuki ; Hiromitsu Sumino ; Osamu Takahashi
Multimedia
Performance Evaluation of H.263-Based Video Transmission in an Experimental Ad-Hoc Wireless LAN System / Matías Freytes
Differentiated Services Based Priority Dropping and Its Application to Layered Video Streams / Markus Fidler
Optimal Feedback for Quality Source-Adaptive Schemes in Multicast Multi-layered Video Environments / Paulo André da Silva Gonçalves ; José Ferreira de Rezende
A Fibre Channel Dimensioning for a Multimedia System with Deterministic QoS / Laurent George ; Dana Marinca
Transmission Control Protocol (TCP)
On the Resource Efficiency of Explicit Congestion Notification / Kostas Pentikousis ; Hussein Badr
Sender-Side TCP Modifications: An Analytical Study / R. Lo Cigno ; G. Procissi ; Mario Gerla
Modeling a Mixed TCP Vegas and TCP Reno Scenario / Andrea De Vendictis ; Andrea Baiocchi
Performance Sensitivity and Fairness of ECN-Aware `Modified TCP' / Archan Misra ; Teunis J. Ott
Future Wireless Networks I
Call Admission Control for 3G CDMA Networks with Differentiated QoS / Qian Huang ; Hui Min Chen ; King Tim Ko ; Sammy Chan ; King Sun Chan
Performance Evaluation of Channel Switching Scheme for Packet Data Transmission in Radio Network Controller / Yoshiaki Ohta ; Kenji Kawahara ; Takeshi Ikenaga ; Yuji Oie
An Optimal Reservation-Pool Approach for Guaranteeing the Call-Level QoS in Next-Generation Wireless Networks / Fei Hu ; Neeraj K. Sharma
A New Adaptive Channel Reservation Scheme for Handoff Calls in Wireless Cellular Networks / Zhong Xu ; Zhenqiang Ye ; Srikanth V. Krishnamurthy ; Satish K. Tripathi ; Mart Molle
Internet Protocol (IP)
Connection of Extruded Subnets: A Solution Based on RSIP / Cédric de Launois ; Aurélien Bonnet ; Marc Lobelle
Adjusted Probabilistic Packet Marking for IP Traceback / Tao Peng ; Christopher Leckie ; Kotagiri Ramamohanarao
Tuning Delay Differentiation in IP Networks Using Priority Queueing Models / Pedro Sousa ; Paulo Carvalho ; Vasco Freitas
QoS-Conditionalized Handoff for Mobile IPv6 / Xiaoming Fu ; Holger Karl ; Cornelia Kappler
Queueing Models
On Loss Probabilities in Presence of Redundant Packets with Random Drop / Omar Ait-Hellal
Performance Analysis of a GI-G-1 Preemptive Resume Priority Buffer / Joris Walraevens ; Bart Steyaert ; Herwig Bruneel
Analysis of the Discrete-Time G(G)/Geom/c Queueing Model / Sabine Wittevrongel ; Bart Vinck
On a Theory of Interacting Queues / Alexander Stepanenko ; Costas C. Constantinou ; Theodoros N. Arvanitis ; Kevin Baughan
Satellite Networks
Analysis of a MAC Protocol for a Time-Code Air Interface in LEO Mobile Satellite Systems / Romano Fantacci ; Giovanni Giambene
Performance Analysis of LEO Satellite Networks / A. Halim Zaim ; Harry G. Perros ; George N. Rouskas
Gateway Architecture for DVB-RCS Satellite Networks / Antonio Pietrabissa ; Cristiana Santececca
Connection Admission Control CAC and Differentiated Resources Allocation RA in a Low Earth Orbit LEO Satellite Constellation / Rima Abi Fadel ; Samir Tohmé
Resource Allocation II
Dimensioning Bandwidth for Elastic Traffic / Zhong Fan
Fair Adaptive Bandwidth Allocation: A Rate Control Based Active Queue Management Discipline / Abhinav Kamra ; Huzur Saran ; Sandeep Sen ; Rajeev Shorey
Distributed Scheduling via Pricing in a Communication Network / Tiina Heikkinen
Performance of Optical Networks
A Simulation Study of Access Protocols for Optical Burst-Switched Ring Networks / Lisong Xu
Capacity Efficiency of Distributed Path Restoration Mechanisms in Optical Mesh Networks / Bart Rousseau ; Fabrice Poppe
Helios: ABroadcast Optical Architecture / Ilia Baldine ; Laura E. Jackson
Future Wireless Networks II
Service and Network Management Interworking in Future Wireless Systems / V. Tountopoulos ; V. Stavroulaki ; P. Demestichas ; N. Mitrou ; M. Theologou
Scheduling Differentiated Traffic in Multicarrier Unlicensed Systems / Giannis F. Marias ; Lazaros Merakos
A Simple Model for Calculating SIP Signalling Flows in 3GPP IP Multimedia Subsystems / Alexander A. Kist
Multiprotocol Label Switching (MPLS)
Dynamic Online Routing Algorithm for MPLS Traffic Engineering / W. Szeto ; R. Boutaba ; Y. Iraqi
Optimal Capacity Provisioning for Label Switched Paths in MPLS Networks / C. Bruni ; C. Scoglio ; S. Vergari
A New Class of Online Minimum-Interference Routing Algorithms / Ilias Iliadis ; Daniel Bauer
Performance Analysis of Dynamic Lightpath Configuration for WDM Asymmetric Ring Networks / Takuji Tachibana ; Shoji Kasahara
Networks Performance II
A Queueing Model for a Wireless GSM/GPRS Cell with Multiple Service Classes / D.D. Kouvatsos ; K. Al-Begain ; I. Awan
Integrated Multi-purposed Testbed to Characterize the Performance of Internet Access over Hybrid Fiber Coaxial Access Networks / Hung Nguyen Chan ; Belen Carro Martinez ; Rafa Mompo Gomez ; Judith Redoli Granados
802.11 LANs: Saturation Throughput in the Presence of Noise / Vladimir Vishnevsky ; Andrey Lyakhov
Efficient Simulation of Blocking Probabilities for Multi-layer Multicast Streams / Jouni Karvo
Multicasting II
Aggregated Multicast - A Comparative Study / Jun-Hong Cui ; Jinkyu Kim ; Dario Maggiorini ; Khaled Boussetta
New Center Location Algorithms for Shared Multicast Trees / Young-Chul Shim ; Shin-Kyu Kang
A Multicast FCFS Output Queued Switch without Speedup / Maurizio A. Bonuccelli ; Alessandro Urpi
Fault-Tolerant Support for Reliable Multicast in Mobile Wireless Systems / Alberto Bartoli ; Flaminia L. Luccio
Posters Session
JumpStart: AJust-in-Time Signaling Architecture for WDM Burst-Switched Networks / Dan Stevenson
Device Discovery in Bluetooth Networks: A Scatternet Perspective / Stefano Basagni ; Raffaele Bruno ; Chiara Petrioli
QoS Evaluation of Real-Time Applications over a Multi-domain DiffServ Experimental Test-Bed / G. Carrozzo ; V. Chionsini ; S. Niccolini
A New Policy Based Management of Mobile IP Users / Hakima Chaouchi
A Framework for Policy-Based Management of QoS Aware IP Networks / P. Cremonese ; M. Esposito ; M. Mondini ; S.P. Romano ; G. Ventre
SIP-H323: A Solution for Interworking Saving Existing Architecture / G. De Marco ; S. Loreto ; G. Sorrentino ; L. Veltri
High Router Flexibility and Performance by Combining Dedicated Lookup Hardware (IFT), off the Shelf Switches and Linux / Christian Duret ; Francis Rischette ; Joël Lattmann ; Valéry Laspreses ; Pim Van Heuven ; Steven Van den Berghe ; Piet Demeester
Group Security Policy Management for IP Multicast and Group Security / Thomas Hardjono ; Hugh Harney
Issues in Internet Radio / Yasushi Ichikawa ; Kensuke Arakawa ; Keisuke Wano ; Yuko Murayama
I/O Bus Usage Control in PC-Based Software Routers / Oscar-Iván Lepe-Aldama ; Jorge García-Vidal
Multiple Access in Ad-Hoc Wireless LANs with Noncooperative Stations / Jerzy Konorski
Next Generation Networks and Services in Slovenia / Andrej Kos ; Janez Bešter ; Peter Homan
Minimizing the Routing Delay in Ad Hoc Networks through Route-Cache TTL Optimization / Ben Liang ; Zygmunt J. Haas
Long-Range Dependence of Internet Traffic Aggregates / Solange Lima ; Magda Silva ; Alexandre Santos
Improved Initial Synchronisation in the Presence of Frequency Offset in UMTS FDD Mode / Valentina Lomi ; Gianfranco L. Pierobon ; Daniele Tonetto ; Lorenzo Vangelista
Scalable Adaptive Hierarchical Clustering / Laurent Mathy ; Roberto Canonico ; Steven Simpson ; David Hutchison
How to Achieve Fair Differentiation / Eeva Nyberg ; Samuli Aalto
Measurement-Based Admission Control for Dynamic Multicast Groups in Diff-Serv Networks / Elena Pagani ; Gian Paolo Rossi
A Framework to Service and Network Resource Management in Composite Radio Environments / L.-M. Papadopoulou
JESA Service Discovery Protocol (Efficient Service Discovery in Ad-Hoc Networks) / Stephan Preuß
Performance Simulations of a QoS Aware Caching Method / Pertti Raatikainen ; Mika Wikström ; Timo Hämäläinen
Call Admission Control for Multimedia Cellular Networks Using Neuro-dynamic Programming / Sidi-Mohammed Senouci ; André-Luc Beylot
Aspects of AMnet Signaling / Anke Speer ; Marcus Schöller ; Thomas Fuhrmann ; Martina Zitterbart
Virtual Home Environment for Multimedia Services in 3rd Generation Networks / Orazio Tomarchio ; Andrea Calvagna ; Giuseppe Di Modica
On Providing End-To-End QoS Introducing a Set of Network Services in Large-Scale IP Networks / E. Tsolakou ; E. Nikolouzou ; S. Venieris
SaTPEP: ATCP Performance Enhancing Proxy for Satellite Links / Dimitris Velenis ; Dimitris Kalogeras ; Basil Maglaris
An Overlay for Ubiquitous Streaming over Internet / Chai Kiat Yeo ; Bu Sung Lee ; Meng Hwa Er
A Measurement-Based Dynamic Guard Channel Scheme for Handover Prioritization in Cellular Networks / Roland Zander ; Johan M. Karlsson
Author Index
Multicasting I
Channel Islands in a Reflective Ocean: Large Scale Event Distribution in Heterogeneous Networks / Jon Crowcroft
A Reliable Multicast Protocol with Delay Guarantees / Nicholas F. Maxemchuk
5.

図書

図書
Ralph Bergmann
出版情報: Berlin : Springer, c2002  xx, 393 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2432 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Complex Problem Solving in the Internet Age / 1.1:
Knowledge Intensive Problem Solving / 1.1.1:
Complexity Issues / 1.1.2:
Internet-Based Applications / 1.1.3:
Example Application Scenarios / 1.2:
Electronic Commerce / 1.2.1:
Diagnosis of Complex Technical Equipment / 1.2.2:
Electronics Design / 1.2.3:
Experience Reuse / 1.3:
Basic Scenarios of Experience Reuse / 1.3.1:
Expected Benefits of Experience Reuse / 1.3.2:
Experience Management / 1.4:
Knowledge Management / 1.4.1:
Experience Management versus Knowledge Management / 1.4.2:
Experience Management Activities / 1.4.3:
Experience Management Definition / 1.4.4:
Web Technologies for Experience Management / 1.5:
Representing and Storing Experience on the Web / 1.5.1:
Accessing Experience from the Web / 1.5.2:
Limitations of Information Access Approaches for Experience Reuse / 1.5.3:
Internet Technologies as Infrastructure for Experience Management / 1.5.4:
Methods for Experience Management on the Conceptual Level / 1.6:
Overview of This Book / 1.7:
The Topic in a Nutshell / 1.7.1:
Contributions from Recent Projects / 1.7.2:
Structure of the Book / 1.7.3:
Knowledge, Experience and Their Characteristics / 2:
Data, Information, and Knowledge / 2.1.1:
Specific and General Knowledge / 2.1.2:
Experience / 2.1.3:
Representation of Experience and Related Knowledge for Reuse / 2.1.4:
General Model for Experience Management / 2.2:
Problem Solving Cycle / 2.2.1:
Development and Maintenance Methodology / 2.2.2:
Related Models / 2.3:
Knowledge Management and Organizational Memory / 2.3.1:
Quality Improvement Paradigm and Experience Factory / 2.3.2:
The Case-Based Reasoning Cycle / 2.3.3:
Knowledge Representation for Experience Management / Part I:
Representing Experience / 3:
Cases for Representing Experience / 3.1:
Basic Case Structure / 3.1.1:
A First General Formalization of Cases / 3.1.2:
Utility of Experience / 3.1.3:
Representing Experience with Respect to Utility / 3.1.4:
Overview of Case Representation Approaches / 3.2:
The Textual Approach / 3.2.1:
The Conversational Approach / 3.2.2:
The Structural Approach / 3.2.3:
Comparing the Different Approaches / 3.2.4:
Effort Required for the Different Approaches / 3.2.5:
Focus on the Structural Approach / 3.2.6:
Formalizing Structural Case Representations / 3.3:
Attribute-Value Representation / 3.3.1:
Object-Oriented Representations / 3.3.2:
Graph Representations / 3.3.3:
Predicate Logic Representations / 3.3.4:
Relation to the General Definition / 3.3.5:
Comparing Different Structural Case Representation Approaches / 3.3.6:
Generalized Cases / 3.4:
Extensional Definition of Generalized Cases / 3.4.1:
Different Kinds of Generalized Cases / 3.4.2:
Representation of Generalized Cases / 3.4.3:
Hierarchical Representations and Abstract Cases / 3.5:
Advantages of Abstract Cases / 3.5.1:
Levels of Abstraction / 3.5.2:
Kind of Cases / 3.5.3:
Languages for Structural Case Representations / 3.6:
Common Case Representation Language CASUEL / 3.6.1:
The XML-based Orenge Modeling Language OML / 3.6.2:
Choice of the Vocabulary / 3.7:
Characterization Part / 3.7.1:
Lesson Part / 3.7.2:
Choice of Types / 3.7.3:
Assessing Experience Utility / 4:
Approximating Utility with Similarity / 4.1:
Traditional View of Case-Based Reasoning / 4.1.1:
Extended View / 4.1.2:
Similarity Measures / 4.1.3:
Relations between Similarity and Utility / 4.1.4:
General Considerations Concerning Similarity and Distance / 4.2:
Distance Measures / 4.2.1:
Possible Properties of Similarity Measures / 4.2.2:
Similarity and Fuzzy Sets / 4.2.3:
Similarity Measures for Attribute-Value Representations / 4.3:
Simple Measures for Binary Attributes / 4.3.1:
Simple Measures for Numerical Attributes / 4.3.2:
TheLocal-Global Principle / 4.3.3:
Local Similarity Measures for Numeric Attributes / 4.3.4:
Local Similarity Measures for Unordered and Totally Ordered Symbolic Attributes / 4.3.5:
Taxonomically Ordered Symbolic Types / 4.3.6:
Global Similarity Measures / 4.3.7:
Similarity Measures for Object-Oriented Representations / 4.4:
Example Use of Class Hierarchies and Object Similarities / 4.4.1:
Computing Object Similarities / 4.4.2:
Handling Multi-value Attributes / 4.4.3:
Related Approaches / 4.4.4:
Similarity Measures for Graph Representations / 4.5:
Graph Matching / 4.5.1:
Graph Editing / 4.5.2:
Similarity Measures for Predicate Logic Representations / 4.6:
Treating Atomic Formulas as Binary Attributes / 4.6.1:
Similarity between Atomic Formulas / 4.6.2:
Similarity through Logical Inference / 4.6.3:
Similarity for Generalized Cases / 4.7:
Canonical Extension of a Similarity Measure / 4.7.1:
The General Problem of Similarity Assessment / 4.7.2:
Representing Knowledge for Adaptation / 5:
Rule-Based Representations / 5.1:
Different Kinds of Rules / 5.1.1:
Formalization for Rules in an Object-Oriented Framework / 5.1.2:
An Example / 5.1.3:
Operator-Based Representations / 5.2:
Basic Approach / 5.2.1:
Representation / 5.2.2:
Restricting Adaptability with Consistency Constraints / 5.3:
Methods for Experience Management / 5.4:
User Communication / 6:
Introduction to User Interaction / 6.1:
A Basic Communication Architecture / 6.1.1:
Requirements / 6.1.2:
Distribution between Client and Server Side / 6.1.3:
A Formal Dialog Model / 6.2:
Overview / 6.2.1:
Dialog Situation / 6.2.2:
Dialog Interactions / 6.2.3:
Dialog Strategy and Its Execution / 6.2.4:
Predefined Static Dialog / 6.3:
Three-Step Questionnaire-Based Problem Acquisition / 6.3.1:
Static Domain Specific Dialogs / 6.3.2:
Dynamic and Adaptable Strategies / 6.4:
Criteria for Attribute Selection / 6.4.1:
Compiling Dialog Strategies / 6.4.2:
Dynamically Interpreted Strategies / 6.4.3:
Learning from User Interaction / 6.4.4:
Experience Presentation / 6.5:
Simple Lesson Lists / 6.5.1:
Experience Lists with External Links / 6.5.2:
Adding Similarity Explanations / 6.5.3:
Adaptive Experience Presentation / 6.5.4:
Experience Retrieval / 7:
General Considerations / 7.1:
Formal Retrieval Task / 7.1.1:
Storing Case Data in Databases / 7.1.2:
Overview of Approaches / 7.1.3:
Sequential Retrieval / 7.2:
Indexing by kd-Tree Variants / 7.3:
The Standard kd-Tree / 7.3.1:
The Inreca Tree / 7.3.2:
Building the Inreca Tree / 7.3.3:
Retrieval with the Inreca-Tree / 7.3.4:
Properties of kd-Tree Based Retrieval / 7.3.5:
Fish and Shrink Retrieval / 7.4:
BasicIdea / 7.4.1:
Retrieval Algorithm / 7.4.2:
Properties ofFish and Shrink / 7.4.3:
Case Retrieval Nets / 7.5:
The Case Retrieval Net Index Structure / 7.5.1:
The Retrieval Algorithm / 7.5.2:
Properties of Case Retrieval Nets / 7.5.3:
SQL Approximation / 7.6:
The Basic Idea / 7.6.1:
Properties of SQL Approximation / 7.6.2:
Summary / 7.7:
Experience Adaptation / 8:
Overview and Characterization of Different Adaptation Approaches / 8.1:
The Continuum of Adaptation Models / 8.1.1:
Generative Adaptation / 8.1.2:
Compositional Adaptation / 8.1.3:
Hierarchical Adaptation / 8.1.4:
Adaptation for Experience Management for Complex Problem Solving / 8.1.5:
Theory of Transformational Adaptation / 8.2:
Experience Transformations / 8.2.1:
The Experience Transformation Process / 8.2.2:
Similarity Measures in the Context of Experience Transformations / 8.2.3:
Relation to Rewrite Systems / 8.2.4:
Relation to Generalized Cases / 8.2.5:
Adaptation with Explicit Transformation Knowledge / 8.3:
Rule-Based Adaptation / 8.3.1:
Interactive Operator-Based Adaptation / 8.3.2:
Incremental Compositional Adaptation / 8.4:
Highly Structured Problems / 8.4.1:
Compositional Approach / 8.4.2:
The Adaptation Cycle / 8.4.3:
Controlling the Adaptation Cycle / 8.4.4:
Adaptation as Hill-Climbing Search / 8.4.5:
Developing and Maintaining Experience Management Applications / 9:
General Purpose of a Methodology / 9.1:
Methodology for Experience Management / 9.1.2:
Contributions to Methodology Development / 9.1.3:
INRECA Methodology Overview / 9.2:
Process Modeling / 9.2.1:
Experience Captured in Software Process Models / 9.2.2:
The INRECA Experience Base / 9.3:
Process Modeling in INRECA / 9.4:
Technical, Organizational, and Managerial Processes / 9.4.1:
Interaction among Processes / 9.4.2:
Combining Processes to Process Models / 9.4.3:
Generic and Specific Descriptions / 9.4.4:
The Common Generic Level / 9.5:
Managerial Processes / 9.5.1:
Technical Processes: Software Development / 9.5.3:
Organizational Processes / 9.5.4:
Documenting the INRECA Experience / 9.6:
Process Description Sheets / 9.6.1:
Product Description Sheets / 9.6.2:
Simple Method Description Sheets / 9.6.3:
Complex Method Description Sheets / 9.6.4:
Reusing and Maintaining INRECA Experience / 9.7:
The INRECA Reuse Procedure / 9.7.1:
Relations to the EMM Problem Solving Cycle / 9.7.2:
Development and Maintenance of the INRECA Experience Base / 9.7.3:
Tool Support for the INRECA Methodology / 9.8:
INRECA Experience Modeling Methodology Tool / 9.8.1:
Knowledge Modeling Tools / 9.8.2:
Experience Management Application Areas / Part III:
Experience Management for Electronic Commerce / 10:
Introduction to the Electronic Commerce Scenario / 10.1:
Electronic Commerce Definition / 10.1.1:
Transaction Model / 10.1.2:
Knowledge Involved in Electronic Commerce / 10.1.3:
Opportunities for Experience Management Support / 10.1.4:
Analyzing Pre-sales Scenarios / 10.2:
Customer Wishes / 10.2.1:
Products / 10.2.2:
Experience Representation for Product Search / 10.2.3:
WEBSELL: A Generic Electronic Commerce Architecture / 10.3:
Pathways Server and Dialog Components / 10.3.1:
Case-Based Retrieval / 10.3.2:
Collaborative Recommendation / 10.3.3:
Customization / 10.3.4:
Methodology Recipe for Electronic Commerce / 10.4:
Requirements Acquisition / 10.4.1:
Knowledge Modeling / 10.4.2:
GUI Development / 10.4.3:
Implement CBR Retrieval Engine / 10.4.4:
Integrate CBR and GUI / 10.4.5:
Application Overview / 10.5:
Application: Product Catalog for Operational Amplifiers / 10.6:
Vocabulary and User Interface / 10.6.1:
Benefit Analysis / 10.6.2:
Application: Customization of Electro-mechanical Components / 10.7:
Vocabulary, Retrieval, Customization, and User Interface / 10.7.1:
Experience Management for Self-Service and Help-Desk Support / 10.7.2:
Structure and Representation of the Experience Base / 11.1:
Object-Oriented Representation / 11.2.1:
Case Structure / 11.2.2:
Partitioning the Experience Base / 11.2.3:
User and Roles / 11.3:
Overall Architecture / 11.4:
The Server / 11.4.1:
The HOMER Client / 11.4.2:
Hotline Component / 11.5:
Create a New Problem Description / 11.5.1:
Retrieving Problem Solutions / 11.5.2:
Feedback from Problem Solving / 11.5.3:
Methodology Recipe for Help-Desk Applications / 11.6:
Managerial Processes during System Development / 11.6.1:
Organizational Processes during System Development / 11.6.2:
Technical Processes during System Development / 11.6.3:
Managerial Processes during System Use / 11.6.4:
Organizational Processes during System Use / 11.6.5:
Technical Processes during System Use / 11.6.6:
Process Model for a Help-Desk Project / 11.6.7:
Evaluation of HOMER / 11.7:
Benefits for the Help-Desk Operators / 11.7.1:
Evaluation of the Methodology Recipe / 11.7.2:
Experience Management for Electronic Design Reuse / 11.8:
Electronic Design Reuse / 12.1:
Intellectual Properties / 12.1.1:
IP Reuse / 12.1.2:
Existing IP Reuse Support / 12.1.3:
Challenges of Experience Management for IP Reuse / 12.1.4:
Representation of Intellectual Properties / 12.2:
IP Taxonomy / 12.2.1:
IP Attributes / 12.2.2:
IP Representation as Generalized Cases / 12.2.3:
An Example IP / 12.2.4:
Descriptions of Design Problems and Reuse-Related Knowledge / 12.3:
Problem Descriptions / 12.3.1:
The READEE Prototype for DSP Selection / 12.3.2:
Issues ofFuture Research / 12.5:
List of Symbols
References
Index
Introduction / 1:
Complex Problem Solving in the Internet Age / 1.1:
Knowledge Intensive Problem Solving / 1.1.1:
6.

図書

図書
Alberto H.F. Laender, Arlindo L. Oliveira (eds.)
出版情報: Berlin : Springer, c2002  xi, 336 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2476
所蔵情報: loading…
7.

図書

図書
Christina Anagnostopoulou, Miguel Ferrand, Alan Smaill (eds.)
出版情報: Berlin : Springer, c2002  viii, 206 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2445 . Lecture notes in artificial intelligence
所蔵情報: loading…
8.

図書

図書
Marco Dorigo, Gianni Di Caro, Michael Sampels (eds.)
出版情報: Berlin : Springer, c2002  xiii, 303 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2463
所蔵情報: loading…
目次情報: 続きを見る
A <$>{\cal M}{\cal A}{\cal X}<$>-<$>{\cal M}{\cal I}{\cal N}<$> Ant System for the University Course Timetabling Problem / Krzysztof Socha ; Joshua Knowles ; Michael Sampels
ACO Applied to Group Shop Scheduling: A Case Study on Intensification and Diversification / Christian Blum
Agent-Based Approach to Dynamic Task Allocation / Shervin Nouyan
An Ant Colony Optimization Algorithm for the 2D HP Protein Folding Problem / Alena Shmygelska ; Rosalía Aguirre-Hernández ; Holger H. Hoos
An Experimental Study of a Simple Ant Colony System for the Vehicle Routing Problem with Time Windows / Ismail Ellabib ; Otman A. Basir ; Paul Calamai
Ant Algorithms for Assembly Line Balancing / Joaquín Bautista ; Jordi Pereira
Ant Colonies as Logistic Processes Optimizers / Carlos A. Silva ; Thomas A. Runkler ; João M. Sousa ; Rainer Palm
Ant Systems for a Dynamic TSP (Ants Caught in a Traffic Jam) / Casper Joost Eyckelhof ; Marko Snoek
Anti-pheromone as a Tool for Better Exploration of Search Space / James Montgomery ; Marcus Randall
Applying Population Based ACO to Dynamic Optimization Problems / Michael Guntsch ; Martin Middendorf
Cross-Entropy Guided Ant-Like Agents Finding Cyclic Paths in Scarcely Meshed Networks / Otto Wittner ; Bjarne E. Helvik
Insertion Based Ants for Vehicle Routing Problems with Backhauls and Time Windows / Marc Reimann ; Karl Doerner ; Richard F. Hartl
Modelling ACO: Composed Permutation Problems / Daniel Merkle
Self-Organized Networks of Galleries in the Ant Messor Sancta / Jérôme Buhl ; Jean-Louis Deneubourg ; Guy Theraulaz
Solving the Homogeneous Probabilistic Traveling Salesman Problem by the ACO Metaheuristic / Leonora Bianchi ; Luca Maria Gambardella ; Marco Dorigo
Toward the Formal Foundation of Ant Programming / Mauro Birattari ; Gianni Di Caro
Towards Building Terrain-Covering Ant Robots / Jonas Svennebring ; Sven Koenig
Short Papers
A New Ant Colony Algorithm Using the Heterarchical Concept Aimed at Optimization of Multiminima Continuous Functions / Johann Dréo ; Patrick Siarry
An Ant-Based Framework for Very Strongly Constrained Problems / Vittorio Maniezzo ; Matteo Milandri
Analysis of the Best-Worst Ant System and Its Variants on the QAP / Oscar Cordón ; Iñaki Fernández de Viana ; Francisco Herrera
Ants and Loops / Geoffrey Canright
Candidate Set Strategies for Ant Colony Optimisation
Dynamic Wavelength Routing in WDM Networks via Ant Colony Optimization / Ryan M. Garlick ; Richard S. Barr
Homogeneous Ants for Web Document Similarity Modeling and Categorization / Kok Meng Hoe ; Weng Kin Lai ; Tracy S.Y. Tai
Parallel Ant System for the Set Covering Problem / Malek Rahoual ; Riad Hadji ; Vincent Bachelet
Real-World Shop Floor Scheduling by Ant Colony Optimization / Andre Vogel ; Marco Fischer ; Hendrik Jaehn ; Tobias Teich
Simulation of Nest Assessment Behavior by Ant Scouts / Erol Şahin ; Nigel R. Franks
Using Genetic Algorithms to Optimize ACS-TSP / Marcin L. Pilat ; Tony White
Posters
A Method for Solving Optimization Problems in Continuous Space Using Ant Colony Algorithm / Chen Ling ; Sheng Jie ; Qin Ling ; Chen Hongjian
A Nested Layered Threshold Model for Dynamic Task Allocation / Tom De Wolf ; Liesbeth Jaco ; Tom Holvoet ; Elke Steegmans
ACO Algorithm with Additional Reinforcement / Stefka Fidanova
Ant Colony System for Image Segmentation Using Markov Random Field / Salima Ouadfel ; Mohamed Batouche ; Catherine Garbay
Bidimensional Shapes Polygonalization by ACO / Ugo Vallone
Coevolutionary Ant Algorithms Playing Games / Jürgen Branke ; Michael Decker ; Hartmut Schmeck
GAACO: A GA + ACO Hybrid for Faster and Better Search Capability / Adnan Acan
GPS Positioning Networks Design: An Application of the Ant Colony System / Hussain Aziz Saleh
Author Index
A <$>{\cal M}{\cal A}{\cal X}<$>-<$>{\cal M}{\cal I}{\cal N}<$> Ant System for the University Course Timetabling Problem / Krzysztof Socha ; Joshua Knowles ; Michael Sampels
ACO Applied to Group Shop Scheduling: A Case Study on Intensification and Diversification / Christian Blum
Agent-Based Approach to Dynamic Task Allocation / Shervin Nouyan
9.

図書

図書
Holger Hermanns
出版情報: Berlin : Springer, c2002  xii, 217 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2428
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Performance Estimation with Markov C hains / 1.1:
The Challenge of Compositional Performance Estimation / 1.2:
Roadmap / 1.3:
Interactive Processes / 2:
Transition Systems and Interactive Processes / 2.1:
Equivalences on Interactive Processes / 2.2:
Algorithmic C omputation of Equivalences / 2.3:
Application Example: A Distributed Mail System / 2.4:
Discussion / 2.5:
Markov Chains / 3:
Stochastic Processes / 3.1:
Discrete-Time Markov C hains / 3.2:
C ontinuous-Time Markov C hains / 3.3:
Analysing Markov C hains / 3.4:
Equivalences on Markov C hains / 3.5:
Interactive Markov Chains / 3.6:
Design Decisions / 4.1:
Interactive Markov C hains / 4.2:
Strong Bisimilarity / 4.3:
Weak Bisimilarity / 4.4:
Algorithmic C omputation / 4.5:
Application Example: Leaky Bucket / 4.6:
Algebra of Interactive Markov Chains / 4.7:
Basic Language / 5.1:
Strong Bisimilarity and Weak C ongruence / 5.2:
Algebra of Strong Bisimilarity and Weak Congruence / 5.3:
Parallel Composition and Abstraction / 5.4:
Time Constraints and Symmetric Composition / 5.5:
Interactive Markov Chains in Practice / 5.6:
State Space Aggregation by Example / 6.1:
Application Study: An Ordinary Telephony System / 6.2:
Nondeterminism and Underspecification / 6.3:
Conclusion / 6.4:
Major Achievements / 7.1:
Has the C hallenge Been Met? / 7.2:
The C hallenge C ontinues / 7.3:
Appendix
Proofs for Chapter 3 and Chapter 4 / A:
Theorem 3.6.1 / A.1:
Theorem 4.3.1 / A.2:
Theorem 4.3.2 / A.3:
Lemma 4.4.2 / A.4:
Theorem 4.4.1 / A.5:
Theorem 4.4.2 / A.6:
Theorem 4.5.1 / A.7:
Theorem 4.5.2 / A.8:
Lemma 4.5.1 / A.9:
Theorem 4.5.3 / A.10:
Proofs for Chapter 5 / B:
Theorem 5.2.2 / B.1:
Theorem 5.3.2 / B.2:
Theorem 5.3.3 / B.3:
Theorem 5.3.6 / B.4:
Lemma 5.3.3 / B.5:
Theorem 5.3.8 / B.6:
Theorem 5.5.2 / B.7:
Theorem 5.5.3 / B.8:
Theorem 5.5.4 / B.9:
Bibliography
Introduction / 1:
Performance Estimation with Markov C hains / 1.1:
The Challenge of Compositional Performance Estimation / 1.2:
10.

図書

図書
Maria Carla Calzarossa, Salvatore Tucci (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  viii, 499 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2459
所蔵情報: loading…
11.

図書

図書
Luc van Gool (ed.)
出版情報: Berlin ; Tokyo : Springer, c2002  xvi, 628 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2449
所蔵情報: loading…
12.

図書

図書
David J. Hand, Niall M. Adams, Richard J. Bolton (eds.)
出版情報: Berlin : Springer, c2002  xii, 226 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2447 . Lecture notes in artificial intelligence
所蔵情報: loading…
13.

図書

図書
Michael O'Neill ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  xi, 245 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2464 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Regular Papers
On the Usefulness of Extracting Syntactic Dependencies for Text Indexing / Miguel A. Alonso ; Jesús Vilares ; Victor M. Darriba
Using Latent Semantic Indexing as a Measure of Conceptual Association for Noun Compound Disambiguation / Alan M. Buckeridge ; Richard F.E. Sutcliffe
RADAR: Finding Analogies Using Attributes of Structure / Brian P. Crean ; Diarmuid O'Donoghue
Classifying Languages Based on Speech Rhythm / Fred Cummins
Finding Agents in a Two-Dimensional Boolean STaM / Jim Doran
Neuro-symbolic System for Forecasting Red Tides / Florentino Fdez-Riverola ; Juan M. Corchado ; Jesús M. Torres
Improved Learning for Hidden Markov Models Using Penalized Training / Bill Keller ; Rudi Lutz
Recovering High-Level Structure of Software Systems Using a Minimum Description Length Principle
A System for Multi-agent Information Retrieval / Paula Mc Dermott ; Colm O'Riordan
All There Is to the Mind Is to Have the Right Genes, or, Consciousness as a Form of Genetic Engineering / Ajit Narayanan
Towards Robust Collaborative Filtering / Michael P. O'Mahony ; Neil J. Hurley ; Guenole C.M. Silvestre
GVR: A New Genetic Representation for the Vehicle Routing Problem / Francisco B. Pereira ; Jorge Tavares ; Penousal Machado ; Ernesto Costa
An Empirical Comparison of Particle Swarm and Predator Prey Optimisation / Arlindo Silva ; Ana Neves
Data Mining Support for Case-Based Collaborative Recommendation / Barry Smyth ; David Wilson ; Derry O'Sullivan
The Feasibility of Machine Learning for Query Answering - An Experiment in Two Domains / Kieran White
Meta-knowledge Annotation for Efficient Natural-Language Question-Answering / Tony Veale
Concise Papers
Financial Time Series Modelling Using Neural Networks: An Assessment of the Utility of a Stacking Methodology / Anthony Brabazon
Experiments in Sparsity Reduction: Using Clustering in Collaborative Recommenders / Derek Bridge ; Jerome Kelleher
Identification of Visual Features Using a Neural Version of Exploratory Projection Pursuit / Emilio Corchado ; Colin Fyfe
How People Compare an ItemÆs Placement in Two Alternative Categories / Fintan Costello
Investigations into Market Index Trading Models Using Evolutionary Automatic Programming / Ian Dempsey ; Michael O'Neill
An Interactive Story Engine / Chris Fairclough ; Pádraig Cunningham
Coherence, Explanation, and Bayesian Networks / David H. Glass
Combining Case-Based Reasoning and Analogical Reasoning in Software Design / Paulo Gomes ; Francisco C. Pereira ; Nuno Seco ; Paulo Paiva ; Paulo Carreiro ; Jose L. Ferreira ; Carlos Bento
Combination Methods for Improving the Reliability of Machine Translation Based Cross-Language Information Retrieval / Gareth J.F. Jones ; Adenike M. Lam-Adesina
A System for Music Information Retrieval / Orla Lahart
A New Bayesian Network Structure for Classification Tasks / Michael G. Madden
Evaluating Preference-Based Feedback in Recommender Systems / Lorraine Mc Ginty
Design of a Musical Instrument Classifier System Based on Mel Scaled Cepstral Coefficient Supervectors and a Supervised Two-Layer Feedforward Neural Network / Declan McGrath
An Interactive Learning Environment for Knowledge Engineering / David McSherry
Customising a Copying-Identifier for Biomedical Science Student Reports: Comparing Simple and Smart Analyses / Julia Medori ; Eric Atwell ; Paul Gent ; Clive Souter
A Hybridised GA for the Steiner Minimal Tree Problem / R. Panadero ; J.L. Fernández-Villacanas
Speaking Autonomous Intelligent Devices / Robert J. Ross ; Bryan McEleney ; Robert Kelly ; Tarek Abu-Amer ; Michael Walsh ; Julie Carson-Berndsen ; Gregory M.P. O'Hare
Author Index
Regular Papers
On the Usefulness of Extracting Syntactic Dependencies for Text Indexing / Miguel A. Alonso ; Jesús Vilares ; Victor M. Darriba
Using Latent Semantic Indexing as a Measure of Conceptual Association for Noun Compound Disambiguation / Alan M. Buckeridge ; Richard F.E. Sutcliffe
14.

図書

図書
Yanbo Han, Stefan Tai, Dietmar Wikarski (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  xiii, 564 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2480
所蔵情報: loading…
目次情報: 続きを見る
Workflows I
A Data Warehouse for Workflow Logs / J. Eder ; G. Olivotto ; W. Gruber
Workflow and Knowledge Management: Approaching an Integration / J. Lai ; Y. Fan
Linear Temporal Inference of Workflow Management Systems Based on Timed Petri Net Models / Y. Qu ; C. Lin ; J. Wang
Workflows II
Discovering Workflow Performance Models from Timed Logs / W.M.P. van der Aalst ; B.F. van Dongen
Performance Equivalent Analysis of Workflow Systems Based on Stochastic Petri Net Models / F. Ren ; D.C. Marinescu
An Agent Enhanced Framework to Support Pre-dispatching of Tasks in Workflow Management Systems / J. Liu ; S. Zhang ; J. Cao ; J. Hu
Ontologies
TEMPPLET: A New Method for Domain-Specific Ontology Design / Y. Dong ; M. Li
An Environment for Multi-domain Ontology Development and Knowledge Acquisition / J. Si ; C. Cao ; H. Wang ; F. Gu ; Q. Feng ; C. Zhang ; Q. Zeng ; W. Tian ; Y. Zheng
Applying Information Retrieval Technology to Incremental Knowledge Management / Z. Yang ; Y. Liu ; S. Li
Semantic Web
Visualizing a Dynamic Knowledge Map Using a Semantic Web Technology / H.-G. Kim ; C. Fillies ; B. Smith ; D. Wikarski
Indexing and Retrieval of XML-Encoded Structured Documents in Dynamic Environment / S. Kim ; J. Lee ; H. Lim
Knowledge Management: System Architectures, Main Functions, and Implementing Techniques / J. Ma ; M. Hemmje
Enterprise Application Integration
A Dynamic Matching and Binding Mechanism for Business Service Integration / F. Wang ; Z. Zhao ; Y. Han
A Uniform Model for Authorization and Access Control in Enterprise Information Platform / D. Li ; S. Hu ; S. Bai
Constraints-Preserving Mapping Algorithm from XML-Schema to Relational Schema / H. Sun ; J. Zhou
Mobile Agents
Study on SOAP-Based Mobile Agent Techniques / D. Wang ; G. Yu ; B. Song ; D. Shen ; G. Wang
Securing Agent Based Architectures / M. Maxim ; A. Venugopal
Service and Network Management Middleware for Cooperative Information Systems through Policies and Mobile Agents / K. Yang ; A. Galis ; T. Mota ; X. Guo ; C. Todd
Enterprise Modeling
Research on Enterprise Modeling of Agile Manufacturing / H. Xu ; L. Zhang ; B. Zhou
HCM - A Model Describing Cooperation of Virtual Enterprises / Y. Zhang ; M. Shi
A Description for Service Supporting Cooperations / M. Wiedeler
Distributed Systems Analysis
Analysis of an Election Problem for CSCW in Asynchronous Distributed Systems / S.-H. Park
A Linear-Order Based Access Method for Efficient Network Computations / S.-H. Woo ; S-B Yang
A Petri-Net Model for Session Services / J. Shen ; Y. Yang ; J. Luo
Software Engineering
Software Processes for Electronic Commerce Portal Systems / V. Gruhn ; L. Schoepe
Architecture Support for System-of-Systems Evolution / J. Han ; P. Chen
Expressing Graphical User's Input for Test Specifications / J. Chen
Architectures
An Intelligent Decision Support System in Construction Management by Data Warehousing Technique / Y. Cao ; K. Chau ; M. Anson ; J. Zhang
Distributed Heterogeneous Inspecting System and Its Implementation / L. Huang ; Z. Wu
Architecture for Distributed Embedded Systems Based on Workflow and Distributed Resource Management / Y. Lin ; X. Zhou ; X. Shi
Knowledge Management and the Control of Duplication / D. Cook ; L. Mellor ; G. Frost ; R. Creutzburg
Transactions
An Execution and Transaction Model for Active, Rule-Based Component Integration Middleware / Y. Jin ; S. Urban ; A. Sundermier ; S. Dietrich
Implementation of CovaTM / J. Jiang
Resource-Based Scripting to Stitch Distributed Components / J.-M. Andreoli ; D. Arregui ; F. Pacull ; J. Willamowski
Coordination I
Multi-agent Coordination Mechanism in Distributed Environment / M. Xu ; Y. Zhuang
Coordination among Multi-agents Using Process Calculus and ECA Rule / Y. Wei
An RBAC-Based Policy Enforcement Coordination Model in Internet Environment / J. You
Coordination II
A CORBA-Based Negotiation Strategy in E-Commerce / Y. Zhao
Negotiation Framework for the Next Generation Mobile Middleware Service Environment / M. Sihvonen ; J. Holappa
Groupware I
An Internet-Based Conference System for Real-Time Distributed Design Evaluation / K. Dai ; Y. Wang ; X. Xu
Intention Preservation by Multi-versioning in Distributed Real-Time Group Editors / L. Xue ; M. Orgun ; K. Zhang
Supporting Group Awareness in Web-Based Learning Environments / B. Hu ; A. Kuhlenkamp ; R. Reinema
Groupware II
Raison d'Etre Object: A Cyber-Hearth That Catalyzes Face-to-Face Informal Communication / T. Matsubara ; K. Sugiyama ; K. Nishimoto
The Neem Platform: An Extensible Framework for the Development of Perceptual Collaborative Applications / P. Barthelmess ; C.A. Ellis
Author Index
Workflows I
A Data Warehouse for Workflow Logs / J. Eder ; G. Olivotto ; W. Gruber
Workflow and Knowledge Management: Approaching an Integration / J. Lai ; Y. Fan
15.

図書

図書
José D.P. Rolim, Salil Vadhan (eds.)
出版情報: Berlin : Springer, c2002  viii, 275 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2483
所蔵情報: loading…
目次情報: 続きを見る
Counting Distinct Elements in a Data Stream / Ziv Bar-Yossef ; T.S. Jayram ; Ravi Kumar ; D. Sivakumar ; Luca Trevisan
On Testing Convexity and Submodularity / Michal Parnas ; Dana Ron ; Ronitt Rubinfeld
ω-Regular Languages Are Testable with a Constant Number of Queries / Hana Chockler ; Orna Kupferman
Optimal Lower Bounds for 2-Query Locally Decodable Linear Codes / Kenji Obata
Counting and Sampling H-Colourings / Martin Dyer ; Leslie A. Goldberg ; Mark Jerrum
Rapidly Mixing Markov Chains for Dismantleable Constraint Graphs / Eric Vigoda
On the 2-Colorability of Random Hypergraphs / Dimitris Achlioptas ; Cristopher Moore
Percolation on Finite Cayley Graphs / Christopher Malon ; Igor Pak
Computing Graph Properties by Randomized Subcube Partitions / Ehud Friedgut ; Jeff Kahn ; Avi Wigderson
Bisection of Random Cubic Graphs / J. Díaz ; N. Do ; M.J. Serna ; N.C. Wormald
Small k-Dominating Sets of Regular Graphs / William Duckworth ; Bernard Mans
Finding Sparse Induced Subgraphs of Semirandom Graphs / Amin Coja-Oghlan
Mixing in Time and Space for Lattice Spin Systems: A Combinatorial View / Alistair Sinclair ; Dror Weitz
Quantum Walks on the Hypercube / Alexander Russell
Randomness-Optimal Characterization of Two NP Proof Systems / Alfredo De Santis ; Giovanni Di Crescenzo ; Giuseppe Persiano
A Probabilistic-Time Hierarchy Theorem for ôSlightly Non-uniformö Algorithms / Boaz Barak
Derandomization That Is Rarely Wrong from Short Advice That Is Typically Good / Oded Goldreich
Is Constraint Satisfaction Over Two Variables Always Easy? / Lars Engebretsen ; Venkatesan Guruswami
Dimensionality Reductions That Preserve Volumes and Distance to Affine Spaces, and Their Algorithmic Applications / Avner Magen
On the Eigenvalue Power Law / Milena Mihail ; Christos Papadimitriou
Classifying Special Interest Groups in Web Graphs / Colin Cooper
Author Index
Counting Distinct Elements in a Data Stream / Ziv Bar-Yossef ; T.S. Jayram ; Ravi Kumar ; D. Sivakumar ; Luca Trevisan
On Testing Convexity and Submodularity / Michal Parnas ; Dana Ron ; Ronitt Rubinfeld
ω-Regular Languages Are Testable with a Constant Number of Queries / Hana Chockler ; Orna Kupferman
16.

図書

図書
Enrico Gregori ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  xv, 352 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2376
所蔵情報: loading…
目次情報: 続きを見る
Workshop on WebEngineering
Models and Characterization of WWW Traffic
A Parsimonious Multifractal Model for WWW Traffic / Abdullah Balamash ; Marwan Krunz
Characteristics of Temporal and Spatial Locality of Internet Access Patterns / Keisuke Ishibashi ; Masaki Aida ; Makoto Imase
Caching Infrastructure and Content Delivery Networks
A Scalable Architecture for Cooperative Web Caching / Riccardo Lancellotti ; Bruno Ciciani ; Michele Colajanni
Caching Web Services: Aspect Orientation to the Rescue / Marc Segura-Devillechaise ; Jean-Marc Menaud
Replicated Web Services: A Comparative Analysis of Client-Based Content-Delivery Policies / Marco Conti ; Enrico Gregori ; Willy Lapenna
Internet Cache Location and Design of Content Delivery Networks / Adam Wierzbicki
A Server Placement Algorithm Conscious of Communication Delays and Relocation Costs / Junho Shim ; Taehee Lee ; Sang-goo Lee
Methodologies and Tools for Building Web-Based Systems
The Yoix Scripting Language as a Tool for Building Web-Based Systems / Richard L. Drechsler ; John M. Mocenigo
XGuide - A Practical Guide to XML-Based Web Engineering / Clemens Kerer ; Engin Kirda ; Christopher Krügel
Process-Based Optimisation of Data Exchange for B2B Interaction / Christian Zirpins ; Kevin Schütt ; Giacomo Piccinelli
Client-Side Profile Storage / Stéphanie Riché ; Gavin Brebner ; Mickey Gittler
WebServer Performance, Testing and Benchmarking Environment
Boosting the Performance of Three-Tier Web Servers Deploying SMP Architecture / Pierfrancesco Foglia ; Roberto Giorgi ; Cosimo Antonio Prete
Overload Behaviour and Protection of Event-Driven Web Servers / Thiemo Voigt
Scalable Benchmarking and Performance Monitoring: A Coordination and Mobility Perspective / Kyungkoo Jun ; Dan C. Marinescu ; Yongchang Ji ; Gabriela M. Marinescu
Towards Specification-Based Web Testing / Jessica Chen ; Steve Chovanec
Workshop on Peer-to-Peer Computing
Routing and Discovery in Peer-to-Peer Networks
Routing in Mobile Ad-hoc and Peer-to-Peer Networks. A Comparison / Rudiger Schollmeier ; Ingo Gruber ; Michael Finkenzeller
Multi-layer Clusters in Ad-hoc Networks - An Approach to Service Discovery / Michael Klein ; Birgitta Konig-Ries
NeuroGrid: Semantically Routing Queries in Peer-to-Peer Networks / Sam Joseph
Applications
Storage, Mutability and Naming in Pasta / Tim D. Moreton ; Ian A. Pratt ; Timothy L. Harris
Text-Based Content Search and Retrieval in Ad-hoc P2P Communities / Francisco Matias Cuenca-Acuna ; Thu D. Nguyen
Freeing Cooperation From Servers Tyranny / Davide Balzarotti ; Carlo Ghezzi ; Mattia Monga
BuddyWeb: A P2P-Based Collaborative Web Caching System / XiaoYu Wang ; WeeSiong Ng ; BengChin Ooi ; Kian-Lee Tan ; AoYing Zhou
Reliable Unicast Streaming with Multiple Peers in IP Networks / Florian Unterkircher ; Michael Welzl
Programming Models
The Client Utility as a Peer-to-Peer System / Alan Karp ; Vana Kalogeraki
P3: Parallel Peer to Peer An Internet Parallel Programming Environment / Licinio Oliveira ; Luis Lopes ; Fernando Silva
Peer-to-Peer Programming with Teaq / Huw Evans ; Peter Dickman
Towards a Data-Driven Coordination Infrastructure for Peer-to-Peer Systems / Nadia Busi ; Cristian Manfredini ; Alberto Montresor ; Gianluigi Zavattaro
Towards Adaptive, Resilient and Self-organizing Peer-to-Peer Systems / Hein Meling ; Özalp Babao&Gcaron;lu
Security
Peer Pressure: Distributed Recovery from Attacks in Peer-to-Peer Systems / Pedram Keyani ; Brian Larson ; Muthukumar Senthil
Implementing a Reputation-Aware Gnutella Servent / Fabrizio Cornelli ; Ernesto Damiani ; Sabrina De Capitani di Vimercati ; Stefano Paraboschi ; Pierangela Samarati
Transaction-Based Charging in Mnemosyne: A Peer-to-Peer Steganographic Storage System / Timothy Roscoe ; Steven Hand
Author Index
Workshop on WebEngineering
Models and Characterization of WWW Traffic
A Parsimonious Multifractal Model for WWW Traffic / Abdullah Balamash ; Marwan Krunz
17.

図書

図書
Giorgio Ghelli, Gösta Grahne (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  x, 341 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2397
所蔵情報: loading…
18.

図書

図書
Fabio Paternò (ed.)
出版情報: Berlin ; Tokyo : Springer, c2002  xiii, 432 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2411
所蔵情報: loading…
目次情報: 続きを見る
Invited Speakers
Mobile Devices for Control / B.A. Myers
Building Usable Wireless Applications for Mobile Phones / L. Passani
Location Awareness
A Diary Study of Rendezvousing: Group Size, Time Pressure and Connectivity / M. Colbert
Automated Multimedia Diaries of Mobile Device Users Need Summarization / M. Gelgon ; K.Tilhou
Personal Location Agent for Communicating Entities (PLACE) / J. Lin ; R. Laddaga ; H. Naito
Distributing Event Information by Simulating Word-of-Mouth Exchanges / E.M. Huang ; M. Terry ; E. Mynatt ; K. Lyons ; A. Chen
Design Support for PDAs
A New Transcoding Technique for PDA Browsers, Based on Content Hierarchy / F.J. González-Castaño ; L. Anido-Rifón ; E. Costa-Montenegro
Sorting Out Searching on Small Screen Devices / M. Jones ; G. Buchanan ; H. Thimbleby
Context Dependent Systems
Adapting Applications in Mobile Terminals Using Fuzzy Context Information / J. Mäntyjärui ; T. Seppänen
Direct Combination: A New User Interaction Principle for Mobile and Ubiquitous HCI / S. Holland ; D.R. Morse ; H. Gedenryd
ASUR++: A Design Notation for Mobile Mixed Systems / E. Dubois ; P. Gray ; L. Nigay
Innovative Case Studies
Designing Lol@, a Mobile Tourist Guide for UMTS / G. Pospischil ; M. Umlauft ; E. Michlmayr
Location-Aware Shopping Assistance: Evaluation of a Decision-Theoretic Approach / T. Bohnenberger ; A. Jameson ; A. Krüger ; A. Butz
handiMessenger: Awareness-Enhanced Universal Communication for Mobile Users / S. Hibino ; A. Mockus
Usability Evaluation in Small Devices
An Empirical Study of the Minimum Required Size and the Minimum Number of Targets for Pen Input on the Small Display / S. Mizobuchi ; K. Mori ; X. Ren ; Y. Michiaki
KSPC (Keystrokes per Character) as a Characteristic of Text Entry Techniques / I.S. MacKenzie
Lost or Found? A Usability Evaluation of a Mobile Navigation and Location-Based Service / D. Chincholle ; M. Goldstein ; M. Nyberg ; M. Eriksson
Towards an Improved Readability on Mobile Devices: Evaluating Adaptive Rapid Serial Visual Presentation / G. Öquist
Novel User Interfaces for Mobile Devices
Mobile and Collaborative Augmented Reality: A Scenario Based Design Approach / P. Salembier ; T. Marchand ; P. Renevier ; L. Pasqualetti
The Unigesture Approach: One-Handed Text Entry for Small Devices / V. Sazawal ; R. Want ; G. Borriello
Short Papers
"Just-in-Place" Information for Mobile Device Interfaces / J. Kjeldskov
Pushing Web Pages into Personal Digital Assistants: Need, Tools and Solutions / J. García-Reinoso ; J. Vales-Alonso
Émigré: Metalevel Architecture and Migratory Work / P. Dourish ; A. van der Hoek
Interactions Model and Code Generation for J2ME Applications / D. Carboni ; S. Sanna ; S. Giroux ; G. Paddeu
An Interface with Weight: Taking Interaction by Tilt beyond Disembodied Metaphors / D. Fallman
UML Modelling of Device-Independent Interfaces and Services for a Home Environment Application / O. Mayora-Ibarra ; E. Cambranes-Martínez ; C. Miranda-Palma ; A. Fuentes-Penna ; O. De la Paz-Arroyo
iTutor: A Wireless and Multimodal Support to Industrial Maintenance Activities / L. Tummolini ; A. Lorenzon ; G. Bo ; R. Vaccaro
ArtemisExpress: A Case Study in Designing Handheld Interfaces for an Online Digital Library / K. Luchini ; C. Quintana ; E. Soloway
Addressing Mobile HCI Needs through Agents / G O'Hare ; M. O'Grady
Consistent Multi-device Design Using Device Categories / M. van Welie ; B. de Groot
New Generation of IP-Phone Enabled Mobile Devices / M. Kohno ; J. Rekimoto
A Content Provider-Specified Web Clipping Approach for Mobile Content Adaptation / S. Yang ; H. Lee ; K. Chung ; H. Kim
Case Study: A PDA Example of User Centered Design / H Lamberts
Leveraging the Context of Use in Mobile Service Design
A Ubiquitous Computing Environment for Language Learning / M. Paredes ; M. Ortega ; P.P. Sánchez-Villalón ; J.Á. Velázquez-Iturbide
XHTML in Mobile Application Development / A. Kaikkonen ; V. Roto
Understanding Contextual Interactions to Design Navigational Context-Aware Applications / N.A. Bradley ; M.D. Dunlop
Towards Scalable User Interfaces in 3D City Information Systems / T. Vainio ; O. Kotala ; I. Rakkolainen ; H. Kupila
Mobile Image Messaging - Anticipating the Outlines of the Usage Culture / A. Soronen ; V. Tuomisto
Remote Control of Home Automation Systems with Mobile Devices / L. Tarrini ; R. Bianchi Bandinelli ; V. Miori ; G. Bertini
Low-Resolution Supplementary Tactile Cues for Navigational Assistance / T. Sokoler ; L. Nelson ; E.R. Pedersen
Mobile Interface for a Smart Wheelchair / J. Abascal ; D. Cagigas ; N. Garay ; L. Gardeazabal
Utilizing Gaze Detection to Simulate the Affordances of Paper in the Rapid Serial Visual Presentation Format / S. Björk
On Interfaces for Mobile Information Retrieval / E. Schofield ; G. Kubin
User Requirement Analysis and Interface Conception for a Mobile, Location-Based Fair Guide / F. Hermann ; F. Heidmann
A Cross-Modal Electronic Travel Aid Device / F. Fontana ; A. Fusiello ; M. Gobbi ; V. Murino ; D. Rocchesso ; L. Sartor ; A. Panuccio
Globalization of Voice-Enabled Internet Access Solutions / C. Chesta
Map-Based Access to Multiple Educational On-Line Resources from Mobile Wireless Devices / P. Brusilovsky ; R. Rizzo
Supporting Adaptivity to Heterogeneous Platforms through User Models / L. Marucci ; F. Paternò
Visualizing Bar Charts on WAP Phones / L. Chittaro ; A. Camaggio
Structured Menu Presentation Using Spatial Sound Separation / G. Lorho ; J. Hiipakka ; J. Marila
"Do as I Say! … But Who Says what I Should Say - or Do?" On the Definition of a Standard Spoken Command Vocabulary for ICT Devices and Services / B. von Niman ; C. Chaplin ; J.-A. Collado-Vega ; L. Groh ; S. McGlashan ; W. Mellors ; D. van Leeuwen
Author Index
Invited Speakers
Mobile Devices for Control / B.A. Myers
Building Usable Wireless Applications for Mobile Phones / L. Passani
19.

図書

図書
Sergio Flesca ... [et al.] (eds.)
出版情報: Berlin : Springer, c2002  xiii, 572 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2424 . Lecture notes in artificial intelligence
所蔵情報: loading…
20.

図書

図書
Julian Bradfield (ed.)
出版情報: Berlin ; Tokyo : Springer, c2002  xii, 612 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2471
所蔵情報: loading…
目次情報: 続きを見る
Invited Lectures
Limit-Computable Mathematics and Its Applications / Susumu Hayashi ; Yohji Akama
Automata, Logic, and XML / Frank Neven
μ-Calculus via Games (Extended Abstract) / Damian Niwiński
Rewriting and Constructive Mathematics
Bijections between Partitions by Two-Directional Rewriting Techniques / Max Kanovich
On Continuous Normalization / Klaus Aehlig ; Felix Joachimski
Variants of Realizability for Propositional Formulas and the Logic of the Weak Law of Excluded Middle / Alexey V. Chernov ; Dmitriy P. Skvortsov ; Elena Z. Skvortsova ; Nikolai K. Vereshchagin
Compactness and Continuity, Constructively Revisited / Douglas Bridges ; Hajime Ishihara ; Peter Schuster
Fixpoints and Recursion
Hoare Logics for Recursive Procedures and Unbounded Nondeterminism / Tobias Nipkow
A Fixpoint Theory for Non-monotonic Parallelism / Yifeng Chen
Greibach Normal Form in Algebraically Complete Semirings / Zoltán Ésik ; Hans Leiß
Linear and Resource Logics
Proofnets and Context Semantics for the Additives / Harry G. Mairson ; Xavier Rival
A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming / Joshua S. Hodas ; Pablo López ; Jeffrey Polakow ; Lubomira Stoilova ; Ernesto Pimentel
Resource Tableaux (extended abstract) / Didier Galmiche ; Daniel Méry ; David Pym
Semantics
Configuration Theories / Pietro Cenciarelli
A Logic for Probabilities in Semantics / M. Andrew Moshier ; Achim Jung
Possible World Semantics for General Storage in Call-By-Value / Paul Blain Levy
A Fully Abstract Relational Model of Syntactic Control of Interference / Guy McCusker
Temporal Logics and Games
Optimal Complexity Bounds for Positive LTL Games / Jerzy Marcinkowski ; Tomasz Truderung
The Stuttering Principle Revisited: On the Expressiveness of Nested X and U Operators in the Logic LTL / Antonín Kučera ; Jan Strejček
Trading Probability for Fairness / Marcin Jurdziński ; Orna Kupferman ; Thomas A. Henzinger
Probability, Games and Fixpoints
A Logic of Probability with Decidable Model-Checking / Danièle Beauquier ; Alexander Rabinovich ; Anatol Slissenko
Solving Pushdown Games with a Σ3 Winning Condition / Thierry Cachat ; Jacques Duparc ; Wolfgang Thomas
Partial Fixed-Point Logic on Infinite Structures / Stephan Kreutzer
On the Variable Hierarchy of the Modal μ-Calculus / Dietmar Berwanger ; Erich Grädel ; Giacomo Lenzi
Complexity and Proof Complexity
Implicit Computational Complexity for Higher Type Functionals (Extended Abstract) / Daniel Leivant
On Generalizations of Semi-terms of Particularly Simple Form / Matthias Baaz ; Georg Moser
Local Problems, Planar Local Problems and Linear Time / Régis Barbanchon ; Etienne Grandjean
Equivalence and Isomorphism for Boolean Constraint Satisfaction / Elmar Böhler ; Edith Hemaspaandra ; Steffen Reith ; Heribert Vollmer
Ludics and Linear Logic
Travelling on Designs (Ludics Dynamics) / Claudia Faggian
Designs, Disputes and Strategies / Martin Hyland
Classical Linear Logic of Implications / Masahito Hasegawa
Lambda-Calculi
Higher-Order Positive Set Constraints / Jean Goubault-Larrecq
A Proof Theoretical Account of Continuation Passing Style / Ichiro Ogata
Duality between Call-by-Name Recursion and Call-by-Value Iteration / Yoshihiko Kakutani
Decidability of Bounded Higher-Order Unification / Manfred Schmidt-Schauß ; Klaus U. Schulz
Open Proofs and Open Terms: A Basis for Interactive Logic / Herman Geuvers ; Gueorgui I. Jojgov
Logical Relations for Monadic Types / Slawomir Lasota ; David Nowak
Resolution and Proofs
On the Automatizability of Resolution and Related Propositional Proof Systems / Albert Atserias ; María Luisa Bonet
Extraction of Proofs from the Clausal Normal Form Transformation / Hans de Nivelle
Resolution Refutations and Propositional Proofs with Height-Restrictions / Arnold Beckmann
Author Index
Invited Lectures
Limit-Computable Mathematics and Its Applications / Susumu Hayashi ; Yohji Akama
Automata, Logic, and XML / Frank Neven
21.

図書

図書
Manuel V. Hermenegildo, Germán Puebla (eds.)
出版情報: Berlin : Springer, c2002  xi, 525 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2477
所蔵情報: loading…
目次情報: 続きを見る
Static Program Analysis via 3-Valued Logic / Thomas Reps
Open Modeling in Multi-stakeholder Distributed Systems: Research and Tool Challenges / Robert J. Hall
An Algebraic Approach to the Static Analysis of Concurrent Software / Javier Esparza
Polynomial Constants Are Decidable / Markus Müller-Olm ; Helmut Seidl
Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi / Flemming Nielson ; Hanne Riis Nielson
Nonuniform Alias Analysis of Recursive Data Structures and Arrays / Arnaud Venet
Representing and Approximating Transfer Functions in Abstract Interpretation of Hetereogeneous Datatypes / B. Jeannet
Automated Verification of Concurrent Linked Lists with Counters / Tuba Yavuz-Kahveci ; Tevfik Bultan
Backward Type Inference Generalises Type Checking / Lunjin Lu ; Andy King
More Precise Yet Efficient Type Inference for Logic Programs / Claudio Vaucheret ; Francisco Bueno
A Few Graph-Based Relational Numerical Abstract Domains / Antoine Miné
Static Analysis of the Numerical Stability of Loops / Matthieu Martel
On Termination of Logic Programs with Floating Point Computations / Alexander Serebrenik ; Danny De Schreye
Modular Control Flow Analysis for Libraries / Christian W. Probst
An Efficient Inclusion-Based Points-To Analysis for Strictly-Typed Languages / John Whaley ; Monica S. Lam
Compactly Representing First-Order Structures for Static Analysis / R. Manevich ; G. Ramalingam ; J. Field ; D. Goyal ; M. Sagiv
Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library / Roberto Bagnara ; Elisa Ricci ; Enea Zaffanella ; Patricia M. Hill
Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis / Stephen Adams ; Thomas Ball ; Manuvir Das ; Sorin Lerner ; Sriram K. Rajamani ; Mark Seigle ; Westley Weimer
Improving the Precision of Equality-Based Dataflow Analyses / Erik Ruf
Guaranteed Optimization: Proving Nullspace Properties of Compilers / Todd L. Veldhuizen ; rew Lumsdaine
Representation Analysis for Coercion Placement / Karl-Filip Faxén
Pipeline Modeling for Timing Analysis / Marc Langenbach ; Stephan Thesing ; Reinhold Heckmann
Analysing Approximate Confinement under Uniform Attacks / Alessandra Di Pierro ; Chris Hankin ; Herbert Wiklicky
An Improved Constraint-Based System for the Verification of Security Protocols / Ricardo Corin ; Sandro Etalle
From Secrecy to Authenticity in Security Protocols / Bruno Blanchet
Security Typings by Abstract Interpretation / Mirko Zanotti
Static Confidentiality Enforcement for Distributed Programs / Andrei Sabelfeld ; Heiko Mantel
Refinement of LTL Formulas for Abstract Model Checking / María del Mar Gallardo ; Pedro Merino ; Ernesto Pimentel
Making Abstract Model Checking Strongly Preserving / Francesco Ranzato ; Francesco Tapparo
Semantics for Abstract Interpretation-Based Static Analyzes of Temporal Properties / Damien Massé
Checking Safety Properties of Behavioral VHDL Descriptions by Abstract Interpretation / Charles Hymans
States vs. Traces in Model Checking by Abstract Interpretation / Roberto Giacobazzi
Reuse of Results in Termination Analysis of Typed Logic Programs / Maurice Bruynooghe ; Michael Codish ; Samir Genaim ; Wim Vanhoof
Finiteness Analysis in Polynomial Time / Chin Soon Lee
Detecting Optimal Termination Conditions of Logic Programs / Fred Mesnard ; Etienne Payet ; Ulrich Neumerkel
Author Index
Static Program Analysis via 3-Valued Logic / Thomas Reps
Open Modeling in Multi-stakeholder Distributed Systems: Research and Tool Challenges / Robert J. Hall
An Algebraic Approach to the Static Analysis of Concurrent Software / Javier Esparza
22.

図書

図書
Pieter Adriaans, Henning Fernau, Menno van Zaanen (eds.)
出版情報: Berlin : Springer, c2002  ix, 314 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2484 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Contributions
Inference of Sequential Association Rules Guided by Context-Free Grammars / C.M. Antunes ; A.L. Oliveira
PCFG Learning by Nonterminal Partition Search / A. Belz
Inferring Subclasses of Regular Languages Faster Using RPNI and Forbidden Configurations / A. Cano ; J. Ruiz ; P. Garc'ia
Beyond EDSM / O. Cicchello ; S.C. Kremer
Consistent Identification in the Limit of Rigid Grammars from Strings Is NP-hard / C. Costa Florêncio
Some Classes of Regular Languages Identifiable in the Limit from Positive Data / F. Denis ; A. Lemay ; A. Terlutte
Learning Probabilistic Residual Finite State Automata / Y. Esposito ; P. Dupont
Fragmentation: Enhancing Identifiability / H. Fernau
On Limit Points for Some Variants of Rigid Lambek Grammars / A. Foret ; Y. Le Nir
Generalized Stochastic Tree Automata for Multi-relational Data Mining / A. Habrard ; M. Bernard ; F. Jacquenet
On Sufficient Conditions to Identify Classes of Grammars from Polynomial Time and Data / C. de la Higuera ; J. Oncina
Stochastic Grammatical Inference with Multinomial Tests / C. Kermorvant
Learning Languages with Help
Incremental Learning of Context Free Grammars / K. Nakamura ; M. Matsumoto
Estimating Grammar Parameters Using Bounded Memory / T. Oates ; B. Heeringa
Stochastic k-testable Tree Languages and Applications / J.R. Rico-Juan ; J. Calera-Rubio ; R.C. Carrasco
Fast Learning from Strings of 2-Letter Rigid Grammars / Y. Seginer
Learning Locally Testable Even Linear Languages from Positive Data / J.M. Sempere
Inferring Attribute Grammars with Structured Data for Natural Language Processing / B. Starkie
A PAC Learnability of Simple Deterministic Languages / Y. Tajima ; M. Terada
On the Learnability of Hidden Markov Models / S.A. Terwijn
Shallow Parsing Using Probabilistic Grammatical Inference / F. Thollard ; A. Clark
Learning of Regular Bi-? Languages / D.G. Thomas ; M. Humrosia Begam ; K.G. Subramanian ; S. Gnanasekaran
Software Descriptions The EMILE 4.1 Grammar Induction Toolbox / P. Adriaans ; M. Vervoort
Software for Analysing Recurrent Neural Nets That Learn to Predict Non-regular Languages / S.K. Chalup ; A.D. Blair
A Framework for Inductive Learning of Typed-Unification Grammars / L. Ciortuz
A Tool for Language Learning Based on Categorial Grammars and Semantic Information / D. Dudau Sofronie ; I. Tellier ; M. Tommasi
'NAIL': Artificial Intelligence Software for Learning Natural Language / S. Lievesley ; E. Atwell
LyrebirdTM: Developing Spoken Dialog Systems Using Examples / G. Findlow ; K. Ho ; A. Hui ; L. Law ; L. Lightwood ; S. Michnowicz ; C. Walder
Implementing Alignment-Based Learning / M. van Zaanen
Author Index
Contributions
Inference of Sequential Association Rules Guided by Context-Free Grammars / C.M. Antunes ; A.L. Oliveira
PCFG Learning by Nonterminal Partition Search / A. Belz
23.

図書

図書
Hiroshi Arisawa ... [et al.] (eds.)
出版情報: Berlin : Springer, c2002  xvii, 500 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2465
所蔵情報: loading…
目次情報: 続きを見る
HUMACS 2001
Participation: The Key to Intelligent Manufacturing Improvement / Peter Vink ; Frans M. van Eijnatten
Challenges in Dealing with Human Factors Issues in Manufacturing Activities / Shunji Yamada
Extracting E-R Models from Collaboration Analysis Methods, MCM, and CLM / Manabu Kamimura ; Naoyuki Kato ; Ryo Kawabata ; Satoshi Kumagai ; Kiyoshi Itoh
Living Manufacturing Systems with Living Organizations / Noriaki Kurosu
A Study on Human-Centric Real-Time Scheduling for PWB Assembly Line / Machiko Chikano ; Yoshitaka Tomita ; Yasuhiko Hiraide ; Eiji Arai
The E/S Tool IT-Support for Ergonomic and Sociotechnical System Design / Martin Van De Bovenkamp ; Ruben Jongkind ; Gu Van Rhijn ; Frans M. Van Eijnatten ; Gudela Grote ; Jouni Lehtelä ; Timo Leskinen ; Scott Little ; Toni Wäfler
Construction of Virtual Working Environment and Evaluation of the Workers / Kageyu Noro ; Ryohei Tanaka
Human Models and Data in the Ubiquitous Information Infrastructure / Frank Berkers ; Jan Goossenaerts ; Dieter Hammer ; Hans Wortmann
Motion Simulation of the Human Workers for the Integrated Computer-Aided Manufacturing Process Simulation Based on Info-Ergonomics Concept / Sayaka Imai ; Takashi Tomii ; Hiroshi Arisawa
Human-Body Motion Simulation Using Bone-Based Human Model and Construction of Motion Database / Takako Sato
Ontological Commitment for Participative Simulation / Christine Pelletier
Dynamic Management Architecture for Human Oriented Production System / Keiichi Shirase ; Hidefumi Wakamatsu ; Akira Tsumaya
DASWIS 2001
GeoCosm: A Semantics-Based Approach for Information Integration of Geospatial Data / Sudha Ram ; Vijay Khatri ; Limin Zhang ; Daniel Dajun Zeng
Imposing Modeling Rules on Industrial Applications through Meta-modeling / Peter Fröhlich ; Zaijun Hu ; Manfred Schoelzke
Modelling Ubiquitous Web Applications - The WUML Approach / Gerti Kappel ; B. Pröll ; Werner Retschitzegger ; Wieland Schwinger
Structuring Web Sites Using Audience Class Hierarchies / Sven Casteleyn ; Olga De Troyer
On the Automatic Extraction of Data from the Hidden Web / Stephen W. Liddle ; Sai Ho Yau ; David W. Embley
MIDAS/BD: A Methodological Framework for Web Database Design / E. Marcos ; P. Cáceres ; B. Vela ; J.M. Cavero
Translating XQuery into XSLT / Stephan Lechner ; Gunter Preuner ; Michael Schrefl
Web Site Evaluation: Methodology and Case Study / Paolo Atzeni ; Paolo Merialdo ; Giuseppe Sindoni
Automatic Web Information Extraction in the roadRunner System / Valter Crescenzi ; Giansalvatore Mecca
Querying Relational Databases without Explicit Joins / Ramon Lawrence ; Ken Barker
NF-SS: A Normal Form for Semistructured Schema / Xiaoying Wu ; Tok Wang Ling ; Sin Yeung Lee ; Mong Li Lee ; Gillian Dobbie
A Formal Analysis of the Lightweight Directory Access Protocol / Fang Wei ; Georg Lausen
An XML Document Retrieval System Supporting Structure- and Content-Based Queries / Jae-Woo Chang
Extraction of Partial XML Documents Using IR-Based Structure and Contents Analysis / Kenji Hatano ; Hiroko Kinutani ; Masatoshi Yoshikawa ; Shunsuke Uemura
XDoC-WFMS: A Framework for Document Centric Workflow Management System / Rupa Krishnan ; Lalitha Munaga ; Kamalakar Karlapalem
eCOMO 2001
Active XML Schemas / Martin Bernauer
Behavior Abstraction in Semantic B2B Integration / Christoph Bussler
OIL Ontologies for Collaborative Task Performance in Coalitions of Self-Interested Actors / Vadim Ermolayev ; Natalya Keberle ; Vyachyslav Tolok
A Multi-perspective Methodology for Modelling Inter-enterprise Business Processes / Kuldar Taveter ; Gerd Wagner
Process Patterns to Generate E-commerce Systems / Prasad Jayaweera ; Paul Johannesson ; Petia Wohed
Formalising Feasibility and Correctness of Distributed Business Processes / Tomasz Janowski ; Adegboyega Ojo
Modeling Products for Versatile E-commerce Platforms - Essential Requirements and Generic Design Alternatives / Ulrich Frank
Seamless Personalization of E-commerce Applications / Juan Cappi ; Gustavo Rossi ; Andrés Fortier ; Daniel Schwabe
Discovery of User Preference through Genetic Algorithm and Bayesian Categorization for Recommendation / SuJeong Ko ; JungHyun Lee
DAMA 2001
Using the Quantum Data Model to Develop Shareable Definitions / Harry Ellis
Author Index
HUMACS 2001
Participation: The Key to Intelligent Manufacturing Improvement / Peter Vink ; Frans M. van Eijnatten
Challenges in Dealing with Human Factors Issues in Manufacturing Activities / Shunji Yamada
24.

図書

図書
Andrea Corradini ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  ix, 457 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2505
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Ubiquitous, Decentralized, and Evolving Software: Challenges for Software Engineering / Carlo Ghezzi
Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?) / David Harel
Bigraphs as a Model for Mobile Interaction / Robin Milner
Contributed Papers
Approximating the Behaviour of Graph Transformation Systems / Paolo Baldan ; Barbara König
Transforming Specification Architectures by GenGED / Roswitha Bardohl ; Claudia Ermel ; Julia Padberg
Decomposing Graphs with Symmetries / Michel Bauderon ; Fréderiqué Carrère
Graph Transformations for the Vehicle Routing and Job Shop Scheduling Problems / J. Christopher Beck ; Patrick Prosser ; Evgeny Selensky
Call-by-Value ?-Graph Rewriting Without Rewriting / Maribel Fernández ; Ian Mackie
Transformation: The Missing Link of MDA / Anna Gerber ; Michael Lawley ; Kerry Raymond ; Jim Steel ; Andrew Wood
Termination Detection of Distributed Algorithms by Graph Relabelling Systems / Emmanuel Godard ; Yves Mátivier ; Mohamed Mosbah ; Afif Sellami
Graph Transformation with Time: Causality and Logical Clocks / Szilvia Gyapay ; Reiko Heckel ; Dániel Varró
Relabelling in Graph Transformation / Annegret Habel ; Detlef Plump
Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes / Jurriaan Hage ; Tero Harju ; Emo Welzl
Confluence of Typed Attributed Graph Transformation Systems / Jochen Malte Kuüster ; Gabriele Taentzer
Abstraction and Control for Shapely Nested Graph Transformation / Berthold Hoffmann
Hyperedge Substitution in Basic Atom-Replacement Languages / Renate Klempien-Hinrichs
Distributed Graph Transformation Units / Peter Knirsch ; Sabine Kuske
Describing Policies with Graph Constraints and Rules / Manuel Koch ; Francesco Parisi-Presicce
Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts / Juan de Lara ; Hans Vangheluwe
Using Graph Transformation as the Semantical Model for Software Process Execution in the APSEE Environment / Carla A. Lima Reis ; Rodrigo Quites Reis ; Marcelo M. de Abreu ; Heribert Schlebbe ; Daltro J. Nunes
Graph-Based Reengineering of Telecommunication Systems / Andre Marburger ; Bernhard Westfechtel
Formalising Behaviour Preserving Program Transformations / Tom Mens ; Serge Demeyer ; Dirk Janssens
Unparsing of Diagrams with DiaGen / Mark Minas ; Frank Struber
Linear Ordered Graph Grammars and Their Algebraic Foundations / Ugo Montanari ; Leila Ribeiro
Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems / Bettina E. Enders
Incremental Transformation of Lattices: A Key to Effective Knowledge Discovery / John L. Pfaltz
GraCAD - Graph-Based Tool for Conceptual Design / Janusz Szuba ; Andy Schürr ; Adam Borkowski
A Formal Semantics of UML Statecharts by Model Transition Systems
Hierarchical Vertex Ordering / Sung-Ho Woo ; Sung-Bong Yang
Tutorials and Workshops
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective / Luciano Baresi
Tutorial on DNA Computing and Graph Transformation - Computational Nature of Gene Assembly in Ciliates / Ion Petre ; Grzegorz Rozenberg
TERMGRAPH 2002 - Workshop Survey
Workshop on Graph-Based Tools
Workshop on Graph Transformation and Visual Modeling Techniques / Paolo Bottoni
Workshop on Software Evolution through Transformations: Towards Uniform Support throughout the Software Life-Cycle / Michel Wermelinger
Workshop on Logic, Graph Transformations and Discrete Structures / Bruno Courcelle ; Pascal Weil
Author Index
Invited Papers
Ubiquitous, Decentralized, and Evolving Software: Challenges for Software Engineering / Carlo Ghezzi
Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?) / David Harel
25.

図書

図書
Matthias Baaz, Andrei Voronkov (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  xiii, 463 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2514 . Lecture notes in artificial intelligence
所蔵情報: loading…
26.

図書

図書
Stefania Bandini, Bastien Chopard, Marco Tomassini (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  xi, 367 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2493
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Spontaneous Coalition Forming. Why Some Are Stable? / Serge Galam
Simulating Spatial Dynamics by Probabilistic Cellular Automata / Olga Bandman
Cellular Automata Models for Transportation Applications / Kai Nagel
Contributed Papers
An Evolutionary Approach to the Study of Non-trivial Collective Behavior in Cellular Automata / Francisco Jimenez-Morales
Artificially Evolved Asynchronous Cellular Automata for the Density Task / Marco Tomassini ; Mattias Venzi
Evolving Cellular Automata as Pattern Classifier / Niloy Ganguly ; Pradipta Maji ; Sandip Dhar ; Biplab K. Sikdar ; P. Pal Chaudhuri
An Efficient Mapping Scheme for Embedding Any One-Dimensional Firing Squad Synchronization Algorithm onto Two-Dimensional Arrays / Hiroshi Umeo ; Masashi Maeda ; Norio Fujiwara
Chaotic Subshifts Generated by One Dimensional Elementary CA. The Role of Transitivity / Gianpiero Cattaneo ; Alberto Dennunzio
Stochastic Analysis of Cellular Automata and the Voter Model / Heinz Muhlenbein ; Robin Hons
Universality Class of Probabilistic Cellular Automata / Danuta Makowiec ; Piotr Gnacinski
Kinetic Approach to Lattice Quantum Mechanics / Sauro Succi
Emergence of Self-Replicating Loops in an Interactive, Hardware-Implemented Game-of-Life Environment / Andre Stauffer ; Moshe Sipper
Spontaneous Emergence of Robust Cellular Replicators / Iker Azpeitia ; Jesus Ibanez
Emergence of Macro Spatial Structures in Dissipative Cellular Automata / Andrea Roli ; Franco Zambonelli
Enhancing Cellular Spaces by Multilayered Multi Agent Situated Systems / Stefania Bandini ; Sara Manzoni ; Carla Simone
Perturbing the Regular Topology of Cellular Automata: Implications for the Dynamics / Roberto Serra ; Marco Villani
A Path-Planner for Mobile Robots of Generic Shape with Multilayered Cellular Automata / Fabio M. Marchese
Dynamics of Populations in Extended Systems / Michel Droz ; Andrzej Pekalski
Simulation of Vegetable Populations Dynamics Based on Cellular Automata / Giulio Pavesi
A Fish Migration Model / Birgitt Schonfisch ; Michael Kinder
A Parallel Cellular Ant Colony Algorithm for Clustering and Sorting / Paul Albuquerque ; Alexandre Dupuis
A Multiparticle Lattice Gas Automata Model for a Crowd / Stefan Marconi ; Bastien Chopard
CA Approach to Collective Phenomena in Pedestrian Dynamics / Andreas Schadschneider ; Ansgar Kirchner ; Katsuhiro Nishinari
Opinion Formation and Phase Transitions in a Probabilistic Cellular Automaton with Two Absorbing States / Franco Bagnoli ; Fabio Franci ; Raul Rechtman
Cellular Automata Based Authentication (CAA) / Monalisa Mukherjee
Cellular Automata Machine for Pattern Recognition / Sourav Saha ; Anup K. Roy
Cellular Automata Model of Drug Therapy for HIV Infection / Peter Sloot ; Fan Chen ; Charles Boucher
Cellular Automata Approaches to Enzymatic Reaction Networks / Jorg R. Weimar
Modelling Surface Flows for Macroscopic Phenomena by Cellular Automata: An Application to Debris Flows / Donato D'Ambrosio ; Salvatore Di Gregorio ; Giulio Iovine ; Valeria Lupiano ; Rocco Rongo ; William Spataro
Simulation Framework for the Autobahn Traffic in North Rhine-Westphalia / Sigurdur F. Marinosson ; Roland Chrobok ; Andreas Pottmeier ; Joachim Wahle ; Michael Schreckenberg
Cellular Automata Based Temporal Process Understanding of Urban Growth / Jianquan Cheng ; Ian Masser
Playing with Automata. An Innovative Perspective for Gaming Simulation / Ivan Blecic ; Arnaldo Cecchini ; Paola Rizzi ; Giuseppe A. Trunfio
Urban Cellular Automata: The Inverse Problem / Giovanni A. Rabino ; Alessandra Laghi
Regional Controllability with Cellular Automata Models / Samira El Yacoubi ; Abdelhaq El Jai ; Nezha Ammor
Author Index
Invited Papers
Spontaneous Coalition Forming. Why Some Are Stable? / Serge Galam
Simulating Spatial Dynamics by Probabilistic Cellular Automata / Olga Bandman
27.

図書

図書
Martti Penttonen, Erik Meineche Schmidt (eds.)
出版情報: Berlin : Springer, c2002  xiv, 450 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2368
所蔵情報: loading…
28.

図書

図書
Elisabete Ranchhod, Nuno J. Mamede (eds.)
出版情報: Berlin : Springer, c2002  xii, 273 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2389 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Invited Speakers
WordsEye: A Text-to-Scene Conversion System / Richard Sproat
Automatic Anaphora Resolution: Limits, Impediments, and Ways Forward / Ruslan Mitkov
Pragmatics, Discourse, Semantics, Syntax, and the Lexicon
Feature-Based WSD: Why We Are at a Dead End / Alessandro Cucchiarelli ; Paola Velardi
Improving Feature Selection for Maximum Entropy-Based Word Sense Disambiguation / Armando Suárez ; Manuel Palomar
Heuristics-Based Replenishment of Collocation Databases / Igor A. Bolshakov ; Alexander Gelbukh
On the Analysis of Locative Phrases with Graphs and Lexicon-Grammar: The Classifier/Proper Noun Pairing / Matthieu Constant
The Role of Pause Occurrence and Pause Duration in the Signaling of Narrative Structure / Miguel Oliveira
A Grammar-Based System to Solve Temporal Expressions in Spanish Texts / Patricio Martínez-Barco ; Estela Saquete ; Rafael Muñoz
Semantic Information in Anaphora Resolution / R. Muñoz ; M. Saiz-Noeda ; A. Montoyo
A Type of Transitive Inalienable Possession Construction in Korean / Gohsran Chung
The Treatment of Numbers in Polish by Graphs / Krzysztof Bogacki
From Syntax to Semantics: Taking Advantages of 5P / Luísa Coheur ; Nuno Mamede
Processing Discontinuity / Marcel Cori
Resolution of Demonstrative Anaphoric References in Portuguese Written Texts / Victor Sant'Anna ; Vera L.S. de Lima
Interpreting and Generating Spoken and Written Language
Large Vocabulary Continuous Speech Recognition Using Weighted Finite-State Transducers / Diamantino Caseiro ; Isabel Trancoso
Building Language Models for Continuous Speech Recognition Systems / Nuno Souto ; Hugo Meinedo ; João P. Neto
Language-Oriented Information Retrieval, Question Answering, Summarization, and Information Extraction
Relevant Information Extraction Driven with Rhetorical Schemas to Summarize Scientific Papers / Mariem Ellouze ; Abdelmajid Ben Hamadou
Language-Oriented Machine Learning
Mapping an Automated Survey Coding Task into a Probabilistic Text Categorization Framework / Daniela Giorgetti ; Irina Prodanof ; Fabrizio Sebastiani
Combining Multiclass Maximum Entropy Text Classifiers with Neural Network Voting / Philipp Koehn
Multi-lingual Processing, Machine Translation, and Translation Aids
Compound Temporal Adverbs in Portuguese and in Spanish / Jorge Baptista ; Dolors Català Guitart
Description of a Multilingual Database of Proper Names / Thierry Grass ; Denis Maurel ; Odile Piton
Natural Language Interfaces and Dialogue Systems
A Project of Speech Input and Output in an E-commerce Application / Diamantino Freitas ; António Moura ; Daniela Braga ; Helder Ferreira ; João Paulo Teixeira ; Maria João Barros ; Paulo Gouveia ; Vagner Latsch
Ambiguity Reports for Flexible Dialog Management / Kerstin Bücher ; Michael Knorr ; Bernd Ludwig
A Natural Language Dialogue Manager for Accessing Databases / Salvador Abreu ; Paulo Quaresma ; Luis Quintano ; Irene Rodrigues
Helping the Composition of Help Contents / Milene Silveira ; Maria Carmelita Dias ; Violeta Quental
Meteo: A Telephone-Based Portuguese Conversation System in Weather Domain / Pedro Cardoso ; Luis Flores ; Thibault Langlois ; João Neto
Tools and Resources
Concluding Remarks on Multi-band and Multi-stream Research for Noise-Robust ASR / Astrid Hagen
Groundwork for the Development of the Brazilian Portuguese Wordnet / Bento C. Dias-da-Silva ; Mirna F. de Oliveira ; Helio R. de Moraes
Linguistic Processing of Biomedical Texts / Caroline Hagège ; Ágnes Sándor ; Anne Schiller
DISPARA, a Systemfor Distributing Parallel Corpora on the Web / Diana Santos
Using Morphological, Syntactical, and Statistical Information for Automatic Term Acquisition / Joana Lúcio Paulo ; Margarita Correia ; Nuno J. Mamede
Complex Lexical Units and Automata / Paula Carvalho ; Cristina Mota ; Elisabete Ranchhod
Constructing Empirical Formulas for Testing Word Similarity by theInductive Method of Model Self-Organization / Pavel Makagonov ; Mikhail Alexandrov
Multilingual Corpora Annotation for Processing Definite Descriptions / Renata Vieira ; Susanne Salmon-Alt ; Emmanuel Schang
Relational Data Model in Document Hierarchical Indexing / Grigori Sidorov ; Adolfo Guzmán-Arenas
Evaluation of Systems
DMSumm: Review and Assessment / Thiago Alexandre Salgueiro Pardo ; Lucia Helena Machado Rino
Author Index
Invited Speakers
WordsEye: A Text-to-Scene Conversion System / Richard Sproat
Automatic Anaphora Resolution: Limits, Impediments, and Ways Forward / Ruslan Mitkov
29.

図書

図書
Antonis C. Kakas, Fariba Sadri (eds.)
出版情報: Berlin : Springer, c2002  2 v. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2407-2408 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
A Portrait of a Scientist as a Computational Logician / Maurice Bruynooghe ; Luís Moniz Pereira ; Jörg H. Siekmann ; Maarten van Emden
Bob Kowalski: A Portrait / Marek Sergot
Directions for Logic Programming / Robert A. Kowalski
Logic Programming Languages / I:
Agents as Multi-threaded Logical Objects / Keith Clark ; Peter J. Robinson
Logic Programming Languages for the Internet / Andrew Davison
Higher-Order Computational Logic / John W. Lloyd
A Pure Meta-interpreter for Flat GHC, a Concurrent Constraint Language / Kazunori Ueda
Program Derivation and Properties / II:
Transformation Systems and Nondeclarative Properties / Annalisa Bossi ; Nicoletta Cocco ; Sandro Etalle
Acceptability with General Orderings / Danny De Schreye ; Alexander Serebrenik
Specification, Implementation, and Verification of Domain Specific Languages: A Logic Programming-Based Approach / Gopal Gupta ; Enrico Pontelli
Negation as Failure through Abduction: Reasoning about Termination / Paolo Mancarella ; Dino Pedreschi ; Salvatore Ruggieri
Program Derivation = Rules + Strategies / Alberto Pettorossi ; Maurizio Proietti
Software Development / III:
Achievements and Prospects of Program Synthesis / Pierre Flener
Logic for Component-Based Software Development / Kung-Kiu Lau ; Mario Ornaghi
Patterns for Prolog Programming / Leon Sterling
Extensions of Logic Programming / IV:
Abduction in Logic Programming / Mark Denecker ; Antonis Kakas
Learning in Clausal Logic: A Perspective on Inductive Logic Programming / Peter Flach ; Nada Lavrač
Disjunctive Logic Programming: A Survey and Assessment / Jack Minker ; Dietmar Seipel
Constraint Logic Programming / Mark Wallace
Applications in Logic / V:
Planning Attacks to Security Protocols: Case Studies in Logic Programming / Luigia Carlucci Aiello ; Fabio Massacci
Multiagent Compromises, Joint Fixpoints, and Stable Models / Francesco Buccafurri ; Georg Gottlob
Error-Tolerant Agents / Thomas Eiter ; Viviana Mascardi ; V.S. Subrahmanian
Logic-Based Hybrid Agents / Christoph G. Jung ; Klaus Fischer
Heterogeneous Scheduling and Rotation / Thomas Sjöland ; Per Kreuger ; Martin Aronsson
Author Index
Logic in Databases and Information Integration / VI:
MuTACLP: A Language for Temporal Reasoning with Multiple Theories / Paolo Baldan ; Alessandra Raffaetà ; Franco Turini
Description Logics for Information Integration / Diego Calvanese ; Giuseppe De Giacomo ; Maurizio Lenzerini
Search and Optimization Problems in Datalog / Sergio Greco ; Domenico Saccà
The Declarative Side of Magic / Paolo Mascellani
Key Constraints and Monotonic Aggregates in Deductive Databases / Carlo Zaniolo
Automated Reasoning / VII:
A Decidable CLDS for Some Propositional Resource Logics / Krysia Broda
A Critique of Proof Planning / Alan Bundy
A Model Generation Based Theorem Prover MGTP for First-Order Logic / Ryuzo Hasegawa ; Hiroshi Fujita ; Miyuki Koshimura ; Yasuyuki Shirai
A 'Theory' Mechanism for a Proof-Verifier Based on First-Order Set Theory / Eugenio G. Omodeo ; Jacob T. Schwartz
An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure / Jörg Siekmann ; Graham Wrightson
Non-deductive Reasoning / VIII:
Meta-reasoning: A Survey / Stefania Costantini
Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning / Phan Minh Dung ; Francesca Toni
Automated Abduction / Katsumi Inoue
The Role of Logic in Computational Models of Legal Argument: A Critical Survey / Henry Prakken ; Giovanni Sartor
Logic for Action and Change / IX:
Logic Programming Updating - A Guided Approach / José Júlio Alferes
Representing Knowledge in A-Prolog / Michael Gelfond
Some Alternative Formulations of the Event Calculus / Rob Miller ; Murray Shanahan
Logic, Language, and Learning / X:
Issues in Learning Language in Logic / James Cussens
On Implicit Meanings / Veronica Dahl
Data Mining as Constraint Logic Programming / Luc De Raedt
DCGs: Parsing as Deduction? / Chris Mellish
Statistical Abduction with Tabulation / Taisuke Sato ; Yoshitaka Kameya
Computational Logic and Philosophy / XI:
Logicism and the Development of Computer Science / Donald Gillies
Simply the Best: A Case for Abduction / Stathis Psillos
A Portrait of a Scientist as a Computational Logician / Maurice Bruynooghe ; Luís Moniz Pereira ; Jörg H. Siekmann ; Maarten van Emden
Bob Kowalski: A Portrait / Marek Sergot
Directions for Logic Programming / Robert A. Kowalski
30.

図書

図書
Whie Chang (ed.)
出版情報: Berlin : Springer, c2002  xi, 306 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2402
所蔵情報: loading…
31.

図書

図書
Mark d'Inverno ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  x, 259 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2403 . Lecture notes in artificial intelligence
所蔵情報: loading…
32.

図書

図書
Don Wells, Laurie Williams (eds.)
出版情報: Berlin : Springer, c2002  xii, 292 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2418
所蔵情報: loading…
33.

図書

図書
Ron Kohavi ... [et al.] (eds.)
出版情報: Berlin : Springer, c2002  ix, 166 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2356 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Detail and Context in Web Usage Mining: Coarsening and Visualizing Sequences / Bettina Berendt
A Customer Purchase Incidence Model Applied to Recommender Services / Andreas Geyer-Schulz ; Michael Hahsler ; Maximillian Jahn
A Cube Model and Cluster Analysis for Web Access Sessions / Joshua Zhexue Huang ; Michael Ng ; Wai-Ki Ching ; Joe Ng ; David Cheung
Exploiting Web Log Mining for Web Cache Enhancement / Alexandros Nanopoulos ; Dimitrios Katsaros ; Yannis Manolopoulos
LOGML: Log Markup Language for Web Usage Mining / John R. Punin ; Mukkai S. Krishnamoorthy ; Mohammed J. Zaki
A Framework for Efficient and Anonymous Web Usage Mining Based on Client-Side Tracking / Cyrus Shahabi ; Farnoush Banaei-Kashani
Mining Indirect Associations in Web Data / Pang-Ning Tan ; Vipin Kumar
Author Index
Detail and Context in Web Usage Mining: Coarsening and Visualizing Sequences / Bettina Berendt
A Customer Purchase Incidence Model Applied to Recommender Services / Andreas Geyer-Schulz ; Michael Hahsler ; Maximillian Jahn
A Cube Model and Cluster Analysis for Web Access Sessions / Joshua Zhexue Huang ; Michael Ng ; Wai-Ki Ching ; Joe Ng ; David Cheung
34.

図書

図書
Gary J. Chastek (ed.)
出版情報: Berlin : Springer, c2002  x, 399 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2379
所蔵情報: loading…
35.

図書

図書
Seong-Whan Lee, Alessandro Verri (eds.)
出版情報: Berlin : Springer, c2002  xi, 420 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2388
所蔵情報: loading…
36.

図書

図書
Terry Caelli ... [et al.](eds.)
出版情報: Berlin : Springer, c2002  xvi, 863 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2396
所蔵情報: loading…
37.

図書

図書
Paul F. Syverson (ed.)
出版情報: Berlin ; Tokyo : Springer, c2002  ix, 377 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2339
所蔵情報: loading…
38.

図書

図書
Gilles Barthe ... [et al.] (eds.)
出版情報: Berlin : Springer, c2002  vi, 536 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2395
所蔵情報: loading…
目次情報: 続きを見る
An Introduction to Dependent Type Theory / Gilles Barthe ; Thierry Coquand
Monads and Effects / Nick Benton ; John Hughes ; Eugenio Moggi
Abstract Machines, Control, and Sequents / Pierre-Louis Curien
Normalization and Partial Evaluation / Peter Dybjer ; Andrzej Filinski
Computing with Real Numbers / Abbas Edalat ; Reinhold Heckmann
The Join Calculus: A Language for Distributed Mobile Programming / Cédric Fournet ; Georges Gonthier
An Introduction to Functional Nets / Martin Odersky
Operational Semantics and Program Equivalence / Andrew M. Pitts
Using, Understanding, and Unraveling the OCaml Language / Didiér Remy
Author Index
An Introduction to Dependent Type Theory / Gilles Barthe ; Thierry Coquand
Monads and Effects / Nick Benton ; John Hughes ; Eugenio Moggi
Abstract Machines, Control, and Sequents / Pierre-Louis Curien
39.

図書

図書
Susan Craw, Alun Preece (eds.)
出版情報: Berlin : Springer, c2002  xii, 656 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2416 . Lecture notes in artificial intelligence
所蔵情報: loading…
40.

図書

図書
Daniel Lopresti, Jianying Hu, Ramanujan Kashi (eds.)
出版情報: Berlin : Springer, c2002  xiii, 570 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2423
所蔵情報: loading…
41.

図書

図書
Joseph Fong ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  xiii, 434 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2436
所蔵情報: loading…
目次情報: 続きを見る
Keynote Speech
A Growing Book for Distance Learning / Shi-Kuo Chang
System Modeling and Architecture / Session I-A:
An Open Framework for Smart and Personalized Distance Learning / Ruimin Shen ; Peng Han ; Fan Yang ; Qiang Yang ; Joshua Zhexue Huang
A Metadata Framework for Description of Learning Objects / William W. Song
A Web-Based Motivation-Supporting Model for Effective Teaching-Learning / Woochun Jun ; Le Gruenwald ; Jungmoon Park ; Suk-ki Hong
The Design and Implementation of a Web-Based Teaching-Learning Model for Information Communication Technology Application Education / Hyosook Jung
On Analysis and Modeling of Student Browsing Behavior in Web-Based Asynchronous Learning Environments / Feng-Hsu Wang
Conceptual Network Based Courseware Navigation and Web Presentation Mechanisms / Sanding Luo ; Sha Sha ; Deyao Shen ; Weijia Jia
Distance Learning System Engineering / Session I-B:
Web-Based Knowledge-Based System on Liquid Retaining Structure Design as Instructional Tool / Faris Albermani ; Kwok-wing Chau
A Web-Based Language Learning System / Johann Gamper ; Judith Knapp
WebMath: A Web-Based ITS System / Chunnian Liu ; Lei Zheng ; Junzhong Ji ; Dong Jia ; Chuan Jiang ; Wensheng Yang
Smart Remote Classroom: Creating a Revolutionary Real-Time Interactive Distance Learning System / Yuanchun Shi ; Weikai Xie ; Guangyou Xu
Critical Success Factors for Web-Based Organizational IT Training Systems / Hao Wang ; Heng Xu ; Hock Chuan Chan ; Ling Chen
Application of Quality Assurance in Web-Based Laboratories / Reggie Kwan ; Jimmy S.F. Chan
Collaborative Systems / Session II-A:
Towards Open Standards: The Evolution of an XML/JSP/WebDAV Based Collaborative Courseware Generating System / Changtao Qu ; Wolfgang Nejdl
An Educational Community Using Collaborative Virtual Environments / Christos Bouras ; Dimitrios Psaltoulis ; Christos Psaroudis ; Thrasyvoulos Tsiatsos
KGCL: A Knowledge-Grid-Based Cooperative Learning Environment / Hai Zhuge ; Yanyan Li ; Jia Bi ; To-yat Cheung
A Component-Based Architecture for Adaptive,Collaborative Web-Based Learning / Yugyung Lee ; James Geller
Virtual Programming Lab for Online Distance Learning / Jiannong Cao ; Alvin Chan ; Weidong Cao ; Cassidy Yeung
The Vega Grid and Grid-Based Education / Zhiwei Xu ; Wei Li ; Hongguang Fu ; Zhenbing Zeng
Experiences in Distance Learning / Session II-B:
Experiences in Running a Flexible,Web-Based,and Self-Paced Course / Francis Y.L. Chin ; C.K.M. Wong ; V. Mak
Virtual Teaching and Learning Based on Multimedia Techniques: Experiences from a Master Program Delivered over the Internet / Karl Kurbel
Experiences in Developing a Large-Scale School IT Project: Processes, Outcomes,and Issues / John Barrett ; Nadia Hing-Wah Ng ; Kathy Edwards
Enabling Communities by Constructed Media: The Case of a Web-Based Study Environment for a Talmudic Tractate / Ralf Klamma ; Matthias Jarke ; Elisabeth Hollender ; Dagmar Borner-Klein
Innovative Teaching through the Cyber University / Ronnie C.T. Cheung
Supporting Practices in Web-Based Learning / Changjie Tang ; Qing Li ; Rynson W.H. Lau ; Xiaodong Huang
Databases and Data Mining / Session III-A:
A Web-Based Lecture Video Database System with Flexible Indexing Method Using Action Logs / Akira Okada ; Yahiko Kambayashi
A Locking-Based Transaction Scheduling Algorithm for Supporting Web-Based Classes / Chanjung Park ; Hwakyung Rim
Database and Metadata Support of a Web-Based Mulitmedia Digital Library for Medical Education / Jianting Zhang ; Chris Candler ; Gary McNutt ; Wei Shung Chung
Design and Evaluation of Lecture Support Functions for Question Databases / Chisa Sumitomo
Using Page Classification and Association Rule Mining for Personalized Recommendation in Distance Learning / Daling Wang ; Yubin Bao ; Ge Yu ; Guoren Wang
Multimedia / Session III-B:
Web-Based Video Indexing and Retrieval for Teaching and Learning / Simon So
Applying Multimedia Authoring Tool and XML Techniques to Standardized Knowledge Management for Web-Based Learning / Yueh-Min Huang ; Chin-Chiang Chang ; Pin-Ying Chiu ; Shin-Chang Huang ; William Cheng-Chung Chu
Fifth Normal Form Made Easy with Novel Web-Based CAI HCI / Joseph Fong ; Irene Kwan ; Margaret Ng ; K.L. Lau
Multimedia Knowledge Exploitation for E-Learning: Some Enabling Techniques / Yueting Zhuang ; Xiang Liu
Web-Based Interactive 3D Visualization for Computer Graphics Education / Li Yang ; Mustafa Sanver
Author Index
Keynote Speech
A Growing Book for Distance Learning / Shi-Kuo Chang
System Modeling and Architecture / Session I-A:
42.

図書

図書
Friedemann Mattern, Mahmoud Naghshineh (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  xi, 298 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2414
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
The SAHARA Model for Service Composition across Multiple Providers / Bhaskaran Raman ; Sharad Agarwal ; Yan Chen ; Matthew Caesar ; Weidong Cui ; Per Johansson ; Kevin Lai ; Tal Lavian ; Sridhar Machiraju ; Z. Morley Mao ; George Porter ; Timothy Roscoe ; Mukund Seshadri ; Jimmy Shih ; Keith Sklower ; Lakshminarayanan Subramanian ; Takashi Suzuki ; Shelley Zhuang ; Anthony D. Joseph ; Randy H. Katz ; Ion Stoica
Ubiquitous Computing in the Automotive Domain / Ralf G. Herrtwich
System Design
Building Applications for Ubiquitous Computing Environments / Christopher K. Hess ; Manuel Roman ; Roy H. Campbell
Systems Support for Ubiquitous Computing: A Case Study of Two Implementations of Labscape / Larry Arnstein ; Robert Grimm ; Chia-Yang Hung ; Jong Hee Kang ; Anthony LaMarca ; Gary Look ; Stefan B. Sigurdsson ; Jing Su ; Gaetano Borriello
On the Gap between Vision and Feasibility / Christopher Lueg
Applications
The Fastap Keypad and Pervasive Computing / David Levy
Going Back to School: Putting a Pervasive Environment into the Real World / Victor Bayon ; Tom Rodden ; Chris Greenhalgh ; Steve Benford
Pervasive Web Access via Public Communication Walls / Alois Ferscha ; Simon Vogl
Identification and Authentication
Efficient Object Identification with Passive RFID Tags / Harald Vogt
The Untrusted Computer Problem and Camera-Based Authentication / Dwaine Clarke ; Blaise Gassend ; Thomas Kotwal ; Matt Burnside ; Marten van Dijk ; Srinivas Devadas ; Ronald Rivest
Models, Platforms, and Architectures
SoapBox: A Platform for Ubiquitous Computing Research and Applications / Esa Tuulari ; Arto Ylisaukko-oja
Pushpin Computing System Overview: A Platform for Distributed, Embedded, Ubiquitous Sensor Networks / Joshua Lifton ; Deva Seetharam ; Michael Broxton ; Joseph Paradiso
Making Sensor Networks Practical with Robots / Waylon Brunette ; David Koizumi ; Matthew Lease ; Kevin Sikorski ; Dieter Fox
Modeling Context Information in Pervasive Computing Systems / Karen Henricksen ; Jadwiga Indulska ; Andry Rakotonirainy
A Model for Software Configuration in Ubiquitous Computing Environments / Simon Schubiger-Banz ; Beat Hirsbrunner
INS/Twine: A Scalable Peer-to-Peer Architecture for Intentional Resource Discovery / Magdalena Balazinska ; Hari Balakrishnan ; David Karger
Location and Mobility
Location Estimation Indoors by Means of Small Computing Power Devices, Accelerometers, Magnetic Sensors, and Map Knowledge / Elena Vildjiounaite ; Esko-Juhani Malm ; Jouni Kaartinen ; Petteri Alahuhta
Estimating the Benefit of Location-Awareness for Mobile Data Management Mechanisms / Uwe Kubach ; Kurt Rothermel
iCAMS: A Mobile Communication Tool Using Location and Schedule Information / Yasuto Nakanishi ; Kazunari Takahashi ; Takayuki Tsuji ; Katsuya Hakozaki
Device Independence and Content Distribution
Browser State Repository Service / Henry Song ; Hao-hua Chu ; Nayeem Islam ; Shoji Kurakake ; Masaji Katagiri
Annotation by Transformation for the Automatic Generation of Content Customization Metadata / Masahiro Hori ; Kouichi Ono ; Teruo Koyanagi ; Mari Abe
SCAN: A Dynamic, Scalable, and Efficient Content Distribution Network / John D. Kubiatowicz
Author Index
Invited Talks
The SAHARA Model for Service Composition across Multiple Providers / Bhaskaran Raman ; Sharad Agarwal ; Yan Chen ; Matthew Caesar ; Weidong Cui ; Per Johansson ; Kevin Lai ; Tal Lavian ; Sridhar Machiraju ; Z. Morley Mao ; George Porter ; Timothy Roscoe ; Mukund Seshadri ; Jimmy Shih ; Keith Sklower ; Lakshminarayanan Subramanian ; Takashi Suzuki ; Shelley Zhuang ; Anthony D. Joseph ; Randy H. Katz ; Ion Stoica
Ubiquitous Computing in the Automotive Domain / Ralf G. Herrtwich
43.

図書

図書
Jörg M. Haake, José A. Pino (eds.)
出版情報: Berlin : Springer, c2002  xii, 284 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2440
所蔵情報: loading…
44.

図書

図書
Ed F. Deprettere, Jürgen Teich, Stamatis Vassiliadis (eds.)
出版情報: Berlin : Springer, c2002  viii, 325 p. ; ill. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2268
所蔵情報: loading…
目次情報: 続きを見る
System-Level Design and Simulation / A:
Consistency Analysis of Reconfigurable Dataflow Specifications / Bishnupriya Bhattacharya ; Shuvra S. Bhattacharyya
A Methodology to Design Programmable Embedded Systems - The Y-Chart Approach / Bart Kienhuis ; Ed F. Deprettere ; Pieter van der Wolf ; Kees Vissers
Flexibility/Cost-Tradeoffs of Platform-Based Systems / Christian Haubelt ; Jürgen Teich ; Kai Richter ; Rolf Ernst
Towards Efficient Design Space Exploration of Heterogeneous Embedded Media Systems / A.D. Pimentel ; S. Polstra ; F. Terpstra ; A.W. van Halderen ; .E. Coffland ; L.O. Hertzberger
An Overview of Methodologies and Tools in the Field of System-Level Design / Vladimir D. Äivković ; Paul Lieverse
Compiler and Mapping Technology / B:
Translating Imperative Affine Nested Loop Programs into Process Networks / Edwin Rijpkema
Structured Scheduling of Recurrence Equations: Theory and Practice / Patrice Quinton ; Tanguy Risset
Exact Partitioning of Affine Dependence Algorithms / Jurgen Teich ; Lothar Thiele
Generation of Distributed Loop Control / Marcus Bednara ; Frank Hannig
Iterative Compilation / P.M.W. Knijnenburg ; T. Kisuki ; M.F.P. O'Boyle
Embedded Processors and Architectures Processor Architectures for Multimedia Applications / P. Pirsch ; A. Freimann ; C. Klar ; J.P. WittenburgC:
Microcoded Reconfigurable Embedded Processors: Current Developments / Stephan Wong ; Stamatis Vassiliadis ; Sorin Cotofana
A Reconfigurable Functional Unit for TriMedia/CPU64. A Case Study / Mihai Sima ; Jos T.J. van Eijndhoven
Caches with Compositional Performance / Henk Muller ; Dan Page ; James Irwin ; David May
Design of an Adaptive Architecture for Energy Efficient Wireless Image Communication / Clark N. Taylor ; Debashis Panigrahi ; Sujit Dey
Applications / D:
Design of Cam-E-leon, a Run-Time Reconfigurable Web Camera / Dirk Desmet ; Prabhat Avasare ; Paul Coene ; Stijn Decneut ; Filip Hendrickx ; Théodore Marescaux ; Jean-Yves Mignolet ; Robert Pasko ; Patrick Schaumont ; Diederik Verkest
2D Addressing Mode for Multimedia Applications / Georgi Kuzmanov
Java-Enabled DSP / C. John Glossner ; Michael Schulte
Author Index
System-Level Design and Simulation / A:
Consistency Analysis of Reconfigurable Dataflow Specifications / Bishnupriya Bhattacharya ; Shuvra S. Bhattacharyya
A Methodology to Design Programmable Embedded Systems - The Y-Chart Approach / Bart Kienhuis ; Ed F. Deprettere ; Pieter van der Wolf ; Kees Vissers
45.

図書

図書
Matthias Pflanz
出版情報: Berlin : Springer, c2002  xii, 126 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2270
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Background and Motivation / 1.1:
Terminology / 1.2:
Embedded Systems / 1.2.1:
Cores / 1.2.2:
System-on-Chip / 1.2.3:
Test and Check / 1.2.4:
Fault-Tolerance Objectives / 1.2.5:
Safety-Critical Embedded Systems / 1.2.6:
Publications / 1.3:
Fault Models and Fault-Behavior of Processor Structures / 2:
Fault Models / 2.1:
Permanent Faults / 2.1.1:
Transient Faults / 2.1.2:
Embedded Processor Architectures / 2.2:
Control and Data Path / 2.2.1:
Processor Types / 2.2.2:
Fault Effects in Processors / 2.2.3:
On-line Check Technology for Processor Components / 3:
State of the Art / 3.1:
Component On-line Check Using Extended Berger Code Prediction / 3.2:
BCP for Integer Data-Paths / 3.2.1:
BCP for Floating-Point Components / 3.2.2:
Results / 3.2.3:
Component On-line Check with Cross-Parity Check / 3.3:
Cross-Parity Observation / 3.3.1:
Cross-Parity Error Detection Capabilities and Limitations / 3.3.3:
On-line Check Technology for Processor Control Signals / 3.3.4:
Control-Signal On-line Check with Pseudo-TMR Controller / 4.1:
Control-Signal On-line Check with State Code Prediction / 4.3:
Straightforward Processor State Encoding and Observation / 4.3.1:
Partitioned State Encoding and Observation / 4.3.3:
Outlook Regarding to Controller On-line Check / 4.3.4:
Fast Processor Recover Techniques with Micro Rollback / 5:
Previous Techniques and State of the Art / 5.1:
Micro Rollback with a Master-Trailer-Structure / 5.2:
Micro Rollback Test Circuit / 5.2.1:
Micro Rollback Technique for Simple Microprocessors / 5.2.2:
Micro Rollback in Pipeline-Processors / 5.2.3:
Recover Techniques for a Pipeline Processor / 5.3.1:
Implementations and Results / 5.3.2:
Conclusion and Outlook / 6:
Appendix - Demonstration Processors
Microprocessor t4008 / A.1:
Microprocessors t5008/16/32x / A.2:
Digital Signal Processors uDSP32a/b / A.3:
Pipeline Processors DLX32/64fpu_p / A.4:
Abbreviations, Symbols and Identifiers
List of Figures
List of Tables
References
Introduction / 1:
Background and Motivation / 1.1:
Terminology / 1.2:
46.

図書

図書
Domenico Ursino
出版情報: Berlin : Springer, c2002  xxvi, 289 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2282
所蔵情報: loading…
47.

図書

図書
Claire J. Tomlin, Mark R. Greenstreet (eds.)
出版情報: Berlin : Springer, c2002  xiii, 480 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2289
所蔵情報: loading…
48.

図書

図書
Marcus Jürgens
出版情報: Berlin : Springer, c2002  x, 132 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1859
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Goals / 1.1:
Outline / 1.2:
State of the Art of Data Warehouse Research / 2:
Traditional Transaction-Oriented Systems / 2.1:
Data Warehouses for Decision Support / 2.3:
OLAP Vs. OLTP / 2.4:
Accelerating Query Speed / 2.5:
Denormalized Schemas / 2.5.1:
Materialized Views / 2.5.2:
No Locking / 2.5.3:
On-line Aggregation / 2.5.4:
Index Structures / 2.5.5:
Summary / 2.6:
Data Storage and Index Structures / 3:
Memory Hierarchy / 3.1:
Mechanics of Disks / 3.3:
Data Space and Queries / 3.4:
Data Space / 3.4.1:
Queries / 3.4.2:
Tree-Based Indexing / 3.5:
Top-Down, Bottom-Up, and Bulk Loading / 3.5.1:
Point Quadtrees / 3.5.2:
kd-tree / 3.5.3:
kdb-tree / 3.5.4:
R-tree / 3.5.5:
R*-tree / 3.5.6:
Other Relatives of the R-tree Family and Other Tree Structures / 3.5.7:
Generic Tree Structures / 3.5.8:
Bitmap Indexing / 3.6:
Standard Bitmap Indexing / 3.6.1:
Multi-component Equality Encoded Bitmap Index / 3.6.2:
Range-Based Encoding / 3.6.3:
Multi-component Range-Based Encoding / 3.6.4:
Other Compression Techniques / Combination of Bitmaps and Trees / 3.6.5:
Arrays / 3.7:
Mixed Integer Problems for Finding Optimal Tree-Based Index Structures / 3.8:
Optimization Problem Parameters / 4.1:
Mapping into a Mixed Integer Problem / 4.3:
Problem Complexity / 4.4:
Model Evaluation / 4.5:
Aggregated Data in Tree-Based Index Structures / 4.6:
"Fit for Aggregation" Access Method / 5.1:
Materialization of Data / 5.3:
Modified Operations / 5.4:
Insert Operation / 5.4.1:
Delete Operation / 5.4.2:
Update Operation / 5.4.3:
Creating Index Structures, Bottom-Up Index Structures / 5.4.4:
Point Query Algorithm / 5.4.5:
Range Query Algorithm / 5.4.6:
Storage Cost / 5.5:
Height of Tree / 5.6:
Overlaps of Regions / 5.7:
Experiments / 5.8:
Cost Model / 5.8.1:
Physical Index Structure / 5.8.2:
Implementation / 5.8.3:
Generation of Test Data / 5.8.4:
Query Profile / 5.8.5:
Results of Experiments / 5.8.6:
Performance Models for Tree-Based Index Structures / 5.9:
Fit for Modeling / 6.1:
Performance Models for Access Leaf Nodes / 6.3:
GRID Model / 6.3.1:
SUM Model / 6.3.2:
Equivalence of GRID Model and SUM Model / 6.3.3:
FRACTAL Model / 6.3.4:
Equivalence between FRACTAL Model, SUM Model, and GRID Model / 6.3.5:
PISA Model / 6.4:
Computational Efficiency of SUM Model and PISA Model / 6.5:
Adapting PISA Model to Different Distributions / 6.6:
Uniformly Distributed Data / 6.6.1:
Skewed Data / 6.6.2:
Normally Distributed Data / 6.6.3:
PISA Model for Dependent Data / 6.7:
Extension of Models / 6.9:
Applications of Models / 6.10:
Savings of R*a-tree Depending on the Query Box Size and Form / 6.10.1:
Savings of R*a-tree Depending on the Number of Dimensions / 6.10.2:
Techniques for Comparing Index Structures / 6.11:
Experimental Parameters / 7.1:
Data Specific Parameters / 7.2.1:
Query Specific Parameters / 7.2.2:
System Specific Parameters / 7.2.3:
Disk Specific Parameters / 7.2.4:
Configuration / 7.2.5:
Index Structures and Time Estimators / 7.3:
Time Measures for Tree-Based Index Structures / 7.3.1:
Time Measures for Bitmap Indexing Techniques / 7.3.2:
Classification Trees / 7.4:
Applied Methods / 7.4.1:
Value Sets of Parameters / 7.4.2:
Results / 7.4.3:
Statistics in Two Dimensions / 7.5:
Sum Aggregation / 7.5.1:
Median Aggregation / 7.5.2:
Count Aggregation / 7.5.3:
Conclusion and Outlook / 7.5.4:
List of Symbols / A:
Approximation of PISA Model / B:
Bibliography
Index
Introduction / 1:
Goals / 1.1:
Outline / 1.2:
49.

図書

図書
Mogens Nielsen, Uffe Engberg (eds.)
出版情報: Berlin : Springer, c2002  xiii, 433 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2303
所蔵情報: loading…
50.

図書

図書
Hartmut Schmeck, Theo Ungerer, Lars Wolf (eds.)
出版情報: Berlin : Springer, c2002  xiv, 286 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2299
所蔵情報: loading…
目次情報: 続きを見る
Invited Program
Keynote Communicating Cars: A Case for Ubiquitous Computing in the Automotive Domain / Ralf Guido Herrtwich
Keynote Microprocessor Architectures for the Mobile Internet Era / Marc Fleischmann
Context-Aware Systems / I:
An Architecture for the Integration of Physical and Informational Spaces / Scott M. Thayer ; Peter Steenkiste
A Context System for a Mobile Service Platform / Fritz Hohl ; Lars Mehrmann ; Amen Hamdan
Detecting Context in Distributed Sensor Networks by Using Smart Context-Aware Packets / Florian Michahelles ; Michael Samulowitz ; Bernt Schiele
System Aspects / II:
A Ubiquitous Control Architecture for Low Power Systems / James ôWezö Weatherall ; Duncan Grisby
Software Architecture-Based Adaptation for Pervasive Systems / Shang-Wen Cheng ; David Garlan ; Bradley Schmerl ; Joao Pedro Sousa ; Bridget Spitznagel ; Ningning Hu
KECho - Event Communication for Distributed Kernel Services / Christian Poellabauer ; Karsten Schwan ; Greg Eisenhauer ; Jiantao Kong
Networking 1 / III:
A Fine-Grained Addressing Concept for GeoCast / Peter Coschurba ; Kurt Rothermel ; Frank Durr
Data Paths in Wearable Communication Networks / Christian Decker ; Michael Beigl
Location and Network Quality Issues in Local Area Wireless Networks / Georgi Tonev ; Vaidy Sunderam ; Roger Loader ; James Pascoe
Processor Architecture / IV:
Design Tradeoffs for Embedded Network Processors / Tilman Wolf ; Mark A. Franklin
Reconfigurable RISC - A New Approach for Space-Efficient Superscalar Microprocessor Architecture / Sascha Wennekers ; Christian Siemers
Cached Two-Level Adaptive Branch Predictors with Multiple Stages / Colin Egan ; Gordon Steven ; Lucian Vintan
Middleware and Verification / V:
On the Combination of Assertions and Virtual Prototyping for the Design of Safety-Critical Systems / Tim Oodes ; Holger Krisp ; Christian Muller-Schloer
Ubiquitous Access to Wide-Area High-Performance Computing / Frank Burchert ; Stephan Gatzka ; Christian Hochberger ; Chang-Kun Lee ; Ulrike Lucke ; Djamshid Tavangarian
Filter Similarities in Content-Based Publish/Subscribe Systems / Gero Muhl ; Ludger Fiege ; Alejandro Buchmann
Networking 2 / VI:
A Bluetooth Remote Control System / Fridtjof Feldbusch ; Alexander Paar ; Manuel Odendahl ; Ivan Ivanov
Rendezvous Layer Protocols for Bluetooth-Enabled Smart Devices / Frank Siegemund ; Michael Rohs
A Robust Header Compression Simulator & Visualizer / Xiaoyuan Gu ; Hannes Hartenstein ; Stefan Fischer
Author Index
Invited Program
Keynote Communicating Cars: A Case for Ubiquitous Computing in the Automotive Domain / Ralf Guido Herrtwich
Keynote Microprocessor Architectures for the Mobile Internet Era / Marc Fleischmann
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼