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
51.

図書

図書
Daniel Le Métayer (ed.)
出版情報: Berlin : Springer, c2002  xii, 329 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2305
所蔵情報: loading…
52.

図書

図書
R. Nigel Horspool (ed.)
出版情報: Berlin : Springer, c2002  xi, 341 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2304
所蔵情報: loading…
目次情報: 続きを見る
Tool Demonstrations
LISA: An Interactive Environment for Programming Language Development / Marjan Mernik ; Mitja Lenič ; Enis AvdičauÜević ; Viljem Äumer
Building an Interpreter with Vmgen / M. Anton Ertl ; David Gregg
Compiler Construction Using LOTOS NT / Hubert Garavel ; Frédéric Lang ; Radu Mateescu
Analysis and Optimization
Data Compression Transformations for Dynamically Allocated Data Structures / Youtao Zhang ; Rajiv Gupta
Evaluating a Demand Driven Technique for Call Graph Construction / Gagan Agrawal ; Jinqian Li ; Qi Su
A Graph-Free Approach to Data-Flow Analysis / Markus Mohnen
A Representation for Bit Section Based Analysis and Optimization / Eduard Mehofer
Low-Level Analysis
Online Subpath Profiling / David Oren ; Yossi Matias ; Mooly Sagiv
Precise Exception Semantics in Dynamic Compilation / Michael Gschwind ; Erik Altman
Decompiling Java Bytecode: Problems, Traps and Pitfalls / Jerome Miecznikowski ; Laurie Hendren
Grammars and Parsing
Forwarding in Attribute Grammars for Modular Language Design / Eric Van Wyk ; Oege de Moor ; Kevin Backhouse ; Paul Kwiatkowski
Disambiguation Filters for Scannerless Generalized LR Parsers / Mark G. J. van den Brand ; Jeroen Scheerder ; Jurgen J. Vinju ; Eelco Visser
Invited Talk
Modular Static Program Analysis / Patrick Cousot ; Radhia Cousot
Domain-Specific Languages and Tools
StreamIt: A Language for Streaming Applications / William Thies ; Michal Karczmarek ; Saman Amarasinghe
Compiling Mercury to High-Level C Code / Fergus Henderson ; Zoltan Somogyi
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs / George C. Necula ; Scott McPeak ; Shree P. Rahul ; Westley Weimer
Energy Consumption Optimizations
Linear Scan Register Allocation in the Context of SSA Form and Register Constraints / Hanspeter Mössenböck ; Michael Pfeiffer
Global Variable Promotion: Using Registers to Reduce Cache Power Dissipation / Andrea G. M. Cilio ; Henk Corporaal
Optimizing Static Power Dissipation by Functional Units in Superscalar Processors / Siddharth Rele ; Santosh Pande ; Soner Onder
Influence of Loop Optimizations on Energy Consumption of Multi-bank Memory Systems / Mahmut Kandemir ; Ibrahim Kolcu ; Ismail Kadayif
Loop and Array Optimizations
Effective Enhancement of Loop Versioning in Java / Vitaly V. Mikheev ; Stanislav A. Fedoseev ; Vladimir V. Sukharev ; Nikita V. Lipsky
Value-Profile Guided Stride Prefetching for Irregular Code / Youfeng Wu ; Mauricio Serrano ; Rakesh Krishnaiyer ; Wei Li ; Jesse Fang
A Comprehensive Approach to Array Bounds Check Elimination for Java / Feng Qian ; Clark Verbrugge
Author Index
Tool Demonstrations
LISA: An Interactive Environment for Programming Language Development / Marjan Mernik ; Mitja Lenič ; Enis AvdičauÜević ; Viljem Äumer
Building an Interpreter with Vmgen / M. Anton Ertl ; David Gregg
53.

図書

図書
Fabio Crestani, Mark Girolami, Cornelis Joost van Rijsbergen (eds.)
出版情報: Berlin : Springer, c2002  xiii, 362 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2291
所蔵情報: loading…
目次情報: 続きを見る
Multimedia
Evaluating a Melody Extraction Engine / Thomas Sødring ; Alan F. Smeaton
Organising and Searching Partially Indexed Image Databases / Gérald Duffing ; Malika Smaïl
Combining Features for Content-Based Sketch Retrieval - A Comparative
Evaluation of Retrieval Performance / Daniel Heesch ; Stefan Rüger
The Web
Combining Web Document Representations in a Bayesian Inference
Network Model Using Link and Content-Based Evidence / Theodora Tsikrika ; Mounia Lalmas
An Improved Computation of the PageRank Algorithm / Sung Jin Kim ; Sang Ho Lee
Serving Enhanced Hypermedia Information / George Lepouras ; Costas Vassilakis ; George R.S. Weir
Query Modification
The Use of Implicit Evidence for Relevance Feedback in Web Retrieval / Ryen W. White ; Ian Ruthven ; Joemon M. Jose
Subject Knowledge, Source of Terms, and Term Selection in Query
Expansion: An Analytical Study / Pertti Vakkari
Automatic Profile Reformulation Using a Local Document Analysis / Anis Benammar ; Gilles Hubert ; Josiane Mothe
Soft Computing
A Study on Using Genetic Niching for Query Optimisation in
Document Retrieval / Mohand Boughanem ; Lynda Tamine
Concept Based Adaptive IR Model Using FCA-BAM Combination for
Concept Representation and Encoding / R.K. Rajapakse ; M. Denham
Models
A Layered Bayesian Network Model for Document Retrieval / Luis M. de Campos ; Juan M. Fernández-Luna ; Juan F. Huete
Term Frequency Normalization via Pareto Distributions / Gianni Amati ; Cornelis Joost van Rijsbergen
Optimal Mixture Models in IR / Victor Lavrenko
Categorization
Text Categorization: An Experiment Using Phrases / Madhusudhan Kongovi ; Juan Carlos Guzman ; Venu Dasigi
A Hierarchical Model for Clustering and Categorising Documents / E. Gaussier ; C. Goutte ; K. Popat ; F. Chen
Uncertainty-Based Noise Reduction and Term Selection in
Text Categorization / C. Peters ; C.H.A. Koster
Structured Documents
A Graphical User Interface for Structured Document Retrieval / Jesus Vegas ; Pablo de la Fuente ; Fabio Crestani
The Accessibility Dimension for Structured Document Retrieval / Thomas Roelleke ; Gabriella Kazai ; Stefan Quicker
Cross-Language
Building Bilingual Dictionaries from Parallel Web Documents / Craig J.A. McEwan ; Iadh Ounis
Translation-Based Indexing for Cross-Language Retrieval / Douglas W. Oard ; Funda Ertunc
Interactive Systems
A Retrospective Evaluation Method for Exact-Match and Best-Match
Queries Applying an Interactive Query Performance Analyser / Eero Sormunen
Genre Classification and Domain Transfer for Information Filtering / Aidan Finn ; Nicholas Kushmerick ; Barry Smyth
Author Index
Multimedia
Evaluating a Melody Extraction Engine / Thomas Sødring ; Alan F. Smeaton
Organising and Searching Partially Indexed Image Databases / Gérald Duffing ; Malika Smaïl
54.

図書

図書
Gregory D. Hager ...[et al.] (eds.)
出版情報: Berlin : Springer, c2002  viii, 373 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2238
所蔵情報: loading…
55.

図書

