close
1.

図書

図書
Ronald C. Harvey
出版情報: New York : Garland Pub., 1998  xiv, 218 p. ; 23 cm
シリーズ名: Garland studies in nineteenth-century American literature ; vol. 8
Garland reference library of the humanities ; vol. 2131
所蔵情報: loading…
2.

図書

図書
edited by G. Iadonisi, J. R. Schrieffer and M. L. Chiofalo = a cura di G. Iadonisi, J. R. Schrieffer e M. L. Chiofalo
出版情報: Bologna : Società Italiana di Fisica , Amsterdam : IOS Press , Tokyo : Ohmsha, 1998  xii, 505 p. ; 25 cm
シリーズ名: Rendiconti della Scuola internazionale di fisica "Enrico Fermi" ; course 136
所蔵情報: loading…
3.

図書

図書
edited by Don Tapscott, Alex Lowy, and David Ticoll ; associate editor, Natalie Klym
出版情報: New York : McGraw-Hill, c1998  xxi, 410 p. ; 24 cm
所蔵情報: loading…
4.

図書

図書
Nadia Magnenat-Thalmann, Daniel Thalmann (eds.)
出版情報: Berlin : Springer-Verlag, c1998  ix, 271 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1537 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Human Motion Analysis
Motion Analysis in Clinical Practice Using Ambulatory Accelerometry / K. Aminian ; E. De Andres ; K. Rezakhanlou ; C. Fritsch ; Y. Schutz ; M. Depairon ; P.-F. Leyvraz ; P. Robert
A Robust Human-Silhouette Extraction Technique for Interactive Virtual Environments / J. W. Davis ; A. F. Bobick
Local and Global Skeleton Fitting Techniques for Optical Motion Capture / M.-C. Silaghi ; R. Plankers ; R. Boulic ; P. Fua ; D. Thalmann
3D Part Recognition Method for Human Motion Analysis / C. Yaniz ; J. Rocha ; F. Perales
Human Motion Capture and Manipulation
Motion Capture Data Manipulation and Reuse via B-splines / S. Sudarsky ; D. House
Motion Abstraction and Mapping with Spatial Constraints / R. Bindiganavale ; N. I. Badler
Artificial Neural Networks for Motion Emulation in Virtual Environments / Y. Bellan ; M. Costa ; G. Ferrigno ; F. Lombardi ; L. Macchiarulo ; A. Montuori ; E. Pasero ; C. Rigotti
Synthesis of Human Motion Using Kalman Filter / C. Sul ; S. Jung ; K. Wohn
Real-Time Hand and Head Tracking for Virtual Environments Using Infrared Beacons / K. Dorfmuller ; H. Wirth
Image and Video Manipulation
A Graphics Compiler for a 3-Dimensional Captured Image Database and Captured Image Reusability / T. L. Kunii ; Y. Saito ; M. Shiine
Video VR: A Real-Time System for Automatically Constructing Panoramic Images from Video Clips / D.-Y. Chen ; M. C-C. Ho ; M. Ouhyoung
The Video Yardstick / T. Brodsky ; C. Fermuller ; Y. Aloimonos
Motion Control
Real-Time Inverse Kinematics through Constrained Dynamics / W. Tang ; M. Cavazza ; D. Mountain ; R. Earnshaw
Goal-Directed Navigation for Animated Characters Using Real-Time Path Planning and Control / J. J. Kuffner
Real-Time Requirements for the Implementation of Speech-Controlled Artificial Actors / I. Palmer ; S. Parnell
Human Body and Objects 3D Reconstruction
3D Modeling from Captured Images Using Bi-directional Ray Traversal Method / H. Zaima ; T. Yamamoto
Face Models from Uncalibrated Video Sequences
A 3D Reconstruction System for Human Body Modeling / J. Gu ; T. Chang ; I. Mak ; S. Gopalsamy ; H. C. Shen ; M. M. F. Yuen
Image/Video Based Facial Animation
Bezier Volume Deformation Model for Facial Animation and Video Tracking / H. Tao ; T.S. Huang
Head Modeling from Pictures and Morphing in 3D with Image Metamorphosis Based on Triangulation / W.-S. Lee ; N. Magnenat-Thalmann
Facial Animation by Synthesis of Captured and Artificial Data / Z. Ruttkay ; P. ten Hagen ; H. Noot ; M. Savenije
Author Index
Human Motion Analysis
Motion Analysis in Clinical Practice Using Ambulatory Accelerometry / K. Aminian ; E. De Andres ; K. Rezakhanlou ; C. Fritsch ; Y. Schutz ; M. Depairon ; P.-F. Leyvraz ; P. Robert
A Robust Human-Silhouette Extraction Technique for Interactive Virtual Environments / J. W. Davis ; A. F. Bobick
5.

