close
1.

図書

図書
В.П. Шестаков
出版情報: Москва : Искусство, 1983  358 p. ; 21 cm
所蔵情報: loading…
2.

図書

図書
Михаил Юрьевич Герман
出版情報: Москва : Молодая Гвардия, 1962  265 p. ; 21 cm
シリーズ名: Жизнь замечательных людей : серия биографий ; вып. 16 (349)
所蔵情報: loading…
3.

図書

図書
Stifter
出版情報: Frankfurt am Main : Fischer Bücherei, 1960  347 p. ; 18 cm
シリーズ名: Fischer Bibliothek der hundert Bücher ; . Exempla classica ; 18
所蔵情報: loading…
4.

図書

図書
N. Bourbaki
出版情報: Paris : Hermann, c1961  263 p. ; 24 cm
シリーズ名: Actualités scientifiques et industrielles ; 1142
Éléments de mathématique / par N. Bourbaki ; première partie. livre 3
所蔵情報: loading…
目次情報:
ch. 1. Structures topologiques
ch. 2. Structures uniformes
ch. 1. Structures topologiques
ch. 2. Structures uniformes
5.

図書

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

図書

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

図書

図書
В. Носова
出版情報: Москва : Изд-во ЦК ВЛКСМ "Молодая гвардия", 1964  334, [1] p., [33] p. of plates ; 21 cm
シリーズ名: Жизнь замечательных людей : серия биографий ; вып. 7 (382)
所蔵情報: loading…
8.

図書

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

図書

図書
E. T. A. Hoffmann ; mit 48 Zeichnungen von Alfred Kubin
出版情報: München : Nymphenburger Verlagshandlung, 1971  350 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Der Sandmann
Ignaz Denner
Die Jesuiterkirche in G.
Das Sanctus
Das öde Haus
DasMajorat
Das Gelübde
Das steinerne Herz
Der Sandmann
Ignaz Denner
Die Jesuiterkirche in G.
10.

図書

図書
bearb. von Joachim Ahlemann und Walter Dierks
出版情報: Stuttgart : Mairs Geographischer Verlag, c1959-c1961  v. ; 21 cm
所蔵情報: loading…
11.

図書

図書
笹田助三郎 [ほか] 著
出版情報: 東京 : 日本高周波, 1948.12  114p ; 22cm
所蔵情報: loading…
12.

図書

図書
芳賀秀雄著
出版情報: 東京 : 東京図書出版, 1944  1,8,197p ; 21cm
所蔵情報: loading…
13.

図書

図書
besorgt vom Institut für Marxismus-Leninismus beim ZK der SED
出版情報: Berlin : Dietz, 1957  695 p. ; 23 cm
所蔵情報: loading…
14.

図書

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

図書

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

図書

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

図書

図書
Werner Lindner
出版情報: Berlin : Ernst Wasmuth, 1927  viii, 232 p. ; 32 cm
所蔵情報: loading…
18.

図書

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

図書

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

図書

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

図書

図書
von Hans Krasensky
出版情報: Berlin : C. Heymann , Wien : Oesterreichischer Wirtschaftsverlag, 1935  136 p. ; 23 cm
シリーズ名: Betriebswirtschaft ; Heft 25
所蔵情報: loading…
22.

図書

図書
[редакционная коллегия, Т. В. Рябушкин (ответственный редактор) ... et al.]
出版情報: Москва : Наука, 1980  285 p. ; 21 cm
シリーズ名: Ученые записки по статистике ; т. 36
所蔵情報: loading…
23.

図書

図書
von Rudolf Meldau
出版情報: München : Max Hueber, 1959  77 p. ; 21 cm
所蔵情報: loading…
24.

図書

図書
von Richard Hänchen
出版情報: Berlin : Springer, 1930  v, 94 p. ; 28 cm
シリーズ名: Einzelkonstruktionen aus dem Maschinenbau / herausgegeben von C. Volk ; Heft 7
所蔵情報: loading…
25.

図書

図書
Е. П. Бруновт
出版情報: Москва : Академии педагогических наук РСФСР, 1960  285 p. ; 21 cm
所蔵情報: loading…
26.

図書

図書
W. v. Ignatowsky
出版情報: Leipzig : B. G. Teubner, 1910  iv, 123 p. ; 21 cm
シリーズ名: Mathematisch-physikalische Schriften für Ingenieure und Studierende ; 6 . Die Vektoranalysis und ihre anwendung in der Theoretischen Physik ; Teil 2
所蔵情報: loading…
27.

図書

図書
W. v. Ignatowsky
出版情報: Leipzig : B. G. Teubner, 1909  iv, 112 p. ; 21 cm
シリーズ名: Mathematisch-physikalische Schriften für Ingenieure und Studierende ; 6 . Die Vektoranalysis und ihre anwendung in der Theoretischen Physik ; Teil 1
所蔵情報: loading…
28.

図書

図書
谷山巖著
出版情報: 東京 : 修教社, 1935.7  2, 17, 640, 29p ; 27cm
所蔵情報: loading…
29.

図書

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

図書

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

図書

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

図書

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

図書

図書
能勢義一著
出版情報: 東京 : 肇書房, 1943.8  2, 2, 4, 291p ; 19cm
シリーズ名: 肇書房健康新書
所蔵情報: loading…
34.

図書

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

図書

図書
herausgegeben von E.v. Rziha und J. Seidener
出版情報: Berlin : Wilhelm Ernst, 1930-1931  2 v. ; 19 cm
所蔵情報: loading…
36.

図書

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

図書

