close
1.

電子ブック

EB
Manish Parashar, Sanjeev K. Aggarwal, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
2.

電子ブック

EB
Scott M. Stevens, Takeo Kanade, Shirley J. Saldamarco
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
3.

電子ブック

EB
Miguel Sales Dias, Rafael Bastos, Sylvie Gibet, Takeo Kanade, Marcelo M. Wanderley
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Analysis and Synthesis of Gesture
Gesture Recognition Based on Elastic Deformation Energies / Radu-Daniel Vatavu ; Laurent Grisoni ; Stefan-Gheorghe Pentiuc
Approximation of Curvature and Velocity for Gesture Segmentation and Synthesis / Sylvie Gibet ; Pierre-Francois Marteau
Motion Primitives and Probabilistic Edit Distance for Action Recognition / Preben Fihl ; Michael B. Holte ; Thomas B. Moeslund
Theoretical Aspects of Gestural Communication and Interaction
On the Parametrization of Clapping / Herwin van Welbergen ; Zsofia Ruttkay
Improving the Believability of Virtual Characters Using Qualitative Gesture Analysis / Barbara Mazzarino ; Manuel Peinado ; Ronan Boulic ; Gualtiero Volpe ; Marcelo M. Wanderley
A Method for Selection of Optimal Hand Gesture Vocabularies / Helman Stern ; Juan Wachs ; Yael Edan
Vision-Based Gesture Recognition
Person-Independent 3D Sign Language Recognition / Jeroen F. Lichtenauer ; Gineke A. ten Holt ; Marcel J.T. Reinders ; Emile A. Hendriks
Skin Color Profile Capture for Scale and Rotation Invariant Hand Gesture Recognition / Rafael Bastos ; Miguel Sales Dias
Robust Tracking for Processing of Videos of Communication's Gesture / Frederick Gianni ; Christophe Collet ; Patrice Dalle
Representation of Human Postures for Vision-Based Gesture Recognition in Real-Time / Antoni Jaume-i-Capo ; Javier Varona ; Francisco J. Perales
Enhancing a Sign Language Translation System with Vision-Based Features / Philippe Dreuw ; Daniel Stein ; Hermann Ney
Sign Language Processing
Generating Data for Signer Adaptation / Chunli Wang ; Xilin Chen ; Wen Gao
A Qualitative and Quantitative Characterisation of Style in Sign Language Gestures / Alexis Heloir
Sequential Belief-Based Fusion of Manual and Non-manual Information for Recognizing Isolated Signs / Oya Aran ; Thomas Burger ; Alice Caplier ; Lale Akarun
Gesture Modelling for Linguistic Purposes / Guillaume J.-L. Olivrin
Gesturing with Tangible Interfaces and in Virtual and Augmented Reality
Automatic Classification of Expressive Hand Gestures on Tangible Acoustic Interfaces According to Laban's Theory of Effort / Antonio Camurri ; Corrado Canepa ; Simone Ghisio
Implementing Distinctive Behavior for Conversational Agents / Maurizio Mancini ; Catherine Pelachaud
Using Hand Gesture and Speech in a Multimodal Augmented Reality Environment / Joao Fernandes ; Joao Tavares ; Pedro Santos
A Virtual Reality-Based Framework for Experiments on Perception of Manual Gestures / Sebastian Ullrich ; Jakob T. Valvoda ; Marc Wolter ; Gisela Fehrmann ; Isa Werth ; Ludwig Jaeger ; Torsten Kuhlen
Processing Iconic Gestures in a Multimodal Virtual Construction Environment / Christian Frohlich ; Peter Biermann ; Marc E. Latoschik ; Ipke Wachsmuth
Analysis of Emotional Gestures for the Generation of Expressive Copying Behaviour in an Embodied Agent / Ginevra Castellano
Gestures to Intuitively Control Large Displays / Wim Fikkert ; Paul van der Vet ; Han Rauwerda ; Timo Breit ; Anton Nijholt
Gesture for Music and Performing Arts
Geometry and Effort in Gestural Renderings of Musical Sound / Rolf Inge Godoy
String Bowing Gestures at Varying Bow Stroke Frequencies: A Case Study / Nicolas Rasamimanana ; Delphine Bernardin ; Marcelo Wanderley ; Frederic Bevilacqua
Gesture Control of Sound Spatialization for Live Musical Performance / Mark T. Marshall ; Joseph Malloch
Validation of an Algorithm for Segmentation of Full-Body Movement Sequences by Perception: A Pilot Experiment / Donald Glowinski ; Carlo Chiorri
Gesture for Therapy and Rehabilitation
Signs Workshop: The Importance of Natural Gestures in the Promotion of Early Communication Skills of Children with Developmental Disabilities / Ana Margarida P. Almeida ; Teresa Condeco ; Fernando Ramos ; Alvaro Sousa ; Luisa Cotrim ; Sofia Macedo ; Miguel Palha
The Ergonomic Analysis of the Workplace of Physically Disabled Individuals / Matthieu Aubry ; Frederic Julliard
Gesture in Mobile Computing and Usability Studies
Mnemonical Body Shortcuts for Interacting with Mobile Devices / Tiago Guerreiro ; Ricardo Gamboa ; Joaquim Jorge
The Effects of the Gesture Viewpoint on the Students' Memory of Words and Stories / Giorgio Merola
Author Index
Analysis and Synthesis of Gesture
Gesture Recognition Based on Elastic Deformation Energies / Radu-Daniel Vatavu ; Laurent Grisoni ; Stefan-Gheorghe Pentiuc
Approximation of Curvature and Velocity for Gesture Segmentation and Synthesis / Sylvie Gibet ; Pierre-Francois Marteau
4.

電子ブック

EB
Andr?? Seznec, Joel Emer, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
5.

電子ブック