図書
Christian Schulte
出版情報: Berlin : Springer, c2002  xii, 176 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2302 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Constraint Programming / 1.1:
Motivation / 1.2:
Approach / 1.3:
Outline / 1.4:
Source Material / 1.5:
Constraints / 2:
Search / 2.2:
Programming / 2.3:
Introducing Oz Light / 3:
Overview / 3.1:
Oz Light: Basics / 3.2:
The Store / 3.2.1:
Threads / 3.2.2:
Statements / 3.2.3:
Oz Light Continued / 3.3:
Primitive Operations / 3.3.1:
Exceptions / 3.3.2:
Ports and Active Services / 3.3.3:
Finite Domain Constraints / 3.3.4:
Syntactic Convenience / 3.4:
Relation to Full Oz / 3.5:
Spaces for Search / 4:
Local Computation Spaces / 4.1:
Space Manipulation / 4.3:
Space Creation / 4.3.1:
Merging Spaces / 4.3.2:
Injecting into Spaces / 4.3.3:
Control and Status / 4.4:
Alternatives / 4.5:
Distributable Spaces / 4.5.2:
Synchronizing on Stability / 4.5.3:
Committing to Alternatives / 4.5.4:
Cloning Spaces / 4.5.5:
Refining Commit / 4.5.6:
Situated Procedure Calls: Services Reconsidered / 4.6:
Previous Work: Solve Combinator / 4.7:
Summary / 4.8:
Search Engines / 5:
Depth-First Search / 5.1:
Simplifying Control: Exceptions / 5.2:
Binarization / 5.3:
Multiple Solutions / 5.4:
Explicit State Representation / 5.5:
Limited Discrepancy Search / 5.6:
Best-First Search / 5.7:
Best-Solution Search / 6:
Constraining Spaces / 6.1:
Iterative Best-Solution Search / 6.2:
Branch-and-Bound Best-Solution Search / 6.3:
An Alternative Formulation of BAB / 6.4:
Prune-Search: Generalizing BAB / 6.5:
Recomputation / 7:
Full Recomputation / 7.1:
Fixed Recomputation / 7.3:
Why Recomputation Matters / 7.4:
Adaptive Recomputation / 7.5:
Oz Explorer: Visual Search / 8:
Development of Constraint Programs / 8.1:
Example: Aligning for a Photo / 8.2:
Features / 8.3:
Implementation / 8.4:
Evaluation / 8.5:
Related Work / 8.6:
Distributed Search / 9:
Distributed Oz / 9.1:
Architecture / 9.3:
Cooperation / 9.3.1:
Worker / 9.3.2:
Manager / 9.3.3:
Distributed Search Engines / 9.3.4:
Spaces for Combinators / 9.5:
Space Tree / 10.1:
Space Tree Manipulation / 10.3:
Stability / 10.3.1:
Status Variable / 10.4.2:
Debugging Support / 10.4.3:
Choice of Programming Language / 10.5:
Constraint Combinators / 11:
Concurrent Negation / 11.1:
Generic Reification / 11.3:
Disjunction / 11.4:
Conditional / 11.5:
Andorra-Style Disjunction / 11.6:
Discussion and Evaluation / 11.7:
Implementing Oz Light / 12:
Synchronization / 12.1:
Store / 12.3:
Scheduler / 12.4:
Implementing Spaces / 13:
Nodes and Links / 13.1:
The Store: Model / 13.2.2:
The Store: Implementation / 13.2.4:
Runnable Threads / 13.3:
Globally Suspended Threads / 13.3.2:
Speculative Constraints / 13.3.3:
Local Threads / 13.3.4:
Checking Stability / 13.3.5:
Merge / 13.4:
Choose and Commit / 13.5:
Richer Basic Constraints / 13.5.2:
Variable Aliasing / 13.6.1:
Tree Constraints / 13.6.2:
Ports / 13.6.3:
Performance Overview / 13.8:
Other Approaches to Search / 14:
Other Constraint Programming Systems / 14.1:
Comparison with Trailing / 14.2:
Expressiveness / 14.2.1:
Implementation Issues / 14.2.2:
Criteria and Examples / 14.2.3:
Copying / 14.2.4:
Copying versus Trailing / 14.2.5:
Recomputation versus Trailing / 14.2.6:
System Comparison / 14.3:
Conclusion / 15:
Main Contributions / 15.1:
Future Work / 15.2:
Benchmark Problems and Platforms / A:
Benchmark Problems / A.1:
Sequential Platform / A.2:
Distributed Platform / A.3:
References
Index
Introduction / 1:
Constraint Programming / 1.1:
Motivation / 1.2:
56.

図書

図書
Barbara Dunin-Kȩplicz, Edward Nawarecki (eds.)
出版情報: Berlin : Springer, c2002  ix, 340 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2296 . Lecture notes in artificial intelligence
所蔵情報: loading…
57.

図書