図書
平凡社
出版情報: 東京 : 平凡社, 1947-1950  冊 ; 25cm
所蔵情報: loading…
38.

図書

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

図書

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

図書

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

図書

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

図書

図書
von Fritz Foerster
出版情報: Leipzig : Barth, 1905  xvii, 507 p. ; 25 cm
シリーズ名: Handbuch der angewandten physikalischen Chemie in Einzeldarstellungen ; Bd. 1
所蔵情報: loading…
43.

図書

図書
Müller, F. Horst
出版情報: Darmstadt : Dr. Dietrich Steinkopff, 1966  160 p. ; 27 cm
シリーズ名: Verhandlungsberichte der Kolloid-Gesellschaft ; Bd. 22
所蔵情報: loading…
44.

図書

図書
ワルター・フラッシュ著, 可知貫一譯
出版情報: 東京 : 地人書館, 1945.9  4,4,184p ; 22cm
所蔵情報: loading…
45.

図書

図書
von Richard Stecher
出版情報: Leipzig : H. Beyer, [19--]  70 p. ; 17 cm
シリーズ名: Dr. Wilhelm Königs Erläuterungen zu den Klassikern ; Bd. 58
所蔵情報: loading…
46.

図書

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

図書

図書
燃料協會編
出版情報: 川口 : 燃料協會, 1936.10  65p ; 22cm
所蔵情報: loading…
48.

図書

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

図書

図書
Ф.Г. Пископпель
出版情報: Москва : Изд-во ИМО, 1960  291 p. ; 23 cm
所蔵情報: loading…
50.

図書

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

図書

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

図書

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

図書

図書
С.С. Лавров
出版情報: Москва : Изд-во "Наука", главная редакция физико-математической лит-ры, 1967  196 p. ; 21 cm
所蔵情報: loading…
54.

図書

図書
Л.Л. Буланин
出版情報: Москва : Изд-во "Высшая школа", 1970  205 p. ; 22 cm
所蔵情報: loading…
55.

図書

図書
Jacques Mesnil
出版情報: Paris : Braun, 19--  60 p.: ill. ; 17 cm
シリーズ名: Collection des maîtres
所蔵情報: loading…
56.

図書

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

図書

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

図書

図書
Н.А. Костин
出版情報: Москва : Учпедгиз, 1962  128 p. ; 22 cm
所蔵情報: loading…
59.

図書

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

図書

図書
von M. La Rosa ; aus dem italienischen Manuskript übersetzt von K. Muth
出版情報: Leipzig : J.A. Barth, 1912  116 p. ; 21 cm
所蔵情報: loading…
61.

図書

図書
von Harry R. Richardo ; übers. und bearb. von A. Werner und P. Friedmann
出版情報: Berlin : Springer, 1926  vii, 374 p. ; 24 cm
所蔵情報: loading…
62.

図書

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

図書

図書
Karl-Gustav Landgren
出版情報: Stockholm : Almqvist & Wiksell, [1960]  320 p. ; 24 cm
シリーズ名: Ekonomiska studier utgivna av Nationalekonomiska institutionen vid Göteborgs universitet ; 3
所蔵情報: loading…
64.

図書

図書
par Ch. Michel
出版情報: Paris : Félix Alcan, 1916  viii, 858 p. ; 24 cm
所蔵情報: loading…
65.

図書

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

図書

図書
大日本體育會編
出版情報: 東京 : 成美堂, 1942.11  1冊 ; 22cm
所蔵情報: loading…
67.

図書

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

図書

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

図書

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

図書

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

図書

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

図書

図書
坂井英太郎著
出版情報: 東京 : 共立社書店, 1930.11-1930.12  2冊 ; 22cm
シリーズ名: 輓近高等数学講座 ; 13.D, 14.D
所蔵情報: loading…
73.

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

図書
Arthur Linder
出版情報: Basel : Birkhäuser, 1951.  238 p. ; 25 cm
シリーズ名: Lehrbücher und Monographien aus dem Gebiete der exakten Wissenschaften ; Mathematische Reihe. Bd. 3
所蔵情報: loading…
80.

図書

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

図書

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

図書

図書
Bonn Toeplitz, Bonn Konen, Freiburg Hückel
出版情報: Leipzig ; Berlin : B. G. Teubner, 1929  iv, 63 p. ; 25 cm
シリーズ名: Schriften des Deutschen Ausschusses für den Mathematischen und Naturwissenschaftlichen Unterricht ; 2 Folge Hft. 10
所蔵情報: loading…
83.

図書

図書
清家正著
出版情報: 東京 : 目黒書店, 1942.10  2, 4, 97p ; 19cm
シリーズ名: 青年新書
所蔵情報: loading…
84.

図書

図書
von Robert Englund ; deutsche bearbeitung von Werner Wolf
出版情報: Heidelberg : Julius Groos, 1953  viii, 274 p. ; 20 cm
シリーズ名: Méthode Gaspey-Otto-Sauer
所蔵情報: loading…
85.

図書

図書
von Robert Englund ; deutsche bearbeitung von Werner Wolf
出版情報: Heidelberg : Julius Groos, 1953  48 p. ; 20 cm
シリーズ名: Méthode Gaspey-Otto-Sauer
所蔵情報: loading…
86.

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

図書
Deckert Adalbert
出版情報: München : Josef Kösel & Friedrich Pustet, 1922  227 p. ; 24 cm
所蔵情報: loading…
100.

図書

図書
S. L. Loney
出版情報: London : Macmillan, 1922  ix, 416, xiii p. ; 19 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