EB
R. Ramanujam, Takeo Kanade, Sundar Sarukkai
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Decisions, Actions, and Games: A Logical Perspective (Invited Talk) / Johan van Benthem
Machine Checking Proof Theory: An Application of Logic to Logic (Invited Talk) / Rajeev Goré
Some Second Order Set Theory (Invited Talk) / Joel David Hamkins
Connection Matrices for MSOL-Definable Structural Invariants (Invited Talk) / Johann Makowsky
Knowledge, Games and Tales from the East (Invited Talk) / Rohit Parikh
A Para Consistent Fuzzy Logic (Invited Talk) / Esko Turunen
From Philosophical to Industrial Logics (Invited Talk) / Moshe Y. Vardi
Game Quantification Patterns / Dietmar Berwanger ; Sophie Pinchinat
Extensive Questions: From Research Agendas to Interrogative Strategies / Emmanuel J. Genot
An Analytic Logic of Aggregation / Patrick Girard ; Jeremy Seligman
Instantial Relevance in Polyadic Inductive Logic / Jürgen Landes ; Jeff Paris ; Alena Vencouská
Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic / Yoshihiro Maruyama
A General Setting for the Pointwise Investigation of Determinacy / Yurii Khomskii
A Two-Dimensional Hybrid Logic of Subset Spaces / Yi N. Wang
A Unified Framework for Certificate and Compilation for QBF / Igor Stéphan ; Benoit Da Mota
Towards Decidability of Conjugacy of Pairs and Triples / Benny George Kenkireth ; Samrith Ram
Gautama - Ontology Editor Based on Nyaya Logic / G.S. Mahalakshmi ; T. V. Geetha ; Arun Kumar ; Dinesh Kumar ; S. Manikandan
Formal Definitions of Reason Fallacies to Aid Defect Exploration in Argument Gaming
The Art of Non-asserting: Dialogue with N&abar;g&abar;rjuna / Marie-Hélène Gorisse
Author Index
Decisions, Actions, and Games: A Logical Perspective (Invited Talk) / Johan van Benthem
Machine Checking Proof Theory: An Application of Logic to Logic (Invited Talk) / Rajeev Goré
Some Second Order Set Theory (Invited Talk) / Joel David Hamkins
6.

電子ブック

EB
David Wolfe Corne, Pierluigi Frisco, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
7.

電子ブック

EB
Andy Gill, Takeo Kanade, Terrance Swift
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
8.

電子ブック

EB
Elisabetta Nitto, Takeo Kanade, Matei Ripeanu
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
9.

電子ブック

EB
Amihood Amir, Takeo Kanade, Alistair Moffat, Andrew Turpin
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
10.

電子ブック

EB
Konstantin Avrachenkov, Debora Donato, Takeo Kanade, Nelly Litvak
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
11.

電子ブック

EB
David Kaeli, Takeo Kanade, Kai Sachs
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
12.

電子ブック

EB
Lars Svensson, Takeo Kanade, Jos? Monteiro
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
13.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
14.

電子ブック

EB
Qing Li, Ling Feng, Takeo Kanade, Jian Pei, Sean X. Wang, Xiaofang Zhou, Qiao-Ming Zhu
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
15.

電子ブック

EB
Haizheng Zhang, C. Lee Giles, Takeo Kanade, Andrew McCallum, Bamshad Mobasher, Olfa Nasraoui, Myra Spiliopoulou, Jaideep Srivastava, John Yen
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Spectral Clustering in Social Networks / Miklós Kurucz ; András A. Benczúr ; Károly Csalogány ; László Lukács
Looking for Great Ideas: Analyzing the Innovation Jam / Wojciech Gryc ; Mary Helander ; Rick Lawrence ; Yan Liu ; Claudia Perlich ; Chandan Reddy ; Saharon Rosset
Segmentation and Automated Social Hierarchy Detection through Email Network Analysis / Germán Creamer ; Ryan Rowe ; Shlomo Hershkop ; Salvatore J. Stolfo
Mining Research Communities in Bibliographical Data / Osmar R. Zaïane ; Jiyang Chen ; Randy Goebel
Dynamics of a Collaborative Rating System / Kristina Lerman
Applying Link-Based Classification to Label Blogs / Smriti Bhagat ; Graham Cormode ; Irina Rozenbaum
Why We Twitter: An Analysis of a Microblogging Community / Akshay Java ; Xiaodan Song ; Tim Finin ; Belle Tseng
A Recommender System Based on Local Random Walks and Spectral Methods / Zeinab Abbassi ; Vahab S. Mirrokni
Author Index
Spectral Clustering in Social Networks / Miklós Kurucz ; András A. Benczúr ; Károly Csalogány ; László Lukács
Looking for Great Ideas: Analyzing the Innovation Jam / Wojciech Gryc ; Mary Helander ; Rick Lawrence ; Yan Liu ; Claudia Perlich ; Chandan Reddy ; Saharon Rosset
Segmentation and Automated Social Hierarchy Detection through Email Network Analysis / Germán Creamer ; Ryan Rowe ; Shlomo Hershkop ; Salvatore J. Stolfo
16.

電子ブック

EB
Michael Luck, Jorge J. Gomez-Sanz, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
17.

電子ブック

EB
Mladen Berekovic, Christian Hochberger, Takeo Kanade, Christian M?ller-Schloer, Stephan Wong
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
18.

電子ブック