図書
Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel
出版情報: Berlin : Springer, c2002  xiii, 218 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2283
所蔵情報: loading…
目次情報: 続きを見る
Elementary Techniques / Part I:
The Basics / 1:
Introduction / 1.1:
Theories / 1.2:
Types, Terms, and Formulae / 1.3:
Variables / 1.4:
Interaction and Interfaces / 1.5:
Getting Started / 1.6:
Functional Programming in HOL / 2:
An Introductory Theory / 2.1:
An Introductory Proof / 2.2:
Some Helpful Commands / 2.3:
Datatypes / 2.4:
Lists / 2.4.1:
The General Format / 2.4.2:
Primitive Recursion / 2.4.3:
Case Expressions / 2.4.4:
Structural Induction and Case Distinction / 2.4.5:
Case Study: Boolean Expressions / 2.4.6:
Some Basic Types / 2.5:
Natural Numbers / 2.5.1:
Pairs / 2.5.2:
Datatype option / 2.5.3:
Definitions / 2.6:
Type Synonyms / 2.6.1:
Constant Definitions / 2.6.2:
The Definitional Approach / 2.7:
More Functional Programming / 3:
Simplification / 3.1:
What Is Simplification? / 3.1.1:
Simplification Rules / 3.1.2:
The simp Method / 3.1.3:
Adding and Deleting Simplification Rules / 3.1.4:
Assumptions / 3.1.5:
Rewriting with Definitions / 3.1.6:
Simplifying let-Expressions / 3.1.7:
Conditional Simplification Rules / 3.1.8:
Automatic Case Splits / 3.1.9:
Tracing / 3.1.10:
Induction Heuristics / 3.2:
Case Study: Compiling Expressions / 3.3:
Advanced Datatypes / 3.4:
Mutual Recursion / 3.4.1:
Nested Recursion / 3.4.2:
The Limits of Nested Recursion / 3.4.3:
Case Study: Tries / 3.4.4:
Total Recursive Functions / 3.5:
Defining Recursive Functions / 3.5.1:
Proving Termination / 3.5.2:
Simplification and Recursive Functions / 3.5.3:
Induction and Recursive Functions / 3.5.4:
Presenting Theories / 4:
Concrete Syntax / 4.1:
Infix Annotations / 4.1.1:
Mathematical Symbols / 4.1.2:
Prefix Annotations / 4.1.3:
Syntax Translations / 4.1.4:
Document Preparation / 4.2:
Isabelle Sessions / 4.2.1:
Structure Markup / 4.2.2:
Formal Comments and Antiquotations / 4.2.3:
Interpretation of Symbols / 4.2.4:
Suppressing Output / 4.2.5:
Logic and Sets / Part II:
The Rules of the Game / 5:
Natural Deduction / 5.1:
Introduction Rules / 5.2:
Elimination Rules / 5.3:
Destruction Rules: Some Examples / 5.4:
Implication / 5.5:
Negation / 5.6:
Interlude: The Basic Methods for Rules / 5.7:
Unification and Substitution / 5.8:
Substitution and the subst Method / 5.8.1:
Unification and Its Pitfalls / 5.8.2:
Quantifiers / 5.9:
The Universal Introduction Rule / 5.9.1:
The Universal Elimination Rule / 5.9.2:
The Existential Quantifier / 5.9.3:
Renaming an Assumption: rename_tac / 5.9.4:
Reusing an Assumption: frule / 5.9.5:
Instantiating a Quantifier Explicitly / 5.9.6:
Description Operators / 5.10:
Definite Descriptions / 5.10.1:
Indefinite Descriptions / 5.10.2:
Some Proofs That Fail / 5.11:
Proving Theorems Using the blast Method / 5.12:
Other Classical Reasoning Methods / 5.13:
Forward Proof: Transforming Theorems / 5.14:
Modifying a Theorem Using of and THEN / 5.14.1:
Modifying a Theorem Using OF / 5.14.2:
Forward Reasoning in a Backward Proof / 5.15:
The Method insert / 5.15.1:
The Method subgoal_tac / 5.15.2:
Managing Large Proofs / 5.16:
Tacticals, or Control Structures / 5.16.1:
Subgoal Numbering / 5.16.2:
Proving the Correctness of Euclid's Algorithm / 5.17:
Sets, Functions, and Relations / 6:
Sets / 6.1:
Finite Set Notation / 6.1.1:
Set Comprehension / 6.1.2:
Binding Operators / 6.1.3:
Finiteness and Cardinality / 6.1.4:
Functions / 6.2:
Function Basics / 6.2.1:
Injections, Surjections, Bijections / 6.2.2:
Function Image / 6.2.3:
Relations / 6.3:
Relation Basics / 6.3.1:
The Reflexive and Transitive Closure / 6.3.2:
A Sample Proof / 6.3.3:
Well-Founded Relations and Induction / 6.4:
Fixed Point Operators / 6.5:
Case Study: Verified Model Checking / 6.6:
Propositional Dynamic Logic - PDL / 6.6.1:
Computation Tree Logic - CTL / 6.6.2:
Inductively Defined Sets / 7:
The Set of Even Numbers / 7.1:
Making an Inductive Definition / 7.1.1:
Using Introduction Rules / 7.1.2:
Rule Induction / 7.1.3:
Generalization and Rule Induction / 7.1.4:
Rule Inversion / 7.1.5:
Mutually Inductive Definitions / 7.1.6:
The Reflexive Transitive Closure / 7.2:
Advanced Inductive Definitions / 7.3:
Universal Quantifiers in Introduction Rules / 7.3.1:
Alternative Definition Using a Monotone Function / 7.3.2:
A Proof of Equivalence / 7.3.3:
Another Example of Rule Inversion / 7.3.4:
Case Study: A Context Free Grammar / 7.4:
Advanced Material / Part III:
More about Types / 8:
Numbers / 8.1:
Numeric Literals / 8.1.1:
The Type of Natural Numbers, nat / 8.1.2:
The Type of Integers, int / 8.1.3:
The Type of Real Numbers, real / 8.1.4:
Pairs and Tuples / 8.2:
Pattern Matching with Tuples / 8.2.1:
Theorem Proving / 8.2.2:
Records / 8.3:
Record Basics / 8.3.1:
Extensible Records and Generic Operations / 8.3.2:
Record Equality / 8.3.3:
Extending and Truncating Records / 8.3.4:
Axiomatic Type Classes / 8.4:
Overloading / 8.4.1:
Axioms / 8.4.2:
Introducing New Types / 8.5:
Declaring New Types / 8.5.1:
Defining New Types / 8.5.2:
Advanced Simplification, Recursion, and Induction / 9:
Advanced Features / 9.1:
How the Simplifier Works / 9.1.2:
Advanced Forms of Recursion / 9.2:
Beyond Measure / 9.2.1:
Recursion over Nested Datatypes / 9.2.2:
Partial Functions / 9.2.3:
Advanced Induction Techniques / 9.3:
Massaging the Proposition / 9.3.1:
Beyond Structural and Recursion Induction / 9.3.2:
Derivation of New Induction Schemas / 9.3.3:
CTL Revisited / 9.3.4:
Case Study: Verifying a Security Protocol / 10:
The Needham-Schroeder Public-Key Protocol / 10.1:
Agents and Messages / 10.2:
Modelling the Adversary / 10.3:
Event Traces / 10.4:
Modelling the Protocol / 10.5:
Proving Elementary Properties / 10.6:
Proving Secrecy Theorems / 10.7:
Appendix / A:
Bibliography
Index
Elementary Techniques / Part I:
The Basics / 1:
Introduction / 1.1:
58.

図書

図書
Werner Kuich, Grzegorz Rozenberg, Arto Salomaa (eds.)
出版情報: Berlin : Springer, c2002  ix, 388 p. ill. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2295
所蔵情報: loading…
目次情報: 続きを見る
Invited Presentations
Automata: From Uncertainty to Quantum / C.S. Calude ; E. Calude
Elementary Theory of Ordinals with Addition and Left Translation by ω / C. Choffrut
The Equational Theory of Fixed Points with Applications to Generalized Language Theory / Z. Ésik
Second-Order Logic over Strings: Regular and Non-regular Fragments / T. Eiter ; G. Gottlob ; T. Schwentick
Decision Questions on Integer Matrices / T. Harju
Some Petri Net Languages and Codes / M. Ito ; Y. Kunimoch
Words, Permutations, and Representations of Numbers / H. Prodinger
Proof Complexity of Pigeonhole Principles / A.A. Razborov
Words and Patterns / A. Restivo ; S. Salemi
A Short Introduction to Infinite Automata / W. Thomas
Contributions
The Power of One-Letter Rational Languages / T. Cachat
The Entropy of Lukasiewicz-Languages / L. Staiger
Collapsing Words vs. Synchronizing Words / D.S. Ananichev ; M.V. Volkov
A Note on Synchronized Automata and Road Coloring Problem / K. Culik ; J. Karhumäki ; J. Kari
Shuffle Quotient and Decompositions / C. Câmpeanu ; K. Salomaa ; S. Vágvölgyi
The Growing Context-Sensitive Languages Are the Acyclic Context-Sensitive Languages / G. Niemann ; J.R. Woinowski
Recognizable Sets of N-Free Pomsets Are Monadically Axiomatizable / D. Kuske
Automata on Series-Parallel Biposets / Z.L. Németh
Hierarchies of String Languages Generated by Deterministic Tree Transducers / J. Engelfriet ; S. Maneth
Partially-Ordered Two-Way Automata: A New Characterization of DA / D. Thérien ; H. Vollmer
Level 5/2 of the Straubing-Therien Hierarchy for Two-Letter Alphabets / C. Glaβer ; H. Schmitz
On the Power of Randomized Pushdown Automata / J. Hromkovič ; G. Schnitger
The Root of a Language and Its Complexity / G. Lischke
Valuated and Valence Grammars: An Algebraic View / H. Fernau ; R. Stiebe
Context-Free Valence Grammars - Revisited / H.J. Hoogeboom
An Undecidability Result Concerning Periodic Morphisms / V. Halava
A Universal Turing Machine with 3 States and 9 Symbols / M. Kudlek ; Y. Rogozhin
Minimal Covers of Formal Languages / M. Domaratzki ; J. Shallit ; S. Yu
Some Regular Languages That Are Church-Rosser Congruential / J. Waldmann
On the Relationship between the McNaughton Families of Languages and the Chomsky Hierarchy / M. Beaudry ; M. Holzer ; F. Otto
Forbidden Factors and Fragment Assembly / F. Mignosi ; M. Sciortino
Parallel Communicating Grammar Systems with Incomplete Information Communication / E. Csuhaj-Varjú ; G. Vaszil
Eliminating Communication by Parallel Rewriting / B. Rovan ; M. SlaÜt'an
String Rewriting Sequential P-Systems and Regulated Rewriting / P. Sosík ; R. Freund
Author Index
Invited Presentations
Automata: From Uncertainty to Quantum / C.S. Calude ; E. Calude
Elementary Theory of Ordinals with Addition and Left Translation by ω / C. Choffrut
59.

図書

図書
Hellenic Conference on AI(2nd : 2002 : Thessaloniki, Greece) ; Vlahavas, Ioannis P. ; Spyropoulos, Constantine D., 1951-
出版情報: Berlin ; New York : Springer, c2002  xiv, 514 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2308 . Lecture notes in artificial intelligence
所蔵情報: loading…
60.