図書

図書
David Aucsmith (ed.)
出版情報: Berlin : Springer, c1998  ix, 368 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1525
所蔵情報: loading…
6.

図書

図書
Kyung-Yong Chwa, Oscar H. Ibarra (eds.)
出版情報: Berlin ; Tokyo : Springer, c1998  xiii, 478 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1533
所蔵情報: loading…
目次情報: 続きを見る
Invited Presentation
The Discrepancy Method / Bernard Chazelle
Implementing Algorithms and Data Structures: An Educational and Research Perspective / Roberto Tamassia
Geometry I
Facility Location on Terrains / Evanthia Papadopoulou ; Boris Aronov ; Marc van Kreveld ; René van Oostrum ; Kasturirangan Varadarajan
Computing Weighted Rectilinear Median and Center Set in the Presence of Obstacles / Joonsoo Choi ; Chan-Su Shin ; Sung Kwon Kim
Complexity I
Maximizing Agreement with a Classification by Bounded or Unbounded Number of Associated Words / Hiroki Arimura ; Shinichi Shimozono
Disjunctions of Horn Theories and Their Cores / Thomas Eiter ; Toshihide Ibaraki ; Kazuhisa Makino
Checking Programs Discreetly: Demonstrating Result-Correctness Efficiently While Concealing It / Giovanni Di Crescenzo ; Kouichi Sakurai ; Moti Yung
Graph Drawing
Two-Layer Planarization in Graph Drawing / Petra Mutzel ; René Weiskircher
Computing Orthogonal Drawings in a Variable Embedding Setting / Walter Didimo ; Giuseppe Liotta
Dynamic Grid Embedding with Few Bends and Changes / Ulrik Brandes ; Dorothea Wagner
On-Line Algorithm and Scheduling
Two New Families of List Update Algorithms / Frank Schulz
An Optimal Algorithm for On-Line Palletizing at Delivery Industry / J. Rethmann ; E. Wanke
On-Line Scheduling of Parallel Jobs with Runtime Restrictions / Stefan Bischof ; Ernst W. Mayr
CAD/CAM and Graphics
Testing the Quality of Manufactured Disks and Cylinders / Prosenjit Bose ; Pat Morin
Casting with Skewed Ejection Direction / Hee-Kap Ahn ; Siu-Wing Cheng ; Otfried Cheong
Repairing Flaws in a Picture Based on a Geometric Representation of a Digital Image / Tetsuo Asano ; Hiro Ito ; Souichi Kimura ; Shigeaki Shimazu
Graph Algorithm I
k-Edge and 3-Vertex Connectivity Augmentation in an Arbitrary Multigraph / Toshimasa Ishii ; Hiroshi Nagamochi
Polyhedral Structure of Submodular and Posi-modular Systems
Maximizing the Number of Connections in Optical Tree Networks / Thomas Erlebach ; Klaus Jansen
Best Paper Presentation
Selecting the k Largest Elements with Parity Tests / Tak Wah Lam ; Hing Fung Ting
Randomized Algorithm
Randomized K-Dimensional Binary Search Trees / Amalia Duch ; Vladimir Estivill-Castro ; Conrado Martínez
Randomized 0(log log n)-Round Leader Election Protocols in Packet Radio Networks / Koji Nakano ; Stephan Olariu
Random Regular Graphs with Edge Faults: Expansion through Cores / Andreas Goerdt
Complexity II
A Quantum Polynomial Time Algorithm in Worst Case for Simon's Problem / Takashi Mihara ; Shao Chin Sung
Generalized Graph Colorability and Compressibility of Boolean Formulae / Richard Nock ; Pascal Jappy ; Jean Sallantin
On the Complexity of Free Monoid Morphisms / Klaus-Jörn Lange ; Pierre McKenzie
Graph Algorithm II
Characterization of Efficiently Solvable Problems on Distance-Hereditary Graphs / Sun-Yuan Hsieh ; Chin-Wen Ho ; Tsan-Sheng Hsu ; Ming-Tat Ko ; Gen-Huey Chen
Fast Algorithms for Independent Domination and Efficient Domination in Trapezoid Graphs / Yaw-Ling Lin
Finding Planar Geometric Automorphisms in Planar Graphs / Seok-Hee Hong ; Peter Eades ; Sang-Ho Lee
Combinatorial Problem
A New Approach for Speeding Up Enumeration Algorithms / Takeaki Uno
Hamiltonian Decomposition of Recursive Circulants / Jung-Heum Park
Convertibility among Grid Filling Curves / Naoki Katoh ; Hisao Tamaki ; Takeshi Tokuyama
Geometry II
Generalized Self-Approaching Curves / Oswin Aichholzer ; Franz Aurenhammer ; Christian Icking ; Rolf Klein ; Elmar Langetepe ; Günter Rote
Computational Biology / Guo-Hui Lin ; Guoliang Xue
Approximation and Exact Algorithms for RNA Secondary Structure Prediction and Recognition of Stochastic Context-Free Languages / Tatsuya Akutsu
On the Multiple Gene Duplication Problem / Michael Fellows ; Michael Hallett ; Ulrike Stege
Geometry III
Visibility Queries in Simple Polygons and Applications / Leonidas J. Guibas ; Marek Teichmann ; Li Zhang
Quadtree Decomposition and Steiner Triangulation and Ray Shooting / Kam-Hing Lee
Optimality and Integer Programming Formulations of Triangulations in General Dimension / Akira Tajima
Approximation Algorithm
Space-Efficient Approximation Algorithms for MAXCUT and COLORING Semidefinite Programs / Philip N. Klein ; Hsueh-I Lu
A Capacitated Vehicle Routing Problem on a Tree / Shin-ya Hamaguchi
Approximation Algorithms for Some Optimum Communication Spanning Tree Problems / Bang Ye Wu ; Kun-Mao Chao ; Chuan Yi Tang
Complexity III
The Edge-Disjoint Paths Problem is NP-Complete for Partial k-Trees / Xiao Zhou ; Takao Nishizeki
Inapproximability Results for Guarding Polygons without Holes / Stephan Eidenbenz
The Inapproximability of Non NP-hard Optimization Problems / Liming Cai ; David Juedes ; Iyad Kanj
Parallel and Distributed Algorithm
An Efficient NC Algorithm for a Sparse k-Edge-Connectivity Certificate / Toru Hasunuma
A Parallel Algorithm for Sampling Matchings from an Almost Uniform Distribution / J. Diaz ; J. Petit ; P. Psycharis ; M. Serna
Optimal Approximate Agreement with Omission Faults / Richard Plunkett ; Alan Fekete
Author Index
Invited Presentation
The Discrepancy Method / Bernard Chazelle
Implementing Algorithms and Data Structures: An Educational and Research Perspective / Roberto Tamassia
7.