EB
Iyad Rahwan, Takeo Kanade, Pavlos Moraitis
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Argument-Based Reasoning / Part I:
Personality-Based Practical Reasoning / Thomas L. van der Weide ; Frank Dignum ; John-Jules Ch. Meyer ; Henry Prakken ; Gerard A.W. Vreeswijk
Argumentation Based Resolution of Conflicts between Desires and Normative Goals / Sanjay Modgil ; Michael Luck
A Constrained Argumentation System for Practical Reasoning / Leila Amgoud ; Caroline Devred ; Marie-Christine Lagasquie-Schiex
An Argumentation Framework Based on Strength for Ontology Mapping / Cássia Trojahn ; Paulo Quaresma ; Renata Vieira
Contextual Extension with Concept Maps in the Argument Interchange Format / Ioan Alfred Letia ; Adrian Groza
Argumentation and Dialogue / Part II:
Command Dialogues / Katie Atkinson ; Rod Girle ; Peter McBurney ; Simon Parsons
Argumentation and Artifact for Dialogue Support / Enrico Oliva ; Mirko Viroli ; Andrea Omicini
Co-ordination and Co-operation in Agent Systems: Social Laws and Argumentation / Trevor Bench-Capon
Annotation and Matching of First-Class Agent Interaction Protocols / Tim Miller
Strategic and Pragmatic Issues / Part III:
Argumentation-vs. Proposal-Based Negotiation: An Empirical Case Study on the Basis of Game-Theoretic Solution Concepts / Angelika Först ; Achim Rettinger ; Matthias Nickles
Argumentation-Based Information Exchange in Prediction Markets / Santi Ontañón ; Enric Plaza
An Argumentative Approach for Modelling Coalitions Using ATL / Nils Bulling ; Carlos I. Chesñevar ; Jürgen Dix
A Dialogue Mechanism for Public Argumentation Using Conversation Policies / Yuqing Tang
Author Index
Argument-Based Reasoning / Part I:
Personality-Based Practical Reasoning / Thomas L. van der Weide ; Frank Dignum ; John-Jules Ch. Meyer ; Henry Prakken ; Gerard A.W. Vreeswijk
Argumentation Based Resolution of Conflicts between Desires and Normative Goals / Sanjay Modgil ; Michael Luck
19.

電子ブック

EB
Lucas Paletta, Takeo Kanade, John K. Tsotsos
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Attention in Scene Exploration
On the Optimality of Spatial Attention for Object Detection / Jonathan Harel ; Christof Koch
Decoding What People See from Where They Look: Predicting Visual Stimuli from Scanpaths / Moran Cerf ; Alex Huth ; Wolfgang Einhäuser
A Novel Hierarchical Framework for Object-Based Visual Attention / Rebecca Marfil ; Antonio Bandera ; Juan Antonio Rodríguez ; Francisco Sandoval
Where Do We Grasp Objects? - An Experimental Verification of the Selective Attention for Action Model (SAAM) / Christoph Böhme ; Dietmar Heinke
Contextual Cueing and Saliency
Integrating Visual Context and Object Detection within a Probabilistic Framework / Roland Perko ; Christian Wojek ; Bernt Schiele ; Ale&sbreve; Leonardis
The Time Course of Attentional Guidance in Contextual Cueing / Andrea Schankin ; Anna Schubö
Conspicuity and Congruity in Change Detection / Jean Underwood ; Emma Templeman ; Geoffrey Underwood
Spatiotemporal Saliency
Spatiotemporal Saliency: Towards a Hierarchical Representation of Visual Saliency / Neil D.B. Bruce ; John K. Tsotsos
Motion Saliency Maps from Spatiotemporal Filtering / Anna Belardinelli ; Fiora Pirri ; Andrea Carbone
Attentional Networks
Model Based Analysis of fMRI-Data: Applying the sSoTS Framework to the Neural Basic of Preview Search / Eirini Mavritsaki ; Harriet Allen ; Glyn Humphreys
Modelling the Efficiencies and Interactions of Attentional Networks / Fehmida Hussain ; Sharon Wood
The Jamf Attention Modelling Framework / Johannes Steger ; Niklas Wilming ; Felix Wolfsteller ; Nicolas Höning ; Peter Köning
Attentional Modeling
Modeling Attention and Perceptual Grouping to Salient Objects / Thomas Geerinck ; Hichem Sahli ; David Henderickx ; Iris Vanhamel ; Valentin Enescu
Attention Mechanisms in the Chrest Cognitive Architecture / Peter C.R. Lane ; Fernand Gobet ; Richard Ll. Smith
Modeling the Interactions of Bottom-Up and Top-Down Guidance in Visual Attention / Kathleen Maetens ; Eric Soetens
Relative Influence of Bottom-Up and Top-Down Attention / Matei Mancas
Towards Standardization of Evaluation Metrics and Methods for Visual Attention Models / Muhammad Zaheer Aziz ; Bärbel Mertsching
Comparing Learning Attention Control in Perceptual and Decision Space / Maryam S. Mirian ; Majid Nili Ahmadabadi ; Babak N. Araabi ; Ronald R. Siegwart
Automated Visual Attention Manipulation / Tibor Bosse ; Rianne van Lambalgen ; Peter-Paul van Maanen ; Jan Treur
Author Index
Attention in Scene Exploration
On the Optimality of Spatial Attention for Object Detection / Jonathan Harel ; Christof Koch
Decoding What People See from Where They Look: Predicting Visual Stimuli from Scanpaths / Moran Cerf ; Alex Huth ; Wolfgang Einhäuser
20.

電子ブック

EB
Alexander Gelbukh, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
21.

電子ブック