図書

図書
David Bustard, Weiru Liu, Roy Sterritt (eds.)
出版情報: Berlin ; New York : Springer, c2002  xi, 353 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2311
所蔵情報: loading…
目次情報: 続きを見る
Overview of Fuzzy-RED in Diff-Serv Networks / L. Rossides ; C. Chrysostomou ; A. Pitsillides ; A. SekerciogluTechnical Session 1:
An Architecture for Agent-Enhanced Network Service Provisioning through SLA Negotiation / David Chieng ; Ivan Ho ; Alan Marshall ; Gerard Parr
Facing Fault Management as It Is, Aiming for What You Would Like It to Be / Roy Sterritt
Enabling Multimedia QoSControl with Black-Box Modelling / Gianluca Bontempi ; Gauthier Lafruit
Using Markov Chains for Link Prediction in Adaptive Web Sites / Jianhan Zhu ; Jun Hong ; John G. HughesTechnical Session 2:
Classification of Customer Call Data in the Presence of Concept Drift and Noise / Michaela Black ; Ray Hickey
A Learning System for Decision Support in Telecommunications / Filip Äelezný ; Jiří Zídgek ; Olga ètepánkova
Adaptive User Modelling in an Intelligent Telephone Assistant / Trevor P. Martin ; Benham Azvine
A Query-Driven Anytime Algorithm for Argumentative and Abductive Reasoning / Rolf HaenniTechnical Session 3:
Proof Length as an Uncertainty Factor in ILP / Gilles Richard ; Fatima Zohra Kettaf
Paraconsistency in Object-Oriented Databases / Rajiv Bagai ; Shellene J. Kelley
Decision Support with Imprecise Data for Consumers / Gergely Lukács
Genetic Programming: A Parallel Approach / Wolfgang Golubski
Software Uncertainty / Manny M. Lehman ; J.F. Ramil
Technical Session 4
Temporal Probabilistic Concepts from Heterogeneous Data Sequences / Sally McClean ; Bryan Scotney ; Fiona Palmer
Handling Uncertainty in a Medical Study of Dietary Intake during Pregnancy / Adele Marshall ; David Bell
Sequential Diagnosis in the Independence Bayesian Framework / David McSherry
Static Field Approach for Pattern Classification / Dymitr Ruta ; Bogdan Gabrys
Inferring Knowledge from Frequent Patterns / Marzena Kryszkiewicz
Anytime Possibilistic Propagation Algorithm / Nahla Ben Amor ; Salem Benferhat ; Khaled Mellouli
Technical Session 5
Macro Analysis of Techniques to Deal with Uncertainty in Information Systems Development: Mapping Representational Framing Influences / Carl Adams ; David E. Avison
The Role of Emotion, Values, and Beliefs in the Construction of Innovative Work Realities / Isabel Ramos ; Daniel M. Berry ; João Á. Carvalho
Managing Evolving Requirements Using eXtreme Programming / Jim Tomayko
Text Summarization in Data Mining / Colleen E. Crangle
Invited Speakers
Industrial Applications of Intelligent Systems at BTexact
Intelligent Control of Wireless and Fixed Telecom Networks / John Bigham
Assertions in Programming: From Scientific Theory to Engineering Practice / Tony Hoare
Hybrid Soft Computing for Classification and Prediction Applications / Piero Bonissone
Why Users Cannot `Get What They Want' / Ray Paul
Systems Design with the Reverend Bayes / Derek McAuley
Formalism and Informality in Software Development / Michael Jackson
Industrial Panel
An Industrial Perspective on Soft Issues: Successes, Opportunities, and Challenges
Author Index
Overview of Fuzzy-RED in Diff-Serv Networks / L. Rossides ; C. Chrysostomou ; A. Pitsillides ; A. SekerciogluTechnical Session 1:
An Architecture for Agent-Enhanced Network Service Provisioning through SLA Negotiation / David Chieng ; Ivan Ho ; Alan Marshall ; Gerard Parr
Facing Fault Management as It Is, Aiming for What You Would Like It to Be / Roy Sterritt
61.

図書

図書
Mary Hegarty, Bernd Meyer, N. Hari Narayanan (eds.)
出版情報: Berlin : Springer, c2002  xiv, 362 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2317 . Lecture notes in artificial intelligence
所蔵情報: loading…
62.

図書

図書
Cristina Gacek (ed.)
出版情報: Berlin : Springer, c2002  xi, 352 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2319
所蔵情報: loading…
63.

図書

図書
Vladimír Mařík ... [et al.] (eds.)
出版情報: Berlin : Springer, c2002  xii, 375 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2322 . Lecture notes in artificial intelligence
所蔵情報: loading…
64.

図書

図書
Stephan Diehl (ed.)
出版情報: Berlin ; Tokyo : Springer, c2002  viii, 403 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2269
所蔵情報: loading…
目次情報: 続きを見る
Algorithm Animation with an Introduction / Andreas Kerren ; John T. Stasko1:
Specifying Algorithm Visualizations: Interesting Events or State Mapping? / Camil Demetrescu ; Irene Finocchi
Perspectives on Program Animation with Jeliot / Mordechai Ben-Ari ; Niko Myller ; Erkki Sutinen ; Jorma Tarhio
Animating Algorithms Live and Post Mortem / Stephan Diehl ; Carsten Görg
Visualising Objects: Abstraction, Encapsulation, Aliasing, and Ownership / James Noble
Algorithm Animation Using Data FlowTracing / Jaroslaw Francik
GeoWin: A Generic Tool for Interactive Visualization of Geometric Algorithms / Matthias Bäsken ; Stefan Näher
Algorithm Animation Systems for Constrained Domains / Ayellet Tal
Algorithm Animation for Teaching / Rudolf Fleischer ; Luděk Kučera
Software Engineering with an Introduction / Rym Mili ; Renee Steiner2:
Software Visualization for Reverse Engineering / Rainer Koschke
Visualizing the Execution of Java Programs / Wim De Pauw ; Erik Jensen ; Nick Mitchell ; Gary Sevitsky ; John Vlissides ; Jeaha Yang
JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs / Katharina Mehner
JAVAVIS: Automatic Program Visualization with Object and Sequence Diagrams Using the Java Debug Interface (JDI) / Rainer Oechsle ; Thomas Schmitt
Visualizing Memory Graphs / Thomas Zimmermann ; Andreas Zeller
Software Visualization and Education with an Introduction / John Domingue3:
Structure and Constraints in Interactive Exploratory Algorithm Learning / Nils Faltin
A Language and System for Constructing and Presenting LowFidelity Algorithm Visualizations / Christopher Hundhausen ; Sarah Douglas
Towards a Taxonomy of Network Protocol Visualization Tools / Pilu Crescenzi ; Gaia Innocenti
Understanding Algorithms by Means of Visualized Path Testing / Ari Korhonen
Hypertextbooks: Animated, Active Learning, Comprehensive Teaching and Learning Resources for the Web / Rockford J. Ross ; Michael T. Grinder
Graphs in Software Visualization with an Introduction / Petra Mutzel ; Peter Eades4:
On the Visualization of Java Programs / Holger Eichelberger ; J. Wolff von Gudenberg
Graph Drawing Algorithm Engineering with AGD / Carsten Gutwenger ; Michael Junger ; Gunnar W. Klau ; Sebastian Leipert
An Overviewof the GXL Graph Exchange Language / Andreas Winter ; Bernt Kullbach ; Volker Riediger
Call Graph and Control FlowGraph Visualization for Developers of Embedded Applications / Alexander A. Evstiougov-Babaev
Future Perspectives with an Introduction / 5:
Visualization for the MindÆs Eye / Nelson Baloian ; Wolfram Luther
The rube Framework for Personalized 3-D Software Visualization / John F. Hopkins ; Paul A. Fishwick
Algorithm Explanation: Visualizing Abstract States and Invariants / Reinhard Wilhelm ; Tomasz Muldner ; Raimund Seidel
Visualisation and Debugging of Decentralised Information Ecosystems / Rolf Hendrik van Lengen ; Jan-Thies Bahr
Author Index
Algorithm Animation with an Introduction / Andreas Kerren ; John T. Stasko1:
Specifying Algorithm Visualizations: Interesting Events or State Mapping? / Camil Demetrescu ; Irene Finocchi
Perspectives on Program Animation with Jeliot / Mordechai Ben-Ari ; Niko Myller ; Erkki Sutinen ; Jorma Tarhio
65.

図書

図書
Frank van der Linden (ed.)
出版情報: Berlin : Springer, c2002  x, 416 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2290
所蔵情報: loading…
66.

図書

図書
Agostino Cortesi (ed.)
出版情報: Berlin : Springer, c2002  viii, 330 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2294
所蔵情報: loading…
67.

図書

図書
Roland Backhouse, Roy Crole, Jeremy Gibbons (eds.)
出版情報: Berlin : Springer, c2002  xiv, 385 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2297
所蔵情報: loading…
目次情報: 続きを見る
Introduction / Roy CroleChapter 1:
Preliminaries / 1:
Assumed Knowledge / 1.1:
Volume Overview / 1.2:
A Mathematical History Tour / 2:
Fixed Points / 2.1:
Induction and Coinduction / 2.2:
Types and Categories / 2.3:
Algebras and Coalgebras / 2.4:
Mathematics in ACMMPC / 3:
Chapter 2: Ordered Sets and Complete Lattices / 3.1:
Chapter 3: Introducing Algebras and Coalgebras / 3.2:
Chapter 4: Galois Connections and Fixed Point Calculus / 3.3:
Chapter 5: Calculating Functional Programs / 3.4:
Chapter 6: Algebra of Program Termination / 3.5:
Chapter 7: Exercises in Coalgebraic Specification / 3.6:
Chapter 8: Algebraic Methods for Optimization Problems / 3.7:
Chapter 9: Temporal Algebra / 3.8:
Ordered Sets and Complete Lattices / Hilary A. PriestleyChapter 2:
From Binary Relations to Diagrams
A Fundamental Example: Powersets
Input-Output Relations Pictorially
Exercise
Binary Relations and Their Polars
Summing Up So Far / 2.5:
Order, Order, Order
Partial Order
Information Orderings
Diagrams
Duality: Buy One, Get One Free
Bottom and Top
Lifting
New Posets from Old: Sums and Products
Maps between Posets
Pointwise Ordering of Maps / 3.9:
Up-Sets: An Inbred Example / 3.10:
Monotone Maps and Up-Sets / 3.11:
Exercise (More on Monotone Maps and Up-Sets) / 3.12:
Down Is Nice Too / 3.13:
Exercise (Turning Things Upside Down) / 3.14:
The Down-Set Operator, ↓, and the Up-Set Operator, ↑ / 3.15:
Exercise (A Context Explored) / 3.16:
Maximal and Minimal Elements / 3.17:
Stocktaking / 3.18:
Lattices in General and Complete Lattices in Particular / 4:
Lattices / 4.1:
Examples of Lattices / 4.2:
Distributive Lattices / 4.3:
Boolean Algebras / 4.4:
Lattices in Logic / 4.5:
Upper Bounds and Sups, Lower Bounds and Infs / 4.6:
Much Ado about Nothing, and about Everything / 4.7:
Complete Lattices / 4.8:
Completeness on the Cheap / 4.9:
A Special Class of Complete Lattices / 4.10:
Suprema, Infima, and Monotone Maps / 4.11:
Complete Lattices, Concretely: Closure Systems and Closure Operators / 5:
A Useful Technical Remark / 5.1:
Complete Lattices of Sets / 5.2:
Closure Systems / 5.3:
Examples / 5.4:
From a Complete Lattice to a Closure System / 5.6:
Defining Closure Operators / 5.7:
New Complete Lattices from Old: From a Closure Operator to a Complete Lattice / 5.8:
Closure Operators more Concretely / 5.9:
Galois Connections: Basics / 6:
Lattice Representation via Galois Connections / 6.1:
Galois Connections from Binary Relations: Method I / 6.3:
Galois Connections and Algebras-A Fleeting Glimpse / 6.4:
Galois Connections by Sectioning / 6.5:
Galois Connections from Binary Relations: Method II / 6.6:
Galois Connections: Basic Properties / 6.7:
<$>{}^\triangleright<$> and <$>{}^\triangleleft<$> Have Isomorphic Images / 6.8:
Equivalent Definitions for Galois Connections / 6.9:
The Good (and Less Good) Behaviour of Galois Maps / 6.10:
Uniqueness of Adjoints: <$>{}^\triangleright<$> from <$>{}^\triangleleft<$> and <$>{}^\triangleleft<$> from <$>{}^\triangleright<$> / 6.11:
Exercise (Surjective and Injective Galois Maps) / 6.12:
A Look Ahead / 6.13:
Existence of Adjoints: A Technical Lemma / 6.14:
Existence Theorem for Adjoints / 6.15:
Postscript / 6.16:
Making Connections, Conceptually / 7:
From a Galois Connection to a Closure Operator / 7.1:
From a Closure Operator to a Galois Connection / 7.2:
Contexts and Concepts: Re-setting the Scene / 7.3:
Ordering Concepts / 7.4:
Three for the Price of One: A Trinity of Complete Lattices / 7.5:
Manufacturing Concepts / 7.6:
Density: Generating all Concepts via γ or μ / 7.7:
From a Complete Lattice to a Concept Lattice / 7.8:
The Case for the Defence / 7.9:
Summing Up / 7.10:
The Existence of Fixed Points / 8:
Fixed Points and Least Fixed Points: Definitions / 8.1:
Characterizing Least Fixed Points via Least Prefix Points / 8.2:
The Knaster-Tarski Fixed Point Theorem / 8.3:
From Complete Lattices to CPOs / 8.4:
A Sense of Direction / 8.7:
Exercise (Sups and Directed Sups Related) / 8.8:
CPOs / 8.9:
Directed Sets and Continuity / 8.10:
New CPOs from Old / 8.11:
Fixed Point Theorem for a Continuous Function on a CPO / 8.12:
From Continuity to Monotonicity / 8.13:
An Assumption: Zorn's Lemma (ZL), CPO Form / 8.14:
The Fixed Point Theorem for a Monotone Endofunction on a CPO / 8.15:
Concluding Remarks / 8.16:
Speaking Categorically / 9:
Categories / 9.1:
Terms / Peter AczelChapter 3:
Variable-Free Terms
Terms as Set Theoretical Objects
Terms with Variables
Initial (F,X)-Algebras
Substitution
Trees
Variable-Free Trees
Representing Terms as Well-Founded Trees
Corecursion
Set Theoretical Representation of Trees
Trees with Variables
Solution Property
The Monad of a Substitution System
Galois Connections and Fixed Point Calculus / Roland BackhouseChapter 4:
Fixed Point Equations
Languages
Functions / 1.3:
Datatypes / 1.4:
Galois Connections / 1.5:
Basic Assumptions / 1.6:
Issues and Applications / 1.7:
Galois Connections - Introductory Examples
Simple Examples
The Floor Function
Identifying Galois Connections
Symmetric Definitions
Universal Property
Commutativity Properties
Pair Algebras
Infima and Suprema
Extremum Preservation Properties
Existence Theorem
Prefix Points
A First Example
Kleene Algebra
Fixed Point Calculus
Basic Rules
Fusion
Uniqueness
Parameterised Prefix Points
Mutual Recursion
An Illustration - Arithmetic Expressions
Further Reading
Calculating Functional Programs / Jeremy GibbonsChapter 5:
Why Calculate Programs?
Functional Programming
Universal Properties
The Categorical Approach to Datatypes
The Pair Calculus
Bibliographic Notes
Exercises
Recursive Datatypes in the Category Set
Overview
Monomorphic Datatypes
Folds
Polymorphic Datatypes
Properties of Folds
Co-datatypes and Unfolds
... and Never the Twain Shall Meet / 2.7:
Recursive Datatypes in the Category Cpo / 2.8:
The Category Cpo
Continuous Algebras
The Pair Calculus Again
Hylomorphisms
Applications
A Simple Compiler
Monads andComonads
Breadth-First Traversal
Appendix: Implementation in Haskell
Products
Sums
Functors
Folds and Unfolds
Lists
Quicksort
Algebra of Program Termination / Henk DoornbosChapter 6:
Imperative Programming and Well-Founded Relations
Relation Algebra
Imperative Programming
Domains and Division
Well-Foundedness Defined
Totality of While Statements
Induction Principles
Admits-Induction Implies Well-Founded
Hylo Equations
Relators and Hylos
Hylo Programs
Intermediate Data Structures
The Hylo Theorem
Reducing Problem Size
A Calculus of F-Reductivity
Exercises in Coalgebraic Specification / Bart JacobsChapter 7:
Mathematical Preliminaries
Specification of Groups and Vector Spaces
A First Coalgebraic Specification: Binary Trees
Elements of Binary Trees
Bisimulations and Bisimilarity
Invariants
Temporal Logic for Coalgebras
A Concrete Description of <$>\box<$> and <$>\diamondsuit<$> for Binary Trees
Using <$>\box<$> and <$>\diamondsuit<$> for Specification and Verification of Binary Trees
Towards a μ-Calculus for Coalgebras
A Case Study: Peterson's Mutual Exclusion Algorithm
Peterson's Solution for Mutual Exclusion
Dealing with Time in Coalgebraic Specification / 9.2:
Class-Valued Methods / 9.3:
Peterson's Algorithm in Coalgebraic Specification / 9.4:
Refinements between Coalgebraic Specifications / 10:
Conclusion / 11:
Algebraic Methods for Optimization Problems / Richard Bird ; Shin-Cheng MuChapter 8:
The Algebra of Relations
Relations
Special Kinds of Relation
Breadth
BibliographicNotes
Optimization Problems
The Eilenberg-Wright Lemma
Preorders
Monotonicity
Minimum
The GreedyTheorem
Thinning
Optimal Bracketing
Representation
The Converse-of-a-Function Theorem
Spines
An Application of Thinning
An Application of Greediness
Refinement of the Greedy Algorithm to a Program
Summary
The Haskell Program
Temporal Algebra / Burghard von KargerChapter 9:
Boolean Algebra
Regular Algebra
Iteration
Repetition
Galois Algebra
Definition and Basic Properties
New Algebrasfrom Old
Diamonds and Boxes
`Until' and `Since'
Confluence
Linearity
Infinity
Sequential Algebra
Observations
Lifting to Sets
Sequential Set Algebras
Abstract Sequential Algebras
Time-Wise Duality
Relational Laws of Sequential Algebra
Basic Laws
Predicates
Left and Right Domain
Interval Calculi
Somewhere and Everywhere
Importability
Engineer's Induction
Finite and Infinite Observations
Measuring Time
Phase Calculus
Duration Calculus
Author Index
Introduction / Roy CroleChapter 1:
Preliminaries / 1:
Assumed Knowledge / 1.1:
68.

