close
1.

図書

図書
宇於崎勝也 [ほか] 著 ; 小嶋勝衛監修
出版情報: 東京 : 共立出版, 2002.4  viii, 236p ; 26cm
所蔵情報: loading…
2.

図書

図書
黒田晁生著
出版情報: 東京 : 東洋経済新報社, 2002.5  xiii, 275p ; 21cm
所蔵情報: loading…
3.

図書

図書
Hans P. Zima ... [et al.] (eds.)
出版情報: Berlin ; New York : Springer, c2002  xv, 564 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2327
所蔵情報: loading…
4.

図書

図書
Michael Butler, Luigia Petre, Kaisa Sere (eds.)
出版情報: Berlin : Springer, c2002  x, 399 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2335
所蔵情報: loading…
5.

図書

図書
岩手大学農学部百年史編集委員会編
出版情報: 盛岡 : 岩手大学農学部, 2002.3  740p, 図版[27]p ; 27cm
所蔵情報: loading…
6.

図書

図書
N.A.チシュティー著 ; 麻田豊監訳 ; 露口哲也訳註
出版情報: 東京 : 平凡社, 2002.5  358p ; 18cm
シリーズ名: 東洋文庫 ; 702
所蔵情報: loading…
7.

図書

図書
石井寛編著
出版情報: 阿寒町 (北海道) : 前田一歩園財団, 2002.5  v, 300p, 図版1枚 ; 27cm
所蔵情報: loading…
8.

図書

図書
カビール [著] ; 橋本泰元訳注
出版情報: 東京 : 平凡社, 2002.6  408p ; 18cm
シリーズ名: 東洋文庫 ; 703
所蔵情報: loading…
9.

図書

図書
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
10.

図書

図書
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
11.

図書

図書
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…
12.

図書

図書
Anne Banks Pidduck ... [et al.] (eds.)
出版情報: Berlin : Springer, c2002  xiv, 799 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2348
所蔵情報: loading…
13.

図書

図書
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
14.

図書