EB
Jomi Fred H?bner, Olivier Boissier, Virginia Dignum, Takeo Kanade, Eric Matson
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
From Coordination to Organization / I:
Agreeing on Institutional Goals for Multi-agent Societies / Dorian Gaertner ; Juan Antonio Rodriguez-Aguilar ; Francesca Toni
Organizations and Autonomous Agents: Bottom-Up Dynamics of Coordination Mechanisms / Bob van der Vecht ; Frank Dignum ; John-Jules Ch. Meyer ; Virginia Dignum
Combining Job and Team Selection Heuristics / Chris L.D. Jones ; K. Suzanne Barber
Force Versus Majority: A Comparison in Convention Emergence Efficiency / Paulo Urbano ; Joao Balsa ; Luis Antunes ; Luis Moniz
From Organization to Coordination / II:
Automatic Generation of Distributed Team Formation Algorithms from Organizational Models / Michael Kohler-Bubmeier ; Matthias Wester-Ebbinghaus
Exploring Robustness in the Context of Organizational Self-design / Sachin Kamboj ; Keith S. Decker
Instrumenting Multi-agent Organisations with Artifacts to Support Reputation Processes / Jomi Fred Hubner ; Laurent Vercouter ; Olivier Boissier
A Hybrid Reputation Model Based on the Use of Organizations / Viviane Torres da Silva ; Ramon Hermoso ; Roberto Centeno
Formalization of Norms and Institutions / III:
Formalising Situatedness and Adaptation in Electronic Institutions / Jordi Campos ; Maite Lopez-Sanchez ; Marc Esteva
A Context-Based Institutional Normative Environment / Henrique Lopes Cardoso ; Eugenio Oliveira
Towards a Formalisation of Electronic Contracting Environments / Nir Oren ; Sofia Panagiotidi ; Javier Vazquez-Salceda ; Sanjay Modgil ; Michael Luck ; Simon Miles
Design of Norms and Institutions / IV:
An Automata-Based Monitoring Technique for Commitment-Based Multi-Agent Systems / Paola Spoletini ; Mario Verdicchio
Using SOA Provenance to Implement Norm Enforcement in e-Institutions / Sergio Alvarez-Napagao
Verifying Social Expectations by Model Checking Truncated Paths / Stephen Cranefield ; Michael Winikoff
Applications / V:
The Use of Norms Violations to Model Agents Behavioral Variety / Benoit Lacroix ; Philippe Mathieu ; Andras Kemeny
Categorizing Social Norms in a Simulated Resource Gathering Society / Daniel Villatoro ; Jordi Sabater-Mir
Transgression and Atonement / Kevin M. Knight ; Deepthi Chandrasekaran ; Aline Normoyle ; Ransom Weaver ; Barry G. Silverman
Author Index
From Coordination to Organization / I:
Agreeing on Institutional Goals for Multi-agent Societies / Dorian Gaertner ; Juan Antonio Rodriguez-Aguilar ; Francesca Toni
Organizations and Autonomous Agents: Bottom-Up Dynamics of Coordination Mechanisms / Bob van der Vecht ; Frank Dignum ; John-Jules Ch. Meyer ; Virginia Dignum
22.

電子ブック

EB
Bernhard Sendhoff, Kenji Doya, Takeo Kanade, Edgar K?rner, Helge Ritter, Olaf Sporns
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Creating Brain-Like Intelligence / Bernhard Sendhoff ; Edgar Körner ; Olaf Sporns
From Complex Networks to Intelligent Systems
Stochastic Dynamics in the Brain and Probabilistic Decision-Making / Gustavo Deco ; Edmund T. Rolls
Formal Tools for the Analysis of Brian-Like structure and Dynamics / Jürgen Jost
Morphological Computation - Connecting Brain, Body, and Environment / Rolf Pfeifer ; Gabriel Gómez
Trying to Grasp a Sketch of a Brain for Grasping / Helge Ritter ; Robert Haschke ; Jochen J. Steil
Learning Actions through Imitation and Exploration: Towards Humanioid Robots That Learn from Humans / David B. Grimes ; Rajesh P.N. Rao
Towards Learning by Interacting Britta Wrede / Katharina J. Rohlfing ; Marc Hanheide ; Gerhard Sagerer
Planning and Moving in Dynamic Environments: A Statistical Machine Learning Approach / Sethu Vijayakumar ; Marc toussaint ; Giorgios Petkos ; Mathew Howard
Towards Cognitive Robotics / Christian Goerick
Approaches and Challenges for Cognitive Vision Systems / Julian Eggert ; Heiko Wersing
Some Requirements for Human-Like Robots: Why the Recent Over-Emphasis on Embodiment Has Held Up Progress / Aaron Sloman
Co-evolution of Rewards and Meta-parameters in Embodied Evolution / Stefan Elfwing ; Eiji Uchibe ; Kenji Doya
Active Vision for Goal-Oriented Humanoid Robot Walking / Mototaka Suzuki ; Tommaso Gritti ; Dario Floreano
Congnitive Adequacy in Brain-Like Intelligence / Christoph S. Herrmann ; Frank W. Ohl
Basal Ganglia Models for Autonomous Behavior Learning / Hiroshi Tsujino ; Johane Takeuchi ; Osamu Shouno
Author Index
Creating Brain-Like Intelligence / Bernhard Sendhoff ; Edgar Körner ; Olaf Sporns
From Complex Networks to Intelligent Systems
Stochastic Dynamics in the Brain and Probabilistic Decision-Making / Gustavo Deco ; Edmund T. Rolls
23.

電子ブック

EB
Xiaofang Zhou, Ke Deng, Takeo Kanade, Qing Liu, Haruo Yokota
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
24.

電子ブック