図書

図書
Pierre Collet ... [et al.] (eds.)
出版情報: Berlin : Springer, c2002  xi, 373 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2310
所蔵情報: loading…
69.

図書

図書
Josep Domingo-Ferrer (ed.)
出版情報: Berlin ; Tokyo : Springer, c2002  viii, 229 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2316
所蔵情報: loading…
70.

図書

図書
Tomas Sander (ed.)
出版情報: Berlin ; Tokyo : Springer, c2002  x, 244 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2320
所蔵情報: loading…
71.

図書

図書
Lars Knudsen (ed.)
出版情報: Berlin ; Tokyo : Springer, c2002  xii, 545 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2332
所蔵情報: loading…
目次情報: 続きを見る
Cryptanalysis I
Cryptanalysis of a Pseudorandom Generator Based on Braid Groups / Rosario Gennaro ; Daniele Micciancio
Potential Weaknesses of the Commutator Key Agreement Protocol Based on Braid Groups / Sang Jin Lee ; Eonkyung Lee
Extending the GHS Weil Descent Attack / Steven D. Galbraith ; Florian Hess ; Nigel P. Smart
Public-Key Encryption
Universal Hash Proofs and a Paradigm for Adaptive Chosen Ciphertext Secure Public-Key Encryption / Ronald Cramer ; Victor Shoup
Key-Insulated Public Key Cryptosystems / Yevgeniy Dodis ; Jonathan Katz ; Shouhuai Xu ; Moti Yung
On the Security of Joint Signature and Encryption / Jee Hea An ; Tal Rabin
Invited Talk
AES and the Wide Trail Design Strategy / Joan Daemen ; Vincent Rijmen
Information Theory & New Models
Indistinguishability of Random Systems / Ueli Maurer
How to Fool an Unbounded Adversary with a Short Key / Alexander Russell ; Hong Wang
Cryptography in an Unbounded Computational Model / David P. Woodruff ; Marten van Dijk
Implementational Analysis
Performance Analysis and Parallel Implementation of Dedicated Hash Functions / Junko Nakajima ; Mitsuru Matsui
Fault Injection and a Timing Channel on an Analysis Technique / John A. Clark ; Jeremy L. Jacob
Speeding Up Point Multiplication on Hyperelliptic Curves with Efficiently-Computable Endomorphisms / Young-Ho Park ; Sangtae Jeong ; Jongin Lim
Stream Ciphers
Fast Correlation Attacks: An Algorithmic Point of View / Philippe Chose ; Antoine Joux ; Michel Mitton
BDD-Based Cryptanalysis of Keystream Generators / Matthias Krause
Linear Cryptanalysis of Bluetooth Stream Cipher / Jovan Dj. Golić ; Vittorio Bagini ; Guglielmo Morgari
Digital Signatures I
Generic Lower Bounds for Root Extraction and Signature Schemes in General Groups / Ivan Damgård ; Maciej Koprowski
Optimal Security Proofs for PSS and Other Signature Schemes / Jean-Sébastien Coron
Cryptanalysis II
Cryptanalysis of SFLASH / Henri Gilbert ; Marine Minier
Cryptanalysis of the Revised NTRU Signature Scheme / Craig Gentry ; Mike Szydlo
Key Exchange
Dynamic Group Diffie-Hellman Key Exchange under Standard Assumptions / Emmanuel Bresson ; Olivier Chevassut ; David Pointcheval
Universally Composable Notions of Key Exchange and Secure Channels / Ran Canetti ; Hugo Krawczyk
On Deniability in Quantum Key Exchange / Donald Beaver
Modes of Operation
A Practice-Oriented Treatment of Pseudorandom Number Generators / Anand Desai ; Alejandro Hevia ; Yiqun Lisa Yin
A Block-Cipher Mode of Operation for Parallelizable Message Authentication / John Black ; Phillip Rogaway
Rethinking PKI: What's Trust Got to Do with It? / Stephen Kent
Digital Signatures II
Efficient Generic Forward-Secure Signatures with an Unbounded Number of Time Periods / Tal Malkin ; Sara Miner
From Identification to Signatures via the Fiat-Shamir Transform: Minimizing Assumptions for Security and Forward-Security / Michel Abdalla ; Mihir Bellare ; Chanathip Namprempre
Security Notions for Unconditionally Secure Signature Schemes / Junji Shikata ; Goichiro Hanaoka ; Yuliang Zheng ; Hideki Imai
Traitor Tracking & Id-Based Encryption
Traitor Tracing with Constant Transmission Rate / Aggelos Kiayias
Toward Hierarchical Identity-Based Encryption / Jeremy Horwitz ; Ben Lynn
Multiparty and Multicast
Unconditional Byzantine Agreement and Multi-party Computation Secure against Dishonest Minorities from Scratch / Matthias Fitzi ; Nicolas Gisin ; Oliver von Rotz
Perfectly Secure Message Transmission Revisited / Yvo Desmedt ; Yongge Wang
Symmetric Cryptology
Degree of Composition of Highly Nonlinear Functions and Applications to Higher Order Differential Cryptanalysis / Anne Canteaut ; Marion Videau
Security Flaws Induced by CBC Padding - Applications to SSL, IPSEC, WTLS / Serge Vaudenay
Author Index
Cryptanalysis I
Cryptanalysis of a Pseudorandom Generator Based on Braid Groups / Rosario Gennaro ; Daniele Micciancio
Potential Weaknesses of the Commutator Key Agreement Protocol Based on Braid Groups / Sang Jin Lee ; Eonkyung Lee
72.

