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…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