EB
Frank Nielsen, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Geometric Computing
Abstracts of the LIX Fall Colloquium 2008: Emerging Trends in Visual Computing / Frank Nielsen
From Segmented Images to Good Quality Meshes Using Delaunay Refinement / Jean-Daniel Boissonnat ; Jean-Philippe Pons ; Mariette Yuinec
Information Geometry and Applications
Discrete Curvature Flows for Surfaces and 3-Manifolds / Xiaotian Yin ; Miao Jin ; Feng Luo ; Xianfeng David Gu
Information Geometry and Its Applications: Convex Function and Dually Flat Manifold / Shun-ichi Amari
Computational Geometry from the Viewpoint of Affine Differential Geometry / Hiroshi Matsuzoe
Interactions between Symmetric Cone and Information Geometries: Bruhat-Tits and Siegel Spaces Models for High Resolution Autoregressive Doppler Imagery / Frederic Barbaresco
Clustering Multivariate Normal Distributions / Richard Nock
Computer Graphics and Vision
Intrinsic Geometries in Learning
Shape from Depth Discontinuities / Gabriel Taubin ; Daniel Crispell ; Douglas Lanman ; Peter Sibley ; Yong Zhao
Computational Photography: Epsilon to Coded Photography / Ramesh Raskar
Unifying Subspace and Distance Metric Learning with Bhattacharyya Coefficient for Image Classification / Qingshan Liu ; Dimitris N. Metaxes
Information Retrieval
Constant-Working-Space Algorithms for Image Processing / Tetsuo Asano
Sparse Multiscale Patches for Image Processing / Paolo Piro ; Sandrine Anthonie ; Eric Debreuve ; Michel Barlaud
Medical Imaging and Computational Anatomy
Recent Advances in Large Scale Image Search / Herve Jegou ; Matthijs Douze ; Cordelia Schmid
Information Theoretic Methods for Diffusion-Weighted MRI Analysis / Angelos Barmpoutis ; Baba C. Vemuri
Statistical Computing on Manifolds: From Reimannian Geometry to Computational Anatomy / Xavier Pennec
Author Index
Geometric Computing
Abstracts of the LIX Fall Colloquium 2008: Emerging Trends in Visual Computing / Frank Nielsen
From Segmented Images to Good Quality Meshes Using Delaunay Refinement / Jean-Daniel Boissonnat ; Jean-Philippe Pons ; Mariette Yuinec
25.

電子ブック

EB
Volkmar Pipek, Takeo Kanade, Mary Beth Rosson, Boris Ruyter, Volker Wulf
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
26.

電子ブック

EB
John Domingue, Dieter Fensel, Takeo Kanade, Paolo Traverso
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
27.

電子ブック

EB
Ioannis G. Tollis, Takeo Kanade, Maurizio Patrignani
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
28.

電子ブック

EB
T?lay Adali, Allan Kardec Barros, Christian Jutten, Takeo Kanade, Jo?o Marcos Travassos Romano
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
29.

電子ブック

EB
Pil Joong Lee, Jung Hee Cheon, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
30.

電子ブック

EB
Kyo-Il Chung, Takeo Kanade, Kiwook Sohn, Moti Yung
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
31.

電子ブック

EB
Michael Leuschel, Takeo Kanade, Heike Wehrheim
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
32.

電子ブック

EB
Michael Hanus, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
33.

電子ブック

EB
Sergei Artemov, Takeo Kanade, Anil Nerode
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
34.

電子ブック

EB
Michael Butler, Cliff Jones, Takeo Kanade, Alexander Romanovsky, Elena Troubitsyna
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Formal Reasoning about Fault Tolerant Systems and Protocols / Part I:
Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols / A. Fehnker ; M. Fruth ; A.K. McIver
Reasoning about System-Degradation and Fault-Recovery with Deontic Logic / Pablo F. Castro ; T.S.E Maibaum
Temporal Verification of Fault-Tolerant Protocols / Michael Fisher ; Boris Konev ; Alexei Lisitsa
Design and Verification of Fault-Tolerant Components / Miaomiao Zhang ; Zhiming Liu ; Charles Morisset ; Anders P. Ravn
Dynamically Detecting Faults via Integrity Constraints / Ian J. Hayes
Fault Tolerance: Modelling in B / Part II:
Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction / Elisabeth Ball ; Michael Butler
Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems / Linas Laibinis ; Elena Troubitsyna ; Sari Leppanen
Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B / Divakar Yadav
Model-Based Testing Using Scenarios and Event-B Refinements / Qaisar A. Malik ; Johan Lilius
Fault Tolerance in System Development Process / Part III:
Recording Process Documentation in the Presence of Failures / Zheng Chen ; Luc Moreau
Drep: A Requirements Engineering Process for Dependable Reactive Systems / Sadaf Mustafiz ; Jorg Kienzle
Documenting the Progress of the System Development / Marta Plaska ; Marina Walden ; Colin Snook
Fault Tolerance Requirements Analysis Using Deviations in the Correct Development Process / Andrey Berlizev ; Nicolas Guelfi
Fault Tolerant Applications / Part IV:
Step-Wise Development of Resilient Ambient Campus Scenarios / Alexei Iliasov ; Budi Arief ; Alexander Romanovsky
Using Inherent Service Redundancy and Diversity to Ensure Web Services Dependability / Anatoliy Gorbenko ; Vyacheslav Kharchenko
Author Index
Formal Reasoning about Fault Tolerant Systems and Protocols / Part I:
Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols / A. Fehnker ; M. Fruth ; A.K. McIver
Reasoning about System-Degradation and Fault-Recovery with Deontic Logic / Pablo F. Castro ; T.S.E Maibaum
35.

電子ブック

EB
Jobst L?ffler, Takeo Kanade, Markus Klann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
36.

電子ブック