図書

図書
Georg Carle, Martina Zitterbart (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  x, 265 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2334
所蔵情報: loading…
73.

図書

図書
Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.)
出版情報: Berlin ; Tokyo : Springer, c2001  vi, 429 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2090
所蔵情報: loading…
目次情報: 続きを見る
Formal Methods for Performance Evaluation / Ulrich Herzog
Markovian Models for Performance and Dependability Evaluation / Boudewijn R. Haverkort
Introduction to Stochastic Petri Nets / Gianfranco Balbo
Non-Markovian Analysis / Reinhard German
Process Algebra and Markov Chains / Ed Brinksma ; Holger Hermanns
Verification of Randomized Distributed Algorithms / Roberto Segala
Constructing Automata from Temporal Logic Formulas: A Tutorial / Pierre Wolper
Exploiting Structure in Solution: Decomposing Compositional Models / Jane Hillston
Stochastic Activity Networks: Formal Definitions and Concepts / William H. Sanders ; John F. Meyer
Distributed and Structured Analysis Approaches to Study Large and Complex Systems / Gianfranco Ciardo
General Distributions in Process Algebra / Joost-Pieter Katoen ; Pedro R. D'Argenio
Author Index
Formal Methods for Performance Evaluation / Ulrich Herzog
Markovian Models for Performance and Dependability Evaluation / Boudewijn R. Haverkort
Introduction to Stochastic Petri Nets / Gianfranco Balbo
74.