図書
Stefano A. Cerri, Guy Gouardères, Fábio Paraguaçu (eds.)
出版情報: Berlin : Springer, c2002  xxviii, 1016 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2363
所蔵情報: loading…
目次情報: 続きを見る
Invited Presentation
Invited Papers
Living with Agents: From Human-Agent Teamwork to Cognitive Prostheses / Jeffrey M. Bradshaw
Computational Humor / Oliviero Stock
Large-Scale Introduction of E-learning at Universities throughout Europe / Fred Mulder ; Jos Rikers ; Piet Henderikx
A Roadmap of Epistemic Logics for Learning Agents / Frédéric Koriche
ITS, Agents, BDI, andAffection: Trying to Make a Plan Come Together / Rosa Maria Vicari
Agents
Social
An Intellectual Genealogy Graph Affording a Fine Prospect of Organizational Learning / Yusuke Hayashi ; Hiroyuki Tsumoto ; Mitsuru Ikeda ; Riichiro Mizoguchi
Group-Oriented Modelling Tools with Heterogeneous Semantics / Niels Pinkwart ; H. Ulrich Hoppe ; Lars Bollen ; Eva Fuhlrott
Social Network Analysis Usedfor Modelling Collaboration in Distance Learning Groups / Christophe Reffay ; Thierry Chanier
On the Social Rational Mirror: Learning E-commerce in a Web-Served Learning Environment / Germana M. da Nóbrega ; Stefano A. Cerri ; Jean Sallantin
Collaboration
Including Malicious Agents into a Collaborative Learning Environment / Natalia López ; Manuel Núñez ; Ismael Rodríguez ; Fernando Rubio
Learning with Virtual Agents: Competition and Cooperation in AMICO / Dorothée Rasseneur ; Elisabeth Delozanne ; Pierre Jacoboni ; Brigitte Grugeon
Adaptive Tutoring Processes and Mental Plans / Alke Martens ; Adelinde M. Uhrmacher
Technologies
Architectural Patterns in Pedagogical Agents / Vladan Devedzic ; Andreas Harrer
DÓRIS - Pedagogical Agent in Intelligent Tutoring Systems / Cássia Trojahn dos Santos ; Rejane Frozza ; Alessandra Dhamer ; Luciano Paschoal Gaspary
Developing Distributed Intelligent Learning Environment with JADE - Java Agents for Distance Education Framework / Ricardo Azambuja Silveira
Architectures
Rules, Patterns, Hypermedia
A Web-Based Intelligent Tutoring System Using Hybrid Rules as Its Representational Basis / Jim Prentzas ; Ioannis Hatzilygeroudis ; John Garofalakis
Using Vector-Space Model in Adaptive Hypermedia for Learning / Jaakko Kurhila ; Matti Lattu ; Anu Pietilä
A System for the Specification and Development of an Environment for Distributed CSCL Scenarios / M.F. Verdejo ; B. Barros ; T. Read ; M. Rodriguez-Artacho
Modelling of an Adaptive Hypermedia System Based on Active Rules / Hussein Raad ; Bernard Causse
Domain Oriented
The Architecture of Why2-Atlas: A Coach for Qualitative Physics Essay Writing / Kurt VanLehn ; Pamela W. Jordan ; Carolyn P. Rosé ; Dumisizwe Bhembe ; Michael Böttner ; Andy Gaydos ; Maxim Makatchev ; Umarani Pappuswamy ; Michael Ringenberg ; Antonio Roque ; Stephanie Siler ; Ramesh Srivastava
Integrating Multimedia Technology, Knowledge Based System and Speech Processing for the Diagnostic and Treatment of Developmental Dyslexia / L. Moreno ; C. González ; V. Muñoz ; J. Estévez ; R. Aguilar ; J. Sánchez ; J. Sigut ; J. Piñeiro
The Aplusix-Editor: A New Kind of Software for the Learning of Algebra / Jean-François Nicaud ; Denis Bouhineau ; Thomas Huguet
Knowledge Acquisition, Reuse
LKC: Learning by Knowledge Construction / Khalid Rouane ; Claude Frasson ; Marc Kaltenbach
Generating Intelligent Tutoring Systems from Reusable Components and Knowledge-Based Systems / Eman El-Sheikh ; Jon Sticklen
Evaluating and Revising Courses from Web Resources Educational / Daniéle Hérin ; Michel Sala ; Pierre Pompidor
Web
Dynamics
Adaptive Postviewer for Constructive Learning in Hyperspace / Akihiro Kashihara ; Kunitaka Kumei ; Shinobu Hasegawa ; Junichi Toyoda
Adaptive Visualization Component of a Distributed Web-Based Adaptive Educational System / Peter Brusilovsky ; Hoah-Der Su
Dynamic Profiling in a Real-Time Collaborative Learning Environment / Miikka Miettinen ; Petri Nokelainen ; Henry Tirri
Dynamic Generation of an Interface for the Capture of Educational Metadata / Issam Rebaï ; Brigitte de La Passardière
Ontologies
Ontology-Centered Personalized Presentation of Knowledge Extracted from the Web / Stefan Trausan-Matu ; Daniele Maraschi ; Stefano Cerri
Ontological Support for Web Courseware Authoring / Lora Aroyo ; Darina Dicheva ; Alexandra Cristea
Hypermedia Environment for Learning Concepts Based on Inter-domain Analogies as an Educational Strategy / Cécile Meyer
Training
Towards a Specification of Distributed and Intelligent Web Based Training Systems / Claus Moebus ; Bernd Albers ; Stefan Hartmann ; Heinz-Juergen Thole ; Jochen Zurborg
A Virtual Assistant for Web-Based Training in Engineering Education / Frédéric Geoffroy ; Esma Aimeur ; Denis Gillet
Web-Based ITS for Training System Managers on the Computer Intrusion / Chong-woo Woo ; Jin-woo Choi ; Martha Evens
Evaluation
Cognition
A La Recherche du Temps Perdu, or As Time Goes By: Where Does the Time Go in a Reading Tutor That Listens? / Jack Mostow ; Greg Aist ; Joseph Beck ; Raghuvee Chalasani ; Andrew Cuneo ; Peng Jia ; Krishna Kadaru
An Empirical Assessment of Comprehension Fostering Features in an Intelligent Tutoring System / Santosh A. Mathan ; Kenneth R. Koedinger
Pilot-Testing a Tutorial Dialogue System That Supports Self-Explanation / Vincent Aleven ; Octav Popescu ; Kenneth Koedinger
When and Why Does Mastery Learning Work: Instructional Experiments with ACT-R "SimStudents" / Benjamin MacLaren
Authoring
Complex Domains
Minimally Invasive Tutoring of Complex Physics Problem Solving / Collin Lynch ; Linwood Taylor ; Anders Weinstein ; Robert Shelby ; Kay Schulze ; Don Treacy ; Mary Wintersgill
KERMIT: A Constraint-BasedTutor for Database Modeling / Pramuditha Suraweera ; Antonija Mitrovic
Automatic Problem Generation in Constraint-Based Tutors / Brent Martin
Instructional Design
Collaborative Ontological Engineering of Instructional Design Knowledge for an ITS Authoring Environment / Jacqueline Bourdeau
TeLoDe: Towards Creating an Intelligent Computer Algebra System / Iraklis Paraskakis
An Intelligent Teaching Assistant System for Logic / Leanna Lesta ; Kalina Yacef
Learning
Models
The Design and Implementation of a Graphical Communication Medium for Interactive Open Learner Modelling / Vania Dimitrova ; Paul Brna ; John Self
Exploring Various Guidance Mechanisms to Support Interaction with Inspectable Learner Models / Diego Zapata-Rivera ; Jim E. Greer
Supporting Learning by Opening the Student Model / Danita Hartley
Reasoning about Systems of Physics Equations / Chun Wai Liew ; Donald E. Smith
Simulation
Simulation 1
Principle Hierarchy Based Intelligent Tutoring System for Common Cockpit Helicopter Training / Robert A. Richards
ASIMIL: Overview of a Distance Learning Flight-Training System / Michel Aka
Cognitive Modelling Approach to Diagnose Over-Simplification in Simulation-Based Training / Andreas Lüdtke ; Claus Möbus ; Heinz-Jürgen Thole
Simulation 2
SIMPA: A Training Platform in Work Station Including Computing Tutors / Laurent Duquesnoy ; Jean-Luc Berger ; Patrick Prévôt ; Françoise Sandoz-Guermond
Computer Aided Evaluation of Trainee Skills on a Simulator Network / Michelle Joab ; Odette Auzende ; Michel Futtersack ; Brigitte Bonnet ; Patrice Le Leydour
Qualitative Assessment on Aeronautical Training with Cognitive Agents / Anton Minko ; Guy Gouardères ; Orest Popov
Dialogue
Generic
Collaborative Discourse Theory as a Foundation for Tutorial Dialogue / Jeff Rickel ; Neal Lesh ; Charles Rich ; Candace L. Sidner ; Abigail Gertner
A Hybrid Language Understanding Approach for Robust Selection of Tutoring Goals
Beyond the Short Answer Question with Research Methods Tutor / Kalliopi-Irini Malatesta ; Peter Wiemer-Hastings ; Judy Robertson
A 3-Tier Planning Architecture for Managing Tutorial Dialogue / Claus Zinn ; Johanna D. Moore ; Mark G. Core
Specific
Teaching Case-Based Argumentation Concepts Using Dialectic Arguments vs. Didactic Explanations / Kevin D. Ashley ; Ravi Desai ; John M. Levine
An Intelligent Tutoring System Incorporating a Model of an Experienced Human Tutor / Neil T. Heffernan
An Instructional Assistant Agent for Distributed Collaborative Learning / Weiqin Chen ; Barbara Wasson
Conflicts in Group Planning: Results from the Experimental Study of MArCo / Patricia Azevedo Tedesco
An Approach to Automatic Analysis of Learners' Social Behavior During Computer-Mediated Synchronous Conversations / Sebastien George ; Pascal Leroux
Going Beyondthe Problem Given: How Human Tutors Use Post-practice Discussions to Support Transfer / Sandra Katz ; David Allbritton
Conception of a Language Learning Environment Based on the Communicative and Actional Approaches / Johan Michel ; Jérôme Lehuen
Deriving Acquisition Principles from Tutoring Principles / Jihie Kim ; Yolanda Gil
Collaborative Discovery Learning of Model Design / Crescencio Bravo ; Miguel A. Redondo ; Manuel Ortega ; M. Felisa Verdejo
A General Platform for Inquiry Learning / Beverly Park Woolf ; John Reid ; Neil Stillings ; Merle Bruno ; Dan Murray ; Paula Reese ; Alan Peterfreund ; Kenneth Rath
Assessing Effective Exploration in Open Learning Environments Using Bayesian Networks / Andrea Bunt ; Cristina Conati
Hierarchical Representation and Evaluation of the Student in an Intelligent Tutoring System / Joséphine M.P. Tchétagni ; Roger Nkambou
CLARISSE: A Machine Learning Tool to Initialize Student Models / Esma Aïmeur ; Gilles Brassard ; Hugo Dufort ; Sébastien Gambs
Incorporating Learning Characteristics into an Intelligent Tutor / Declan Kelly ; Brendan Tangney
Simultaneous Evaluation of Multiple Topics in SIETTE / Eduardo Guzmán ; Ricardo Conejo
Meta-cognition
Toward Measuring and Maintaining the Zone of Proximal Development in Adaptive Instructional Systems / Tom Murray ; Ivon Arroyo
Getting to Know Me: Helping Learners Understand Their Own Learning Needs through Metacognitive Scaffolding / Rosemary Luckin ; Louise Hammerton
Using Production to Assess Learning: An ILE That Fosters Self-Regulated Learning / Philippe Dessus ; Benoît Lemaire
The Ambre ILE: How to Use Case-Based Reasoning to Teach Methods / Nathalie Guin-Duclosson ; Stéphanie Jean-Daubias ; Sandra Nogry
Model-Based Reasoning for Domain Modeling in a Web-Based Intelligent Tutoring System to Help Students Learn to Debug C++ Programs / Amruth N. Kumar
Using Computer Algebra Systems as Cognitive Tools / Jochen Büdenbender ; Adrian Frischauf ; Georgi Goguadze ; Erica Melis ; Paul Libbrecht ; Carsten Ullrich
The Design of a `Motivating' Intelligent Assessment System / Katerina Georgouli
Human or Computer? Auto Tutor in a Bystander Turing Test / Natalie Person ; Arthur C. Graesser
Representational Decisions When Learning Population Dynamics with an Instructional Simulation / Nicolas Van Labeke ; Shaaron Ainsworth
Integration of Automatic Tools for Displaying Interaction Data in Computer Environments for Distance Learning / Aloys Mbala
Development
Directing Development Effort with Simulated Students / Joseph E. Beck
An Evaluation of Intelligent Learning Environment for Problem Posing / Akira Nakano ; Tsukasa Hirashima ; Akira Takeuchi
Using Edit Distance Algorithms to Compare Alternative Approaches to ITS Authoring / David Clarke ; Robert Gaizauskas
Are ITSs Created with the REDEEM Authoring Tool More Effective than "Dumb" Couresware? / Shirley Grimshaw
Narrative
StoryML: An XML Extension for Woven Stories / Petri Gerdt ; Piet Kommers ; Jarkko Suhonen ; Erkki Sutinen
An Agent That Helps Children to Author Rhetorically-Structured Digital Puppet Presentations / Paola Rizzo ; Erin Shaw ; W. Lewis Johnson
"You Cannot Use My Broom! I'm the Witch, You're the Prince": Collaboration in a Virtual Dramatic Game / Rui Prada ; Ana Paiva ; Isabel Machado ; Catarina Gouveia
Feedback on Children's Stories via Multiple Interface Agents
Motivation and Emotions
Informing the Detection of the Students' Motivational State: An Empirical Study / Angel de Vicente ; Helen Pain
Modeling Students' Emotions from Cognitive Appraisal in Educational Games / Xiaoming Zhou
An Affective Module for an Intelligent Tutoring System / Barry Kort ; Rob Reilly
Perceived Characteristics and Pedagogical Efficacy of Animated Conversational Agents / Kristen N. Moreno ; Bianca Klettke ; Kiran Nibbaragandla
Learning about the Ethical Treatment of Human Subjects in Experiments on a Web Facility with a Conversational Agent and ITS Components / Xiangen Hu ; Natalie K. Person ; Craig Stewart ; Joe Toth ; G. Tanner Jackson ; Suresh Susarla ; Matthew Ventura
Design and Evaluation of a Navigation Agent with a Mixed Locus of Control / Judith Masthoff
Poster Papers
Adding Human-Provided Emotional Scaffolding to an Automated Reading Tutor That Listens Increases Student Persistence / Gregory Aist ; Rosalind Picard
An Approach of Reinforcement Learning Use in Tutoring Systems / Abdellah Bennane
An MPEG-4 Authoring Tool Dedicated to Teachers / Dominique Deuff ; Nicole Devoldère ; Béatrice Foucault ; Isabelle Chanclou ; Delphine Mantsos ; Cédric Gégout ; Michael Picaud
Resource Reuse and Broadband User Modelling in ie-TV / Benedict du Boulay
Integrating Adaptive Emotional Agents in ITS / Jessica Faivre
Targeted Detection: Application to Error Detection in a Pedagogical System / Hélène Giroire ; Françoise Le Calvez ; Jacques Duma ; Gérard Tisseau ; Marie Urtasun
The Design of ENCAL, a Learning Environment Utilising Multiple Linked Representations / Andrew G. Harrop
Supporting Interaction Analysis for Collaborative Learning / Akiko Inaba ; Ryoji Ohkubo ; Jun'ichi Toyoda
A Support Environment for Novice Web Searchers / Anna Lloyd
Towards More Affective Tutoring Systems / Manolis Mavrikis ; John Lee
Mobile Lessons Using Geo-referenced Data in e-Learning / Claude Moulin ; Sylvain Giroux ; Antonio Pintus ; Raffaella Sanna
Shared Scientific Argumentation for Lab Work in Physics: An Application of Ethnomethodology in the Conception Process / Nadège Neau ; Alain Derycke
Student's Setup to Access a WEDS / Marilyne Rosselle ; Pierre Gillois ; Josette Morinet ; François Kohler
Learner Evaluation in Web-BasedLearning Environments / M. Rubens ; P. Trigano ; D. Lenne
A Constructivist Knowledge Base Architecture for Adaptive Intelligent Tutoring Systems / Ashraf Saad ; A.R.M. Zaghloul
Qualitative Models of Interactions between Two Populations / Paulo Salles ; Bert Bredeweg ; Symone Araujo ; Walter Neto
An Adaptive Distance Learning Architecture / Hassina Seridi-Bouchelaghem ; Mokhtar Sellami
Modelisation and Automation of Reasoning in Geometry. The ARGOS System: A Learning Companion for High-School Pupils / J.P. Spagnol
Adequate Decision Support Systems Must Also Be Good Learning Environments / Joshua Underwood
Author Index
Invited Presentation
Invited Papers
Living with Agents: From Human-Agent Teamwork to Cognitive Prostheses / Jeffrey M. Bradshaw
15.

図書

図書
Nataša Jonoska, Nadrian C. Seeman (eds.)
出版情報: Berlin : Springer, c2002  xi, 392 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2340
所蔵情報: loading…
目次情報: 続きを見る
Experimental Tools
An Object Oriented Simulation of Real Occurring Molecular Biological Processes for DNA Computing and Its Experimental Verification / T. Hinze ; U. Hatnik ; M. Sturm
Towards Optimization ofPCR Protocol in DNA Computing / S. Kashiwamura ; M. Nakatsugawa ; M. Yamamoto ; T. Shiba ; A. Ohuchi
DNASequenceGenerator: A Program for the Construction of DNA Sequences / U. Feldkamp ; S. Saghafi ; W. Banzhaf ; H. Rauhe
DNA Computing in Microreactors / D. van Noort ; F.-U. Gast ; J.S. McCaskill
Cascadable Hybridisation Transfer of Specific DNA between Microreactor Selection Modules / R. Penchovsky
Theoretical Tools
Coding Properties ofDNA Languages / S. Hussini ; L. Kari ; S. Konstantinidis
Boundary Components ofThickened Graphs / N. Jonoska ; M. Saito
Probabilistic Computational Models
Population Computation and Majority Inference in Test Tube / Y. Sakakibara
DNA Starts to Learn Poker / D.H. Wood ; H. Bi ; S.O. Kimbrough ; D.-J. Wu ; J. Chen
PNA-mediated Whiplash PCR / J.A. Rose ; R.J. Deaton ; M. Hagiya ; A. Suyama
Computer Simulation and Sequence Design
Biomolecular Computation in Virtual Test Tubes / M.H. Garzon ; C. Oehmen
Developing Support System for Sequence Design in DNA Computing / F. Tanaka
The Fidelity ofthe Tag-Antitag System
PUNCH: An Evolutionary Algorithm for Optimizing Bit Set Selection / A.J. Ruben ; S.J. Freeland ; L.F. Landweber
Algorithms
Solving Knapsack Problems in a Sticker Based Model / M.J. Perez-Jimenez ; F. Sancho-Caparrini
A Clause String DNA Algorithm for SAT / V. Manca ; C. Zandron
A Proposal ofDNA Computing on Beads with Application to SAT Problems / T. Yoichi ; H. Akihiro
Experimental Solutions
Aqueous Solutions ofAlgorithmic Problems: Emphasizing Knights on a 3×3 / T. Head ; X. Chen ; M.J. Nichols ; M. Yamamura ; S. Gal
Solutions ofShortest Path Problems by Concentration Control / N. Matsuura ; Y. Kawazoe
Another Realization ofAqueous Computing with Peptide Nucleic Acid / Y. Hiroto ; T. Matoba
Experimental Conformation ofthe Basic Principles ofLength-only Discrimination / Y. Khodor ; J. Khodor ; T.F. Knight, Jr.
Experimental Construction ofVery Large Scale DNA Databases with Associative Search Capability / J.H. Reif ; T.H. LaBean ; M. Pirrung ; V.S. Rana ; B. Guo ; C. Kingsford ; G.S. Wickham
Nano-tech Devices
Operation ofa Purified DNA Nanoactuator / F.C. Simmel ; B. Yurke
DNA Scissors / J.C. Mitchell
Biomimetic Tools
A Realization ofInformation Gate by Using Enterococcus faecalis Pheromone System / K. Wakabayashi
Patterns ofMicronuclear Genes in Ciliates / A. Ehrenfeucht ; T. Harju ; I. Petre ; G. Rozenberg
Peptide Computing - Universality and Complexity / M.S. Balan ; K. Krithivasan ; Y. Sivasubramanyam
Programmed Mutagenesis Is a Universal Model ofComputation / D.K. Gifford
New Computing Models
Horn Clause Computation by Self-assembly of DNA Molecules / H. Uejima ; S. Kobayashi
DNA-based Parallel Computation ofSimple Arithmetic / H. Hug ; R. Schuler
Splicing Systems and Membranes
On P Systems with Global Rules / A. Paun
Computing with Membranes: Variants with an Enhanced Membrane Handling / M. Margenstern ; C. Martín-Vide ; G. Paun
Towards an Electronic Implementation ofMembrane Computing: A Formal Description ofNon-deterministic Evolution in Transition P Systems / A.V. Baranda ; F. Arroyo ; J. Castellanos ; R. Gonzalo
Insertion-Deletion P Systems / S.N. Krishna ; R. Rama
A Universal Time-Varying Distributed H System ofDegree 1 / Y. Rogozhin
A Note on Graph Splicing Languages / N.G. David ; K.G. Subramanian ; D.G. Thomas
Author Index
Experimental Tools
An Object Oriented Simulation of Real Occurring Molecular Biological Processes for DNA Computing and Its Experimental Verification / T. Hinze ; U. Hatnik ; M. Sturm
Towards Optimization ofPCR Protocol in DNA Computing / S. Kashiwamura ; M. Nakatsugawa ; M. Yamamoto ; T. Shiba ; A. Ohuchi
16.

図書

図書
Anders Heyden ... [et al.] (eds.)
出版情報: Berlin : Springer, c2002  4 v. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2350-2353
所蔵情報: loading…
目次情報: 続きを見る
Active and Real-Time Vision
Tracking with the EM Contour Algorithm / A.E.C. Pece ; A.D. Worrall
M2Tracker: A Multi-view Approach to Segmenting and Tracking People in a Cluttered Scene Using Region-Based Stereo / A. Mittal ; L.S. Davis
Image Features
Analytical Image Models and Their Applications / A. Srivastava ; X. Liu ; U. Grenander
Time-Recursive Velocity-Adapted Spatio-Temporal Scale-Space Filters / T. Lindeberg
Combining Appearance and Topology for Wide Baseline Matching / D. Tell ; S. Carlsson
Guided Sampling and Consensus for Motion Estimation / B. Tordoff ; D.W. Murray
Image Features / Visual Motion
Fast Anisotropic Gauss Filtering / J.-M. Geusebroek ; A.W.M. Smeulders ; J. van de Weijer
Adaptive Rest Condition Potentials: Second Order Edge-Preserving Regularization / M. Rivera ; J.L. Marroquin
An Affine Invariant Interest Point Detector / K. Mikolajczyk ; C. Schmid
Understanding and Modeling the Evolution of Critical Points under Gaussian Blurring / A. Kuijper ; L. Florack
Image Processing Done Right / J.J. Koenderink ; A.J. van Doorn
Multimodal Data Representations with Parameterized Local Structures / Y. Zhu ; D. Comaniciu ; S. Schwartz ; V. Ramesh
The Relevance of Non-generic Events in Scale Space Models
The Localized Consistency Principle for Image Matching under Non-uniform Illumination Variation and Affine Distortion / B. Wang ; K.K. Sung ; T.K. Ng
Resolution Selection Using Generalized Entropies of Multiresolution Histograms / E. Hadjidemetriou ; M.D. Grossberg ; S.K. Nayar
Robust Computer Vision through Kernel Density Estimation / H.Chen ; P. Meer
Constrained Flows of Matrix-Valued Functions: Application to Diffusion Tensor Regularization / C. Chefd'hotel ; D. Tschumperlé ; R. Deriche ; O. Faugeras
A Hierarchical Framework for Spectral Correspondence / M. Carcassoni ; E.R. Hancock
Phase-Based Local Features / G. Carneiro ; A.D. Jepson
What Is the Role of Independence for Visual Recognition? / N. Vasconcelos
A Probabilistic Multi-scale Model for Contour Completion Based on Image Statistics / X. Ren ; J. Malik
Toward a Full Probability Model of Edges in Natural Images / K.S. Pedersen ; A.B. Lee
Fast Difference Schemes for Edge Enhancing Beltrami Flow / R. Malladi ; I. Ravve
A Fast Radial Symmetry Transform for Detecting Points of Interest / G. Loy ; A. Zelinsky
Image Features Based on a New Approach to 2D Rotation Invariant Quadrature Filters / M. Felsberg ; G. Sommer
Representing Edge Models via Local Principal Component Analysis / P.S. Huggins ; S.W. Zucker
Regularized Shock Filters and Complex Diffusion / G. Gilboa ; N.A. Sochen ; Y.Y. Zeevi
Multi-view Matching for Unordered Image Sets, or "How Do I Organize My Holiday Snaps?" / F. Schaffalitzky ; A. Zisserman
Parameter Estimates for a Pencil of Lines: Bounds and Estimators / G. Speyer ; M. Werman
Multilinear Analysis of Image Ensembles: TensorFaces / M.A.O. Vasilescu ; D. Terzopoulos
`Dynamism of a Dog on a Leash' or Behavior Classification by Eigen-Decomposition of Periodic Motions / R. Goldenberg ; R. Kimmel ; E. Rivlin ; M. Rudzsky
Automatic Detection and Tracking of Human Motion with a View-Based Representation / R. Fablet ; M.J. Black
Using Robust Estimation Algorithms for Tracking Explicit Curves / J.-P. Tarel ; S.-S. Ieng ; P. Charbonnier
On the Motion and Appearance of Specularities in Image Sequences / R. Swaminathan ; S.B. Kang ; R. Szeliski ; A. Criminisi
Multiple Hypothesis Tracking for Automatic Optical Motion Capture / M. Ringer ; J. Lasenby
Single Axis Geometry by Fitting Conics / G. Jiang ; H.-t. Tsui ; L. Quan
Computing the Physical Parameters of Rigid-Body Motion from Video / K.S. Bhat ; S.M. Seitz ; J. Popović ; P.K. Khosla
Building Roadmaps of Local Minima of Visual Models / C. Sminchisescu ; B. Triggs
A Generative Method for Textured Motion: Analysis and Synthesis / Y. Wang ; S.-C. Zhu
Is Super-Resolution with Optical Flow Feasible? / W.Y. Zhao ; H.S. Sawhney
New View Generation with a Bi-centric Camera / D. Weinshall ; M.-S. Lee ; T. Brodsky ; M. Trajkovic ; D. Feldman
Recognizing and Tracking Human Action / J. Sullivan
Towards Improved Observation Models for Visual Tracking: Selective Adaptation / J. Vermaak ; P. Pérez ; M. Gangnet ; A. Blake
Color-Based Probabilistic Tracking / C. Hue
Dense Motion Analysis in Fluid Imagery / T. Corpetti ; É. Mémin
A Layered Motion Representation with Occlusion and Compact Spatial Support / D.J. Fleet
Incremental Singular Value Decomposition of Uncertain Data with Missing Values / M. Brand
Symmetrical Dense Optical Flow Estimation with Occlusions Detection / L. Alvarez ; T. Papadopoulo ; J. Sánchez
Audio-Video Sensor Fusion with Probabilistic Graphical Models / M.J. Beal ; H. Attias ; N. Jojic
Visual Motion
Increasing Space-Time Resolution in Video / E. Shechtman ; Y. Caspi ; M. Irani
Hyperdynamics Importance Sampling
Implicit Probabilistic Models of Human Motion for Synthesis and Tracking / H. Sidenbladh ; L. Sigal
Space-Time Tracking / L. Torresani ; C. Bregler
Author Index
Surface Geometry
A Variational Approach to Recovering a Manifold from Sample Points / J. Gomes ; A. Mojsilovic
A Variational Approach to Shape from Defocus / H. Jin ; P. Favaro
Shadow Graphs and Surface Reconstruction / Y.Yu ; J.T. Chang
Specularities Reduce Ambiguity of Uncalibrated Photometric Stereo / O. Drbohlav ; R. Šára
Grouping and Segmentation
Pairwise Clustering with Matrix Factorisation and the EM Algorithm / A. Robles-Kelly
Shape Priors for Level Set Representations / M. Rousson ; N. Paragios
Nonlinear Shape Statistics in Mumford-Shah Based Segmentation / D. Cremers ; T. Kohlberger ; C. Schnörr
Class-Specific, Top-Down Segmentation / E. Borenstein ; S. Ullman
Structure from Motion / Stereoscopic Vision / Surface Geometry / Shape
Quasi-Dense Reconstruction from Image Sequence / M. Lhuillier
Properties of the Catadioptric Fundamental Matrix / C. Geyer ; K. Daniilidis
Building Architectural Models from Many Views Using Map Constraints / D.P. Robertson ; R. Cipolla
Motion - Stereo Integration for Depth Estimation / C. Strecha ; L. Van Gool
Lens Distortion Recovery for Accurate Sequential Structure and Motion Recovery / K. Cornelis ; M. Pollefeys
Generalized Rank Conditions in Multiple View Geometry with Applications to Dynamical Scenes / K. Huang ; R. Fossum ; Y. Ma
Dense Structure-from-Motion: An Approach Based on Segment Matching / F. Ernst ; P. Wilinski ; K. van Overveld
Maximizing Rigidity: Optimal Matching under Scaled-Orthography / J. Maciel ; J. Costeira
Dramatic Improvements to Feature Based Stereo / V.N. Smelyansky ; R.D. Morris ; F.O. Kuehnel ; D.A. Maluf ; P. Cheeseman
Motion Curves for Parametric Shape and Motion Estimation / P.-L. Bazin ; J.-M. Vézien
Bayesian Self-Calibration of a Moving Camera / G. Qian ; R. Chellappa
Balanced Recovery of 3D Structure and Camera Motion from Uncalibrated Image Sequences / B. Georgescu
Linear Multi View Reconstruction with Missing Data / C. Rother
Model-Based Silhouette Extraction for Accurate People Tracking / R. Plaenkers ; P. Fua
On the Non-linear Optimization of Projective Motion Using Minimal Parameters / A. Bartoli
Structure from Many Perspective Images with Occlusions / D. Martinec ; T. Pajdla
Sequence-to-Sequence Self Calibration / L. Wolf ; A. Zomet
Structure from Planar Motions with Small Baselines / R. Vidal ; J. Oliensis
Revisiting Single-View Shape Tensors: Theory and Applications / A. Levin ; A. Shashua
Tracking and Rendering Using Dynamic Textures on Geometric Structure from Motion / D. Cobzas ; M. Jagersand
Sensitivity of Calibration to Principal Point Position / R.I. Hartley ; R. Kaucic
Critical Curves and Surfaces for Euclidean Reconstruction / F. Kahl ; R. Hartley
View Synthesis with Occlusion Reasoning Using Quasi-Sparse Feature Correspondences / D. Jelinek ; C.J. Taylor
Eye Gaze Correction with Stereovision for Video-Teleconferencing / R. Yang ; Z. Zhang
Wavelet-Based Correlation for Stereopsis / M. Clerc
Stereo Matching Using Belief Propagation / J. Sun ; H.-Y. Shum ; N.-N. Zheng
Symmetric Sub-pixel Stereo Matching / D. Scharstein
New Techniques for Automated Architectural Reconstruction from Photographs / T. Werner
Stereo Matching with Segmentation-Based Cooperation / Y. Zhang ; C. Kambhamettu
Coarse Registration of Surface Patches with Local Symmetries / J. Vanden Wyngaerd
Multiview Registration of 3D Scenes by Minimizing Error between Coordinate Frames / G.C. Sharp ; S.W. Lee ; D.K. Wehe
Recovering Surfaces from the Restoring Force / G. Kamberov ; G. Kamberova
Interpolating Sporadic Data / L. Noakes ; R. Kozera
Highlight Removal Using Shape-from-Shading / H. Ragheb
A Reflective Symmetry Descriptor / M. Kazhdan ; B. Chazelle ; D. Dobkin ; A. Finkelstein ; T. Funkhouser
Gait Sequence Analysis Using Frieze Patterns / Y. Liu ; R. Collins ; Y. Tsin
Feature-Preserving Medial Axis Noise Removal / R. Tam ; W. Heidrich
Hierarchical Shape Modeling for Automatic Face Localization / C. Liu ; C. Zhang
Using Dirichlet Free Form Deformation to Fit Deformable Models to Noisy 3-D Data / S. Ilic
Transitions of the 3D Medial Axis under a One-Parameter Family of Deformations / P. Giblin ; B.B. Kimia
Learning Shape from Defocus / S. Soatto
A Rectilinearity Measurement for Polygons / J. Žunić ; P.L. Rosin
Local Analysis for 3D Reconstruction of Specular Surfaces - Part II / S. Savarese ; P. Perona
Matching Distance Functions: A Shape-to-Area Variational Approach for Global-to-Local Registration
Shape from Shading and Viscosity Solutions / E. Prados ; E. Rouy
Model Acquisition by Registration of Multiple Acoustic Range Views / A. Fusiello ; U. Castellani ; L. Ronchetti ; V. Murino
Structure from Motion
General Trajectory Triangulation / J. Y. Kaminski ; M. Teicher
Surviving Dominant Planes in Uncalibrated Structure and Motion Recovery / F. Verbiest
A Bayesian Estimation of Building Shape Using MCMC / A.R. Dick ; P.H.S. Torr
Structure and Motion for Dynamic Scenes - The Case of Points Moving in Planes / P. Sturm
What Does the Scene Look Like from a Scene Point? / T. Hassner ; P. Anandan
Shape
3D Statistical Shape Models Using Direct Optimisation of Description Length / R.H.Davies ; C.J. Twining ; T.F. Cootes ; J.C. Waterton
Approximate Thin Plate Spline Mappings / G. Donato ; S. Belongie
DEFORMOTION: Deforming Motion, Shape Average and the Joint Registration and Segmentation of Images / A.J. Yezzi
Region Matching with Missing Parts / A. Duci ; S. Mitter
Stereoscopic Vision I
What Energy Functions Can Be Minimized via Graph Cuts? / V. Kolmogorov ; R. Zabih
Multi-camera Scene Reconstruction via Graph Cuts
A Markov Chain Monte Carlo Approach to Stereovision / J. Sénégas
A Probabilistic Theory of Occupancy and Emptiness / R. Bhotika ; K.N. Kutulakos
Texture Shading and Colour / Grouping and Segmentation / Object Recognition
Texture Similarity Measure Using Kullback-Leibler Divergence between Gamma Distributions / J.R. Mathiassen ; A. Skavhaug ; K. Bø
All the Images of an Outdoor Scene / S.G. Narasimhan ; C. Wang
Recovery of Reflectances and Varying Illuminants from Multiple Views / Q.-T. Luong ; Y. Leclerc
Composite Texture Descriptions / A. Zalesny ; V. Ferrari ; G. Caenen ; D. Auf der Maur
Constructing Illumination Image Basis from Object Motion / A. Nakashima ; A. Maki ; K. Fukui
Diffuse-Specular Separation and Depth Recovery from Image Sequences / S. Lin ; Y. Li ; X. Tong
Shape from Texture without Boundaries / D.A. Forsyth
Statistical Modeling of Texture Sketch / Y.N. Wu ; S.C. Zhu ; C.-e. Guo
Classifying Images of Materials: Achieving Viewpoint and Illumination Independence / M. Varma
Estimation of Multiple Illuminants from a Single Image of Arbitrary Known Geometry / D. Samaras
The Effect of Illuminant Rotation on Texture Filters: Lissajous's Ellipses / M. Chantler ; M. Schmidt ; M. Petrou ; G. McGunnigle
On Affine Invariant Clustering and Automatic Cast Listing in Movies / A. Fitzgibbon
Factorial Markov Random Fields / J. Kim
Evaluation and Selection of Models for Motion Segmentation / K. Kanatani
Surface Extraction from Volumetric Images Using Deformable Meshes: A Comparative Study / J. Tohka
DREAM2S: Deformable Regions Driven by an Eulerian Accurate Minimization Method for Image and Video Segmentation (Application to Face Detection in Color Video Sequences) / S. Jehan-Besson ; M. Barlaud ; G. Aubert
Neuro-Fuzzy Shadow Filter / B.P.L. Lo ; G.-Z. Yang
Parsing Images into Region and Curve Processes / Z. Tu
Yet Another Survey on Image Segmentation: Region and Boundary Information Integration / J. Freixenet ; X. Muñoz ; D. Raba ; J. Martí ; X. Cufí
Perceptual Grouping from Motion Cues Using Tensor Voting in 4-D / M. Nicolescu ; G. Medioni
Deformable Model with Non-euclidean Metrics / B. Taton ; J.-O. Lachaud
Finding Deformable Shapes Using Loopy Belief Propagation / J.M. Coughlan ; S.J. Ferreira
Probabilistic and Voting Approaches to Cue Integration for Figure-Ground Segmentation / E. Hayman ; J.-O. Eklundh
Bayesian Estimation of Layers from Multiple Images / Y. Wexler
A Stochastic Algorithm for 3D Scene Segmentation and Reconstruction / F. Han
Normalized Gradient Vector Diffusion and Image Segmentation / Z. Yu ; C. Bajaj
Spectral Partitioning with Indefinite Kernels Using the Nyström Extension / C. Fowlkes ; F. Chung
A Framework for High-Level Feedback to Adaptive, Per-Pixel, Mixture-of-Gaussian Background Models / M. Harville
Multivariate Saddle Point Detection for Statistical Clustering / A. Del Bue
Parametric Distributional Clustering for Image Segmentation / L. Hermes ; T. Zöller ; J.M. Buhmann
Probabalistic Models and Informative Subspaces for Audiovisual Correspondence / J.W. Fisher ; T. Darrell
Volterra Filtering of Noisy Images of Curves / J. August
Image Segmentation by Flexible Models Based on Robust Regularized Networks / J. Gee
Principal Component Analysis over Continuous Subspaces and Intersection of Half-Spaces
On Pencils of Tangent Planes and the Recognition of Smooth 3D Shapes from Silhouettes / S. Lazebnik ; A. Sethi ; D. Kriegman ; J. Ponce ; M.Hebert
Estimating Human Body Configurations Using Shape Context Matching / G. Mori
Probabilistic Human Recognition from Video / S. Zhou
SoftPOSIT: Simultaneous Pose and Correspondence Determination / P. David ; D. DeMenthon ; R. Duraiswami ; H. Samet
A Pseudo-Metric for Weighted Point Sets / P. Giannopoulos ; R.C. Veltkamp
Shock-Based Indexing into Large Shape Databases / T.B. Sebastian ; P.N. Klein
EigenSegments: A Spatio-Temporal Decomposition of an Ensemble of Images / S. Avidan
On the Representation and Matching of Qualitative Shape at Multiple Scales / A. Shokoufandeh ; S. Dickinson ; C. Jönsson ; L. Bretzner
Combining Simple Discriminators for Object Discrimination / S. Mahamud ; M. Hebert ; J. Lafferty
Probabilistic Search for Object Segmentation and Recognition / U. Hillenbrand ; G. Hirzinger
Real-Time Interactive Path Extraction with On-the-Fly Adaptation of the External Forces / O. Gérard ; T. Deschamps ; M. Greff ; L.D. Cohen
Matching and Embedding through Edit-Union of Trees / A. Torsello
A Comparison of Search Strategies for Geometric Branch and Bound Algorithms / T. M. Breuel
Face Recognition from Long-Term Observations / G. Shakhnarovich ; J. W. Fisher
Stereoscopic Vision II
Helmholtz Stereopsis: Exploiting Reciprocity for Surface Reconstruction / T. Zickler ; P.N. Belhumeur ; D.J. Kriegman
Minimal Surfaces for Stereo / C. Buehler ; S.J. Gortler ; M.F. Cohen ; L. McMillan
Finding the Largest Unambiguous Component of Stereo Matching
Object Recognition / Vision Systems Engineering and Evaluation
Face Identification by Fitting a 3D Morphable Model Using Linear Shape and Texture Error Functions / S. Romdhani ; V. Blanz ; T. Vetter
Hausdorff Kernel for 3D Object Acquisition and Detection / A. Barla ; F. Odone ; A. Verri
Evaluating Image Segmentation Algorithms Using the Pareto Front / M. Everingham ; H.Muller ; B. Thomas
On Performance Characterization and Optimization for Image Retrieval / J. Vogel ; B. Schiele
Statistical Learning
Statistical Learning of Multi-view Face Detection / S.Z. Li ; L. Zhu ; H. Zhang ; H. Shum
Dynamic Trees: Learning to Model Outdoor Scenes / N.J. Adams ; C.K.I. Williams
Object Recognition as Machine Translation: Learning a Lexicon for a Fixed Image Vocabulary / P. Duygulu ; K. Barnard ; J.F.G. de Freitas
Learning a Sparse Representation for Object Detection / S. Agarwal ; D. Roth
Calibration / Active and Real-Time and Robot Vision / Image and Video Indexing / Medical Image Understanding / Vision Systems / Engineering and Evaluations / Statistical Learning
Stratified Self Calibration from Screw-Transform Manifolds / R. Manning ; C. Dyer
Self-Organization of Randomly Placed Sensors / R.B. Fisher
Camera Calibration with One-Dimensional Objects
Automatic Camera Calibration from a Single Manhattan Image / J. Deutscher ; M.Isard ; J. MacCormick
What Can Be Known about the Radiometric Response from Images?
Estimation of Illuminant Direction and Intensity of Multiple Light Sources / W. Zhou
3D Modelling Using Geometric Constraints: A Parallelepiped Based Approach / M. Wilczkowiak ; E. Boyer
Geometric Properties of Central Catadioptric Line Images / J.P. Barreto ; H. Araujo
Another Way of Looking at Plane-Based Calibration: The Centre Circle Constraint / P. Gurdjos ; A. Crouzil ; R. Payrissat
Active Surface Reconstruction Using the Gradient Strategy / M. Mitran ; F.P. Ferrie
Linear Pose Estimation from Points or Lines / A. Ansar
A Video-Based Drowning Detection System / A.H.Kam ; W.Lu ; W.-Y.Yau
Visual Data Fusion for Objects Localization by Active Vision / G. Flandin ; F. Chaumette
Towards Real-Time Cue Integration by Using Partial Results / D. DeCarlo
Tracking and Object Classification for Automated Surveillance / O. Javed ; M. Shah
Very Fast Template Matching / H. Schweitzer ; J.W. Bell ; F. Wu
Fusion of Multiple Tracking Algorithms for Robust People Tracking / N.T. Siebel ; S. Maybank
Video Summaries through Mosaic-Based Shot and Scene Clustering / A. Aner ; J.R. Kender
Optimization Algorithms for the Selection of Key Frame Sequences of Variable Length / T. Liu
Multi-scale EM-ICP: A Fast and Robust Approach for Surface Registration / S. Granger ; X. Pennec
An Unified Approach to Model-Based and Model-Free Visual Servoing / E. Malis
Comparing Intensity Transformations and Their Invariants in the Context of Color Pattern Recognition / F. Mindru ; T. Moons
A Probabilistic Framework for Spatio-Temporal Video Representation & Indexing / H. Greenspan ; J. Goldberger ; A. Mayer
Video Compass / J. Košecká ; W. Zhang
Computing Content-Plots for Video
Classification and Localisation of Diabetic-Related Eye Disease / A. Osareh ; M. Mirmehdi ; R. Markham
Robust Active Shape Model Search / M. Rogers ; J. Graham
A New Image Registration Technique with Free Boundary Constraints: Application to Mammography / F. Richard ; L. Cohen
Registration Assisted Image Smoothing and Segmentation / B.C. Vemuri ; Y. Chen ; Z. Wang
An Accurate and Efficient Bayesian Method for Automatic Segmentation of Brain MRI / S. Botello ; F. Calderon
A PDE Approach for Thickness, Correspondence, and Gridding of Annular Tissues / A. Yezzi ; J.L. Prince
Statistical Characterization of Morphological Operator Sequences / X. Gao ; T. Boult
Image Registration for Foveated Omnidirectional Sensing / F. Dornaika ; J. Elder
Automatic Model Selection by Modelling the Distribution of Residuals / N.Thacker
Assorted Pixels: Multi-sampled Imaging with Structural Models
Robust Parameterized Component Analysis: Theory and Applications to 2D Facial Modeling / F. De la Torre
Learning Intrinsic Video Content Using Levenshtein Distance in Graph Partitioning / J. Ng ; S. Gong
A Tale of Two Classifiers: SNoW vs. SVM in Visual Recognition / M.-H. Yang ; N. Ahuja
Learning to Parse Pictures of People / R. Ronfard
Learning Montages of Transformed Latent Images as Representations of Objects That Change in Appearance / C. Pal ; B.J. Frey
Exemplar-Based Face Recognition from Video / V. Krüger
Learning the Topology of Object Views / J. Wieghardt ; R.P. Würtz ; C. von der Malsburg
A Robust PCA Algorithm for Building Representations from Panoramic Images / D. Skočaj ; H. Bischof ; A. Leonardis
Adjustment Learning and Relevant Component Analysis / N. Shental ; T. Hertz ; M. Pavel
Texture, Shading, and Colour
What Are Textons? / Y. Wu
Bidirectional Texture Contrast Function / S.C. Pont
Removing Shadows from Images / G.D. Finlayson ; S.D. Hordley ; M.S. Drew
Active and Real-Time Vision
Tracking with the EM Contour Algorithm / A.E.C. Pece ; A.D. Worrall
M2Tracker: A Multi-view Approach to Segmenting and Tracking People in a Cluttered Scene Using Region-Based Stereo / A. Mittal ; L.S. Davis
17.