EB
Doron A. Peled, Takeo Kanade, Michael J. Wooldridge
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Verifying Time and Communication Costs of Rule-Based Reasoners / Natasha Alechina ; Brian Logan ; Nguyen Hoang Nga ; Abdur Rakib
Solving m-Calculus Parity Games by Symbolic Planning / Marco Bakera ; Stefan Edelkamp ; Peter Kissmann ; Clemens D. Renner
Verifying Robocup Teams / Clara Benac Earle ; Lars-Ake Fredlund ; Jose Antonio Iglesias ; Agapito Ledezma
Scaling Search with Pattern Databases / Shahid Jabbar
Survey on Directed Model Checking (Invited Talk) / Viktor Schuppan ; Dragan Bosnacki ; Anton Wijs ; Ansgar Fehnker ; Husain Aljazzar
Automated Testing of Planning Models / Klaus Havelund ; Alex Groce ; Gerard Holzmann ; Rajeev Joshi ; Margaret Smith
Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic / Alessio Lomuscio ; Wojciech Penczek ; Hongyang Qu
Model Checking Driven Heuristic Search for Correct Programs (Invited Talk) / Gal Katz ; Doron Peled
Experimental Evaluation of a Planning Language Suitable for Formal Verification / Radu I. Siminiceanu ; Rick W. Butler ; Cesar A. Munoz
Relaxation Refinement: A New Method to Generate Heuristic Functions (Invited Talk) / Jan-Georg Smaus ; Jorg Hoffmann
Model Checking Strategic Equilibria (Invited Talk) / Nicolas Troquard ; Wiebe van der Hoek ; Michael Wooldridge
Author Index
Verifying Time and Communication Costs of Rule-Based Reasoners / Natasha Alechina ; Brian Logan ; Nguyen Hoang Nga ; Abdur Rakib
Solving m-Calculus Parity Games by Symbolic Planning / Marco Bakera ; Stefan Edelkamp ; Peter Kissmann ; Clemens D. Renner
Verifying Robocup Teams / Clara Benac Earle ; Lars-Ake Fredlund ; Jose Antonio Iglesias ; Agapito Ledezma
37.

電子ブック

EB
Anna Esposito, Amir Hussain, Takeo Kanade, Maria Marinaro, Raffaele Martone
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Interactive and Unsupervised Multimodal Systems
Multimodal Human Machine Interactions in Virtual and Augmented Reality / Gérard Chollet ; Anna Esposito ; Annie Gentes ; Patrick Horain ; Walid Karam ; Zhenbo Li ; Catherine Pelachaud ; Patrick Perrot ; Dijana Petrovska-Delacrétaz ; Dianle Zhou ; Leila Zouari
Speech through the Ear, the Eye, the Mouth and the Hand / Marion Dohen
Multimodality Issues in Conversation Analysis of Greek TV Interviews / Maria Koutsombogera ; Harris Papageorgiou
Representing Communicative Function and Behavior in Multimodal Communication / Hannes Högni Vilhjálmsson
Using the iCat as Avatar in Remote Meetings / Dirk Heylen ; Mannes Poel ; Anton Nijholt
Using Context to Disambiguate Communicative Signals / Mark ter Maat
Modeling Aspects of Multimodal Lithuanian Human - Machine Interface / Rytis Maskeliunas
Using a Signing Avatar as a Sign Language Research Tool / Delroy Nelson
Data Fusion at Different Levels / Marcos Faundez-Zanuy
Voice Technology Applied for Building a Prototype Smart Room / Josef Chaloupka ; Jan Nouza ; Jindrich Zdansky ; Petr Cerva ; Jan Silovsky ; Martin Kroul
Towards Facial Gestures Generation by Speech Signal Analysis Using Huge Architecture / Goranka Zoric ; Karlo Smid ; Igor S. Pandzic
Multi-modal Speech Processing Methods: An Overview and Future Research Directions Using a Matlab Based Audio-Visual Toolbox / Andrew Abel ; Amir Hussain
From Extensity to Protensity in Cas: Adding Sounds to Icons / Alina E. Lascu ; Alexandru V. Georgescu
Statistical Modeling of Interpersonal Distance with Range Imaging Data / René Hempel ; Patrick Westfeld
Verbal and Nonverbal Communication Signals
How the Brain Processes Language in Different Modalities / Bencie Woll
From Speech and Gestures to Dialogue Acts / Maciej Karpinski
The Language of Interjections / Isabella Poggi
Gesture and Gaze in Persuasive Political Discourse / Laura Vincze
Content in Embedded Sentences: A Typology by Context Shift / Uli Sauerland ; Mathias Schenner
A Distributional Concept for Modeling Dialectal Variation in TTS / Freidrich Neubarth ; Christian Kranzler
Regionalized Text-to-Speech Systems: Personal Design and Application Scenarios / Michael Pucher ; Gudrun Schuchmann ; Peter Fröhlich
Vocal Gestures in Slovak: Emotions and Prosody / &Sbreve;tefan Be&nbreve;u&sbreve; ; Milan Rusko
Spectrum Modification for Emotional Speech Synthesis / Anna P&rbreve;ibilová ; Ji&rbreve;í P&rbreve;ibil
Comparison of Grapheme and Phoneme Based Acoustic Modeling in LVCSR Task in Slovak / Michal Mirilovi&cbreve; ; Jozef Juhár ; Anton &Cbreve;i&zbreve;már
Automatic Motherese Detection for Face-to-Face Interaction Analysis / Ammar Mahdhaoui ; Mohamed Chetouani ; Cong Zong ; Raquel Sofia Cassel ; Catherine Saint-Georges ; Marie-Christine Laznik ; Sandra Maestro ; Fabio Apicella ; Filippo Muratori ; David Cohen
Recognition of Emotions in German Speech Using Gaussian Mixture Models / Martin Vondra ; Robert Vích
Electroglottogram Analysis of Emotionally Styled Phonation / Peter J. Murphy ; Anne-Maria Laukkanen
Emoticonsciousness / Carl Vogel ; Jerom F. Janssen
Urban Environmental Information Perception and Multimodal Communication: The Air Quality Example / Li Zhu ; Kostas Karatzas ; John Lee
Underdetermined Blind Source Separation Using Linear Separation System / Jan Cermak ; Zdenek Smekal
Articulatory Synthesis of Speech and Singing: State of the Art and Suggestions for Future Research / Bernd J. Kröger ; Peter Birkholz
Qualitative and Quantitative Crying Analysis of New Born Babies Delivered Under High Risk Gestation / Antonio Verduzco-Mendoza ; Emilio Arch-Tirado ; Carlos A. Reyes García ; Jaime Leybón Ibarra ; Juan Licona Bonilla
Recognizing Facial Expressions Using Model-Based Image Interpretation / Matthias Wimmer ; Christoph Mayer ; Bernd Radig
Face Localization in 2D Frontal Face Images Using Luminosity Profiles Analysis / Marco Grassi ; Francesco Piazza
Author Index
Interactive and Unsupervised Multimodal Systems
Multimodal Human Machine Interactions in Virtual and Augmented Reality / Gérard Chollet ; Anna Esposito ; Annie Gentes ; Patrick Horain ; Walid Karam ; Zhenbo Li ; Catherine Pelachaud ; Patrick Perrot ; Dijana Petrovska-Delacrétaz ; Dianle Zhou ; Leila Zouari
Speech through the Ear, the Eye, the Mouth and the Hand / Marion Dohen
38.