図書

図書
Sven A. Brueckner ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2005  xiii, 297 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3464 . Lecture notes in artificial intelligence
所蔵情報: loading…
75.

図書

図書
Constantine Stephanidis (ed.)
出版情報: Berlin : Springer, c2005  x, 317 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3041
所蔵情報: loading…
76.

図書

図書
Massimo Tistarelli, Josef Bigun, Enrico Grosso
出版情報: Berlin : Springer, c2005  vi, 158 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3161
所蔵情報: loading…
目次情報: 続きを見る
Combining Biometric Evidence for Person Authentication / J. Bigun ; J. Fierrez-Aguilar ; J. Ortega-Garcia ; J. Gonzales-Rodriguez
Biometric Gait Recognition / J.E. Boyd ; J.J. Little
A Tutorial on Fingerprint Recognition / D. Maltoni
Spiral Topologies for Biometric Recognition / M. Tistarelli ; E. Grosso ; A. Lagorio
Statistical Learning Approaches with Application to Face Detection / E. Franceschi ; F. Odone ; A. Verri
Hand Detection by Direct Convexity Estimation / D. Maimon ; Y. Yeshurun
Template-Based Hand Detection and Tracking / R. Cipolla ; B. Stenger ; A. Thayananthan ; P.H.S. Torr
Student Papers
3D Face Recognition Using Stereoscopic Vision / U. Castellani ; M. Bicego ; G. Iacono ; V. Murino
Selection of Location, Frequency, and Orientation Parameters of 2D Gabor Wavelets for Face Recognition / B. Gökberk ; M. O. Irfanoglu ; L. Akarun ; E. Alpaydin
A Face Recognition System Based on Local Feature Characterization / P. Campadelli ; R. Lanzarotti
Influence of Location over Several Classifiers in 2D and 3D Face Verification / S. Mata ; C. Conde ; A. Sánchez ; E. Cabello
Author Index
Combining Biometric Evidence for Person Authentication / J. Bigun ; J. Fierrez-Aguilar ; J. Ortega-Garcia ; J. Gonzales-Rodriguez
Biometric Gait Recognition / J.E. Boyd ; J.J. Little
A Tutorial on Fingerprint Recognition / D. Maltoni
77.

図書

図書
Henning Christiansen, Peter Rossen Skadhauge, Jørgen Villandsen (eds.)
出版情報: Berlin : Springer, c2005  viii, 204 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3438 . Lecture notes in artificial intelligence
所蔵情報: loading…
78.

図書

図書
Alejandro F. Frangi [et al.] (eds.)
出版情報: Berlin : Springer, c2005  xv, 489 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3504
所蔵情報: loading…
79.

図書

図書
Vladimir Gorodetsky, Jiming Liu, Victor A. Skormin (eds.)
出版情報: Berlin : Springer, c2005  xiii, 301 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3505 . Lecture notes in artificial intelligence
所蔵情報: loading…
80.

図書

図書
Nimrod Megiddo, Yinfeng Xu, Binhai Zhu (eds.)
出版情報: Berlin : Springer, c2005  xiii, 484 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3521
所蔵情報: loading…
81.

図書

図書
Piotr S. Szczepaniak, Janusz Kacprzyk, Adam Niewiadomski (eds.)
出版情報: Berlin : Springer, c2005  xvii, 513 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3528 . Lecture notes in artificial intelligence
所蔵情報: loading…
82.

図書

図書
João Leite ... [et al.] (eds.)
出版情報: Berlin : Springer, c2005  xii, 288 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3476 . Lecture notes in artificial intelligence
所蔵情報: loading…
83.

図書

図書
Stefan Leue, Tarja Johanna Systä (eds.)
出版情報: Berlin : Springer, c2005  xii, 277 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3466
所蔵情報: loading…
84.

図書

図書
Heikki Kalviainen, Jussi Parkkinen, Arto Kaarna (eds.)
出版情報: Berlin : Springer, c2005  xxii, 1270 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3540
所蔵情報: loading…
85.

図書

図書
Viktor K. Prasanna ... [et al.] (eds.)
出版情報: Berlin : Springer, c2005  xv, 423 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3560
所蔵情報: loading…
86.

図書

図書
Colin Boyd, Juan M. González Nieto (eds.)
出版情報: Berlin : Springer, c2005  xiii, 586 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3574
所蔵情報: loading…
87.

図書

図書
Lluís Godo (ed.)
出版情報: Berlin : Springer, c2005  xvi, 1028 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3571 . Lecture notes in artificial intelligence
所蔵情報: loading…
88.

図書

図書
Anind Dey ... [et al.] (eds.)
出版情報: Berlin : Springer, c2005  xiv, 572 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3554 . Lecture notes in artificial intelligence
所蔵情報: loading…
89.

図書

図書
Luís Caires ... [et al.] (eds.)
出版情報: Berlin : Springer, c2005  xxv, 1477 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3580
所蔵情報: loading…
90.

図書

図書
Kousha Etessami, Sriram K. Rajamani (eds.)
出版情報: Berlin : Springer, c2005  xv, 564 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3576
所蔵情報: loading…
91.

図書

