close
1.

図書

図書
by Einar I. Haugen
出版情報: New York : F.S. Crofts, c1937  xiii, 214 p. ; 21 cm
所蔵情報: loading…
2.

図書

図書
by C. M. Beadnell
出版情報: London : Watts, 1942  x, 117 p ; 17 cm
シリーズ名: The thinker's library ; No. 89
所蔵情報: loading…
3.

図書

図書
European Productivity Agency
出版情報: Paris : European Productivity Agency of the Organisation for European Economic Co-operation, 1956  168 p. ; 27 cm
シリーズ名: Project ; no. 174
所蔵情報: loading…
4.

図書

図書
J. M. Evans
出版情報: Lond. : Golden Vista, [n.d.]  90 p. ; 22 cm
所蔵情報: loading…
5.

図書

図書
by Charles E. Fuller and William A. Johnston
出版情報: New York : John Wiley , London : Chapman & Hall, 1919  xi, 556 p. ; 24 cm
シリーズ名: Applied mechanics ; v. 2
所蔵情報: loading…
6.

図書

図書
by Winfred F. Hill
出版情報: [London] : Methuen, 1964, c1963  x, 227 p. ; 22 cm
所蔵情報: loading…
7.

図書

図書
edited by D. T. Clark and W. J. Feast
出版情報: Chichester ; New York : Wiley, c1978  xvi, 441 p. ; 24 cm
所蔵情報: loading…
8.

図書

図書
by Svante August Arrhenius ; translated from the Swedish and revised by Clifford Shattuck Leonard
出版情報: New York : D. Van Nostrand company, 1925  xvi, 286 p. ; 22 cm
シリーズ名: Library of modern sciences : a popular series treating their influence on the development of civilization
所蔵情報: loading…
9.

図書

図書
by S. C. Garrison and K. C. Garrison
出版情報: New York : Prentice-Hall, 1936  xx, 599 p ; 21 cm
シリーズ名: Prentice-Hall psychology series
所蔵情報: loading…
10.

図書

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

図書

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

図書

図書
by Walter A. Lunden
出版情報: Pittsburgh : Unversity of Pittsburgh, 1936  229 p. ; 23 cm
所蔵情報: loading…
13.

図書

図書
by David Engene Smith ; introduction by Thomas Little Heath
出版情報: Boston, Mass. : Marshall Jones Co., 1923  x, 175 p. ; 19 cm
シリーズ名: Our debt to Greece and Rome
所蔵情報: loading…
14.

図書

図書
Association internationale des ponts et charpentes
出版情報: Zurich : Secrétariat général, [1932]  683 p. ; 25 cm
所蔵情報: loading…
15.

図書

図書
von Heinz Messinger = by Heinz Messinger
出版情報: Berlin : Langenscheidt, 1961  672 p. ; 22 cm
シリーズ名: Langenscheidts Handwörterbücher ; 1
所蔵情報: loading…
16.

図書

図書
Kenneth L. Kraemer, John Leslie King
出版情報: New York : Praeger, 1977-  v. ; 25 cm
シリーズ名: Praeger special studies in U.S. economic, social, and political issues
所蔵情報: loading…
目次情報:
v. 1. A manager's guide
v. 2. A review of the research
v. 1. A manager's guide
v. 2. A review of the research
17.

図書

図書
Luther Pfahler Eisenhart
出版情報: Princeton : Princeton Univ. Press, [n. d.].  vii, 306 p. ; 24 cm
所蔵情報: loading…
18.

図書

図書
E.J. Robertson
出版情報: London : Engineering Employers Federation, [1968]  60 p. ; 24 cm
シリーズ名: Federation research paper ; 1
所蔵情報: loading…
19.

図書

図書
by L. B. Benny
出版情報: London : Blackie, 1922  vi, 336 p. ; 20 cm
所蔵情報: loading…
20.

図書

図書
by H.S. Hall and S.R. Knight
出版情報: London : Macmillan, 1921  457 p. ; 19 cm
所蔵情報: loading…
21.

図書

図書
Axel Harnack
出版情報: London ; Edinburgh : Williams and Norgate, 1891  x, 404 p. ; 24 cm
所蔵情報: loading…
22.

図書

図書
by C. Howard Hinton
出版情報: London : G. Allen & Unwin, 1906  viii, 270 p. ; 19 cm
所蔵情報: loading…
23.

図書

図書
by Canfield Cook
出版情報: New York : Whittlesey House, c1949  xii, 351 p. ; 21 cm
所蔵情報: loading…
24.

図書

図書
by T. Percy Nunn
出版情報: London : Longmans Green, 1914  xiv, 616 p., [7] leaves of plates ; 19 cm
シリーズ名: Longmans' modern mathematical series
所蔵情報: loading…
25.

図書

図書
by James Fergusson ; edited by R. Phené Spiers
出版情報: London : John Murray, 1893  v. ; 24 cm
所蔵情報: loading…
26.

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

図書
by N.M. Ferrers
出版情報: London : Macmillan, 1890  xiv, 184 p. ; 19 cm
所蔵情報: loading…
36.

図書

図書
by William F. Osgood
出版情報: New York : Macmillan, 1922  xi, 449 p. ; 20 cm
所蔵情報: loading…
37.