電子ブック

EB
Eitan Altman, Augustin Chaintreau, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
39.

電子ブック

EB
Sanjay Chawla, Akihiro Inokuchi, Takeo Kanade, Shin-ichi Minato, Takashi Onoda, Shusaku Tsumoto, Takashi Washio, Seiji Yamada
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
40.

電子ブック

EB
Svetozar Margenov, Takeo Kanade, Lubin G. Vulkov
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
41.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
42.

電子ブック

EB
Peter Bruza, Takeo Kanade, Matthias Klusch, William Lawless, Keith Rijsbergen, Donald Sofge
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Tutorial
Introduction to Quantum Probability for Social and Behavioral Scientists / Jerome R. Busemeyer
Invited Talk
Revealing Quantum Entanglement via Locally Noneffective Operations / Dagmar Bru? ; Sevag Gharibian ; Hermann Kampermann
Foundations
Fractals and the Fock-Bargmann Representation of Coherent States / Giuseppe Vitiello
Generalising Unitary Time Evolution / Kirsty Kitto ; Peter Bruza ; Laurianne Sitbon
Comparison of Quantum and Bayesian Inference Models / Jennifer Trueblood
Quantum-Like Representation of Macroscopic Configurations / Andrei Khrennikov
Quantum Cognition
Experimental Evidence for Quantum Structure in Cognition / Diederik Aerts ; Sven Aerts ; Liane Gabora
Extracting Spooky-Activation-at-a-Distance from Considerations of Entanglement / Douglas Nelson ; Cathy McEvoy
Quantum Amplitude Amplification Algorithm: An Explanation of Availability Bias / Riccardo Franco
Quantum Coherence without Quantum Mechanics in Modeling the Unity of Consciousness / Marcin Jan Schroeder
Quantum Mechanics and Decision Theory
An Exploration of Type Indeterminacy in Strategic Decision-Making / Ariane Lambert-Mogiliansky
Classical Logical Versus Quantum Conceptual Thought: Examples in Economics, Decision Theory and Concept Theory / Bart D'Hooghe
Quantum Mechanics and Computation
Quantum and Classical Structures in Nondeterminstic Computation / Dusko Pavlovic
A Symbolic Classical Computer Language for Simulation of Quantum Algorithms / Peter Nyman
Quantum Theory, the Chinese Room Argument and the Symbol Grounding Problem / Ravi V. Gomatam
Quantum Mechanics and Social Interaction
Conservation of Information: A New Approach to Organizing Human-Machine-Robotic Agents under Uncertainty / William F. Lawless ; Donald A. Sofge ; H.T. Goranson
On Voting Process and Quantum Mechanics / François Dubois
Nonseparability of Shared Intentionality / Christian Flender
Quantum Mechanics and Semantic Space
Semantic Spaces: Measuring the Distance between Different Subspaces / Guido Zuccon ; Leif A. Azzopardi ; C.J. van Rijsbergen
Characterizing Pure High-Order Entanglements in Lexical Semantic Spaces via Information Geometry / Yuexian Hou ; Dawei Song
Semantic Vector Combinations and the Synoptic Gospels / Dominic Widdows ; Trevor Cohen
Quantum Mechanics and Information Retrieval
Eraser Lattices and Semantic Contents: An Exploration of the Semantic Contents in Order Relations between Erasers / Alvaro F. Huertas-Rosero
Beyond Ontology in Information Systems
Structured Information Retrieval and Quantum Theory / Benjamin Piwowarski ; Mounia Lalmas
Quantum Mechanics and Economics
Hilbert Space Models Commodity Exchanges / Paul Cockshott
Quantum Calculus (q-Calculus) and Option Pricing: A Brief Introduction / Emmanuel Haven
Author Index
Tutorial
Introduction to Quantum Probability for Social and Behavioral Scientists / Jerome R. Busemeyer
Invited Talk
43.

電子ブック

EB
J?rgen Becker, Peter Athanas, Takeo Kanade, Fearghal Morgan, Roger Woods
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
44.

電子ブック