図書

図書
V. Arvind, R. Ramanujam (eds.)
出版情報: Berlin : Springer-Verlag, c1998  xii, 366 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1530
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
Descriptive Complexity and Model Checking / Neil Immerman
Approximation Algorithms with Bounded Performance Guarantees for the Clustered Traveling Salesman Problem / Nili Guttmann-Beck ; Refael Hassin ; Samir Khuller ; Balaji RaghavachariSession 1(a):
A Hamiltonian Approach to the Assignment of Non-Reusable Frequencies / Dimitris A. Fotakis ; Paul G. Spirakis
Deadlock Sentive Types for Lambda Calculus with Resources / Carolina LavatelliSession 1(b):
On encoding p? in m? / Paola Quaglia ; David Walker
Improved Methods for Approximating Node Weighted Steiner Trees and Connected Dominating Sets / Sudipto GuhaSession 2(a):
Red-Black Prefetching: An Approximation Algorithm for Parallel Disk Scheduling / Mahesh Kallahalla ; Peter J. Varman
A synchronous semantics of higher-order processes for modeling reconfigurable reactive systems / Jean-Pierre Talpin ; David NowakSession 2(b):
Testing Theories for Asynchronous Languages / Ilaria Castellani ; Matthew Hennessy
Alternative Computational Models: A Comparison of Biomolecular and Quantum Computation / John H. Reif
Optimal Regular Tree Pattern Matching Using Pushdown Automata / Maya Madhavan ; Priti ShankarSession 3:
Locating Matches of Tree Patterns in Forests / Andreas Neumann ; Helmut Seidl
Benefits of Tree Transducers for Optimizing Functional Programs / Armin KühnemannSession 4:
Implementable Failure Detectors in Asynchronous Systems / Vijay K. Garg ; J. Roger Mitchell
BRICS and Quantum Information Processing / Erik Meineche Schmidt
Martingales and Locality in Distributed Computing / Devdatt P. DubhashiSession 5(a):
Space Efficient Suffix Trees / Ian Munro ; Venkatesh Raman ; S. Srinivasa Rao
Formal Verification of an O.S. Submodule / N.S. Pendharkar ; K. GopinathSession 5(b):
Infinite Probabilistic and Nonprobabilistic Testing / K. Narayan Kumar ; Rance Cleaveland ; Scott A. Smolka
On Generating Strong Elimination Orderings of Strongly Chordal Graphs / N. Kalyana Rama Prasad ; P. Sreenivasa KumarSession 6(a):
A Parallel Approximation Algorithm for Minimum Weight Triangulation / Joachim Gudmundsson ; Christos Levcopoulos
The Power of Reachability Testing for Timed Automata / Luca Aceto ; Patricia Bouyer ; Augusto Burgueño ; Kim G. LarsenSession 6(b):
Recursive Mean-Value Calculus / P.K. Pandya ; Y.S. Ramakrishna
Efficient Formal Verification of Hierarchical Descriptions / Rajeev Alur
Proof rules for model checking systems with data / K. L. McMillan
Partial Order Reductions for Bisimulation Checking / Michaela Huhn ; Peter Niebert ; Heike WehrheimSession 7:
First-Order-CTL Model Checking / Jürgen Bohn ; Werner Damm ; Orna Grumberg ; Hardi Hungar ; Karen Laster
On the complexity of counting the number of vertices moved by graph automorphisms / Antoni Lozano ; Vijay RaghavanSession 8(a):
Remarks on Graph Complexity / Satyanarayana V. Lokam
On the Confluence of Trace Rewriting Systems / Markus LohreySession 8(b):
A String-rewriting Characterization of Muller and Schupp's Context-free Graphs / Hugues Calbrix ; Teodor Knapik
Different Types of Monotonicity for Restarting Automata / P. Jancar ; F. Mraz ; M. Platek ; J. VogelSession 9:
A Kleene iteration for parallelism / Kamal Lodaya ; Pascal Weil
Quantum Computation and Information / Umesh Vazirani
Author Index
Invited Talk
Descriptive Complexity and Model Checking / Neil Immerman
Approximation Algorithms with Bounded Performance Guarantees for the Clustered Traveling Salesman Problem / Nili Guttmann-Beck ; Refael Hassin ; Samir Khuller ; Balaji RaghavachariSession 1(a):
8.