図書

図書
Paul De Bra, Peter Brusilovsky, Ricardo Conejo (eds.)
出版情報: Berlin : Springer, c2002  xv, 615 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2347
所蔵情報: loading…
18.

図書

図書
Katsuhiko Ogata
出版情報: Upper Saddle River, NJ : Prentice Hall, c2002  xi, 964 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Introduction to Control Systems / 1:
Examples of Control Systems
Closed-Loop Control versus Open-Loop Control
Outline of the Book
The Laplace Transform / 2:
Review of Complex Variables and Complex Functions
Laplace Transformation
Laplace Transform Theorems
Inverse Laplace Transformation
Partial-Fraction Expansion with MATLAB
Solving Linear, Time-Invariant, Differential Equations
Mathematical Modeling of Dynamic Systems / 3:
Transfer Function and Impulse-Response Function
Automatic Control Systems
Modeling in State Space
State-Space Representation of Dynamic Systems
Transformation of Mathematical Models with MATLAB
Mechanical Systems
Electrical and Electronic Systems
Signal Flow Graphs
Linearization of Nonlinear Mathematical Models
Mathematical Modeling of Fluid Systems and Thermal Systems / 4:
Liquid-Level Systems
Pneumatic Systems
Hydraulic Systems
Thermal Systems
Transient and Steady-State Response Analyses / 5:
First-Order Systems
Second-Order Systems
Higher-Order Systems
Transient-Response Analysis with MATLAB
An Example Problem Solved with MATLAB
Routh's Stability Criterion
Effects of Integral and Derivative Control Actions on System Performance
Steady-State Errors in Unity-Feedback Control Systems
Root-Locus Analysis / 6:
Root-Locus Plots
Summary of General Rules for Constructing Root Loci
Root-Locus Plots with MATLAB
Positive-Feedback Systems
Conditionally Stable Systems
Root Loci for Systems with Transport Lag
Control Systems Design by the Root-Locus Method / 7:
Preliminary Design Considerations
Lead Compensation
Lag Compensation
Lag-Lead Compensation
Parallel Compensation
Frequency-Response Analysis / 8:
Bode Diagrams
Plotting Bode Diagrams with MATLAB
Polar Plots
Drawing Nyquist Plots with MATLAB
Log-Magnitude-versus-Phase Plots
Nyquist Stability Criterion
Stability Analysis
Relative Stability
Closed-Loop Frequency Response of Unity-Feedback Systems
Experimental Determination of Transfer Functions
Control Systems Design by Frequency Response / 9:
Concluding Comments
PID Controls and Two-Degrees-of-Freedom Control Systems / 10:
Tuning Rules for PID Controllers
Computational Approach to Obtain Optimal Sets of Parameter Values
Modifications of PID Control Schemes
Two-Degrees-of-Freedom Control
Zero-Placement Approach to Improve Response Characteristics
Analysis of Control Systems in State Space / 11:
State-Space Representations of Transfer-Function Systems
Transformation of System Models with MATLAB
Solving the Time-Invariant State Equation
Some Useful Results in Vector-Matrix Analysis
Controllability
Observability
Design of Control Systems in State Space / 12:
Pole Placement
Solving Pole-Placement Problems with MATLAB
Design of Servo Systems
State Observers
Design of Regulator Systems with Observers
Design of Control Systems with Observers
Quadratic Optimal Regulator Systems
References
Index
Introduction to Control Systems / 1:
Examples of Control Systems
Closed-Loop Control versus Open-Loop Control
19.

図書

図書
小和田恆, 山影進著
出版情報: 東京 : 放送大学教育振興会, 2002.5  214p ; 21cm
シリーズ名: 放送大学大学院教材 ; 8910138-1-0211 . 総合文化プログラム : 文化情報科学群||ソウゴウ ブンカ プログラム : ブンカ ジョウホウ カガクグン
所蔵情報: loading…
20.

図書