EB
G?rard Huet, Takeo Kanade, Amba Kulkarni, Peter Scharf
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
On the Structure of Panini's System / George Cardona
On the Architecture of Panini's Grammar / Paul Kiparsky
Modeling Paninian Grammar / Peter M. Scharf
Simulating the Paninian System of Sanskrit Grammar / Anand Mishra
Computer Simulation of Astadhyayi: Some Insights / Pawan Goyal ; Amba Kulkarni ; Laxmidhar Behera
Formal Structure of Sanskrit Text: Requirements Analysis for a Mechanical Sanskrit Processor / Gerard Huet
Analysis of Sanskrit Text: Parsing and Semantic Relations / Vipul Arora
Inflectional Morphology Analyzer for Sanskrit / Girish Nath Jha ; Muktanand Agrawal ; Subash ; Sudhir K. Mishra ; Diwakar Mani ; Diwakar Mishra ; Manji Bhadra ; Surjit K. Singh
Semantic Processing in Panini's Karaka System
From Paninian Sandhi to Finite State Calculus / Malcolm D. Hyman
Sanskrit Tagger: A Stochastic Lexical and POS Tagger for Sanskrit / Oliver Hellwig
A Glimpse into the Apadam-Constraint in the Tradition of Sanskrit Grammar / Prasad P. Joshi
A Study towards Design of an English to Sanskrit Machine Translation System / R. Mahesh K. Sinha
Phonological Overgeneration in Paninian System / Malhar Kulkarni
Issues in Combinatorial Analysis of Vedic Verbal and Nominal Forms / Boris Oguibenine
Verbal Roots in the Sanskrit Wordnet / Pushpak Bhattacharyya
An Effort to Develop a Tagged Lexical Resource for Sanskrit / S. Varakhedi ; V. Jaddipal ; V. Sheeba
Towards a Scholarly Editing System for the Next Decades / Peter Robinson
Critical Edition of Sanskrit Texts / Marc Csernel ; Francois Patte
Chi-Squares and the Phenomenon of "Change of Exemplar" in the Dyutaparvan / Wendy J. Phillips-Rodriguez ; Christopher J. Howe ; Heather F. Windram
Applying the OCRopus OCR System to Scholarly Sanskrit Literature / Thomas M. Breuel
Keyword Spotting Techniques for Sanskrit Documents / Anurag Bhardwaj ; Srirangaraj Setlur ; Venu Govindaraju
The Phonemic Approach for Sanskrit Text / R.K. Joshi ; T.N. Dharmadhikari ; Vijay Vasudev Bedekar
Author Index
On the Structure of Panini's System / George Cardona
On the Architecture of Panini's Grammar / Paul Kiparsky
Modeling Paninian Grammar / Peter M. Scharf
45.

電子ブック

EB
Andrea Lucia, Filomena Ferrucci, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Software Requirements and Design
The Future of Software: Adaptation and Dependability / Paola Inverardi ; Massimo Tivoli
Autonomic Computing Now You See It, Now You Don't: Design and Evolution of Autonomic Software Systems / Hausi A. Muller ; Holger M. Kienle ; Ulrike Stege
Impact of Usability on Software Requirements and Design / Natalia Juristo
Software Testing and Reverse Engineering
Service-Oriented Architectures Testing: A Survey / Gerardo Canfora and Massimiliano Di Penta
The PLASTIC Framework and Tools for Testing Service-Oriented Applications / Antonia Bertolino ; Guglielmo De Angelis ; Lars Frantzen ; Andrea Polini
Architecture Reconstruction: Tutorial on Reverse Engineering to the Architectural Level / Rainer Koschke
Management
Collaboration in Distributed Software Development / Filippo Lanubile
Web Cost Estimation and Productivity Benchmarking / Emilia Mendes
Knowledge Base and Experience Factory for Empowering Competitiveness / Giuseppe Visaggio
Author Index
Software Requirements and Design
The Future of Software: Adaptation and Dependability / Paola Inverardi ; Massimo Tivoli
Autonomic Computing Now You See It, Now You Don't: Design and Evolution of Autonomic Software Systems / Hausi A. Muller ; Holger M. Kienle ; Ulrike Stege
46.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
47.

電子ブック

EB
Omer Reingold, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
48.

電子ブック

EB
Marina L. Gavrilova, Takeo Kanade, C. J. Kenneth Tan
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Computational Visualization and Optimization / Part 1:
Visual Immersive Haptic Mathematics in Shared Virtual Spaces / Alexei Sourin ; Olga Sourina ; Lei Wei ; Paul Gagnon
The Voronoi Diagram of Circles and Its Application to the Visualization of the Growth of Particles / François Anton ; Darka Mioc ; Christopher Gold
Designing Aircraft Cockpit Displays: Borrowing from Multimodal User Interfaces / Mladjan Jovanovic ; Dusan Starcevic ; Zelijko Obrenovic
Parallel Optimal Weighted Links / Ovidiu Daescu ; Yam K. Cheung ; James D. Palmer
Parallel Simulation of Oil Reservoirs on a Multi-core Stream Computer / Fadi N. Sibai ; Hashir Karim Kidwai
Computational Methods for Model Design and Analysis / Part 2:
Efficient Reversible Logic Design of BCD Subtractors / Himanshu Thapliyal ; Hamid R. Arabnia ; M.B. Srinivas
Missing Data Analysis: A Kernel-Based Multi-Imputation Approach / Shichao Zhang ; Zhi Jin ; Xiaofeng Zhu ; Jilian Zhang
The Average Solution of a Stochastic Nonlinear Schrodinger Equation under Stochastic Complex Non-Homogeneity and Complex Initial Conditions / Magdy A. El-Tawil
Neural Network Representation for the Forces and Torque of the Eccentric Sphere Model / Mostafa Y. Elbakry ; Mohammed El-Helly ; Mahmoud Y. Elbakry
Author Index
Computational Visualization and Optimization / Part 1:
Visual Immersive Haptic Mathematics in Shared Virtual Spaces / Alexei Sourin ; Olga Sourina ; Lei Wei ; Paul Gagnon
The Voronoi Diagram of Circles and Its Application to the Visualization of the Growth of Particles / François Anton ; Darka Mioc ; Christopher Gold
49.

電子ブック

EB
Liqun Chen, Takeo Kanade, Andrew Martin, Chris J. Mitchell
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
50.

電子ブック

EB
David Hutchison, Spyros Denazis, Takeo Kanade, Laurent Lefevre, Gary J. Minden
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