図書

図書
Ludwig von Auer
出版情報: Berlin ; New York : Springer-Verlag, c1998  xii, 226 p. ; 24 cm
シリーズ名: Lecture notes in economics and mathematical systems ; 462
所蔵情報: loading…
目次情報: 続きを見る
Introduction
A Survey of Intertemporal Choice under Certainty: Elements of Intertemporal Choice
Myopic Utility Models
Adaptive Utility Models
Recursive Utility Models
Universal Utility Models
Preferences, Choice, and Welfare in Universal Utility
Models: Elementary Aspects of Choice in Universal Utility Models
Properties of Dynamic Choice Functions
Welfare Judgements
Conditions for Stability, Ordinality, and Contractibility
An Extension to Uncertainty
Conclusing Remarks
Introduction
A Survey of Intertemporal Choice under Certainty: Elements of Intertemporal Choice
Myopic Utility Models
9.

図書

図書
ダニエル・グロス, Forbes magazine編集部共著 ; 山岡洋一訳
出版情報: 東京 : 日経BP社 , 東京 : 日経BP出版センタ- (発売), 1998.4  261p ; 20cm
所蔵情報: loading…
10.

図書

図書
Sten F. Andler, Jörgen Hansson (eds.)
出版情報: Berlin ; New York : Springer, c1998  viii, 244 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1553
所蔵情報: loading…
目次情報: 続きを見る
Real-Time and Active Databases: A Survey / J. Eriksson
Invited Talks
Design of a Real-Time SQL Engine in the Distributed Environment / D. Chen ; A.K. Mok
BeeHive: Global Multimedia Database Support for Dependable, Real-Time Applications / M.L. Kersten ; J.A. Stankovic ; S.H. Son ; J. Liebeherr
Paper Presentations
An Active Real-Time Database Model for Air Traffic Control Systems / K.-J. Lin ; C.-S. Peng ; T. Ng
Performance Issues in Processing Active Real-Time Transactions / Ö. Ulusoy
Scheduling of Triggered Transactions in Distributed Real-Time Active Databases / K.-y. Lam ; G.C.K. Law ; V.C.S. Lee
Buffer Management in Active, Real-Time Database Systems: Concepts and An Algorithm / I.R. Viguier ; A. Datta
Parallel Event Detection in Active Database Systems: The Heart of the Matter / U. Jaeger ; J.K. Obermaier
Toward Duration-Based, Constrained and Dynamic Event Types / C.L. Roncancio
Supporting System-Level Testing of Applications by Active Real-Time Database Systems / J. Mellin
Temporal Indeterminacy in Deductive Databases: An Approach Based on Event Calculus / L. Chittaro ; C. Combi
Panel Sessions
Predictability in Active Real-Time/Temporal Databases
Practical and Industrial Experience in Active Real-Time Databases
Author Index
Real-Time and Active Databases: A Survey / J. Eriksson
Invited Talks
Design of a Real-Time SQL Engine in the Distributed Environment / D. Chen ; A.K. Mok
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