図書
Pier Luca Lanzi, Wolfgang Stolzmann, Stewart W. Wilson (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  viii, 229 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2321 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Theory / I:
Biasing Exploration in an Anticipatory Learning Classifier System / Martin V. Butz
An Incremental Multiplexer Problem and Its Uses in Classifier System
Research / Lawrence Davis ; Chunsheng Fu ; Stewart W. Wilson
A Minimal Model of Communication for a Multi-agent Classifier System / Gilles Enée ; Cathy Escazut
A Representation for Accuracy-Based Assessment of Classifier System
Prediction Performance / John H. Holmes
A Self-Adaptive XCS / Jacob Hurst ; Larry Bull
Two Views of Classifier Systems / Tim Kovacs
Social Simulation Using a Multi-agent Model Based on Classifier Systems: The Emergence of Vacillating Behaviour in the "El Farol" Bar Problem / Luis Miramontes Hercog ; Terence C. Fogarty
Applications / II:
XCS and GALE: A Comparative Study of Two Learning Classifier Systems on Data Mining / Ester Bernadó ; Xavier Llora ; Josep M. Garrell
A Preliminary Investigation of Modified XCS as a Generic Data Mining Tool / Phillip William Dixon ; David W. Corne ; Martin John Oates
Explorations in LCS Models of Stock Trading / Sonia Schulenburg ; Peter Ross
On-Line Approach for Loss Reduction in Electric Power Distribution Networks Using Learning Classifier Systems / Patrícia Amancio Vargas ; Christiano Lyra Filho ; Fernando J. Von Zuben
Compact Rulesets from XCSI
Appendix / III:
An Algorithmic Description of ACS2 / Wolfgang Stolzmann
Author Index
Theory / I:
Biasing Exploration in an Anticipatory Learning Classifier System / Martin V. Butz
An Incremental Multiplexer Problem and Its Uses in Classifier System
21.

図書

図書
Javier Esparza, Charles Lakos (eds.)
出版情報: Berlin : Springer, c2002  x, 444 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2360
所蔵情報: loading…
22.

図書

図書
Johann Blieberger, Alfred Strohmeier (eds.)
出版情報: Berlin : Springer, c2002  xiii, 366 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2361
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Embedded Systems Unsuitable for Object Orientation / Maarten Boasson
On Architectural Stability and Evolution / Mehdi Jazayeri
Encapsulating Failure Detection: From Crash to Byzantine Failures / Assia Doudou ; Benoit Garbinato ; Rachid Guerraoui
Contextware: Bridging Physical and Virtual Worlds / Alois Ferscha
Embedded Systems
Evaluating Performance and Power of Object-Oriented Vs. Procedural Programming in Embedded Processors / Alexander Chatzigeorgiou ; George Stephanides
OMC-INTEGRAL Memory Management / Jose Manuel Pérez Lobato ; Eva Martín Lobo
Language Issues of Compiling Ada to Hardware / Michael Ward ; Neil C. Audsley
Case Studies
Software Development Reengineering - An Experience Report / Adrian Hoe
Development of a Control System for Teleoperated Robots Using UML and Ada95 / Francisco J. Ortiz ; Alejandro S. Martínez ; Barbara Álvarez ; Andres Iborra ; José M. Fernández
Using a Secure Java Micro-kernel on Embedded Devices for the Reliable
Execution of Dynamically Uploaded Applications / Walter Binder ; Balazs Lichtl
Real-Time Systems
A POSIX-Ada Interface for Application-Defined Scheduling / Mario Aldea Rivas ; Michael González Harbour
High-Integrity Systems
Closing the Loop: The Influence of Code Analysis on Design / Peter Amey
High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT / Paul Parkinson ; Franco Gasperoni
Ada Language
How to Use GNAT to Efficiently Preprocess New Ada Sentences / Javier Miranda ; Francisco Guerra ; Ernestina Martel ; Jose Martín ; Alexis González
Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada / Robert Dewar ; Olivier Hainque ; Dirk Craeynest ; Philippe Waroquiers
Adding Design by Contract to the Ada Language / Ehud Lamm
Program Analysis
Static Dependency Analysis for Concurrent Ada 95 Programs / Zhenqiang Chen ; Baowen Xu ; Jianjun Zhao ; Hongji Yang
DataFAN: A Practical Approach to Data Flow Analysis for Ada 95 / Krzysztof Czarnecki ; Michael Himsolt ; Ernst Richter ; Falk Vieweg ; Alfred Rosskopf
Prioritization of Test Cases in MUMCUT Test Sets: An Empirical Study / Yuen T. Yu ; Man F. Lau
Tools
About the Difficulties of Building a Pretty-Printer for Ada / Sergey Rybin ; Alfred Strohmeier
A Tailorable Distributed Programming Environment
Distributed Systems
Modeling and Schedulability Analysis of Hard Real-Time Distributed Systems Based on Ada Components / Julio L. Medina ; J. Javier Gutiérrez ; José M. Drake
Transparent Environment for Replicated Ravenscar Applications / Luís Miguel Pinho ; Francisco Vasques
Concurrency Control in Transactional Drago / Marta Patiño-Martínez ; Ricardo Jimenez-Peris ; Jörg Kienzle ; Sergio Arévalo
Libraries, APIs, and Bindings
An Ada Binding to the IEEE 1003.1q (POSIX Tracing) Standard / Agustin Espinosa Minguet ; Ana Gargia Fornes ; Alfons Crespo i Lorente
GNAT Ada Database Development Environment / Michael Erdmann
Object-Orientation
Ada, Interfaces and the Listener Paradigm / Jean-Pierre Rosen
Using Object Orientation in High Integrity Applications: A Case Study / Alejandro Alonso ; Roberto López ; Tullio Vardanega ; Juan Antonio de la Puente
Author Index
Invited Papers
Embedded Systems Unsuitable for Object Orientation / Maarten Boasson
On Architectural Stability and Evolution / Mehdi Jazayeri
23.

図書

図書
Tim Hendtlass, Moonis Ali (eds.)
出版情報: Berlin : Springer, c2002  xiii, 833 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2358 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Neural Networks 1
An Error Back-Propagation Artificial Neural Networks Application in Automatic Car License Plate Recognition / Demetrios Michalopoulos ; Chih-Kang Hu
Use of Artificial Neural Networks for Buffet Loads Prediction / Oleg Levinski
Computational Cost Reduction by Selective Attention for Fast Speaker Adaptation in Multilayer Perceptron / In-Cheol Kim ; Sung-Il Chien
A Comparison of Neural Networks with Time Series Models for Forecasting Returns on a Stock Market Index / Juliana Yim
Image/Speech 1
Automatic Detection of Film Orientation with Support Vector Machines / Dane Walsh ; Christian Omlin
A Generic Approach for the Vietnamese Handwritten and Speech Recognition Problems / Vu Hai Quan ; Pham Nam Trung ; Nguyen Due Hoang Ha ; Lam Tri Tin ; Hoang Kiem ; An H Nguyen
Efficient and Automatic Faces Detection Based on Skin-Tone and Neural Network Model / Bae-Ho Lee ; Kwang-Hee Kim ; Yonggwan Won ; Jiseung Nam
Efficient Image Segmentation Based on Wavelet and Watersheds for Video Objects Extraction / Jong-Bae Kim ; Hang-Joon Kim
Evolutionary and Genetic Algorithms 1
FPGA-Based Implementation of Genetic Algorithm for the Traveling Salesman Problem and Its Industrial Application / Iouliia Skliarova ; António B.Ferrari
Minimal Addition Chain for Efficient Modular Exponentiation Using Genetic Algorithms / Nadia Nedjah ; Luiza de Macedo Mourelle
An Evolutionary Algorithm for the Synthesis of RAM-Based FSMs / Valery Sklyarov
Genetic Algorithms for Design of Liquid Retaining Structure / K. W. Chau ; F. Albermani
Autonomous Agents
Modelling Crew Assistants with Multi-Agent Systems in Fighter Aircraft / Arjen Vollebregt ; Daan Hannessen ; Henk Hesselink ; Jelle Beetstra
Learning from Human Decision-Making Behaviors - An Application to RoboCup Software Agents / Ruck Thawonmas ; Junichiro Hirayama ; Fumiaki Takeda
Distributed Deadlock Detection in Mobile Agent Systems / Bruce Ashfield ; Dwight Deugo ; Franz Oppacher ; Tony White
An Agent-Based Approach for Production Control Incorporating Environmental and Life-Cycle Issues, together with Sensitivity Analysis / Elisabeth Hie Zudor ; László Monostori
Feasibility Restoration for Iterative Meta-heuristics Search Algorithms / Marcus Randall
Best Paper Candidates 1
Optimization of Pulse Pattern for a Multi-robot Sonar System Using Genetic Algorithm / George Nyauma Nyakoe ; Makoto Ohki ; Suichiro Tabuchi ; Masaaki Ohkita
The Suitability of Particle Swarm Optimisation for Training Neural Hardware / David Braendler ; Tim Hendtlass
Evolutionary Multi-objective Integer Programming for the Design of Adaptive Cruise Control Systems / Nando Laumanns ; Marco Laumanns ; Hartmut Kitterer
The Macronet Element: A Substitute for the Conventional Neuron / Gerrard Murray
Genetic Algorithm Optimisation of Mathematical Models Using Distributed Computing / S. Dunn ; S. Peucker
Best Paper Candidates 2
Genetic Algorithm Optimisation of Part Placement Using a Connection-Based Coding Method / Alan Crispin ; Paul Clay ; Gaynor Taylor ; Robert Hackney ; Tom Bayes ; David Reedman
A Fast Evolutionary Algorithm for Image Compression in Hardware / Mehrdad Salami
Automatic Speech Recognition: The New Millennium / Khalid Daoudi
Applying Machine Learning for Ensemble Branch Predictors / Gabriel H. Loh ; Dana S. Henry
A Customizable Configuration Tool for Design of Multi-part Products / Niall Murtagh
Neural Networks 2
Phase-to-Phase Wave Parameters Measurement of Distribution Lines Based on BP Networks / Fengling Han ; Xinghuo Yu ; Yong Feng ; Huifeng Dong
Learning Capability: Classical RBF Network vs. SVM with Gaussian Kernel / Rameswar Debnath ; Haruhisa Takahashi
Trading off between Misclassification, Recognition and Generalization in Data Mining with Continuous Features / Dianhui Wang ; Tharam Dillon ; Elizabeth Chang
Interacting Neural Modules / Garry Briscoe
The Application of Visualization and Neural Network Techniques in a Power Transformer Condition Monitoring System / Zhi-Hua Zhou ; Yuan Jiang ; Xu-Ri Yin ; Shi-Fu Chen
Internet Applications 1
Entrepreneurial Intervention in an Electronic Market Place / John Debenham
Intelligent Auto-downloading of Images / Vikram Natarajan ; Angela Goh
Intelligent Facilitation Agent for Online Web-Based Group Discussion System / Junalux Chalidabhongse ; Wirat Chinnan ; Piehet Weehasaethnon ; Arpakorn Tantisirithanakorn
TWIMC: An Anonymous Recipient E-mail System / Sebon Ku ; Bogju Lee ; Dongman Lee
Mental States of Autonomous Agents in Competitive and Cooperative Settings / Walid S. Saba
Expert Systems
An Expert System Application for Improving Results in a Handwritten Form Recognition System / Silvana Rossetto ; Flávio M. Varejão ; Thomas W. Rauber
A Knowledge-Based System for Construction Site Level Facilities Layout / M. Anson
A Decision-Support System to Improve Damage Survivability of Submarine / D. Lee ; J. Lee ; K. H. Lee
On the Verification of an Expert System: Practical Issues / Jorge Santos ; Zita Vale ; Carlos Ramos
DOWNSIZINGX: A Rule-Based System for Downsizing the Corporation's Computer Systems / J. L. Mitrpanont ; T. Plengpung
Credit Apportionment Scheme for Rule-Based Systems: Implementation and Comparative Study / N. M. Hewahi ; H. Ahmad
Internet Applications 2
An Adaptive Web Cache Access Predictor Using Neural Network / Wen Tian ; Ben Choi ; Vir V. Phoha
A Designated Bid Reverse Auction for Agent-Based Electronic Commerce / Tokuro Matsuo ; Takayuki Ito
Design of a Fuzzy Usage Parameter Controller for Diffserv and MPLS / K. K. Phang ; S. H. Lim ; M. Hj. Yaaeob ; T. C. Ling
A Tool for Extension and Restructuring Natural Language Question Answering Domains / Boris Galitsky
Effective Retrieval of Information in Tables on the Internet / Sung-Won Jung ; Kyung-Hee Sung ; Tae-Won Park ; Hyuk-chul Kwon
Evolutionary and Genetic Algorithms 2
A Fitness Estimation Strategy for Genetic Algorithms
Derivation of L-system Models from Measurements of Biological Branching Structures Using Genetic Algorithms / Bian Runqiang ; Phoebe Chen ; Kevin Burrage ; Jim Hanan ; Peter Room ; John Belward
Evolving a Schedule with Batching, Precedence Constraints, and Sequence-Dependent Setup Times: Crossover Needs Building Blocks / Paul J. Darwen
The Development of the Feature Extraction Algorithms for Thai Handwritten Character Recognition System / S. Kiwprasopsak
Route Planning Wizard: Basic Concept and Its Implementation / Teruaki Ito
AI Applications
The Design and Implementation of Color Matching System Based on Back Propagation / HaiYi Zhang ; JianDong Bi ; Barbro Back
Component-Oriented Programming as an AI-Planning Problem / Debasis Mitra ; Walter P. Bond
Dynamic CSPs for Interval-Based Temporal Reasoning / Malek Mouhoub ; Jonathan Yip
Efficient Pattern Matching of Time Series Data / Sangjun Lee ; Dongseop Kwon ; Sukho Lee
A Multi-attribute Decision-Making Approach toward Space System Design Automation through a Fuzzy Logic-Based Analytic Hierarchical Process / Michelle Lavagna ; Amalia Ercoli Finzi
Best Paper Candidates 3
A Case Based System for Oil and Gas Well Design / Simon Kravis ; Rosemary Irrgang
Ant Colony Optimisation Applied to a Dynamically Changing Problem / Daniel Angus
A GIS-Integrated Intelligent System for Optimization of Asset Management for Maintenance of Roads and Bridges / M. D. Salim ; T. Strauss ; M. Emch
A Unified Approach for Spatial Object Modelling and Map Analysis Based on 2nd Order Many-Sorted Language / Oscar Luiz Monteiro de Farias ; Sueli Bandeira Teixeira Mendes
Training and Application of Artificial Neural Networks with Incomplete Data / Zs. J. Viharos ; L. Monostori ; T. Vincze
Knowledge Processing
Message Analysis for the Recommendation of Contact Persons within Defined Subject Fields / Frank Heeren ; Wilfried Sihn
An Intelligent Knowledge Processing System on Hydrodynamics and Water Quality Modeling / C.Cheng ; Y. S. Li ; C. W. Li ; O. Wai
Uncertainty Management and Informational Relevance / M. Chachoua ; D. Pacholczyk
Potential Governing Relationship and a Korean Grammar Checker Using Partial Parsing / Mi-young Kang ; Su-ho Park ; Ae-sun Yoon
Image/Speech 2
On-Line Handwriting Character Recognition Using Stroke Information / Jungpil Shin
Face Detection by Integrating Multiresolution-Based Watersheds and a Skin-Color Model / Su-Woong Jung
Social Interaction of Humanoid Robot Based on Audio-Visual Tracking / Hiroshi G. Okuno ; Kazuhiro Nakadai ; Hiroaki Kitano
Hybrid Confidence Measure for Domain-Specific Keyword Spotting / Jinyoung Kim ; Joohun Lee ; Seungho Choi
Model Based Reasoning
Model-Based Debugging or How to Diagnose Programs Automatically / Franz Wotawa ; Markus Stumptner ; Wolfgang Mayer
On a Model-Based Design Verification for Combinatorial Boolean Networks / Satoshi Hiratsuka ; Akira Fusaoka
Optimal Adaptive Pattern Matching / Luiza de Maeedo Mourelle
Analysis of Affective Characteristics and Evaluation of Harmonious Feeling of Image Based on 1/f Fluctuation Theory / Mao Xia ; Chen Bin ; Zhu Gang ; Muta Itsuya
Adaptive Control
Collective Intelligence and Priority Routing in Networks / Bernard Pagurek
An Agent-Based Approach to Monitoring and Control of District Heating Systems / Fredrik Wernstedt ; Paul Davidsson
Using Machine Learning to Understand Operator's Skill / Ivan Bratko ; Dorian Šue
Reactive Load Control of Parallel Transformer Operations Using Neural Networks / Fakhrul Islam ; Baikunth Nath ; Joarder Kamruzzaman
Author Index
Neural Networks 1
An Error Back-Propagation Artificial Neural Networks Application in Automatic Car License Plate Recognition / Demetrios Michalopoulos ; Chih-Kang Hu
Use of Artificial Neural Networks for Buffet Loads Prediction / Oleg Levinski
24.

図書

図書
Herwig Unger, Thomas Böhme, Armin Mikler (eds.)
出版情報: Berlin : Springer, c2002  viii, 249 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2346
所蔵情報: loading…
25.

図書

図書
Juha Fagerholm ... [et al.] (eds.)
出版情報: Berlin : Springer, c2002  xiv, 612 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2367
所蔵情報: loading…
26.

図書

図書
Boris Magnusson (ed.)
出版情報: Berlin : Springer, c2002  xi, 635 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2374
所蔵情報: loading…
27.

図書

図書
六本佳平編著
出版情報: 東京 : 放送大学教育振興会, 2002.5  ix, 300p ; 21cm
シリーズ名: 放送大学大学院教材 ; 8930112-1-0211 . 政策経営プログラム||セイサク ケイエイ プログラム . 法システム||ホウ システム ; 1
所蔵情報: loading…
28.

図書

図書
Ian Horrocks, James Hendler (eds.)
出版情報: Berlin : Springer, c2002  xvi, 476 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2342
所蔵情報: loading…
29.

図書

図書
Jyrki Kontio, Reidar Conradi (eds.)
出版情報: Berlin : Springer, c2002  xiv, 361 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2349
所蔵情報: loading…
30.

図書

図書
[東京電力編]
出版情報: 東京 : 東京電力株式会社営業部サービスグループ(制作), 2001.5  38p ; 26cm
所蔵情報: loading…
31.

コンピュータファイル

コンピュータファイル
東京電力株式会社
出版情報: 東京 : 東京電力, [2002?] , 東京 : 大日本印刷[m]  CD-ROM1枚 ; 12cm
所蔵情報: loading…
32.

図書

図書
日本化学会編
出版情報: 東京 : 丸善, 2002.6  135p ; 26cm
所蔵情報: loading…
33.

図書

図書
岡本博司著
出版情報: 東京 : 東京電機大学出版局, 2002.6  v, 167p ; 21cm
所蔵情報: loading…
34.

図書

図書
福井県工業技術センター
出版情報: 福井 : 福井県工業技術センター, 2002.4  295p ; 31cm
所蔵情報: loading…
35.

図書

図書
日本経営史研究所編集
出版情報: 東京 : 萬有製薬, 2002.7  11, 507p, 図版 [13] p ; 27cm
所蔵情報: loading…
36.

図書

図書
加藤大典著
出版情報: 東京 : 丸善, 2002.9  249p ; 19cm
所蔵情報: loading…
37.

図書

図書
Zhenjiang Hu, Mario Rodríguez-Artalejo (eds.)
出版情報: Berlin : Springer, c2002  x, 304 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2441
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Formal Methods in CafeOBJ / Kokichi Futatsugi
The Essence of XML (Preliminary Version) / Jérôme Siméon ; Philip Wadler
To the Gates of HAL: A HAL Tutorial / María Garía de la Banda ; Bart Demoen ; Kim Marriott ; Peter J. Stuckey
Tutorial Paper
Functional Logic Design Patterns / Sergio Antoy ; Michael Hanus
Constraints
On Consistency and Width Notions for Constraint Programs with Algebraic Constraints / Klaus Meer
Solving Mixed Quantified Constraints over a Domain Based on Real Numbers and Herbrand Terms / Miguel García-Díaz ; Susana Nieva
Program Transformation and Analysis
On the Correctness of the Factoring Transformation / Pascual Julián Iranzo
Lambda-Lifting in Quadratic Time / Olivier Danvy ; Ulrik P. Schultz
Semantics
The Well-Founded Semantics in Normal Logic Programs with Uncertainty / Yann Loyer ; Umberto Straccia
Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus / Masahito Hasegawa
Coinductive Interpreters for Process Calculi / Luís Soares Barbosa ; José Nuno Oliveira
Rewriting
Descendants and Head Normalization of Higher-Order Rewrite Systems / Hideto Kasuya ; Masahiko Sakai ; Kiyoshi Agusa
Narrowing Failure in Functional Logic Programming / Francisco Javier López-Fraguas ; Jaime Sánchez-Hernández
Compilation Techniques
The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation / Mikael Pettersson ; Konstantinos Sagonas ; Erik Johansson
Dynamic-Cut with Definitional Trees / Rafael Caballero
Programming Methodology
The Head Condition and Polymorphic Recursion / Jan-Georg Smaus
Structural Abstraction and Application in Logic Programming / António Porto
VM?: A Functional Calculus for Scientific Discovery / Eijiro Sumii ; Hideo Bannai
Author Index
Invited Papers
Formal Methods in CafeOBJ / Kokichi Futatsugi
The Essence of XML (Preliminary Version) / Jérôme Siméon ; Philip Wadler
38.

図書

図書
Pascal Van Hentenryck (ed.)
出版情報: Berlin ; Tokyo : Springer, c2002  xvi, 794 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2470
所蔵情報: loading…
39.

図書

図書
Werner Damm, Ernst-Rüdiger Olderog (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  x, 453 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2469
所蔵情報: loading…
40.

図書

図書
Petr Sojka, Ivan Kopeček, Karel Pala (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  xii, 481 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2448 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Text / I:
A Common Solution for Tokenization and Part-of-Speech Tagging / Jorge Graña ; Miguel A. Alonso ; Manuel Vilares
Rule Parser for Arabic Stemmer / Imad A. Al-Sughaiyer ; Ibrahim A. Al-Kharashi
Achieving an Almost Correct PoS-Tagged Corpus / Pavel Květoň ; Karel Oliva
Evaluation of a Japanese Sentence Compression Method Based on Phrase Significance and Inter-Phrase Dependency / Rei Oguro ; Hiromi Sekiya ; Yuhei Morooka ; Kazuyuki Takagi ; Kazuhiko Ozeki
User Query Understanding by the InBASE System as a Source for a Multilingual NL Generation Module / Michael V. Boldasov ; Elena G. Sokolova ; Michael G. Malkovsky
The Role of WSD for Multilingual Natural Language Applications / Andrés Montoyo ; Rafael Romero ; Sonia Vázquez ; Carmen Calle ; Susana Soler
Gibbsian Context-Free Grammar for Parsing / Antoine Rozenknop
Cross-Language Access to Recorded Speech in the MALACH Project / Douglas W. Oard ; Dina Demner-Fushman ; Jan Hajič ; Bhuvana Ramabhadran ; Samuel Gustman ; William J. Byrne ; Dagobert Soergel ; Bonnie Dorr ; Philip Resnik ; Michael Picheny
Using Salient Words to Perform Categorization of Web Sites / Marek Trabalka ; Mária Bieliková
Discourse-Semantic Analysis of Hungarian Sign Language / Gábor Alberti ; Helga M. Szabó
Dependency Analyser Configurable by Measures / Tomáš Holan
The Generation and Use of Layer Information in Multilayered Extended Semantic Networks / Sven Hartrumpf ; Hermann Helbig
Filtering of Large Numbers of Unstructured Text Documents by the Developed Tool TEA / Jan Žižka ; Aleš Bourek
Visualisation Techniques for Analysing Meaning / Dominic Widdows ; Scott Cederberg ; Beate Dorow
Statistical Part-of-Speech Tagging for Classical Chinese / Liang Huang ; Yinan Peng ; Huan Wang ; Zhenyu Wu
Spanish Natural Language Interface for a Relational Database Querying System / Rodolfo A. Pazos Rangel ; Alexander Gelbukh ; Juan Javier González Barbosa ; Erika Alarcón Ruiz ; Alejandro Mendoza Mejía ; Ana Patricia Domínguez Sánchez
Word Sense vs. Word Domain Disambiguation: A Maximum Entropy Approach / Armando Suárez ; Manuel Palomar
Exploiting Thesauri and Hierarchical Categories in Cross-Language Information Retrieval / Fatiha Sadat ; Masatoshi Yoshikawa ; Shunsuke Uemura
Valency Lexicon for Czech: From Verbs to Nouns / Markéta Lopatková ; Veronika Řezníčková ; Zdeněk Žabokrtský
Term Clustering Using a Corpus-Based Similarity Measure / Goran Nenadić ; Irena Spasić ; Sophia Ananiadou
Word Sense Discrimination for Czech / Robert Král
Tools for Semi-automatic Assignment of Czech Nouns to Declination Patterns / Dita Bartůšková ; Radek Sedláček
Speech / II:
Automatic Lexical Stress Assignment of Unknown Words for Highly Inflected Slovenian Language / Tomaž Šef ; Maja Škrjanc ; Matjaž Gams
German and Czech Speech Synthesis Using HMM-Based Speech Segment Database / Jindřich Matoušek ; Daniel Tihelka ; Josef Psutka ; Jana Hesová
Comparison and Combination of Confidence Measures / Georg Stemmer ; Stefan Steidl ; Elmar Nöth ; Heinrich Niemann ; Anton Batliner
Strategies for Developing a Real-Time Continuous Speech Recognition System for Czech Language / Jan Nouza
Comparative Study on Bigram Language Models for Spoken Czech Recognition / Dana Nejedlová
Integration of Speech Recognition and Automatic Lip-Reading / Pascal Wiggers ; Leon J. M. Rothkrantz
Utterance Verification Based on the Likelihood Distance to Alternative Paths / Gies Bouwman ; Lou Boves
Rejection Technique Based on the Mumble Model / Tomáš Bartoš ; Luděk Müller
Efficient Noise Estimation and Its Application for Robust Speech Recognition / Petr Motlíček ; Lukáš Burget
AlfaNum System for Speech Synthesis in Serbian Language / Milan Sečujski ; Radovan Obradović ; Darko Pekar ; Ljubomir Jovanov ; Vlado Delić
Speech Features Extraction Using Cone-Shaped Kernel Distribution / Janez Žibert ; France Mihelič ; Nikola Pavešić
Automatic Transcription of Czech Language Oral History in the MALACH Project: Resources and Initial Experiments / Pavel Ircing ; Josef V. Psutka ; Vlasta Radová
On the First Greek-TTS Based on Festival Speech Synthesis / P. Zervas ; Ilyas Potamitis ; Nikos Fakotakis ; George Kokkinakis
An Analysis of Limited Domains for Speech Synthesis / Robert Batůšek
Advances in Very Low Bit Rate Speech Coding Using Recognition and Synthesis Techniques / Geneviève Baudoin ; François Capman ; Jan Černocký ; Fadi El Chami ; Maurice Charbit ; Gérard Chollet ; Dijana Petrovska-Delacrétaz
A Comparison of Different Approaches to Automatic Speech Segmentation / Kris Demuynck ; Tom Laureys
Keyword Spotting Using Support Vector Machines / Yassine Ben Ayed ; Dominique Fohr ; Jean Paul Haton
Automatic Parameter Estimation for a Context- Independet Speech Segmentation Algorithm / Guido Aversano ; Anna Esposito
Phoneme Lattice Based A* Search Algorithm for Speech Recognition / Pascal Nocera ; Georges Linares ; Dominique Massonié ; Loïc Lefort
Heuristic and Statistical Methods for Speech/Non-speech Detector Design / Michal Prcín
An Analysis of Conditional Responses in Dialogue / Elena Karagjosova ; Ivana Kruijff-Korbayová
Some Like It Gaussian / Pavel Matějka ; Petr Schwarz ; Martin Karafiát ; Jan Čocký
Kernel Springy Discriminant Analysis and Its Application to a Phonological Awareness Teaching System / András Kocsor ; Kornél Kovács
Large Vocabulary Speech Recognition of Slovenian Language Using Data-Driven Morphological Models / Tomaž Rotovnik ; Mirjam Sepesy Maučec ; Bogomir Horvat ; Zdravko Kačič
Uniform Speech Recognition Platform for Evaluation of New Algorithms / Andrej Žgank
Speech Enhancement Using Mixtures of Gaussians for Speech and Noise / Nikos Liolios
Fitting German into N-Gram Language Models / Robert Hecht ; Jürgen Riedler ; Gerhard Backfried
Audio Collections of Endangered Arctic Languages in the Russian Federation / Marina Lublinskaya ; Tatiana Sherstinova
Dialogue / III:
Prosodic Classification of Offtalk: First Experiments / Viktor Zeißler
Statistical Decision Making from Text and Dialogue Corpora for Effective Plan Recognition / Manolis Maragoudakis ; Aristomenis Thanopoulos
Natural Language Guided Dialogues for Accessing the Web / Marta Gatius ; Horacio Rodríguez
Evaluating a Probabilistic Dialogue Model for a Railway Information Task / Carlos D. Martínez-Hinarejos ; Francisco Casacuberta
Applying Dialogue Constraints to the Understanding Process in a Dialogue System / Emilio Sanchis ; Fernando García ; Isabel Galiano ; Encarna Segarra
Evaluation of Prediction Methods Applied to an Inflected Language / Nestor Garay-Vitoria ; Julio Abascal ; Luis Gardeazabal
Knowledge Based Speech Interfacing for Handhelds / C.K. Yang ; Leon J.M. Rothkrantz
Different Approaches to Build Multilingual Conversational Systems / Marion Mast ; Thomas Roß ; Henrik Schulz ; Heli Harrikari
Strategies to Overcome Problematic Input in a Spanish Dialogue System / Victoria Arranz ; Núria Castell ; Montserrat Civit
Dialogue Systems and Planning / Guy Camilleri
A Flexible Framework for Evaluation of New Algorithms for Dialogue Systems / Pavel Cenek
From HTML to VoiceXML: A First Approach / César González Ferreras ; David Escudero Mancebo ; Valentín Cardeñoso Payo
Voice Chat with a Virtual Character: The Good Soldier Švejk Case Project / Petr Kolář ; Josef Chaloupka
Application of Spoken Dialogue Technology in a Medical Domain / I. Azzini ; T. Giorgino ; D. Falavigna ; R. Gretter
A Voice-Driven Web Browser for Blind People / Simon Dobrišek ; Jerneja Gros ; Boštjan Vesnicer
Enhancing Best Analysis Selection and Parser Comparison / Aleš Horák ; Vladimír Kadlec ; Pavel Smrž
Author Index
Subject Index
Text / I:
A Common Solution for Tokenization and Part-of-Speech Tagging / Jorge Graña ; Miguel A. Alonso ; Manuel Vilares
Rule Parser for Arabic Stemmer / Imad A. Al-Sughaiyer ; Ibrahim A. Al-Kharashi
41.

図書

図書
Hélène Kirchner, Christophe Ringeissen (eds.)
出版情報: Berlin : Springer, c2002  xi, 501 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2422
所蔵情報: loading…
42.

図書

図書
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:
43.

図書

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

図書

図書
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…
45.

図書

図書
桂川茂彦編集
出版情報: 東京 : 南山堂, 2002.9  v, 270p ; 21cm
シリーズ名: 診療放射線技術選書
所蔵情報: loading…
46.

図書

図書
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
47.

図書

図書
「社会環境レポート」編集部著
出版情報: 東京 : 日本ビルサービス, 2002.8  206p ; 30cm
所蔵情報: loading…
48.

図書

図書
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:
49.

図書

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

図書

図書
Rolf Möhring, Rajeev Raman (eds.)
出版情報: Berlin : Springer, c2002  xiv, 917 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2461
所蔵情報: loading…
51.

図書

図書
Bertrand Hochet, Antonio J. Acosta, Manuel J. Bellido (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  xvi, 496 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2451
所蔵情報: loading…
52.

図書

図書
Maristella Agosti, Costantino Thanos (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  xvi, 664 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2458
所蔵情報: loading…
目次情報: 続きを見る
Web Archiving
A First Experience in Archiving the French Web / S. Abiteboul ; G. Cobéna ; J. Masanes ; G. Sedrati
Austrian Online Archive Processing: Analyzing Archives of the World Wide Web / Andreas Rauber ; Andreas Aschenbrenner ; Oliver Witvoet
e-Book
Conversion of eBook Documents Based on Mapping Relations / Seung-Kyu Ko ; Myoung-Soo Kang ; Won-Sung Sohn ; Soon-Bum Lim ; Yoon-Chul Choy
Guidelines for Designing Electronic Books / Ruth Wilson ; Monica Landoni ; Forbes Gibb
Collection Building
Personalized Classification for Keyword-Based Category Profiles / Aixin Sun ; Ee-Peng Lim ; Wee-Keong Ng
Statistical Analysis of Bibliographic Strings for Constructing an Integrated Document Space / Atsuhiro Takasu
Focused Crawls, Tunneling, and Digital Libraries / Donna Bergmark ; Carl Lagoze ; Alex Sbityakov
Web Technologies
Goal-Oriented Requirements Specification for Digital Libraries / Davide Bolchini ; Paolo Paolini
OntoLog: Temporal Annotation Using Ad Hoc Ontologies and Application Profiles / Jon Heggland
An XML Log Standard and Tool for Digital Library Logging Analysis / Marcos André Gonçalves ; Ming Luo ; Rao Shen ; Mir Farooq Ali ; Edward A. Fox
OAI Applications
Notes from the Interoperability Front: A Progress Report on the Open Archives Initiative / Herbert Van de Sompel
Dynamic Generation of Intelligent Multimedia Presentations through Semantic Inferencing / Suzanne Little ; Joost Geurts ; Jane Hunter
Technical Report Interchange through Synchronized OAI Caches / Xiaoming Liu ; Kurt Maly ; Mohammad Zubair ; Rong Tang ; Mohammed Imran Padshah ; George Roncaglia ; JoAnne Rocker ; Michael Nelson ; William von Ofenheim ; Richard Luce ; Jacqueline Stack ; Frances Knudson ; Beth Goldsmith ; Irma Holtkamp ; Miriam Blake ; Jack Carter ; Mariella Di Giacomo ; Jerome Nutter ; Susan Brown ; Ron Montbrand ; Sally Landenberger ; Kathy Pierson ; Vince Duran ; Beth Moser
Case Studies
Functional Requirements for Online Tools to Support Community-Led Collections Building / Michael Khoo ; Holly Devaul ; Tamara Sumner
A Study on the Evaluation Model for University Libraries in Digital Environments / Byeong Heui Kwak ; Woochun Jun ; Le Gruenwald ; Suk-Ki Hong
Renardus: Following the Fox from Project to Service / Lesly Huxley
From Digital Archive to Digital Library - A Middleware for Earth-Observation Data Management / Stephan Kiemle
Navigation/Query Language
Navigating in Bibliographic Catalogues / Trond Aalberg
Foundations of a Multidimensional Query Language for Digital Libraries / Donatella Castelli ; Carlo Meghini ; Pasquale Pagano
Audio/Video Retrieval
The TREC2001 Video Track: Information Retrieval on Digital VideoInformation / Alan F. Smeaton ; Paul Over ; Cash J. Costello ; Arjen P. de Vries ; David Doermann ; Alexander Hauptmann ; Mark E. Rorvig ; John R. Smith ; Lide Wu
Automated Alignment and Annotation of Audio-Visual Presentations / Gareth J.F. Jones ; Richard J. Edens
Architecture I
OpenDLib: A Digital Library Service System
Prototyping Digital Library Technologies in / zetoc ; Ann Apps ; Ross MacIntyre
Employing Smart Browsers to Support Flexible Information Presentation in Petri Net-Based Digital Libraries / Unmil P. Karadkar ; Jin-Cheon Na ; Richard Furuta
IR
On the Use of Explanations as Mediating Device for Relevance Feedback / Ian Ruthven
Qualitative Evaluation of Thesaurus-Based Retrieval / D. Blocks ; C. Binding ; D. Cunliffe ; D. Tudhope
Meta-data Extraction and Query Translation. Treatment of Semantic Heterogeneity / Robert Strötgen
Architecture II
MetaDL: A Digital Library of Metadata for Sensitive or Complex Research Data / Fillia Makedon ; James Ford ; Li Shen ; Tilmann Steinberg ; Andrew Saykin ; Heather Wishart ; Sarantos Kapidakis
Importing Documents and Metadata into Digital Libraries: Requirements Analysis and an Extensible Architecture / Ian H. Witten ; David Bainbridge ; Gordon Paynter ; Stefan Boddie
The Mellon Fedora Project (Digital Library Architecture Meets XML and Web Services) / Sandra Payette ; Thornton Staples
Evaluation
Hybrid Partition Inverted Files: Experimental Validation / Wensi Xi ; Ohm Sornil
Digital Library Evaluation by Analysis of User Retrieval Patterns / Johan Bollen ; Somasekhar Vemulapalli ; Weining Xu
Interactive Search Results / Ioannis Papadakis ; Ioannis Andreou ; Vassileios Chrissikopoulos
Multimedia/Mixed Media
An Investigation of Mixed-Media Information Retrieval / Adenike M. Lam-Adesina
Alignment of Performances with Scores Aimed at Content-Based Music Access and Retrieval / Nicola Orio
Alternative Surrogates for Video Objects in a Digital Library: Users' Perspectives on Their Relative Usability / Barbara M. Wildemuth ; Gary Marchionini ; Todd Wilkens ; Meng Yang ; Gary Geisler ; Beth Fowler ; Anthony Hughes ; Xiangming Mu
Word Alignment in Digital Talking Books Using WFSTs / António Serralheiro ; Diamantino Caseiro ; Hugo Meinedo ; Isabel Trancoso
Preservation/Classification/User Studies
Migration on Request, a Practical Technique for Preservation / Phil Mellor ; Paul Wheatley ; Derek Sergeant
Information Alert in Distributed Digital Libraries: The Models, Languages, and Architecture of DIAS / M. Koubarakis ; T. Koutris ; C. Tryfonopoulos ; P. Raftopoulou
DSpace: An Institutional Repository from the MIT Libraries and Hewlett Packard Laboratories / MacKenzie Smith
User Behavior Tendencies on Data Collections in a Digital Library / Michalis Sfakakis
Student Comprehension of Classification Applications in a Science Education Digital Library / Jane Greenberg ; Kristen A. Bullard ; M.L. James ; Evelyn Daniel ; Peter White
Architecture III
Designing Protocols in Support of Digital Library Componentization / Hussein Suleman
Exploring Small Screen Digital Library Access with the Greenstone Digital Library / George Buchanan ; Matt Jones ; Gary Marsden
Daffodil: An Integrated Desktop for Supporting High-Level Search Activities in Federated Digital Libraries / Norbert Fuhr ; Claus-Peter Klas ; André Schaefer ; Peter Mutschke
Humanities
Using Human Language Technology for Automatic Annotation and Indexing of Digital Library Content / Kalina Bontcheva ; Diana Maynard ; Hamish Cunningham ; Horacio Saggion
Cultural Heritage Digital Libraries: Needs and Components / Gregory Crane
Visualization of Variants in Textual Collations to Analyze the Evolution of Literary Works in the Cervantes Project / Carlos Monroy ; Rajiv Kochumman ; Eduardo Urbina ; Eréndira Melgoza ; Arpita Goenka
Demos and Posters
Alinari Online: Access Quality through a Cultural Photographic Heritage Site / Andrea de Polo ; Sam Minelli
An Access Control System for Digital Libraries and the Web: The MaX Prototype Demonstration / Elisa Bertino ; Elena Ferrari ; Andrea Perego
Human Language Technology for Automatic Annotation and Indexing of Digital Library Content
The IntraText Digital Library: XML-Driven Online Library Based on High Accessibility, Lexical Hypertextualization and Scholarly Accuracy in Philological / Textual Notations / Nicola Mastidoro
The Meta Project - Automated Digitisation of Books and Journals / Günter Mühlberger ; Birgit Stehno
COVAX: A Contemporary Culture Virtual Archive in XML / Luciana Bordoni
Author Index
Web Archiving
A First Experience in Archiving the French Web / S. Abiteboul ; G. Cobéna ; J. Masanes ; G. Sedrati
Austrian Online Archive Processing: Analyzing Archives of the World Wide Web / Andreas Rauber ; Andreas Aschenbrenner ; Oliver Witvoet
53.

図書

図書
Matthias Klusch, Sascha Ossowski, Onn Shehory (eds.)
出版情報: Berlin : Springer, c2002  xi, 319 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2446 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Invited Contributions
Agents, Crawlers, and Web Retrieval / Ricardo Baeza-Yates ; José Miguel Piquer
Intelligent Interfaces for Information Agents: Systems, Experiences, Future Challenges / Kenji Mase
Electronic Institutions: Future Trends and Challenges / Pablo Noriega ; Carles Sierra
Making Peer Databases Interact - A Vision for an Architecture Supporting Data Coordination / Fausto Giunchiglia ; Ilya Zaihrayeu
Information Agents for Mobile Computing Environments Tourists on the Move / Mikko Laukkanen ; Heikki Helin ; Heimo Laamanen
An Agent-Based Approach for Helping Users of Hand-Held Devices to Browse Software Catalogs / E. Mena ; J.A. Royo ; A. Illarramendi ; A. Goñi
Large Scale Peer-to-Peer Experiments with Virtual Private Community (VPC) Framework / Tadashige Iwao ; Makoto Okada ; Kazuya Kawashima ; Satoko Matsumura ; Hajime Kanda ; Susumu Sakamoto ; Tatsuya Kainuma ; Makoto Amamiya
Issues of Interaction and Negotiation
A Cognitive Architecture for the Design of an Interaction Agent / Ana García-Serrano ; Javier Calle-Gomez
A Multi-agent Reflective Architecture for User Assistance and Its Application to E-commerce / Antonella Di Stefano ; Giuseppe Pappalardo ; Corrado Santoro ; Emiliano Tramontana
Curious Negotiator / Simeon Simoff ; John Debenham
Measuring Behaviour-Based Trust between Negotiating Agents / Michael Grimsley ; Anthony Meehan
Information Gathering and Collaborative Filtering Acquiring an Optimal Amount of Information for Choosing from Alternatives / Rina Azoulay-Schwartz ; Sarit Kraus
A Competitive Information Recommendation System and Its Behavior / Yasuhiko Kitamura ; Toshiki Sakamoto ; Shoji Tatsumi
Agents That Model and Learn User Interests for Dynamic Collaborative Filtering / Gulden Uchyigit ; Keith Clark
Opinion-Based Filtering through Trust / Miquel Montaner ; Beatriz López ; Josep L. de la Rosa
Agent-Based Information and Knowledge Management
Data Models and Languages for Agent-Based Textual Information Dissemination / M. Koubarakis ; C. Tryfonopoulos ; P. Raftopoulou ; T. Koutris
Integrating Distributed Information Sources with CARROT II / R. Scott Cost ; Srikanth Kallurkar ; Hemali Majithia ; Charles Nicholas ; Yongmei Shi
Distributed Artificial Intelligence for Distributed Corporate Knowledge Management / Fabien Gandon ; Rose Dieng-Kuntz
Integrating Information Gathering and Problem-Solving in Open Environments / Santiago Macho-Gonzalez ; Boi Faltings
Supporting Virtual Organisations Using BDI Agents and Constraints / Stuart Chalmers ; Peter M.D. Gray ; Alun Preece
Issues of Agent Communication and Cooperation
An Approach to Agent Communication Based on Organisational Roles / Juan M. Serrano ; Sascha Ossowski
Exploiting Partially Shared Ontologies for Multi-agent Communication / Heiner Stuckenschmidt
Evaluation of Distributed and Centralized Agent Location Mechanisms / David Ben-Ami ; Onn Shehory
Exchanging and Combining Temporal Information in a Cooperative Environment / Meirav Hadad
Issues of Information Agent Mobility
Programming Agent Mobility / Rebecca Montanari ; Gianluca Tonti ; Cesare Stefanelli
A Method for Protecting Mobile Agents against Denial of Service Attacks / Biljana Cubaleska ; Markus Schneider
Threshold Route Optimization Algorithm for Information Retrieving Mobile Agents / Roman Morawek
Author Index
Invited Contributions
Agents, Crawlers, and Web Retrieval / Ricardo Baeza-Yates ; José Miguel Piquer
Intelligent Interfaces for Information Agents: Systems, Experiences, Future Challenges / Kenji Mase
54.

図書

図書
Roderic Guigó, Dan Gusfield (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  x, 554 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2452
所蔵情報: loading…
55.

図書

図書
Klaus Jansen, Stefano Leonardi, Vijay Vazirani (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  viii, 269 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2462
所蔵情報: loading…
56.

図書

図書
木下義夫編著
出版情報: 東京 : 日本理化学硝子機器工業会, 2002.9  xxviii, 382p ; 31cm
所蔵情報: loading…
57.

図書

図書
Juan Julián Merelo Guervós ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  xxii, 947 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2439
所蔵情報: loading…
目次情報: 続きを見る
Evolutionary Algorithms Theory
Random Dynamics Optimum Tracking with Evolution Strategies / Dirk V. Arnold ; Hans-Georg Beyer
On the Behavior of Evolutionary Global-Local Hybrids with Dynamic Fitness Functions / Roger Eriksson ; Björn Olsson
Measuring the Searched Space to Guide Efficiency: The Principle and Evidence on Constraint Satisfaction / Jano I. van Hemert ; Thomas Bäck
On the Analysis of Dynamic Restart Strategies for Evolutionary Algorithms / Thomas Jansen
Running Time Analysis of Multi-objective Evolutionary Algorithms on a Simple Discrete Optimization Problem / Marco Laumanns ; Lothar Thiele ; Eckart Zitzler ; Emo Welzl ; Kalyanmoy Deb
Fitness Landscapes Based on Sorting and Shortest Paths Problems / Jens Scharnow ; Karsten Tinnefeld ; Ingo Wegener
Performance Measures for Dynamic Environments / Karsten Weicker
Representation/Codification Issues
Direct Representation and Variation Operators for the Fixed Charge Transportation Problem / Christoph Eckert ; Jens Gottlieb
On the Utility of Redundant Encodings in Mutation-Based Evolutionary Search / Joshua D. Knowles ; Richard A. Watson
Binary Representations of Integers and the Performance of Selectorecombinative Genetic Algorithms / Franz Rothlauf
Variation Operators: Analysis, New Techniques
Parallel Varying Mutation in Deterministic and Self-adaptive GAs / Hernán E. Aguirre ; Kiyoshi Tanaka
Self-organizing Maps for Pareto Optimization of Airfoils / Dirk Büche ; Gianfranco Guidati ; Peter Stoll ; Petros Koumoutsakos
On Fitness Distributions and Expected Fitness Gain of Mutation Rates in Parallel Evolutionary Algorithms / David W. Corne ; Martin J. Oates ; Douglas B. Kell
Opposites Attract: Complementary Phenotype Selection for Crossover in Genetic Programming / B Dolin ; M.G. Arenas ; J.J. Merelo
Theoretical Analysis of the Confidence Interval Based Crossover for Real-Coded Genetic Algorithms / C Hervás-Martínez ; D. Ortiz-Boyer ; N. García-Pedrajas
Deterministic Multi-step Crossover Fusion: A Handy Crossover Composition for GAs / Kokolo Ikeda ; Shigenobu Kobayashi
Operator Learning for a Problem Class in a Distributed Peer-to-Peer Environment / M. Jelasity ; M. Preuß ; A.E. Eiben
Crossover Operator Effect in Function Optimization with Constraints / D Ortiz-Boyer ; C. Hervás-Martínez
Reducing Random Fluctuations in Mutative Self-adaptation / Thomas Philip Runarsson
On Weight-Biased Mutation for Graph Problems / Günther R. Raidl ; Gabriele Kodydek ; Bryant A. Julstrom
Self-adaptive Operator Scheduling Using the Religion-Based EA / René Thomsen ; Thiemo Krink
Probabilistic Model-Building Genetic Algorithms in Permutation Representation Domain Using Edge Histogram / Shigeyoshi Tsutsui
From Syntactical to Semantical Mutation Operators for Structure Optimization / Dirk Wiesmann
Evolutionary Techniques: Coevolution
Parameter Control within a Co-operative Co-evolutionary Genetic Algorithm / Antony Iorio ; Xiaodong Li
The Effects of Representational Bias on Collaboration Methods in Cooperative Coevolution / R. Paul Wiegand ; William C. Liles ; Kenneth A. De Jong
Multiobjective Optimization
Parallel and Hybrid Models for Multi-objective Optimization: Application to the Vehicle Routing Problem / Nicolas Jozefowiez ; Frédéric Semet ; El-Ghazali Talbi
Multiobjective Design Optimization of Merging Configuration for an Exhaust Manifold of a Car Engine / Masahiro Kanazaki ; Masashi Morikaw ; Shigeru Obayashi ; Kazuhiro Nakahashi
Multi-objective Co-operative Co-evolutionary Genetic Algorithm / Nattavut Keerativuttitumrong ; Nachol Chaiyaratana ; Vara Varavithya
Bayesian Optimization Algorithms for Multi-objective Optimization / Jiri Ocenasek
An Evolutionary Algorithm for Controlling Chaos: The Use of Multi-objective Fitness Functions / Hendrik Richter
Evolutionary Algorithms: New Techniques
On Modelling Evolutionary Algorithm Implementations through Co-operating Populations / Panagiotis Adamidis ; Vasilios Petridis
Permutation Optimization by Iterated Estimation of Random Keys Marginal Product Factorizations / Peter A.N. Bosman ; Dirk Thierens
Advanced Population Diversity Measures in Genetic Programming / Edmund Burke ; Steven Gustafson ; Graham Kendall ; Natalio Krasnogor
Introducing Start Expression Genes to the Linkage Learning Genetic Algorithm / Ying-ping Chen ; David E. Goldberg
Metamodel-Assisted Evolution Strategies / Michael Emmerich ; Alexius Giotis ; Mutlu Özdemir ; Kyriakos Giannakoglou
Limiting the Number of Fitness Cases in Genetic Programming Using Statistics / Mario Giacobini ; Marco Tomassini ; Leonardo Vanneschi
Resource-Based Fitness Sharing / Jeffrey Horn
Evolution Strategy with Neighborhood Attraction Using a Neural Gas Approach / Jutta Huhse ; Thomas Villmann ; Peter Merz ; Andreas Zell
A New Asynchronous Parallel Evolutionary Algorithm for Function Optimization / Pu Liu ; Francis Lau ; Michael J. Lewis ; Cho-li Wang
Fighting Bloat with Nonparametric Parsimony Pressure / Sean Luke ; Liviu Panait
Increasing the Serial and the Parallel Performance of the CMA-Evolution Strategy with Large Populations / Sibylle D. Müller ; Nikolaus Hansen
Adaptive Reservoir Genetic Algorithm with On-Line Decision Making / Cristian Munteanu ; Agostinho Rosa
Genetic Algorithm Visualization Using Self-organizing Maps / G. Romero ; P.A. Castillo ; J.G. Castellano
Generalised Regression GA for Handling Inseparable Function Interaction: Algorithm and Applications / Rajkumar Roy ; Ashutosh Tiwari
Diversity-Guided Evolutionary Algorithms / Rasmus K. Ursem
Hybrid Algorithms: Neurogenetic Algorithms, Evolutionary Techniques Applied to Neural Nets
Evolutionary Optimization of Heterogeneous Problems / Lluís A. Belanche Muñoz
Automatic Recurrent and Feed-Forward ANN Rule and Expression Extraction with Genetic Programming / Julian Dorado ; Juan R. Rabuñal ; Antonino Santos ; Alejandro Pazos ; Daniel Rivero
Learning and Evolution by Minimization of Mutual Information / Yong Liu ; Xin Yao
Evolved RBF Networks for Time-Series Forecasting and Function Approximation / V.M. Rivas
Hybrid Algorithms: Memetic, Other
Evolutive Identification of Fuzzy Systems for Time-Series Prediction / Jesús González ; Ignacio Rojas ; Héctor Pomares
HyGLEAM - An Approach to Generally Applicable Hybridization of Evolutionary Algorithms / Wilfried Jakob
Co-evolving Memetic Algorithms: Initial Investigations / Jim Smith
Learning Classifier Systems
Consideration of Multiple Objectives in Neural Learning Classifier Systems / Larry Bull ; Matt Studley
On Using Constructivism in Neural Classifier Systems
Initial Modifications to XCS for Use in Interactive Evolutionary Design / David Wyatt ; Ian Parmee
First Results from Experiments in Fuzzy Classifier System Architectures for Mobile Robotics / A.G. Pipe ; B. Carse
TCS Learning Classifier System Controller on a Real Robot / Jacob Hurst ; Chris Melhuish
Comparison of Different Techniques
Comparing Synchronous and Asynchronous Cellular Genetic Algorithms / Enrique Alba ; Sergio Romero
Satellite Range Scheduling: A Comparison of Genetic, Heuristic and Local Search / L. Barbulescu ; A.E. Howe ; J.P. Watson ; L.D. Whitley
The LifeCycle Model: Combining Particle Swarm Optimisation, Genetic Algorithms and HillClimbers / Morten Løvbjerg
Metaheuristics for Group Shop Scheduling / Michael Sampels ; Christian Blum ; Monaldo Mastrolilli ; Olivia Rossi-Doria
Experimental Investigation of Three Distributed Genetic Programming Models / Francisco Fernández ; Germán Galeano
Model-Based Search for Combinatorial Optimization: A Comparative Study / Mark Zlochin ; Marco Dorigo
Evolutionary Algorithm Implementations
A Framework for Distributed Evolutionary Algorithms / P. Collet ; B. Paechter ; M. Schoenauer
Optimisation of Multilayer Perceptrons Using a Distributed Evolutionary Algorithm with SOAP
Applications
Off-Line Evolution of Behaviour for Autonomous Agents in Real-Time Computer Games / Eike Falk Anderson
A Parallel Evolutionary Algorithm for Stochastic Natural Language Parsing / Lourdes Araujo
Evolutionary Learning of Boolean Queries by Multiobjective Genetic Programming / Oscar Cordón ; Enrique Herrera-Viedma ; María Luque
Inferring Phylogenetic Trees Using Evolutionary Algorithms / Carlos Cotta ; Pablo Moscato
Towards a More Efficient Evolutionary Induction of Bayesian Networks / Jorge Muruzáabal
Robust Multiscale Affine 2D-Image Registration through Evolutionary Strategies / Héctor Fernando Gómez García ; Arturo González Vega ; Arturo Hernández Aguirre ; José Luis Marroquín Zaleta ; Carlos Coello Coello
Synthesizing Graphical Models Employing Explaining Away / Ralf Garionis
Constructive Geometric Constraint Solving: A New Application of Genetic Algorithms / R. Joan-Arinyo ; M.V. Luzón ; A. Soto
Multimeme Algorithms for Protein Structure Prediction / N. Krasnogor ; B.P. Blackburne ; E.K. Burke ; J.D. Hirst
A Dynamic Traffic Model for Frequency Assignment / Hakim Mabed ; Alexandre Caminada ; Jin-Kao Hao ; Denis Renaud
A Parameter-Free Genetic Algorithm for a Fixed Channel Assignment Problem with Limited Bandwidth / Shouichi Matsui ; Isamu Watanabe ; Ken-ichi Tokoro
Real-Coded Parameter-Free Genetic Algorithm for Job-Shop Scheduling Problems
Clustering Gene Expression Profiles with Memetic Algorithms
Cellular Automata and Genetic Algorithms for Parallel Problem Solving in Human Genetics / Jason H. Moore ; Lance W. Hahn
Evolutionary Graph Generation System and Its Application to Bit-Serial Arithmetic Circuit Synthesis / Makoto Motegi ; Naofumi Homma ; Takafumi Aoki ; Tatsuo Higuchi
Evaluating Multi-criteria Evolutionary Algorithms for Airfoil Optimisation / Boris Naujoks ; Lars Willmes ; Werner Haase
Hyperheuristics: A Robust Optimisation Method Applied to Nurse Scheduling / Peter Cowling ; Eric Soubeiga
Evolving the Topology of Hidden Markov Models Using Evolutionary Algorithms
Solving a Real World Routing Problem Using Multiple Evolutionary Agents / Neil Urquhart ; Peter Ross ; Ben Paechter ; Ken Chisholm
Other Bioinspired Algorithms: Cellular Automata, Ant Colony Optimization
An Ant Colony Optimization Approach to the Probabilistic Traveling Salesman Problem / Leonora Bianchi ; Luca Maria Gambardella
When Model Bias Is Stronger than Selection Pressure
Evolution of Asynchronous Cellular Automata / Mathieu S. Capcarrere
Improved Ant-Based Clustering and Sorting in a Document Retrieval Interface / Julia Handl ; Bernd Meyer
An Adaptive Flocking Algorithm for Spatial Clustering / Gianluigi Folino ; Giandomenico Spezzano
Evolution of Asynchronous Cellular Automata for the Density Task / Mattias Venzi
Author Index
Evolutionary Algorithms Theory
Random Dynamics Optimum Tracking with Evolution Strategies / Dirk V. Arnold ; Hans-Georg Beyer
On the Behavior of Evolutionary Global-Local Hybrids with Dynamic Fitness Functions / Roger Eriksson ; Björn Olsson
58.

図書

図書
Stuart Anderson, Sandro Bologna, Massimo Felici (eds.)
出版情報: Berlin : Springer, c2002  xx, 346 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2434
所蔵情報: loading…
59.

図書

図書
Yannis Manolopoulos, Pavol Návrat (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  xiii, 414 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2435
所蔵情報: loading…
60.

図書

図書
Matthias Jarke, Jana Koehler, Gerhard Lakemeyer (eds.)
出版情報: Berlin : Springer, c2002  xiii, 326 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2479 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Natural Language
LIGHT - A Constraint Language and Compiler System for Typed-Unification Grammars / Liviu Ciortuz
Phrase-Based Statistical Machine Translation / Richard Zens ; Franz Josef Och ; Hermann Ney
Compiling Dynamic Agent Conversations / Pierre Bonzon
Machine Learning - Combined Approaches
Dynamic Pricing of Information Products Based on Reinforcement Learning: A Yield-Management Approach / Michael Schwind ; Oliver Wendt
Incremental Fuzzy Decision Trees / Marina Guetova ; Steffen Holldobler ; Hans-Peter Storr
Learning from Multiple Bayesian Networks for the Revision and Refinement of Expert Systems / Michael Borth
Knowledge Representation, Semantic Web, AI Planning
On the Problem of Computing Small Representations of Least Common Subsumers / Franz Baader ; Anni-Yasmin Turhan
Approximate Information Filtering on the Semantic Web / Heiner Stuckenschmidt
ParleE: An Adaptive Plan Based Event Appraisal Model of Emotions / The Duy Bui ; Dirk Heylen ; Mannes Poel ; Anton Nijholt
Integrating Function Application in State-Based Planning / Ute Schmid ; Marina Muller ; Fritz Wysotzki
Machine Learning - Neural Networks
Fast Winner-Takes-All Networks for the Maximum Clique Problem / Brijnesh J. Jain
Augmenting Supervised Neural Classifier Training Using a Corpus of Unlabeled Data / Andrew Skabar
Learning of Class Descriptions from Class Discriminations: A Hybrid Approach for Relational Objects / Peter Geibel ; Kristina Schädler
Logic Programming - Theorem Proving - Model Checking
The Well-Founded Semantics Is a Stratified Fitting Semantics / Pascal Hitzler ; Matthias Wendt
Axiomatization of Finite Algebras / Jochen Burghardt
Algorithms for Guiding Clausal Temporal Resolution / M. Carmen Fernandez Gago ; Michael Fisher ; Clare Dixon
Vision and Spatial Reasoning
Axiom - A Modular Visual Object Retrieval System / Jochen Wickel ; Pablo Alvarado ; Peter Dorfler ; Thomas Kruger ; Karl-Friedrich Kraiss
Representation of Behavioral Knowledge for Planning and Plan-Recognition in a Cognitive Vision System / Michael Arens ; Hans-Hellmut Nagel
Qualitative Velocity and Ball Interception / Frieder Stolzenburg ; Oliver Obst ; Jan Murray
Spatial Inference - Learning vs. Constraint Solving / Carsten Gips ; Petra Hofstedt
Invited Presentations
From Simulated Dialogues to Interactive Performances with Virtual Actors / Elisabeth Andre
Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications / Michael Wooldridge
Semantic Web Enabled Web Services / Dieter Fensel
DFG Priority Programs
DFG Priority Program RoboCup (SPP-1125): Cooperating Teams of Mobile Robots in Dynamic Environments / Thomas Christaller
DFG Priority Program (SPP-1083): Intelligent Agents and Realistic Commercial Application Scenarios / Stefan Kirn
DFG Priority Program (SPP-1077): Socionics - Investigating and Modelling Artificial Societies / Thomas Malsch
Author Index
Natural Language
LIGHT - A Constraint Language and Compiler System for Typed-Unification Grammars / Liviu Ciortuz
Phrase-Based Statistical Machine Translation / Richard Zens ; Franz Josef Och ; Hermann Ney
61.

図書

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

図書

図書
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…
63.

図書

図書
池澤宏郎編集
出版情報: 東京 : 廣川書店, 2002.8  xii, 484p, 図版2枚 ; 27cm
所蔵情報: loading…
64.

図書

図書
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
65.

図書

図書
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
66.

図書

図書
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
67.

図書

図書
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
68.

図書

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

図書

図書
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
70.

図書

図書
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…
71.

図書

図書
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
72.

図書

図書
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
73.

図書

図書
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
74.

図書

図書
中村滋著
出版情報: 東京 : 日本評論社, 2002.9  v, 251p ; 21cm
所蔵情報: loading…
75.

図書

図書
宇田川光弘 [ほか] 著
出版情報: 東京 : 井上書院, 2002.9  280p ; 26cm
所蔵情報: loading…
76.

図書

図書
アンク著
出版情報: [東京] : 翔泳社, 2002.9  x, 425p ; 21cm
所蔵情報: loading…
77.

図書

図書
NTTドコモ10年史編纂事務局編
出版情報: 東京 : NTTドコモ, 2002.10  v, 352p, 図版 [6] 枚 ; 29cm
所蔵情報: loading…
78.

図書

図書
Takeyoshi Dohi, Ron Kikinis (eds.)
出版情報: Berlin : Springer, c2002  2 v. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2488-2489
所蔵情報: loading…
目次情報: 続きを見る
Tubular Structures
Automated Nomenclature Labeling of the Bronchial Tree in 3D-CT Lung Images / H. Kitaoka ; Y. Park ; J. Tschirren ; J. Reinhardt ; M. Sonka ; G. McLennan ; E.A. Hoffman
Segmentation, Skeletonization, and Branchpoint Matching -A Fully Automated Quantitative Evaluation of Human Intrathoracic Airway Trees / K. Palágyi ; J.M. Reinhardt
Improving Virtual Endoscopy for the Intestinal Tract / M. Harders ; S. Wildermuth ; D. Weishaupt ; G. Székely
Finding a Non-continuous Tube by Fuzzy Inference for Segmenting the MR Cholangiography Image / C. Yasuba ; S. Kobashi ; K. Kondo ; Y. Hata ; S. Imawaki ; M. Ishikawa
Level-Set Based Carotid Artery Segmentation for Stenosis Grading / C.M. van Bemmel ; L.J. Spreeuwers ; M.A. Viergever ; W.J. Niessen
Interventions - Augmented Reality
PC-Based Control Unit for a Head Mounted Operating Microscope for Augmented Reality Visualization in Surgical Navigation / M. Figl ; W. Birkfellner ; F. Watzinger ; F. Wanschitz ; J. Hummel ; R. Hanel ; R. Ewers ; H. Bergmann
Technical Developments for MR-Guided Microwave Thermocoagulation Therapy of Liver Tumors / S. Morikawa ; T. Inubushi ; Y. Kurumi ; S. Naka ; K. Sato ; T. Tani ; N. Hata ; V. Seshan ; H.A. Haque
Robust Automatic C-Arm Calibration for Fluoroscopy-Based Navigation: A Practical Approach / H. Livyatan ; Z. Yaniv ; L. Joskowicz
Application of a Population Based Electrophysiological Database to the Planning and Guidance of Deep Brain Stereotactic Neurosurgery / K.W. Finnis ; Y.P. Starreveld ; A.G. Parrent ; A.F. Sadikot ; T.M. Peters
An Image Overlay System with Enhanced Reality for Percutaneous Therapy Performed Inside CT Scanner / K. Masamune ; G. Fichtinger ; A. Deguet ; D. Matsuka ; R. Taylor
High-Resolution Stereoscopic Surgical Display Using Parallel Integral Videography and Multi-projector / H. Liao ; M. Iwahara ; S. Nakajima ; I. Sakuma ; T. Dohi
Three-Dimensional Display for Multi-sourced Activities and Their Relations in the Human Brain by Information Flow between Estimated Dipoles / N. Take ; Y. Kosugi ; T. Musha
Interventions - Navigation
2D Guide Wire Tracking during Endovascular Interventions / S.A.M. Baert
Specification Method of Surface Measurement for Surgical Navigation: Ridgeline Based Organ Registration / N. Furushiro ; T. Saito ; Y. Masutani
An Augmented Reality Navigation System with a Single-Camera Tracker: System Design and Needle Biopsy Phantom Trial / F. Sauer ; A. Khamene ; S. Vogt
A Novel Laser Guidance System for Alignment of Linear Surgical Tools: Its Principles and Performance Evaluation as a Man-Machine System / T. Sasama ; N. Sugano ; Y. Sato ; Y. Momoi ; T. Koyama ; Y. Nakajima ; M. Fujie ; K. Yonenobu ; T. Ochi ; S. Tamura
Navigation of High Intensity Focused Ultrasound Applicator with an Integrated Three-Dimensional Ultrasound Imaging System / Y. Takai ; E. Kobayashi ; H. Inada ; K. Fujimoto ; T. Asano
Robust Registration of Multi-modal Images: Towards Real-Time Clinical Applications / S. Ourselin ; R. Stefanescu ; X. Pennec
3D Ultrasound System Using a Magneto-optic Hybrid Tracker for Augmented Reality Visualization in Laparoscopic Liver Surgery / M. Nakamoto ; M. Miyamoto ; Y. Nakamjima ; K. Konishi ; M. Shimada ; M. Hashizume
Interactive Intra-operative 3D Ultrasound Reconstruction and Visualization / D.G. Gobbi
Projection Profile Matching for Intraoperative MRI Registration Embedded in MR Imaging Sequence / J. Tokuda
Simulation
A New Tool for Surgical Training in Knee Arthroscopy / G. Megali ; O. Tonet ; M. Mazzoni ; P. Dario ; A. Vascellari ; M. Marcacci
Combining Volumetric Soft Tissue Cuts for Interventional Surgery Simulation / M. Nakao ; T. Kuroda ; H. Oyama ; M. Komori ; T. Matsuda ; T. Takahashi
Virtual Endoscopy Using Cubic QuickTime-VR Panorama Views / U. Tiede ; N. von Sternberg-Gospos ; P. Steiner ; K.H. Höhne
High Level Simulation & Modeling for Medical Applications - Ultrasound Case / A. Chihoub
Generation of Pathologies for Surgical Training Simulators / R. Sierra ; M. Bajka
Collision Detection Algorithm for Deformable Objects Using OpenGL / S. Aharon ; C. Lenglet
Online Multiresolution Volumetric Mass Spring Model for Real Time Soft Tissue Deformation / C. Paloc ; F. Bello ; R.I. Kitney ; A. Darzi
Orthosis Design System for Malformed Ears Based on Spline Approximation / A. Hanafusa ; T. Isomura ; Y. Sekiguchi ; H. Takahashi
Cutting Simulation of Manifold Volumetric Meshes / C. Forest ; H. Delingette ; N. Ayache
Simulation of Guide Wire Propagation for Minimally Invasive Vascular Interventions / T. Alderliesten ; M.K. Konings
Needle Insertion Modelling for the Interactive Simulation of Percutaneous Procedures / S.P. DiMaio ; S.E. Salcudean
3D Analysis of the Alignment of the Lower Extremity in High Tibial Osteotomy / H. Kawakami ; T. Nagaoka ; K. Hagio ; H. Yoshikawa ; A. Hattori ; N. Suzuki
Simulation of Intra-operative 3D Coronary Angiography for Enhanced Minimally Invasive Robotic Cardiac Intervention / G. Lehmann ; D. Habets ; D.W. Holdsworth ; T. Peters ; M. Drangova
Computer Investigation into the Anatomical Location of the Axes of Rotation in the Normal Knee / S. Martelli ; A. Visani
Modeling
Macroscopic Modeling of Vascular Systems / D. Szczerba
Spatio-temporal Directional Filtering for Improved Inversion of MR Elastography Images / A. Manduca ; D.S. Lake ; R.L. Ehman
RBF-Based Representation of Volumetric Data: Application in Visualization and Segmentation
An Anatomical Model of the Knee Joint Obtained by Computer Dissection / F. Acquaroli ; V. Pinskerova ; A. Spettol
Models for Planning and Simulation in Computer Assisted Orthognatic Surgery / M. Chabanas ; C. Marecaux ; Y. Payan ; F. Boutault
Simulation of the Exophthalmia Reduction Using a Finite Element Model of the Orbital Soft Tissues / V. Luboz ; A. Pedrono ; P. Swider
A Real-Time Deformable Model for Flexible Instruments Inserted into Tubular Structures / M. Kukuk ; B. Geiger
Modeling of the Human Orbit from MR Images / Z. Li ; C.-K. Chui ; Y. Cai ; S. Amrith ; P.-S. Goh ; J.H. Anderson ; J. Teo ; C. Liu ; I. Kusuma ; Y.-S. Siow ; W.L. Nowinski
Accurate and High Quality Triangle Models from 3D Grey Scale Images / P.W. de Bruin ; P.M. van Meeteren ; F.M. Vos ; A.M. Vossepoel ; F.H. Post
Intraoperative Fast 3D Shape Recovery of Abdominal Organs in Laparoscopy / M. Hayashibe ; Y. Nakamura
Statistical Shape Modeling
Integrated Approach for Matching Statistical Shape Models with Intra-operative 2D and 3D Data / M. Fleute ; S. Lavallée ; L. Desbat
Building and Testing a Statistical Shape Model of the Human Ear Canal / R. Paulsen ; R. Larsen ; C. Nielsen ; S. Laugesen ; B. Ersbøll
Shape Characterization of the Corpus Callosum in Schizophrenia Using Template Deformation / A. Dubb ; B. Avants ; R. Gur ; J. Gee
3D Prostate Surface Detection from Ultrasound Images Based on Level Set Method / S. Fan ; L.K. Voon ; N.W. Sing
A Bayesian Approach to in vivo Kidney Ultrasound Contour Detection Using Markov Random Fields / M. Martín ; C. Alberola
Level Set Based Integration of Segmentation and Computational Fluid Dynamics for Flow Correction in Phase Contrast Angiography / M. Watanabe ; R. Kikinis ; C.-F. Westin
Comparative Exudate Classification Using Support Vector Machines and Neural Networks / A. Osareh ; M. Mirmehdi ; B. Thomas ; R. Markham
A Statistical Shape Model for the Liver / H. Lamecker ; T. Lange ; M. Seebass
Statistical 2D and 3D Shape Analysis Using Non-Euclidean Metrics / K.B. Hilger ; M.C. Wrobel
Kernel Fisher for Shape Based Classification in Epilepsy / N. Vohra ; B.C. Vemuri ; A. Rangarajan ; R.L. Gilmore ; S.N. Roper ; C.M. Leonard
A Noise Robust Statistical Texture Model / M.B. Stegmann
A Combined Statistical and Biomechanical Model for Estimation of Intra-operative Prostate Deformation / A. Mohamed ; C. Davatzikos
Registration - 2D/D Fusion
"Gold Standard" 2D/3D Registration of X-Ray to CT and MR Images / D. Tomaževič ; B. Likar ; F. Pernuš
A Novel Image Similarity Measure for Registration of 3-D MR Images X-Ray Projection Images / T. Rohlfing ; C.R. Maurer Jr.
Registration of Preoperative CTA and Intraoperative Fluoroscopic Images for Assisting Aortic Stent Grafting / H. Imamura ; N. Ida ; N. Sugimoto ; S. Eiho ; S. Urayama ; K. Ueno ; K. Inoue
Preoperative Analysis of Optimal Imaging Orientation in Fluoroscopy for Voxel-Based 2-D/3-D Registration / Y. Tamura ; T. Tashiro
Registration - Similarity Measures
A New Similarity Measure for Nonrigid Volume Registration Using Known Joint Distribution of Target Tissue: Application to Dynamic CT Data of the Liver / J. Masumoto ; M. Hori ; T. Murakami ; T. Johkoh ; H. Nakamura
2D-3D Intensity Based Registration of DSA and MRA - A Comparison of Similarity Measures / J.H. Hipwell ; G.P. Penney ; T.C. Cox ; J.V. Byrne ; D.J. Hawkes
Model Based Spatial and Temporal Similarity Measures between Series of Functional Magnetic Resonance Images / F. Kherif ; G. Flandin ; P. Ciuciu ; H. Benali ; O. Simon ; J.-B. Poline
A Comparison of 2D-3D Intensity-Based Registration and Feature-Based Registration for Neurointerventions / R.A. McLaughlin ; J. Hipwell ; J.A. Noble ; T. Cox
Multi-modal Image Registration by Minimising Kullback-Leibler Distance / A.C.S. Chung ; W.M. Wells III ; A. Norbash ; W.E.L. Grimson
Cortical Surface Registration Using Texture Mapped Point Clouds and Mutual Information / T.K. Sinha ; D.M. Cash ; R.J. Weil ; R.L. Galloway ; M.I. Miga
Non-rigid Registration
A Viscous Fluid Model for Multimodal Non-rigid Image Registration Using Mutual Information / E. D'Agostino ; F. Maes ; D. Vandermeulen ; P. Suetens
Non-rigid Registration with Use of Hardware-Based 3D Bézier Functions / G. Soza ; M. Bauer ; P. Hastreiter ; C. Nimsky ; G. Greiner
Brownian Warps: A Least Committed Prior for Non-rigid Registration / M. Nielsen ; P. Johansen ; A.D. Jackson ; B. Lautrup
Using Points and Surfaces to Improve Voxel-Based Non-rigid Registration / T. Hartkens ; D.L.G. Hill ; A.D. Castellano-Smith ; A.J. Martin ; W.A. Hall ; H. Liu ; C.L. Truwit
Intra-patient Prone to Supine Colon Registration for Synchronized Virtual Colonoscopy / D Nain ; S. Haker ; E. Cosman Jr ; W.W. Wells ; H. Ji
Nonrigid Registration Using Regularized Matching Weighted by Local Structure / E. Suárez ; E. Rovaris ; J. Ruiz-Alzola
Inter-subject Registration of Functional and Anatomical Data Using SPM / P. Hellier ; J. Ashburner ; I. Corouge ; C. Barillot ; K.J. Friston
Visualization
Evaluation of Image Quality in Medical Volume Visualization: The State of the Art / A. Pommert
Shear-Warp Volume Rendering Algorithms Using Linear Level Octree for PC-Based Medical Simulation / Z. Wang ; C.-H. Ang
Line Integral Convolution for Visualization of Fiber Tract Maps from DTI / T. McGraw ; Y. Chen ; M. Rao ; T. Mareci
On the Accuracy of Isosurfaces in Tomographic Volume Visualization
A Method for Detecting Undisplayed Regions in Virtual Colonoscopy Its Application to Quantitative Evaluation of Fly-Through Methods / Y. Hayashi ; K. Mori ; J. Hasegawa ; Y. Suenaga ; J. Toriwaki
Novel Imaging Techniques
3D Respiratory Motion Compensation by Template Propagation / P. Rösch ; T. Netsch ; M. Quist ; J. Weese
An Efficient Observer Model for Assessing Signal Detection Performance of Lossy-Compressed Images / B.M. Schmanske ; M.H. Loew
Statistical Modeling of Pairs of Sulci in the Context of Neuroimaging Probabilistic Atlas
Two-Stage Alignment of fMRI Time Series Using the Experiment Profile to Discard Activation-Related Bias / L. Freire ; J.-F. Mangin
Real-Time DRR Generation Using Cylindrical Harmonics / F. Wang ; T.E. Davis
Strengthening the Potential of Magnetic Resonance Cholangiopancreatography (MRCP) by a Combination of High-Resolution Data Acquisition and Omni-directional Stereoscopic Viewing / T. Yamagishi ; K. Abe ; J. Ishida ; R. Nishimura ; T. Kudo
Author Index
Tubular Structures
Automated Nomenclature Labeling of the Bronchial Tree in 3D-CT Lung Images / H. Kitaoka ; Y. Park ; J. Tschirren ; J. Reinhardt ; M. Sonka ; G. McLennan ; E.A. Hoffman
Segmentation, Skeletonization, and Branchpoint Matching -A Fully Automated Quantitative Evaluation of Human Intrathoracic Airway Trees / K. Palágyi ; J.M. Reinhardt
79.

図書

図書
Agnes Hui Chan, Virgil Gligor (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  xii, 502 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2433
所蔵情報: loading…
目次情報: 続きを見る
Intrusion Detection and Tamper Resistance
Real-Time Intruder Tracing through Self-Replication / Heejin Jang ; Sangwook Kim
On the Difficulty of Protecting Private Keys in Software / Taekyoung Kwon
Intrusion Detection with Support Vector Machines and Generative Models / John S. Baras ; Maben Rabi
Cryptographic Algorithm and Attack Implementation
Small and High-Speed Hardware Architectures for the 3GPP StandardCipher KASUMI / Akashi Satoh ; Sumio Morioka
Fast Software Implementations of SC2000 / Helger Lipmaa
Comparative Analysis of the Hardware Implementations of Hash Functions SHA-1 and SHA-512 / Tim Grembowski ; Roar Lien ; Kris Gaj ; Nghi Nguyen ; Peter Bellows ; Jaroslav Flidr ; Tom Lehman ; Brian Schott
Implementation of Chosen-Ciphertext Attacks against PGP and GnuPG / Kahil Jallad ; Jonathan Katz ; Bruce Schneier
Access Control and Trust Management (I)
Role-Based Access Control for E-commerce Sea-of-Data Applications / G. Navarro ; S. Robles ; J. Borrell
An Access Control Model for Tree Data Structures / Alban Gabillon ; Manuel Munier ; Jean-Jacques Bascou ; Laurent Gallon ; Emmanuel Bruno
A New Design of Privilege Management Infrastructure for Organizations Using Outsourced PKI / Ed Dawson ; Javier Lopez ; Jose A. Montenegro ; Eiji Okamoto
Authentication and Privacy
Password Authenticated Key Exchange Based on RSA for ImbalancedWireless Networks / Feng Zhu ; Duncan S. Wong ; Agnes H. Chan ; Robbie Ye
Quantifying Privacy Leakage through Answering Database Queries / Tsan-sheng Hsu ; Churn-Jung Liau ; Da-Wei Wang ; Jeremy K.-P. Chen
A New Offline Privacy Protecting E-cash System with Revokable Anonymity / Weidong Qiu ; Kefei Chen ; Dawu Gu
E-commerce Protocols (I)
Receipt-Free Sealed-Bid Auction / Masayuki Abe ; Koutarou Suzuki
Exclusion-Freeness in Multi-party Exchange Protocols / Nicolás González-Deleito ; Olivier Markowitch
A Realistic Protocol for Multi-party Certified Electronic Mail / Josep Lluís Ferrer-Gomila ; Magdalena Payeras-Capellà ; Llorenç Huguet-Rotger
Signature Schemes
A Nyberg-Rueppel Signature for Multiple Messages and Its Batch Verification / Shunsuke Araki
Comments to the UNCITRAL Model Law on Electronic Signatures / Apol-lònia Martínez-Nadal
An Anonymous Loan System Based on Group Signature Scheme / Rie Shigetomi ; Akira Otsuka ; Takahide Ogawa ; Hideki Imai
Traceability Schemes for Signed Documents / Shoko Yonezawa ; Goichiro Hanaoka ; Junji Shikata
Cryptography (I)
Proofs of Knowledge for Non-monotone Discrete-Log Formulae and Applications / Emmanuel Bresson ; Jacques Stern
Inversion/Division Systolic Architecture for Public-Key Cryptosystems in GF(2m) / Nam-Yeun Kim ; Dae-Ghon Kho ; Kee-Young Yoo
Efficient Bit Serial Multiplication Using Optimal Normal Bases of Type II in GF(2m) / Soonhak Kwon ; Heuisu Ryu
Access Control and Trust Management (II)
Conditional Cryptographic Delegation for P2P Data Sharing / Yuji Watanabe ; Masayuki Numao
Certification of Public Keys within an Identity Based System / L. Chen ; K. Harrison ; A. Moss ; D. Soldera ; N.P. Smart
A New Public Key Cryptosystem for Constrained Hardware / Jiande Zheng
Key Management
A Distributed and Computationally Secure Key Distribution Scheme / Vanesa Daza ; Javier Herranz ; Carles Padró ; Germán Sáez
On Optimal Hash Tree Traversal for Interval Time-Stamping
An Efficient Dynamic and Distributed Cryptographic Accumulator / Michael T. Goodrich ; Roberto Tamassia ; Jasminka Hasić
Security Analysis
A Second-Order DPA Attack Breaks a Window-Method Based Countermeasure against Side Channel Attacks / Katsuyuki Okeya ; Kouichi Sakurai
Parallelizable Elliptic Curve Point Multiplication Method with Resistance against Side-Channel Attacks / Bodo Möller
Automated Analysis of Some Security Mechanisms of SCEP / Fabio Martinelli ; Marinella Petrocchi ; Anna Vaccarelli
An Attack on a Protocol for Certified Delivery / José R.M. Monteiro ; Ricardo Dahab
E-commerce Protocols (II)
Oblivious Counter and Majority Protocol / Hiroaki Kikuchi
Efficient Mental Card Shuffling via Optimised Arbitrary-Sized Benes Permutation Network / Wai Han Soo ; Azman Samsudin ; Alwyn Goh
Fingerprinting Concatenated Codes with Efficient Identification / M. Fernandez ; M. Soriano
Cryptography (II)
A Provably Secure Additive and Multiplicative Privacy Homomorphism / Josep Domingo-Ferrer
Algorithms for Efficient Simultaneous Elliptic Scalar Multiplication with Reduced Joint Hamming Weight Representation of Scalars / Yasuyuki Sakai
Author Index
Intrusion Detection and Tamper Resistance
Real-Time Intruder Tracing through Self-Replication / Heejin Jang ; Sangwook Kim
On the Difficulty of Protecting Private Keys in Software / Taekyoung Kwon
80.

図書

図書
Asunción Gómez-Pérez, V. Richard Benjamins (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  xi, 402 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2473 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Knowledge Acquisition
Extending a Lexical Ontology by a Combination of Distributional Semantics Signatures / E. Alfonseca ; S. Manandhar
Acquiring Knowledge and Numerical Data to Support CBR Retrieval / S. Bandini ; S. Manzoni ; F. Sartori
An OO Model for Incremental Hierarchical KA / G. Beydoun
Experiences with Modelling Issues in Building Probabilistic Networks / L.C. van der Gaag ; E.M. Helsper
IKRAFT: Interactive Knowledge Representation and Acquisition from Text / Y. Gil ; V. Ratnakar
TRELLIS: An Interactive Tool for Capturing Information Analysis and Decision Making
Web-Based Document Management for Specialised Domains: A Preliminary Evaluation / M. Kim ; P. Compton
From Informal Knowledge to Formal Logic: A Realistic Case Study in Medical Protocols / M. Marcos ; M. Balser ; A. ten Teije ; F. van Harmelen
Knowledge Management
KMsim: A Meta-modelling Approach and Environment for Creating
Process-Oriented Knowledge Management Simulations / A. Anjewierden ; I. Shostak ; R. de Hoog
Skills Management in Knowledge-Intensive Organizations / V.R. Benjamins ; J.M. LUpez Cobo ; J. Contreras ; J. Casillas ; J. Blasco ; B. de Otto ; J. GarcIa ; M. Bl*zquez ; J.M. Dodero
Knowledge Acquisition and Modeling in Clinical Information Systems: A Case Study / G. Falkman ; O. Torgersson
MEGICO: An Intelligent Knowledge Management Methodology / J.L. MatE ; L.F. Paradela ; J. Pazos ; A. RodrIguez-PatUn ; A. Silva
Ontologies
A Process Ontology / S. Aitken ; J. Curtis
Semantic Commitment for Designing Ontologies: A Proposal / B. Bachimont ; A. Isaac ; R. Troncy
User-System Cooperation in Document Annotation Based on Information Extraction / F. Ciravegna ; A. Dingli ; D. Petrelli ; Y. Wilks
WebODE: An Integrated Workbench for Ontology Representation, Reasoning, and Exchange / O. Corcho ; M. Fernandez-Loez ; A. Gomez-Perez ; O. Vicente
Some Ontology Engineering Processes and Their Supporting Technologies. / A. Flett ; M. Casella dos Santos ; W. Ceusters
Sweetening Ontologies with DOLCE / A. Gangemi ; N. Guarino ; C. Masolo ; A. Oltramari ; L. Schneider
Turning Lead into Gold? Feeding a Formal Knowledge Base with Informal Conceptual Knowledge / U. Hahn ; S. Schulz
Ontology Versioning and Change Detection on the Web / M. Klein ; D. Fensel ; A. Kiryakov ; D. Ognyanov
Hozo: An Environment for Building/Using Ontologies Based on a Fundamental Consideration of iRolei and iRelationshipi / K. Kozaki ; Y. Kitamura ; M. Ikeda ; R. Mizoguchi
An Ontology-Driven Approach to Web Site Generation and Maintenance. / Y. Lei ; E. Motta ; J. Domingue
MAFRA n A MApping FRAmework for Distributed Ontologies / A. Maedche ; B. Motik ; N. Silva ; R. Volz
Measuring Similarity between Ontologies / S. Staab
Ontology-Mediated Business Integration / B. Omelayenko
Representation of Ontologies for Information Integration / C. Reynaud ; B. Safar
User-Driven Ontology Evolution Management / L. Stojanovic ; N. Stojanovic
Attribute Meta-properties for Formal Ontological Analysis / V. Tamma ; T.J.M. Bench Capon
Semantic Web
Managing Reference: Ensuring Referential Integrity of Ontologies for the Semantic Web / H. Alani ; S. Dasmahapatra ; N. Gibbins ; H. Glaser ; S. Harris ; Y. Kalfoglou ; K. O'Hara ; N. Shadbolt
Alice: Assisting Online Shoppers through Ontologies and Novel Interface Metaphors / M. Martins ; J. Tan ; A. Stutt ; H. Pertusson
Acquiring Configuration Knowledge Bases in the Semantic Web Using UML / A. Felfernig ; G. Friedrich ; D. Jannach ; M. Stumptner ; M. Zanker
S-CREAM n Semi-automatic CREAtion of Metadata / S. Handschuh
Tracking Changes in RDF(S) Repositories
MnM: Ontology Driven Semi-automatic and Automatic Support for Semantic Markup / M. Vargas-Vera ; M. Lanzoni
Invited Paper
New Tools for the Semantic Web / J. Golbeck ; M. Grove ; B. Parsia ; A. Kalyanpur ; J. Hendler
Author Index
Knowledge Acquisition
Extending a Lexical Ontology by a Combination of Distributional Semantics Signatures / E. Alfonseca ; S. Manandhar
Acquiring Knowledge and Numerical Data to Support CBR Retrieval / S. Bandini ; S. Manzoni ; F. Sartori
81.

図書

図書
Max J. Egenhofer, David M. Mark (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  x, 361 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2478
所蔵情報: loading…
目次情報: 続きを見る
Investigating Recursive Point Voronoi Diagrams / Barry Boots ; Robert Feick ; Narushige Shiode ; Steven Roberts
Distinguishing Instances and Evidence of Geographical Concepts for Geospatial Database Design / Boyan Brodaric ; Mark Gahegan
Geographically Weighted Local Statistics Applied to Binary Data / Chris Brunsdon ; Stewart Fotheringham ; Martin Charlton
Transmitting Vector Geospatial Data across the Internet / Barbara P. Buttenfield
GeoVSM: An Integrated Retrieval Model for Geographic Information / Guoray Cai
An Evaluation of Buffering Algorithms in Fuzzy GISs / Damien Duff ; Hans W. Guesgen
From Geo- to Eco-ontologies / Frederico Fonseca ; James Martin ; M. Andrea Rodriguez
Modeling the Semantics of Geographic Categories through Conceptual Integration / Werner Kuhn
A Graded Approach to Directions between Extended Objects / Lars Kulik ; Carola Eschenbach ; Christopher Habel ; Hedda Rahel Schmidtke
Analyzing Relative Motion within Groups of Trackable Moving Point Objects / Patrick Laube ; Stephan Imfeld
A Comparison of Spatio-temporal Interpolation Methods / Lixin Li ; Peter Revesz
Multi-agent Systems for Web-Based Map Information Retrieval / Maozhen Li ; Sheng Zhou ; Christopher B. Jones
New Methods to Generate Neutral Images for Spatial Pattern Recognition / Niels Liebisch ; Geoffrey Jacquez ; Pierre Goovaerts ; Andreas Kaufmann
Combining Mediator and Data Warehouse Technologies for Developing Environmental Decision Support Systems / Ana Maria de C. Moura ; Marcio Victorino ; Asterio Tanaka
Topologically-Consistent Map Generalisation Procedures and Multi-scale Spatial Databases / P.M. van der Poorten
Mobile Journey Planning for Bus Passengers / Desmond Rainsford ; William A. Mackaness
Enriching Wayfinding Instructions with Local Landmarks / Martin Raubal ; Stephan Winter
A Content-Based Approach to Searching and Indexing Spatial Configurations / M. Andrea Rodr'iguez ; Francisco A. Godoy
A Qualitative Account of Discrete Space / Anthony J. Roy ; John G. Stell
A New Approach to Incorporate Uncertainty in Terrain Modeling / Jorge Santos ; Weldon A. Lodwick ; Arnold Neumaier
Decomposing Integer Programming Models for Spatial Allocation / Takeshi Shirabe ; C. Dana Tomlin
An Operational Metadata Framework for Searching, Indexing, and Retrieving Distributed Geographic Information Services on the Internet / Ming-Hsiang Tsou
"Humane" Interfaces to Improve the Usability of Data Clearinghouses / Kuuipo A. Walsh ; Cherri M. Pancake ; Dawn J. Wright ; Sally Haerer ; F.J. Hanus
Integrating Spatio-thematic Information / Michael Worboys ; Matt Duckham
Author Index
Investigating Recursive Point Voronoi Diagrams / Barry Boots ; Robert Feick ; Narushige Shiode ; Steven Roberts
Distinguishing Instances and Evidence of Geographical Concepts for Geospatial Database Design / Boyan Brodaric ; Mark Gahegan
Geographically Weighted Local Statistics Applied to Binary Data / Chris Brunsdon ; Stewart Fotheringham ; Martin Charlton
82.

図書

図書
露木英男, 田島眞編著
出版情報: 東京 : 共立出版, 2002.10  iv, 175p ; 26cm
所蔵情報: loading…
83.

図書

図書
[edited by the Japan Business History Institute]
出版情報: [Tokyo] : Oki Electric Industry, c2002  xii, 268 p. ; 22 cm
所蔵情報: loading…
84.

図書

図書
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
85.

図書

図書
イザベラ・バード [著] ; 金坂清則訳
出版情報: 東京 : 平凡社, 2002.10-2002.12  2冊 ; 18cm
シリーズ名: 東洋文庫 ; 706, 708
所蔵情報: loading…
86.

図書

図書
酒井忠雄, 相原將人編著 ; 伊藤一明 [ほか] 共著
出版情報: 東京 : 三共出版, 2002.10  iv, 123p ; 26cm
所蔵情報: loading…
87.

図書

図書
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
88.

図書

図書
Bruce Christianson ... [et al.] (eds.)
出版情報: Berlin : Springer, c2002  ix, 238 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2467
所蔵情報: loading…
目次情報: 続きを見る
Keynote Address: Mobile Computing versus Immobile Security / Roger Needham
Experiences of Mobile IP Security (Transcript of Discussion) / Michael Roe
Denial-of-Service, Address Ownership, and Early Authentication in the IPv6 World / Pekka Nikander
Denial of Service, Address Ownership, and Early Authentication in the IPv6 World (Transcript of Discussion)
Efficient, DoS-Resistant, Secure Key Exchange for Internet Protocols / William Aiello ; Steven M. Bellovin ; Matt Blaze ; Ran Canetti ; John Ioannidis ; Angelos D. Keromytis ; Omer Reingold
Efficient, DoS-Resistant, Secure Key Exchange for Internet Protocols (Transcript of Discussion)
Thwarting Timing Attacks Using ATM Networks / Geraint Price
Thwarting Timing Attacks Using ATM Networks (Transcript of Discussion)
Towards a Survivable Security Architecture for Ad-Hoc Networks / Tuomas Aura ; Silja Mäki
Towards a Survivable Security Architecture for Ad-Hoc Networks (Transcript of Discussion)
PIM Security / Dieter Gollmann
PIM Security (Transcript of Discussion)
Merkle Puzzles Revisited - Finding Matching Elements between Lists / Bruce Christianson ; David Wheeler
Merkle Puzzles Revisited (Transcript of Discussion)
Encapsulating Rules of Prudent Security Engineering (Position Paper) / Jan Jürjens
Encapsulating Rules of Prudent Security Engineering (Transcript of Discussion)
A Multi-OS Approach to Trusted Computer Systems / Hiroshi Yoshiura ; Kunihiko Miyazaki ; Shinji Itoh ; Kazuo Takaragi ; Ryoichi Sasaki
A Multi-OS Approach to Trusted Computer Systems (Transcript of Discussion)
A Proof of Non-repudiation / Giampaolo Bella ; Lawrence C. Paulson
A Proof of Non-repudiation (Transcript of Discussion) / Larry Paulson
Using Authority Certificates to Create Management Structures / Babak Sadighi Firozabadi ; Marek Sergot ; Olav Bandmann
Using Attribute Certificates for Creating Management Structures (Transcript of Discussion)
Trust Management and Whether to Delegate / Simon N. Foley
Trust Management and Whether to Delegate (Transcript of Discussion)
You Can't Take It with You (Transcript of Discussion) / Mark Lomas
Protocols Using Keys from Faulty Data
Protocols Using Keys from Faulty Data (Transcript of Discussion)
On the Negotiation of Access Control Policies / Virgil D. Gligor ; Himanshu Khurana ; Radostina K. Koleva ; Vijay G. Bharadwaj ; John S. Baras
Negotiation of Access Control Policies (Transcript of Discussion)
Intrusion-Tolerant Group Management in Enclaves (Transcript of Discussion) / Hassen Sa¿idi
Lightweight Authentication in a Mobile Network (Transcript of Discussion) / James Malcolm
Bluetooth Security - Fact or Fiction? (Transcript of Discussion) / Peter Drabwell
Concluding Discussion When Does Confidentiality Harm Security? / Chair: Bruce Christianson
The Last Word / Thucydides
Author Index
Keynote Address: Mobile Computing versus Immobile Security / Roger Needham
Experiences of Mobile IP Security (Transcript of Discussion) / Michael Roe
Denial-of-Service, Address Ownership, and Early Authentication in the IPv6 World / Pekka Nikander
89.

図書

図書
Dahlia Malkhi (ed.)
出版情報: Berlin : Springer, c2002  x, 369 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2508
所蔵情報: loading…
90.

図書

図書
Gaetano Borriello, Lars Erik Holmquist (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  xv, 380 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2498
所蔵情報: loading…
目次情報: 続きを見る
Mobile and Context-Aware Systems
Context-Aware Computing: A Test Case / Jenna Burrell ; Geri K. Gay ; Kiyo Kubo ; Nick Farina
ComicDiary: Representing Individual Experiences in a Comics Style / Yasuyuki Sumi ; Ryuuki Sakamoto ; Keiko Nakao ; Kenji Mase
Mobile Reality: A PDA-Based Multimodal Framework Synchronizing a Hybrid Tracking Solution with 3D Graphics and Location-Sensitive Speech Interaction / Stuart Goose ; Heiko Wanning ; Georg Schneider
Rememberer: A Tool for Capturing Museum Visits / Margaret Fleck ; Marcos Frid ; Tim Kindberg ; Eamonn O'Brien-Strain ; Rakhi Rajani ; Mirjana Spasojevic
User Studies and Design
Issues in Personalizing Shared Ubiquitous Devices / Jonathan Trevor ; David M. Hilbert ; Bill N. Schilit
User Study Techniques in the Design and Evaluation of a Ubicomp Environment / Sunny Consolvo ; Larry Arnstein ; B. Robert Franza
Change Blind Information Display for Ubiquitous Computing Environments / Stephen S. Intille
Supporting Human Activities - Exploring Activity-Centered Computing / Henrik Baerbak Christensen ; Jakob E. Bardram
Pereceptual Interfaces and Responsive Environments
Perceptual Components for Context Aware Computing / James L. Crowley ; Joelle Coutaz ; Gaeten Rey ; Patrick Reignier
Face-Responsive Interfaces: From Direct Manipulation to Perceptive Presence / Trevor Darrell ; Konrad Tollmar ; Frank Bentley ; Neal Checka ; Loius-Phillipe Morency ; Ali Rahimi ; Alice Oh
Vision-Based Face Tracking System for Large Displays / Yasuto Nakanishi ; Takashi Fujii ; Kotaro Kiatjima ; Yoichi Sato ; Hideki Koike
The FindIT Flashlight: Responsive Tagging Based on Optically Triggered Microprocessor Wakeup / Hongshen Ma ; Joseph A. Paradiso
'ForSe FIElds' - Force Sensors for Interactive Environments / Lisa McElligott ; Michelle Dillon ; Krispin Leydon ; Bruce Richardson ; Mikael Fernstrom
Sharing and Accessing Information - Public and Private
Approximate Information Flows: Socially-Based Modeling of Privacy in Ubiquitous Computing / Xiaodong Jiang ; Jason I. Hong ; James A. Landay
The Personal Server: Changing the Way We Think About Ubiquitous Computing / Roy Want ; Trevor Pering ; Gunner Danneels ; Muthu Kumar ; Murali Sundar ; John Light
QueryLens: Beyond ID-Based Information Access / Shin'ichi Konomi
Pin&Play: Networking Objects through Pins / Kristof van Laerhoven ; Albrecht Schmidt ; Hans-Werner Gellersen
Social Aspects of Using Large Public Interactive Displays for Collaboration / Daniel M. Russell ; Clemens Drews ; Alison Sue
A Privacy Awareness System for Ubiquitous Computing Environments / Marc Langheinrich
Location, Location, Location
A Hybrid Location Model with a Computable Location Identifier for Ubiquitous Computing / Changhao Jiang ; Peter Steenkiste
A Novel Broadband Ultrasonic Location System / Mike Hazas ; y Ward
Location of Mobile Devices Using Networked Surfaces / Frank Hoffmann ; James Scott
SmartMoveX on a Graph - An Inexpensive Active Badge Tracker / John Krumm ; Lyndsay Williams ; Greg Smith
A Generic Location Event Simulator / Kumaresan Sanmugalingam ; George Coulouris
Sensors and Applications
PlantCare: An Investigation in Practical Ubiquitous Systems / Anthony LaMarca ; Waylon Brunette ; David Koizumi ; Matthew Lease ; Stefan B. Sigurdsson ; Kevin Sikorski ; Dieter Fox ; Gaetano Borriello
Context Acquisition Based on Load Sensing / Martin Strohbach ; Adrian Friday
Proactive Instructions for Furniture Assembly / Stavros Antifakos ; Florian Michahelles ; Bernt Schiele
WearNET: A Distributed Multi-sensor System for Context Aware Wearables / P. Lukowicz ; H. Junker ; M. Stager ; T. von Buren ; G. Troster
Using Low-Cost Sensing to Support Nutritional Awareness / Jennifer Mankoff ; Gary Hsieh ; Ho Chak Hung ; Sharon Lee ; Elizabeth Nitao
Author Index
Indicates a technical note
Mobile and Context-Aware Systems
Context-Aware Computing: A Test Case / Jenna Burrell ; Geri K. Gay ; Kiyo Kubo ; Nick Farina
ComicDiary: Representing Individual Experiences in a Comics Style / Yasuyuki Sumi ; Ryuuki Sakamoto ; Keiko Nakao ; Kenji Mase
91.

図書

図書
Jean-Marc Jézéquel, Heinrich Hussmann, Stephen Cook (eds.)
出版情報: Berlin : Springer, c2002  xii, 447 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2460
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
Descriptions in Software Development / Michael Jackson
Metamodelling
A Metamodel for the Unified Modeling Language / Andrey Naumenko ; Alain Wegmann
Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models / Dániel Varró ; András Pataricza
A Radical Reduction of UML's Core Semantics / Friedrich Steimann ; Thomas Kühne
Applying the UML
Configuration Knowledge Representation Using UML/OCL / Alexander Felfernig ; Gerhard Friedrich ; Dietmar Jannach ; Markus Zanker
Using UML for Information Modeling in Industrial Systems with Multiple Hierarchies / Peter Fröhlich ; Zaijun Hu ; Manfred Schoelzke
Adapting the UML to Business Modelling's Needs - Experiences in Situational Method Engineering / Andreas Dietzsch
Digging into the Metamodel
Analysis of UML Stereotypes within the UML Metamodel / Martin Gogolla ; Brian Henderson-Sellers
Stereotypical Encounters of the Third Kind / Colin Atkinson
Digging into Use Case Relationships / Gonzalo Génova ; Juan Llorens ; Víctor Quintana
Experience with MDA
Practical Experiences in the Application of MDA / Miguel de Miguel ; Jean Jourdan ; Serge Salicki
Executable Design Models for a Pervasive Healthcare Middleware System / Jens Bæk Jørgensen ; Søren Christensen
Generating Code from UML with Velocity Templates / Thorsten Sturm ; Jesco von Voss ; Marko Boger
Invited Talk 2
Does Your Software Creak as It Runs? / Bran Selic
Real-Time & Formal Semantics
Integrating the Synchronous Paradigm into UML: Application to Control-Dominated Systems / Charles André ; Marie-Agnès Peraldi-Frati ; Jean-Paul Rigault
A UML Profile for Real-Time Constraints with the OCL / Stephan Flake ; Wolfgang Mueller
HOL-OCL: Experiences, Consequences and Design Choices / Achim D. Brucker ; Burkhart Wolff
Model Engineering 1
Consistency-Preserving Model Evolution through Transformations / Gregor Engels ; Reiko Heckel ; Jochen M. Küster ; Luuk Groenewegen
Transformations and Software Modeling Languages: Automating Transformations in UML / Jon Whittle
A Relational Approach to Defining Transformations in a Metamodel / David Akehurst ; Stuart Kent
Profiles
On Customizing the UML for Modeling Performance-Oriented Applications / Sabri Pllana ; Thomas Fahringer
Modelling QoS: Towards a UML Profile / Jan Øyvind Aagedal ; Earl F. Ecklund ; Jr.
Extending the UML for Multidimensional Modeling / Sergio Luján-Mora ; Juan Trujillo ; Il- Yeol Song
Model Engineering 2
A Metamodel for Package Extension with Renaming / Tony Clark ; Andy Evans
Applying MDA Concepts to Develop a Domain CORBA Facility for E-learning / Luis Anido ; Manuel Caeiro ; Judith Rodríguez ; Juan Santos
Rapid Development of Modular Dynamic Web Sites Using UML / Tim Schattkowsky ; Marc Lohmann
Invited Talk 3
Software, Heal Thyself! / David Garlan
Methodology
The Specification of UML Collaborations as Interaction Components / Eric Cariou ; Antoine Beugnard
Measuring OO Design Metrics from UML / Mei-Huei Tang ; Mei-Hwa Chen
The Cow_Suite Approach to Planning and Deriving Test Suites in UML Projects / Francesca Basanieri ; Antonia Bertolino ; Eda Marchetti
Diagram Interchange & Security
Diagram Interchange for UML / Mario Jeckle ; Stefan Mueller ; Jens Fransson
UMLsec: Extending UML for Secure Systems Development / Jan Jürjens
SecureUML: A UML-Based Modeling Language for Model-Driven Security / Torsten Lodderstedt ; David Basin ; Jürgen Doser
Workshops and Tutorials
Workshops and Tutorials at the UML 2002 Conference
Author Index
Invited Talk
Descriptions in Software Development / Michael Jackson
Metamodelling
92.

図書

図書
James J. Alpigini ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  xv, 640 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2475 . Lecture notes in artificial intelligence
所蔵情報: loading…
93.

図書

図書
Isaac S. Kohane, Alvin T. Kho, and Atul J. Butte
出版情報: Cambridge, Mass. ; London : MIT Press, c2003  xviii, 306 p ; 24 cm
シリーズ名: Computational molecular biology
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Preface
Acknowledgments
Introduction / 1:
The Future Is So Bright... / 1.1:
Functional Genomics / 1.2:
Informatics and advances in enabling technology / 1.2.1:
Why do we need new techniques? / 1.2.2:
Missing the Forest for the Dendrograms / 1.3:
Sociology of a functional genomics pipeline / 1.3.1:
Functional Genomics, Not Genetics / 1.4:
In silico analysis will never substitute for in vitro and in vivo / 1.4.1:
Basic Biology / 1.5:
Biological caveats in mRNA measurements / 1.5.1:
Sequence-level genomics / 1.5.2:
Proteomics / 1.5.3:
Experimental Design / 2:
The Safe Conception of a Functional Genomic Experiment / 2.1:
Experiment design space / 2.1.1:
Expression space / 2.1.2:
Exercising the expression space / 2.1.3:
Discarding data and low-hanging fruit / 2.1.4:
Gene-Clustering Dogma / 2.2:
Supervised versus unsupervised learning / 2.2.1:
Figure of merit: The elusive gold standard in functional genomics / 2.2.2:
Microarray Measurements to Analyses / 3:
Generic Features of Microarray Technologies / 3.1:
Robotically spotted microarrays / 3.1.1:
Oligonucleotide microarrays / 3.1.2:
Replicate Experiments, Reproducibility, and Noise / 3.2:
What is a replicate experiment? A reproducible experimental outcome? / 3.2.1:
Reproducibility across repeated microarray experiments: Absolute expression level and fold difference / 3.2.2:
Cross-platform (technology) reproducibility / 3.2.3:
Pooling sample probes and PCR for replicate experiments / 3.2.4:
What is noise? / 3.2.5:
Sources and examples of noise in the generic microarray experiment / 3.2.6:
Biological variation as noise: The Human Genome Project and irreproducibility of expression measurements / 3.2.7:
Managing noise / 3.2.8:
Prototypical Objectives and Questions / 3.3:
Two examples: Inter-array and intra-array / 3.3.1:
Preprocessing: Filters and Normalization / 3.4:
Normalization / 3.4.1:
Background on Fold / 3.5:
Fold calculation and significance / 3.5.1:
Fold change may not mean the same thing in different expression measurement technologies / 3.5.2:
Dissimilarity and Similarity Measures / 3.6:
Linear correlation / 3.6.1:
Entropy and mutual information / 3.6.2:
Dynamics / 3.6.3:
Genomic Data-Mining Techniques / 4:
What Can Be Clustered in Functional Genomics? / 4.1:
What Does it Mean to Cluster? / 4.3:
Hierarchy of Bioinformatics Algorithms / 4.4:
Data Reduction and Filtering / 4.5:
Variation filter / 4.5.1:
Low entropy filter / 4.5.2:
Minimum expression level filter / 4.5.3:
Target ambiguity filter / 4.5.4:
Self-Organizing Maps / 4.6:
K-means clustering / 4.6.1:
Finding Genes That Split Sets / 4.7:
Phylogenetic-Type Trees / 4.8:
Two-dimensional dendrograms / 4.8.1:
Relevance Networks / 4.9:
Other Methods / 4.10:
Which Technique Should I Use? / 4.11:
Determining the Significance of Findings / 4.12:
Permutation testing / 4.12.1:
Testing and training sets / 4.12.2:
Performance metrics / 4.12.3:
Receiver operating characteristic curves / 4.12.4:
Genetic Networks / 4.13:
What is a genetic network? / 4.13.1:
Reverse-engineering and modeling a genetic network using limited data / 4.13.2:
Bayesian networks for functional genomics / 4.13.3:
Bio-Ontologies, Data Models, Nomenclature / 5:
Ontologies / 5.1:
Bio-ontology projects / 5.1.1:
Advanced knowledge representation systems for bio-ontology / 5.1.2:
Expressivity versus Computability / 5.2:
Ontology versus Data Model versus Nomenclature / 5.3:
Exploiting the explicit and implicit ontologies of the biomedical literature / 5.3.1:
Data Model Introduction / 5.4:
Nomenclature / 5.5:
The unique gene identifier / 5.5.1:
Postanalysis Challenges / 5.6:
Linking to downstream biological validation / 5.6.1:
Problems in determining the results / 5.6.2:
From Functional Genomics to Clinical Relevance / 6:
Electronic Medical Records / 6.1:
Standardized Vocabularies for Clinical Phenotypes / 6.2:
Privacy of Clinical Data / 6.3:
Anonymization / 6.3.1:
Privacy rules / 6.3.2:
Costs of Clinical Data Acquisition / 6.4:
The Near Future / 7:
New Methods for Gene Expression Profiling / 7.1:
Electronic positioning of molecules: Nanogen / 7.1.1:
Ink-jet spotting of arrays: Agilent / 7.1.2:
Coded microbeads bound to oligonucleotides: Illumina / 7.1.3:
Serial Analysis of Gene Expression (SAGE) / 7.1.4:
Parallel signature sequencing on microbead arrays: Lynx / 7.1.5:
Gel pad technology: Motorola / 7.1.6:
Respecting the Older Generation / 7.2:
The generation gap / 7.2.1:
Separating the wheat from the chaff / 7.2.2:
A persistent problem / 7.2.3:
Selecting Software / 7.3:
Investing in the Future of the Genomic Enterprise / 7.4:
Glossary
Foreword
Preface
Acknowledgments
94.

図書

図書
Cristian S. Calude, Michael J. Dinneen, Ferdinand Peper (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  viii, 329 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2509
所蔵情報: loading…
95.

図書

図書
Alberto Sangiovanni-Vincentelli, Joseph Sifakis (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  ix, 421 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2491
所蔵情報: loading…
目次情報: 続きを見る
Embedded Systems: Challenges in Specification and Verification / Amir Pnueli
An Approach to Designing Safe Embedded Software / Nancy G. Leveson
Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?) / David Harel
Platform-Based Embedded Software Design for Multi-vehicle Multi-modal Systems / T. John Koo ; Judith Liebman ; Cedric Ma ; Benjamin Horowitz ; Alberto Sangiovanni-Vincentelli ; Shankar Sastry
A Giotto-Based Helicopter Control System / Christoph M. Kirsch ; Marco A.A. Sanvido ; Thomas A. Henzinger ; Wolfgang Pree
Principles of Real-Time Programming
Time-Safety Checking for Embedded Programs / Rupak Majumdar ; Slobodan Matic
Compositional Modeling in Metropolis / Gregor Gossler
Timed Interfaces / Luca de Alfaro ; Marielle Stoelinga
Description and Schedulability Analysis of the Software Architecture of an Automated Vehicle Control System / Stavros Tripakis
Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS / Darren Cofer ; Murali Rangarajan
Scalable Applications for Energy-Aware Processors / Giorgio C. Buttazzo
Upgrading Embedded Software in the Field: Dependability and Survivability / Lui Sha
Real-Time Virtual Resource: A Timely Abstraction for Embedded Systems / Aloysius K. Mok ; Alex Xiang Feng
JCOD: A Lightweight Modular Compilation Technology for Embedded Java / Bertrand Delsart ; Vania Joloboff ; Eric Paire
Decreasing Memory Overhead in Hard Real-Time Garbage Collection / Tobias Ritzau ; Peter Fritzson
Speedup Prediction for Selective Compilation of Embedded Java Programs / Vincent Colin de Verdiere ; Sebastien Cros ; Christian Fabre ; Romain Guider ; Sergio Yovine
Synchronous Modelling of Asynchronous Systems / Nicolas Halbwachs ; Siwar Baghdadi
A Protocol for Loosely Time-Triggered Architectures / Albert Benveniste ; Paul Caspi ; Paul Le Guernic ; Herve Marchand ; Jean-Pierre Talpin
Automatic Production of Globally Asynchronous Locally Synchronous Systems / Alain Girault ; Clement Menier
Adaptive and Reflective Middleware for Distributed Real-Time and Embedded Systems / Douglas C. Schmidt
Toward an Approximation Theory for Computerised Control
A New Facility for Dynamic Control of Program Execution: DELI / Giuseppe Desoli ; Nikolay Mateev ; Evelyn Duesterwald ; Paolo Faraboschi ; Josh Fisher
Design Tools for Application Specific Embedded Processors / Wei Qin ; Subramanian Rajagopalan ; Manish Vachharajani ; Hangsheng Wang ; Xinping Zhu ; David August ; Kurt Keutzer ; Sharad Malik ; Li-Shiuan Peh
Processor Pipelines and Their Properties for Static WCET Analysis / Jakob Engblom ; Bengt Jonsson
ILP-Based Interprocedural Path Analysis / Henrik Theiling
Enhancing Compiler Techniques for Memory Energy Optimizations / Joseph Zambreno ; Mahmut Taylan Kandemir ; Alok Choudhary
FlexCC2: An Optimizing Retargetable C Compiler for DSP Processors / Valerie Bertin ; Jean-Marc Daveau ; Philippe Guillaume
Thierry Lepley, Denis Pilat, Claire Richard, Miguel Santana, and Thomas Thery Physical Programming: Beyond Mere Logic / Bran Selic
Processes, Interfaces and Platforms. Embedded Software Modeling in Metropolis / F. Balarin ; L. Lavagno ; C. Passerone ; Y. Watanabe
Author Index
Embedded Systems: Challenges in Specification and Verification / Amir Pnueli
An Approach to Designing Safe Embedded Software / Nancy G. Leveson
Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?) / David Harel
96.

図書

図書
日立建機株式会社社史編さん委員会編
出版情報: 東京 : 日立建機, 2001.6  2冊 ; 27cm
所蔵情報: loading…
97.

図書

図書
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…
98.

図書

図書
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
99.

図書

図書
常盤野和男, 大友詔雄, 田中幸雄著
出版情報: 札幌 : 北海道大学図書刊行会, 2002.6  viii, 222p ; 21cm
所蔵情報: loading…
100.

図書

図書
Roman Wyrzykowski ... [et al.] (eds.)
出版情報: Berlin : Springer, c2002  xix, 915 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2328
所蔵情報: loading…
目次情報: 続きを見る
Parallel, Distributed, and Grid Architectures / I:
Interrupt and Cancellation as Synchronization Methods / Janusz Borkowski
Supercomputing for the Masses: A Parallel Macintosh Cluster / Viktor K. Decyk ; Dean E. Dauger
Applications of Virtual Data in the LIGO Experiment / Ewa Deelman ; Carl Kesselman ; Roy Williams ; Kent Blackburn ; Albert Lazzarini ; Scott Koranda
Visualization of Automorphisms and Vertex-Symmetry / Michael Sampels
κNUMA: A Model for Clusters of SMP-Machines / Martin Schmollinger ; Michael Kaufmann
A Parallel System Architecture Based on Dynamically Configurable Shared Memory Clusters / Marek Tudruj ; Łukasz Masko
Scheduling and Load Balancing / II:
SASEPA: Simultaneous Allocation and Scheduling with Exclusion and Precedence Relations Algorithm / C. Fernández ; F. Torres ; S.T. Puente
Optimal Task Scheduling of a Complete K-Ary Tree with Communication Delays / Noriyuki Fujimoto ; Kenichi Hagihara
A Greedy Approach for a Time-Dependent Scheduling Problem / Stanisław Gawiejnowicz ; Wiesław Kurc ; Lidia Pankowska
Dedicated Scheduling of Biprocessor Tasks to Minimize Mean Flow Time / Krzyszt of Giaro ; Marek Kubale ; Michał Małafiejski ; Konrad Piwakowski
Fast Scheduling and Partitioning Algorithm in the Multi-processor System with Redundant Communication Resources / Eryk Laskowski
Heterogeneous Dynamic Load Balancing with a Scheme Based on the Laplacian Polynomial / Tiberiu Rotaru ; Hans-Heinrich Nägeli
Task Scheduling for Dynamically Configurable Multiple SMP Clusters Based on Extended DSC Approach
Processing Time and Memory Requirements for Multi-instalment Divisible Job Processing / Paweł Wolniewicz ; Maciej Drozdowski
Performance Analysis and Prediction / III:
Estimating Execution Time of Distributed Applications
Evaluation of Parallel Programs by Measurement of Its Granularity / Jan Kwiatkowski
The Performance of Different Communication Mechanisms and Algorithms Used for Parallelization of Molecular Dynamics Code / Rafał Metkowski ; Piotr Bała ; Terry Clark
Benchmarking Tertiary Storage Systems with File Fragmentation / Darin Nikolow ; Renata Słota ; Jacek Kitowski
FEM Computations on Clusters Using Different Models of Parallel Programming / Tomasz Olas ; Konrad Karczewski ; Adam Tomas ; Roman Wyrzykowski
Parallel Non-numerical Algorithms / IV:
Parallel Skeletons for Tabu Search Method Based on Search Strategies and Neighborhood Partition / Maria J. Blesa ; Lluis Hernàndez ; Fatos Xhafa
A New Parallel Approach for Multi-dimensional Packing Problems / Jacek Błazewicz ; Rafał Walkowiak
Consistency Requirements of Peterson's Algorithm for Mutual Exclusion of n Processes in a Distributed Shared Memory System / Jerzy Brzeziński ; Dariusz Wawrzyniak
Three Parallel Algorithms for Simulated Annealing / Zbigniew J. Czech
Construction of Phylogenetic Trees on Parallel Clusters / Frédéric Guinand ; Gilles Parmentier ; Denis Trystram
On Parallel Generation of t-Ary Trees in an Associative Model / Zbigniew Kokosiński
Solving the Flow Shop Problem by Parallel Simulated Annealing / Mieczysław Wodecki ; Wojciech Bozejko
Parallel Programming / V:
Automated Verification of Infinite State Concurrent Systems / Piotr Dembiński ; Wojciech Penczek ; Agata Półrola
A Language for the Complexity Analysis of Parallel Programs / J.A. González ; C. León ; M. Pristinta ; J.L. Roda ; C. Rodríguez ; J.M. Rodríguez ; F. Sande
Criteria of Satisfiability for Homogeneous Systems of Linear Diophantine Constraints / Sergey Krivoi
Systematic Generation of Executing Programs for Processor Elements in Parallel ASIC or FPGA-Based Systems and Their Transformation into VHDL-Descriptions of Processor Element Control Units / Oleg Maslennikov
Developing a Data-Parallel Application with DaParT / Cevat Şener ; Yakup Paker ; Ayşe Kiper
Application of Mixed MPI/OpenMP Programming in a Multi SMP Cluster Computer / Adam Smyk
Tools and Environments for Parallel and Distributed Processing / VI:
Irregular and Out-of-Core Parallel Computing on Clusters / Peter Brezany ; Marian Bubak ; Maciej Malawski ; Katarzyna Zaj&acedil;c
A Concept of Grid Application Monitoring / Włodzimierz Funika ; Bartosz Balinś ; Roland Wismüller
Towards a Monitoring Interface Specification for Distributed Java Applications / Piotr M&ecedil;tel ; Rafał Orłowski
Testing for Conformance of Parallel Programming Pattern Languages / Łukasz Garstecki ; Paweł Kaczmarek ; Jacques Chassin de Kergommeaux ; Henryk Krawczyk ; Bogdan Wiszniewski
Overview of IA-64 Explicitly Parallel Instruction Computing Architecture / Pawel Gepner
Toward an Operating System That Supports Parallel Processing on Nondedicated Clusters / A. Gonściński ; M. Hobbs ; J. Silcock
Load Distribution in Jini Using JINT / Joong-Han Kim ; Seong-Soo Yae ; R.S. Ramakrishna ; Yoo-Sung Kim
Agent System for Load Monitoring of the Heterogeneous Computer Network / Marcin Lepiarz ; Zdzislaw Onderka
DDG Task Recovery for Cluster Computing / G.T. Nguyen ; L. Hluchy ; V.D. Tran ; M. Kotocova
Parallel Numerical Algorithms / VII:
A Columnwise Block Striping in Neville Elimination / Pedro Alonso ; Raquel Cortina ; Irene Díaz ; Vicente Hernández ; José Ranilla
A Flexible 2-Level Neumann-Neumann Method for Structural Analysis Problems / Petter E. Bjørstad ; Piotr Krzyżanowski
Parallel Displacement Decomposition Solvers for Elasticity Problems / Radim Blaheta ; Ondřej Jakl ; Jiří Starý
A Scheme for Partitioning Regular Graphs / R. Čiegis ; G. Šilko
Analysis of the Lanczos Error Bounds and Its Application to the Explicitly Restarted Lanczos Algorithm / A. Cooper ; M. Szularz ; J. Weston
New Generalized Data Structures for Matrices Lead to a Variety of High Performance Algorithms / Fred G. Gustavson
Solving Large Systems of Differential Equations with PaViS / Dana Petcu
pARMS: A Package for Solving General Sparse Linear Systems on Parallel Computers / Y. Saad ; M. Sosonkina
Implementation of Givens QR-Decomposition in FPGA / Anatoli Sergyienko
A New Message Passing Algorithm for Solving Linear Recurrence Systems / Przemysław Stpiczyński
Applications of Parallel/Distributed Processing / VIII:
Distributed Evolutionary Algorithms in Shape Optimization of Nonlinear Structures / Tadeusz Burczyński ; Wacław Kus
Parallel Numerical Solution for Flood Modeling Systems / D. Froehlich ; J. Astalos ; M. Dobrucky
An Empirical Comparison of Decomposition Algorithms for Complex Finite Element Meshes / Tomasz Jurczyk ; Barbara Głut
Application of Parallel Computing in the Transfer - Matrix Simulations of the Supramolecules Mn6 and Ni12 / Grzegorz Kamieniarz ; Ryszard Matysiak ; Alvaro Caramico D'Auria ; Filippo Esposito ; Cristiano Benelli
The Parallel Environment for Endoscopic Image Analysis / Aleksander Neyman ; Michal Nowikowski ; Jamil Saif
Using Fractal Coding in Medical Image Magnification / Wieslawa Kwiatkowska ; Krzyszt of Kawa ; Piotr Kania
Quasi-Characteristics Scheme with Parallel Facilities for Computations of Two-Phase Flows in Heterogeneous Porous Media / Mikhail P. Levin
Monte Carlo Method with Parallel Computation of Phase Transitions in the Three-Dimensional Ashkin-Teller Model / G. Musiał ; L. D&ecedil;bski
Flow Simulations on Overlapping Grids / Stefan Nilsson
Parallel Unstructured AMR and Gigabit Networking for Beowulf-Class Clusters / Charles D. Norton ; Thomas A. Ćwik
Parallel Grid Manipulations for General Circulation Models / William Sawyer ; Peter Messmer
Block Models of Lithosphere Dynamics: Approach and Algorithms / Alexander Soloviev ; Vyacheslav Maksimov ; Valerii Rozenberg ; Yurii Ermoliev
A Component Model for Discrete Event Simulation / Boleslaw K. Szymański ; Gilbert Chen
Evolutionary Computing and Neural Networks / IX:
Modelling Hierarchical Genetic Strategy as a Family of Markov Chains / Joanna Kołodziej
Parallel Processing by Implication-Based Neuro-Fuzzy Systems / Danuta Rutkowska ; Robert Nowicki ; Yoichi Hayashi
On the Convergence of Sampling Measures in the Global Genetic Search / Robert Schaefer ; Zenon J. Jabłoński
Genetic Algorithms: Two Different Elitism Operators for Stochastic and Deterministic Applications / Juan Seijas ; Carmen Morató ; José L. Sanz-González
Immune-Like System Approach to Cellular Automata-Based Scheduling / Franciszek Seredyński ; Anna Świ&ecedil;cicka
Connectionist Structures of Type 2 Fuzzy Inference Systems / Janusz Starczewski ; Leszek Rutkowski
LTF-C - Neural Network for Solving Classification Problems / Marcin Wojnarski
EPL-Julia the High-Performance Library for Evolutionary Computations / Jarosław Żola
Numerical Methods and Their Applications / X:
Aggregation Multilevel Iterative Solver for Analysis of Large-Scale Finite Element Problems of Structural Mechanics: Linear Statics and Natural Vibrations / Sergiy Fialko
Computer Simulations in Constructing a Coefficient of Uncertainty in Regression Estimation - Methodology and Results / Andrzej Grzybowski
Multi-phase Inverse Stefan Problems Solved by Approximation Method / Radosław Grzymkowski ; Damian Słota
Error Estimates for BE/FE Method in Elastic Scattering / Andrzej Karafiat ; Lech Sławik ; Olga Trzos
A Numerical Method for Solution of Ordinary Differential Equations of Fractional Order / Jacek Leszczyński ; Mariusz Ciesielski
The Efficient Generation of Unstructured Control Volumes in 2D and 3D / Sebastian Pluta
Coupling of Thermal and Mechanical Phenomena by Boundary Conditions in Numerical Modelling of Solidifying Castings / Arkadiusz Nagórka ; Norbert Sczygiol ; Grzegorz Szwarc
Solvers for Nonlinear Algebraic Equations; Where Are We Today? / Marcin Paprzycki ; Deborah Dent ; Anna Kucaba-Pi&ecedil;tal
Optimal Location of Sensors for Parameter Estimation of Static Distributed Systems / Maciej Patan ; Dariusz Uciński
Application of Equations with a Retarded Argument in Physical Systems / Amalia Pielorz
The Method of Fundamental Solutions in Three-Dimensional Elastostatics / Andreas Poullikkas ; Andreas Karageorghis ; Georgios Georgiou
A Constructive Numerical Method for the Comparison of Intervals / Pavel V. Sevastjanov ; Paweł Róg ; Andrey V. Venberg
Rotation of the Sources and Normalization of the Fundamental Solutions in the MFS / Yiorgos-Sokratis Smyrlis
Reconstruction of Unknown Properties of Seismic Flows / Ekaterina Vasilyeva
Parallel Two-Step W-Methods on Singular Perturbation Problems / R. Weiner ; B.A. Schmitt ; H. Podhaisky
Special Session on Parallel/Distributed Constraint Solving / XI:
The Langford's Problem: A Challenge for Parallel Resolution of CSP / Zineb Habbas ; Michaël Krajecki ; Daniel Singer
A Model of Cooperative Solvers for Computational Problems / A. Kleymenov ; D. Petunin ; A. Semenov ; I. Vazhev
A Methodology of Parallelization for Continuous Verified Global Optimization / N. Revol ; Y. Denneulin ; J.-F. Méhaut ; B. Planquelle
Mobile Concurrent Constraint Programming / Nicolas Romero
Combining Parallel and Distributed Search in Automated Equational Deduction / Carsten Sinz ; Jörg Denzinger ; Jürgen Avenhaus ; Wolfgang Küchlin
Minisymposium on Theoretical and Computational Methods in Hydrodynamics / XII:
Numerical Methods for Evolutionary Convection-Diffusion Problems with Nonlinear Reaction Terms / Blanca Bujanda ; Juan Carlos Jorge
Solution of Incompressible Navier-Stokes Equations Using Projection Methods / Jan Jankowski ; Monika Warmowska
Minisymposium on Functional Differential Equations and Their Application / XIII:
Theory and Solution Techniques for Singular Boundary Value Problems in Ordinary Differential Equations / Winfried Auzinger ; Othmar Koch ; Ewa Weinmüller
Estimation of Numerical Dynamics Constants of a Weakly Nonlinear Neuron / Andrzej Bielecki ; Dariusz Jabłoński
On Positivity of Solutions of Delayed Differential Equation with State Dependent Impulses / Alexander Domoshnitsky ; Michael Drakhlin ; Elena Litsyn
Workshop on the Complex Systems Simulation / XIV:
Distributed Simulation of Silicon-Based Film Growth / V.V. Krzhizhanovskaya ; M.A. Zatevakhin ; A.A. Ignatiev ; Y.E. Gorbachev ; P.M.A. Sloot
Biological Time Scale and Ageing in the Penna Model / Maria Stanisława Magdoń-Maksymowicz ; Andrzej Zbigniew Maksymowicz
Spatial Models of Persistence in RNA Worlds: Exploring the Origins of Life / William A. Maniatty ; Thomas Caraco ; Niles Lehman
Anastomosing Transportation Networks / Paweł Topa ; Mariusz Paszkowski
Author Index
Parallel, Distributed, and Grid Architectures / I:
Interrupt and Cancellation as Synchronization Methods / Janusz Borkowski
Supercomputing for the Masses: A Parallel Macintosh Cluster / Viktor K. Decyk ; Dean E. Dauger
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