図書

図書
by D. S. Mirsky
出版情報: Lond. : Routledge, 1927.  xiv, 388 p. ; 21 cm
所蔵情報: loading…
38.

図書

図書
by Walter Burton Ford
出版情報: New York : Macmillan, 1924, c1922  vii, 264 p. ; 20 cm
シリーズ名: A series of mathematical texts
所蔵情報: loading…
39.

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

図書
by F.S. Carey
出版情報: London : Longmans, Green, 1919  x, 352, iv p. ; 23 cm
シリーズ名: Longmans' modern mathematical series
所蔵情報: loading…
48.

図書

図書
S. L. Loney
出版情報: London : Macmillan, 1922  ix, 416, xiii p. ; 19 cm
所蔵情報: loading…
49.

図書

図書
[by] Earl L. Muetterties and Walter H. Knoth
出版情報: New York : Mercel Dekker, 1968  viii, 197 p. ; 24 cm
所蔵情報: loading…
50.

図書

図書
[by] V. A. Biryukov, M. M. Lebedenko, and A. M. Ryzhov ; translation edited by D. Skvirsky
出版情報: Moscow : Foreign Languages Publishing House, [19--]  179 p. ; 20 cm
所蔵情報: loading…
51.

図書

図書
by Sir James Jeans
出版情報: Cambridge : Cambridge University Press, 1960  311 p. ; 22 cm
所蔵情報: loading…
52.

図書

図書
by E.T. Whittaker
出版情報: [S.l.] : [s.n.], [1937?]  xiv, 456 p ; 25 cm
所蔵情報: loading…
53.

図書

図書
by Benjamin Williamson
出版情報: London : Longmans, Green, 1888  xv, 415 p. ; 20 cm
所蔵情報: loading…
54.

図書

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

図書

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

図書

図書
by W. Ewart Williams ; with a preface by O.W. Richardson
出版情報: London : Methuen , New York : John Wiley, 1950  104 p. ; 18 cm
シリーズ名: Methuen's monographs on physical subjects
所蔵情報: loading…
57.

図書

図書
Thomas R. Garth
出版情報: New York : Prentice-Hall, 1937  xvi, 319 p. ; 21 cm
所蔵情報: loading…
58.

図書

図書
Claude A. Phillips
出版情報: New York : Century, c1931  xvii, 521 p. ; 21 cm
シリーズ名: The century education series
所蔵情報: loading…
59.

図書

図書
Arthur B. Mays
出版情報: New York : Century, c1930  x, 323 p. ; 21 cm
シリーズ名: The Century education series
所蔵情報: loading…
60.

図書

図書
Robert Gardner, Karl G. Heider ; introduction by Margaret Mead
出版情報: New York : Random House, c1968  xvi, 184 p. ; 29 cm
所蔵情報: loading…
61.

図書

図書
Louis A. Allen
出版情報: New York : McGraw-Hill , Tokyo : Kōgakusha, c1958  xi, 353 p. ; 21 cm
シリーズ名: McGraw-Hill series in management
所蔵情報: loading…
62.

図書

図書
by George Ward Stocking
出版情報: New York : R.R. Smith, 1931  x, 343 p. ; 21 cm
所蔵情報: loading…
63.

図書

図書
by J. Riddick Partington
出版情報: London : Methuen, 1920  272 p. ; 20 cm
所蔵情報: loading…
64.

図書

図書
by Robert D. Carmichael and James H. Weaver
出版情報: Boston : Ginn, c1927  xiv, 345 p. ; 22 cm
シリーズ名: Textbooks in mathematics / edited by R.D. Carmichael
所蔵情報: loading…
65.

図書

図書
by Alvin E. Coons and Bert T. Glaze
出版情報: Columbus : Bureau of Business Research of Commerce and Administration, Ohio State University, c1963  xv, 174 p. ; 24 cm
シリーズ名: Bureau of business research monograph ; 115
所蔵情報: loading…
66.

図書

図書
by David Kahn
出版情報: New York : Macmillan, c1983  viii, 343 p. ; 25 cm
所蔵情報: loading…
67.

図書

図書
Ivan Flores
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1966  xii, 395 p. ; 24 cm
シリーズ名: Prentice-Hall series in applied mathematics
所蔵情報: loading…
68.

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

図書
Charles E.. Littlejohn, George F. Meenaghan
出版情報: New York : Reinhold, c1959  xiii, 271 p. ; 24 cm
シリーズ名: Reinhold chemical engineering series
所蔵情報: loading…
75.

図書

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

図書

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

図書

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

図書

図書
edited by Norman S. Care and Charles Landesman
出版情報: Bloomington : Indiana University Press, c1968  xxxv, 410 p ; 22 cm
所蔵情報: loading…
79.

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

図書
出版情報: New York : Chemical pub., 1960  ix, 425 p. ; 24 cm
所蔵情報: loading…
86.

図書

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

図書

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

図書

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

図書

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

図書

図書
日本建築学会構造標準委員会 ; Architectural Institute of Japan. Structural Standards Committee
出版情報: Tokyo : Structural Standards Committee Architectural Institute of Japan, 1964  375 p. ; 26 cm
所蔵情報: loading…
91.

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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