図書
Gary E. Christensen, Milan Sonka (eds.)
出版情報: Berlin : Springer, c2005  xxi, 777 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3565
所蔵情報: loading…
92.

図書

図書
Toru Ishida, Les Gasser, Hideyuki Nakashima (eds.)
出版情報: Berlin : Springer, c2005  xi, 348 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3446 . Lecture notes in artificial intelligence
所蔵情報: loading…
93.

図書

図書
Manfred Broy ... [et al.] (eds.)
出版情報: Berlin : Springer, c2005  viii, 659 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3472
所蔵情報: loading…
目次情報: 続きを見る
Testing of Finite State Machines / Part I:
Homing and Synchronizing Sequences / Sven Sandberg1:
State Identification / Moez Krichen2:
State Verification / Henrik Björklund3:
Conformance Testing / Angelo Gargantini4:
Testing of Labeled Transition Systems / Part II:
Preorder Relations / Stefan D. Bruda5:
Test Generation Algorithms Based on Preorder Relations / Valéry Tschaen6:
I/O-automata Based Testing / Machiel van der Bijl ; Fabien Peureux7:
Test Derivation from Timed Automata / Laura Brandán Briones ; Mathias Röhl8:
Testing Theory for Probabilistic Systems / Verena Wolf9:
Model-Based Test Case Generation / Part III:
Methodological Issues in Model-Based Testing / Alexander Pretschner ; Jan Philipps10:
Evaluating Coverage Based Testing / Christophe Gaston ; Dirk Seifert11:
Technology of Test-Case Generation / Levi Lúcio ; Marko Samer12:
Real-Time and Hybrid Systems Testing / Kirsten Berkenkötter ; Raimund Kirner13:
Tools and Case Studies / Part IV:
Tools for Test Case Generation / Axel Belinfante ; Lars Frantzen ; Christian Schallhart14:
Case Studies / Wolfgang Prenninger ; Mohammad El-Ramly ; Marc Horstmann15:
Standardized Test Notation and Execution Architecture / Part V:
TTCN-3 / George Din16:
UML 2.0 Testing Profile / Zhen Ru Dai17:
Beyond Testing / Part VI:
Run-Time Verification / Séverine Colin ; Leonardo Mariani18:
Model Checking / Therese Berg ; Harald Raffelt19:
Appendices / Part VII:
Model-Based Testing - A Glossary / Martin Leucker20:
Finite State Machines / Bengt Jonsson21:
Labelled Transition Systems / Joost-Pieter Katoen22:
Literature
Index
Testing of Finite State Machines / Part I:
Homing and Synchronizing Sequences / Sven Sandberg1:
State Identification / Moez Krichen2:
94.

図書

図書
Rémi Bastide, Philippe Palanque, Jörg Roth (eds.)
出版情報: Berlin ; Tokyo : Springer, c2005  xii, 400 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3425
所蔵情報: loading…
95.

図書

図書
Gérard Chollet ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2005  xiii, 431 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3445 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Dealing with Nonlinearities in Speech Signals
Some Notes on Nonlinearities of Speech / Anna Esposito ; Maria Marinaro
Nonlinear Speech Processing: Overview and Possibilities in Speech Coding / Marcos Faundez-Zanuy
Signal Processing in a Nonlinear, NonGaussian, and Nonstationary World / Simon Haykin
Acoustic-to-Articulatory Modeling of Speech Phenomena
The Analysis of Voice Quality in Speech Processing / Eric Keller
Identification of Nonlinear Oscillator Models for Speech Analysis and Synthesis / Gernot Kubin ; Claudia Lainscsek ; Erhard Rank
Speech Modelling Based on Acoustic-to-Articulatory Mapping / Jean Schoentgen
Data Driven and Speech Processing Algorithms
Underdetermined Blind Separation of Speech Signals with Delays in Different Time-Frequency Domains / Alessandro Bastari ; Stefano Squartini ; Francesco Piazza
Data Driven Approaches to Speech and Language Processing / Gérard Chollet ; Kevin McTait ; Dijana Petrovska-Delacrétaz
Cepstrum-Based Harmonics-to-Noise Ratio Measurement in Voiced Speech / Peter Murphy ; Olatunji Akande
Predictive Connectionist Approach to Speech Recognition / Bojan Petek
Modeling Speech Based on Harmonic Plus Noise Models / Yannis Stylianou
Algorithms and Models Based on Speech Perception Mechanisms
Text Independent Methods for Speech Segmentation / Guido Aversano
Nonlinear Adaptive Speech Enhancement Inspired by Early Auditory Processing / Amir Hussain ; Tariq S. Durrani ; Ali Alkulaibi ; Nhamo Mtetwa
Perceptive, Non-linear Speech Processing and Spiking Neural Networks / Jean Rouat ; Ramin Pichevar ; Stéphane Loiselle
Task Oriented Speech Applications
An Algorithm to Estimate Anticausal Glottal Flow Component from Speech Signals / Baris Bozkurt ; François Severin ; Thierry Dutoit
Non-linear Speech Feature Extraction for Phoneme Classification and Speaker Recognition / Mohamed Chetouani ; Bruno Gas ; Jean-Luc Zarader
Segmental Scores Fusion for ALISP-Based GMM Text-Independent Speaker Verification / Asmaa El Hannani
On the Usefulness of Almost-Redundant Information for Pattern Recognition
An Audio-Visual Imposture Scenario by Talking Face Animation / Walid Karam ; Chafic Mokbel ; Hanna Greige ; Catherine Pelachaud
Cryptographic-Speech-Key Generation Using the SVM Technique over the lp-Cepstral Speech Space / Paola L. García-Perera ; Carlos Mex-Perera ; Juan A. Nolazco-Flores
Nonlinear Speech Features for the Objective Detection of Discontinuities in Concatenative Speech Synthesis / Yannis Pantazis
Signal Sparsity Enhancement Through Wavelet Transforms in Underdetermined BSS / Eraldo Pomponi
A Quantitative Evaluation of a Bio-inspired Sound Segregation Technique for Two- and Three-Source Mixtures
Application of Symbolic Machine Learning to Audio Signal Segmentation / Arimantas Raškinis ; Gailius Raškinis
Analysis of an Infant Cry Recognizer for the Early Identification of Pathologies / Orion F. Reyes-Galaviz ; Antonio Verduzco ; Emilio Arch-Tirado ; Carlos A. Reyes-García
Graphical Models for Text-Independent Speaker Verification / Eduardo Sánchez-Soto ; Marc Sigelle
An Application to Acquire Audio Signals with ChicoPlus Hardware / Antonio Satué-Villar ; Juan Fernández-Rubio
Speech Identity Conversion / Martin Vondra ; Robert Vích
Robust Speech Enhancement Based on NPHMM Under Unknown Noise / Ki Yong Lee ; Jae Yeol Rheem
Author Index
Dealing with Nonlinearities in Speech Signals
Some Notes on Nonlinearities of Speech / Anna Esposito ; Maria Marinaro
Nonlinear Speech Processing: Overview and Possibilities in Speech Coding / Marcos Faundez-Zanuy
96.

図書

図書
Hans Dobbertin, Vincent Rijmen, Aleksandra Sowa (eds.)
出版情報: Berlin ; Tokyo : Springer, c2005  x, 188 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3373
所蔵情報: loading…
97.

図書

図書
Michael Smirnov (ed.)
出版情報: Berlin : Springer, c2005  xi, 278 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3457
所蔵情報: loading…
98.

図書

図書
Alden H. Wright ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2005  x, 314 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3469
所蔵情報: loading…
99.

図書

図書
Peter M.A. Sloot ... [et al.] (eds.)
出版情報: Berlin : Springer, c2005  xxi, 1197 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3470
所蔵情報: loading…
100.

図書

図書
Uffe Kock Wiil (ed.)
出版情報: Berlin ; Heidelberg : Springer, c2005  viii, 219 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3511
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