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…
51.

電子ブック

EB
Ernesto Damiani, Richard Chbeir, Albert Dipanda, Takeo Kanade, Kokou Yetongnon
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
52.

電子ブック

EB
Antoine Joux, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
53.

電子ブック

EB
Nabil Abdennadher, Takeo Kanade, Dana Petcu
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
54.

電子ブック

EB
Mohand Boughanem, Catherine Berrut, Takeo Kanade, Josiane Mothe, Chantal Soule-Dupuy
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
55.

電子ブック

EB
Thanaruk Theeramunkong, Nick Cercone, Tu-Bao Ho, Takeo Kanade, Boonserm Kijsirikul
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
56.

電子ブック

EB
Aditya Ghose, Guido Governatori, Takeo Kanade, Ramakoti Sadananda
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Existence of Risk Strategy Equilibrium in Games Having No Pure Strategy Nash Equilibrium / Ka-man Lam ; Ho-Fung Leung
Multiagent Planning with Trembling-Hand Perfect Equilibrium in Multiagent POMDPs / Yuichi Yabu ; Makoto Yokoo ; Atsushi Iwasaki
Mageframe: A Modular Agent Framework to Support Various Communication Schemas Based on a Self-embedding Algorithm / Quintin J. Balsdon ; Elizabeth M. Ehlers
Using Multiagent System to Build Structural Earth Model / Beiting Zhu ; Zahia Guessoum ; Michel Perrin ; Bertrand Braunschweig ; Pierre Fery-Forgues ; Jean-François Rainaud
Agent-Supported Protein Structure Similarity Searching / Dariusz Mrozek ; Bozena Matysiak ; Wojciech Augustyn
Merging Roles in Coordination and in Agent Deliberation / Guido Boella ; Valerio Genovese ; Roberto Grenna ; Leendert van der Torre
Planning Actions with Social Consequences / Hsueh-Min Chang ; Von-Wun Soo
Layered Cooperation of Macro Agents and Micro Agents in Cooperative Active Contour Model / Noriko Matsumoto ; Norihiko Yoshida ; Shuji Narazaki
Contextual Agent Deliberation in Defeasible Logic / Mehdi Dastani ; Guido Governatori ; Antonino Rotolo ; Insu Song
Real-Time Moving Target Search / Cagatay Undeger ; Faruk Polat
Formalizing Excusableness of Failures in Multi-Agent Systems / Eugen Staab ; Thomas Engel
Design and Implementation of Security Mechanisms for a Hierarchical Community-Based Multi-Agent System / Kenichi Takahashi ; Yoshiki Mitsuyuki ; Tsunenori Mine ; Kouichi Sakurai ; Makoto Amamiya
A Need for Biologically Inspired Architectural Description: The Agent Ontogenesis Case / Terence L. van Zyl
Multi-Agent Based Web Search with Heterogeneous Semantics / Rui Huang ; Zhongzhi Shi
Reasoning about Norms, Obligations, Time and Agents / Jan Broersen
An Agent Modeling Method Based on Scenario Rehearsal for Multiagent Simulation / Shohei Yamane ; Toru Ishida
Fast Partial Reallocation in Combinatorial Auctions for Iterative Resource Allocation / Naoki Fukuta ; Takayuki Ito
Deliberation Process in a BDI Model with Bayesian Networks / Moser Silva Fagundes ; Rosa Maria Vicari ; Helder Coelho
An Asymmetric Protocol for Argumentation Games in Defeasible Logic / Jenny Eriksson Lundström ; Subhasis Thakur ; Vineet Padmanabhan
On the Design of Interface Agents for a DRT Transportation System / Claudio Cubillos ; Sandra Gaete ; Guillermo Cabrera
Supporting Requirements Analysis in Tropos: A Planning-Based Approach / Volha Bryl ; Paolo Giorgini ; John Mylopoulos
Towards Method Engineering for Multi-Agent Systems: A Validation of a Generic MAS Metamodel / Graham Low ; Ghassan Beydoun ; Brian Henderson-Sellers ; Cesar Gonzalez-Perez
Entrainment in Human-Agent Text Communication / Ikuko Kanashiro ; Kazuki Kobayashi ; Yasuhiko Kitamura
A Driver Modeling Methodology Using Hypothetical Reasoning for Multiagent Traffic Simulation / Yusuke Tanaka ; Yuu Nakajima ; Hiromitsu Hattori
Analysis of Pederstrian Navigation Using Cellular Phones / Takatoshi Oishi ; Daisuke Morikawa
Identifying Structural Changes in Networks Generated from Agent-Based Social Simulation Models / Shah Jamal Alam ; Bruce Edmonds ; Ruth Meyer
Multi-agent Simulation of Linguistic Processes: A NEPs Perspective / Gemma Bel-Enguix ; M. Dolores Jiménez-López
A 3D Conversational Agent for Presenting Digital Information for Deaf People / Da Phuc Phan ; Thi Nhat Thanh Nguyen ; The Duy Bui
Multiagent-Based Defensive Strategy System for Military Simulation / Seheon Song ; Seokcheol Shin ; Minkoo Kim
Achieving DRBAC Authorization in Multi-trust Domains with MAS Architecture and PMI / Somchart Fugkeaw ; Piyawit Manpanpanich ; Sekpon Juntapremjitt
When and How to Smile: Emotional Expression for 3D Conversational Agents / Thi Duyen Ngo
GAMA: An Environment for Implementing and Running Spatially Explicit Multi-agent Simulations / Edouard Amouroux ; Thanh-Quang Chu ; Alain Boucher ; Alexis Drogoul
Multi-agent Based Incineration Process Control System with Qualitative Model / Hyeon-Kyeong Kim ; Seungdo Kim
Engineering Adaptive Multi-Agent Systems with ODAM Methodology / Xinjun Mao ; Jianming Zhao ; Ji Wang
Integrating Agent Technology and SIP Technology to Develop Telecommunication Applications with JadexT / Huocheng Wu ; Jie Li
A Generic Distributed Algorithm for Computing by Random Mobile Agents / Shehla Abbas ; Mohamed Mosbah ; Akka Zemmari
Coalition Structure Generation in Task-Based Settings Based on Cardinality Structure / She-Xiong Su ; Shan-Li Hu ; Sheng-Fu Zheng ; Chao-Feng Lin ; Xian-Wei Lai
A Specialised Architecture for Embedding Trust Evaluation Capabilities in Intelligent Mobile Agents / Justin R. Pike ; Ockmer L. Oosthuizen
Reasoning with Levels of Modalities in BDI Logic / Jeff Blee ; David Billington ; Abdul Sattar
A Distributed Computational Model for Mobile Agents / Med Amine Haddar ; Ahmed Hadj Kacem ; Yues Métivier ; Mohamed Jmaiel
Belief-Based Stability in Non-transferable Utility Coalition Formation / Chi-Kong Chan
Déjà Vu: Social Network Agents for Personal Impression Management / Chia-Chuan Hung ; Yi-Ching Huang ; Jane Yung-jen Hsu
Agent Dialogue as Partial Argumentation and Its Fixpoint Semantics (Extended Abstract) / Takayoshi Suzuki ; Hajime Sawamura
Developing Knowledge Models for Multi-agent Mediator Systems / Cheah Wai Shiang ; Leon Sterling
A Game Theoretic Approach for Deploying Intrusion Detection Agent / Yi-Ming Chen ; Dachrahn Wu ; Cheng-Kuang Wu
Double Token-Ring and Region-Tree Based Group Communication Mechanism for Mobile Agent / Zehua Zhang ; Xuejie Zhang
Towards Culturally-Situated Agent Which Can Detect Cultural Differences / Heeryon Cho ; Naomi Yamashita
Ontology-Based Emotion System for Digital Environment / Woo Yeon Hwang ; Jung-Jin Yang
An Agent Approach for Distributed Job-Shop Scheduling / Leonardo Espinoza ; Nibaldo Rodríguez
Author Index
Existence of Risk Strategy Equilibrium in Games Having No Pure Strategy Nash Equilibrium / Ka-man Lam ; Ho-Fung Leung
Multiagent Planning with Trembling-Hand Perfect Equilibrium in Multiagent POMDPs / Yuichi Yabu ; Makoto Yokoo ; Atsushi Iwasaki
Mageframe: A Modular Agent Framework to Support Various Communication Schemas Based on a Self-embedding Algorithm / Quintin J. Balsdon ; Elizabeth M. Ehlers
57.

電子ブック

EB
Dietmar Seipel, Michael Hanus, Takeo Kanade, Armin Wolf
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
A Guide for Manual Construction of Difference-List Procedures / Ulrich Geske ; Hans-Joachim Goltz
Constraints
Linear Weighted-Task-Sum - Scheduling Prioritized Tasks on a Single Resource / Armin Wolf ; Gunnar Schrader
Efficient Edge-Finding on Unary Resources with Optional Activities (Revised and Extended Version) / Sebastian Kuhnert
Encoding of Planning Problems and Their Optimizations in Linear Logic / Lukáš Chrpa ; Pavel Surynek ; Jiří Vyskočil
Constraint-Based Timetabling System for the German University in Cairo / Slim Abdennadher ; Mohamed Aly ; Marlien Edward
Databases and Data Mining
Squash: A Tool for Analyzing, Tuning and Refactoring Relational Database Applications / Andreas M. Boehm ; Dietmar Seipel ; Albert Sickmann ; Matthias Wetzka
Relational Models for Tabling Logic Programs in a Database / Pedro Costa ; Ricardo Rocha ; Michel Ferreira
Integrating XQuery and Logic Programming / Jesús M. Almendros-Jiménez ; Antonio Becerra-Terón ; Francisco J. Enciso-Baños
Causal Subgroup Analysis for Detecting Confounding / Martin Atzmueller ; Frank Puppe
Using Declarative Specifications of Domain Knowledge for Descriptive Data Mining
Extensions of Logic Programming
Integrating Temporal Annotations in a Modular Logic Language / Vitor Nogueira ; Salvador Abreu
Visual Generalized Rule Programming Model for Prolog with Hybrid Operators / Grzegorz J. Nalepa ; Igor Wojnicki
The Kiel Curry System KICS / Bernd Braβel ; Frank Huch
Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics / Francisco J. López-Fraguas ; Juan Rodríguez-Hortalá ; Jaime Sánchez-Hernández
Java Type Unification with Wildcards / Martin Plümicke
System Demonstrations
Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT / Johannes Oetsch ; Martina Seidl ; Hans Tompits ; Stefan Woltran
spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics / Martin Gebser ; Jörg Pührer ; Torsten Schaub
Author Index
Invited Talk
A Guide for Manual Construction of Difference-List Procedures / Ulrich Geske ; Hans-Joachim Goltz
Constraints
58.

電子ブック

EB
Mario Giacobini, Anthony Brabazon, Stefano Cagnoni, Gianni A. Caro, Anik? Ek?rt, Anna Isabel Esparcia-Alc?zar, Muddassar Farooq, Andreas Fink, Takeo Kanade, Penousal Machado
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
59.

電子ブック

EB
Sanguthevar Rajasekaran, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Association Analysis Techniques for Bioinformatics Problems / Gowtham Atluri ; Rohit Gupta ; Gang Fang ; Gaurav Pandey ; Michael Steinbach ; Vipin Kumar
Analzing and Interrogating Bilogical Networks (Abstract) / Eric Banks ; Elena Nabieva ; Bernard Chazelle ; Ryan Peterson ; Mona Singh
From Architecture to Function (and Back) in Bio-networks / Vladimir Filkov
A New Machine Larning Approach for Protein Phosphorylation Site Prediction in Plants / Jianjiong Gao ; Ganesh Kumar Agrawal ; Jay J. Thelen ; Zoran Obradovic ; A. Keiths Dunker ; Dong Xu
Assembly of Large Genomes from Paired Short Reads / Benjamin G. Jackson ; Patrick S. Schnable ; Srinivas Aluru
Amino Acid Classification and Hash Seeds for Homology Search / Weiming Li ; Bin Ma ; Kaizhongs Zhang
Genotype and Haplotype Reconstruction from Low-Coverage Short Sequencing Reads / Ion Mãndoiu
Gene Networks Viewed through Two Models / Satoru Miyano ; Rui Yamaguchi ; Yoshinori Tamada ; Masco Nagasaki ; Seiya Imoto
identifying Evolutionarily Conserved Protein Interaction Modules Using GrahHopper / Corban G. Rivera ; T.M. Murali
The 2-Interval Pattern Matching Problems and Its Application to ncRNA Scanning / Thomas K.F. Wong ; S.M. Yiu ; T.W. Lam ; Wing-Kin Sung
Refereed Papers
RNA Pseudoknot Folding through Inference and Identification Using TagRNA / Sahar Al Seesi ; Sanguthevar Rajasekaran ; Reda Ammar
Comparing Bacterial Genomes by Searching Their Common Intervals / Sébastien Angibaud ; Damien Eveillard ; Guillaume Fertin ; Irena Rusu
Generalized Binary Tanglegrams: Algorithms and Applications / Mukul S. Bansal ; Wen-Chieh Chang ; Oliver Eulenstein ; David Fernández-Baca
Three-Dimensional Multimodality Modelling by Integration of High-Resolution Interindividual Atlases and Functional Maldi-Ims Data / Felix Bollenbeck ; Stephanies Kaspar ; Hans-Peter Mock ; Diana Weier ; Udo Seiffert
Detecting Motifs in a Large Data Set: Applying Probabilistic Insights to Motif Findings / Christina Boucher ; Daniel G. Brown
A Biclustering Methos to Discover Co-regulated Genes Using Diverse Gene Expression Datasets / Doruk Bozdağ ; Jeffrey D. Parvin ; Umit V. Catalyurek
Comptational Protocol for Screening GPI-anchored Proteins / Wei Cao ; Kazuya Sumikoshi ; Tohru Terada ; Shugo Nakamura ; Katsuhiko Kitamoto ; Kentaro Shimizu
Towards Large-Scale Molecular Dynamics Simulations on Graphicss Processors / Joseph E. Davis ; Adnan Ozsoy ; Sandeep Patel ; Michela Taufer
An Agent-Based Model of Solids Tumor Progression / Didier Dréau ; Dimitre Stanimirov ; Ted Carmichalel ; Mirsad Hadzikadic
Deciphering Drug Action and Escape Pathways: An Example on nasopharyngeal / Carcinoma Difeng Dong ; Chun-Ying Cui ; Benjamin Mow ; Limsoon Wong
Selection of Multiple SNPs in Case-Control Association Study Using a Discretized Network Flow Approach / Shantanu Dutt ; Yang Dai ; Huan Ren ; Joel Fontanarosa
Biclustering Expression Data Based on Expanding Localized Substructures / Cesim Erten ; Melih Sözdinler
Constrained Fisher Scores Derived from Interaction Profile Hidden Markov Models Improve Protein to Protein Interaction Predictioon / Alvaro J. González ; Li Liao
Improving Protein Localization Prediction Using Amino Acid Group Baseds Physichemical Encoding / Jianjun Hu ; Fan Zhang
The Impact of Gene Selection on Imbalanced Microarray Expression Data / Abu H.M. Kamal ; Xingquan Zhu ; Abhijit S. Pandya ; Sam Hsu ; Muhammad Shoaid
Spatial Information and Boolean Genetic Regulatory Networks / Matthieu Manceny ; Marc Aiguier ; Pascale Le Gall ; Joan Hérisson ; Ivan Junier ; François Képès
Modeling of Genetic Regulatory Network in Stochastic π-Calculus / Mylène Maurin ; Morgan Magnin ; Olivier Roux
fMRI Activation Detection by MultiScale Hidden Markov Model / Fangyuan Nan ; Yaonan Wang ; Xiaoping Ma
cnF2freq: Efficient Determination of Genotype and Haplotype Probabilities in Outbred Populations Using Markov Models Carl Nettelblad Sverker Holmgren, Lucy Crooks and Örjan Carlborg
A Comprehensive Analysis Workflow for Genome-Wide Screening Data from ChIP-Sequencing Experiments Hatice / Gulcin Ozer ; Terrys Camerlengo ; Jiejun Wu ; Yi-Wen Huang ; Tim Hartley ; Tim Huang ; Kun Huang
A Fitness Distance Correlation Measure for Evolutionary Trees / Hyun Jungs Park ; Tiffanis L. Williams
Alignment and Analysis of Closely Related Genomes / Allison Regier ; Michael Olson ; Scott J. Emrich
Computational Prediction of Genes Translationally Regulated by Cytoplasmic Polyadenylation Elements / Eric C. Rouchka ; Xiangping Wang ; James H. Graham ; Nigel G.F. Cooper
Multiple Sequence Alignment System for Pyrosequencing Reads / Fahad Saeed ; Ashfaq Khokhar ; Osvaldo Zagordi ; Niko Beeranwinkel
A Bayesian Approach to High-Throughput Biological Model Generation / Xinghua Shi ; Rick Stevens
Parallel Selectioni of Informative Genes for Classification / Michael Slavik ; Imad Mahgoub ; Muhammad Shoaib
Simulation Methods in Uncovering New Regulatory Mechanisms in Signaling Pathways / Jaros$aw Smieja
GridSPiM: A Framework for Simple Locality and Containment in the Stochastic π-Calculus / Stephen Tyree ; Rayus Kuplicki ; Trevor Sarratt ; Scott Fujan ; John Hale
Mutual Information Based Extrinsic Similarity for Microarray Analysis / Duygu Ucar ; Fatih Altiparmak ; Hakan Ferhatosmanoglu ; Srinivasan Parthasarathy
Graph Spectrals Approach for Identifying Protein Domains / Hari Krishna Yalamanchili ; Nita Parekh
Author Index
Invited Talks
Association Analysis Techniques for Bioinformatics Problems / Gowtham Atluri ; Rohit Gupta ; Gang Fang ; Gaurav Pandey ; Michael Steinbach ; Vipin Kumar
Analzing and Interrogating Bilogical Networks (Abstract) / Eric Banks ; Elena Nabieva ; Bernard Chazelle ; Ryan Peterson ; Mona Singh
60.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Evolution of Regulatory Systems in Bacteria (Invited Keynote Talk) / Mikhail S. Gelfand ; Alexei E. Kazakov ; Yuri D. Korostelev ; Olga N. Laikova ; Andrei A. Mironov ; Alexandra B. Rakhmaninova ; Dmitry A. Ravcheev ; Dmitry A. Rodionov ; Alexei G. Vitreschak
Integrating Multiple-Platform Expression Data through Gene Set Features / Matěj Holec ; Filip Železný ; Jiří Kléma ; Jakub Tolar
Practical Quality Assessment of Microarray Data by Simulation of Differential Gene Expression / Brian E. Howard ; Beate Sick ; Steffen Heber
Mean Square Residue Biclustering with Missing Data and Row Inversions / Stefan Gremalschi ; Gulsah Altun ; Irina Astrovskaya ; Alexander Zelikovsky
Using Gene Expression Modeling to Determine Biological Relevance of Putative Regulatory Networks / Peter Larsen ; Yang Dai
Querying Protein-Protein Interaction Networks / Guillaume Blin ; Florian Sikora ; Stéphane Vialette
Integrative Approach for Combining TNF α-NF κB Mathematical Model to a Protein Interaction Connectivity Map / Mahesh Visvanathan ; Bernhard Pfeifer ; Christian Baumgartner ; Bernhard Tilg ; Gerald Henry Lushington
Hierarchical Organization of Functional Modules in Weighted Protein Interaction Networks Using Clustering Coefficient / Min Li ; Jianxin Wang ; Jianer Chen ; Yi Pan
Bioinformatics Challenges in Translational Research (Invited Keynote Talk) / Nicholas F. Tsinoremas
Untangling Tanglegrams: Comparing Trees by Their Drawings / Balaji Venkatachalam ; Jim Apple ; Katherine St. John ; Dan Gusfield
An Experimental Analysis of Consensus Tree Algorithms for Large-Scale Tree Collections / Seung-Jin Sul ; Tiffani L. Williams
Counting Faces in Split Networks / Lichen Bao ; Sergey Bereg
Relationship between Amino Acids Sequences and Protein Structures: Folding Patterns and Sequence Patterns / Alexander Kister
Improved Algorithms for Parsing ESLTAGs: A Grammatical Model Suitable for RNA Pseudoknots / Sanguthevar Rajasekaran ; Sahar Al Seesi ; Reda Ammar
Efficient Algorithms for Self Assembling Triangular and Other Nano Structures / Vamsi Kundeti
Motif Construction from High-Throughput SELEX Data (Invited Keynote Talk) / Esko Ukkonen
Rearrangement Phylogeny of Genomes in Contig Form / Adriana Muñoz ; David Sankoff
Prediction of Contiguous Regions in the Amniote Ancestral Genome / Aïda Ouangraoua ; Frédéric Boyer ; Andrew McPherson ; Éric Tannier ; Cedric Chauve
Pure Parsimony Xor Haplotyping / Paola Bonizzoni ; Gianluca Della Vedova ; Riccardo Dondi ; Yuri Pirola ; Romeo Rizzi
A Decomposition of the Pure Parsimony Haplotyping Problem / Allen Holder ; Thomas Langley
Exact Computation of Coalescent Likelihood under the Infinite Sites Model / Yufeng Wu
Imputation-Based Local Ancestry Inference in Admixed Populations / Bogdan Paşaniuc ; Justin Kennedy ; Ion M&acaron;ndoiu
Interpreting Population Sequencing Data (Invited Keynote Talk) / Shamil R. Sunyaev
Modeling and Visualizing Heterogeneity of Spatial Patterns of Protein-DNA Interaction from High-Density Chromatin Precipitation Mapping Data / Juntao Li ; Fajrian Yunus ; Zhu Lei ; Majid Eshaghi ; Jianhua Liu ; R. Krishna Murthy Karuturi
A Linear-Time Algorithm for Analyzing Array CGH Data Using Log Ratio Triangulation / Matthew Hayes ; Jing Li
Mining of cis-Regulatory Motifs Associated with Tissue-Specific Alternative Splicing / Jihye Kim ; Sihui Zhao
Analysis of Cis-Regulatory Motifs in Cassette Exons by Incorporating Exon Skipping Rates
A Class of Evolution-Based Kernels for Protein Homology Analysis: A Generalization of the PAM Model / Valentina Sulimova ; Vadim Mottl ; Boris Mirkin ; Ilya Muchnik ; Casimir Kulikowski
Irreplaceable Amino Acids and Reduced Alphabets in Short-Term and Directed Protein Evolution / Miguel A. Jiménez-Montaño ; Matthew He
A One-Class Classification Approach for Protein Sequences and Structures / András Bánhalmi ; Róbert Busa-Fekete ; Balázs Kégl
Prediction and Classification of Real and Pseudo MicroRNA Precursors via Data Fuzzification and Fuzzy Decision Trees / Na'el Abu-halaweh ; Robert Harrison
Author Index
Evolution of Regulatory Systems in Bacteria (Invited Keynote Talk) / Mikhail S. Gelfand ; Alexei E. Kazakov ; Yuri D. Korostelev ; Olga N. Laikova ; Andrei A. Mironov ; Alexandra B. Rakhmaninova ; Dmitry A. Ravcheev ; Dmitry A. Rodionov ; Alexei G. Vitreschak
Integrating Multiple-Platform Expression Data through Gene Set Features / Matěj Holec ; Filip Železný ; Jiří Kléma ; Jakub Tolar
Practical Quality Assessment of Microarray Data by Simulation of Differential Gene Expression / Brian E. Howard ; Beate Sick ; Steffen Heber
61.

電子ブック

EB
Oege Moor, Takeo Kanade, Michael I. Schwartzbach
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
62.

電子ブック

EB
Wenjie Li, Takeo Kanade, Diego Moll?-Aliod
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Regular Papers
A Density-Based Re-ranking Technique for Active Learning for Data Annotations / Jingbo Zhu ; Huizhen Wang ; Benjamin K. Tsou
CRF Models for Tamil Part of Speech Tagging and Chunking / S. Lakshmana Pandian ; T.V. Geetha
A Probabilistic Graphical Model for Recognizing NP Chunks in Texts / Minhua Huang ; Robert M. Haralick
Processing of Korean Natural Language Queries Using Local Grammars / Tae-Gil Noh ; Yong-Jin Han ; Seong-Bae Park ; Se- Young Park
Improving the Performance of a NER System by Post-processing, Context Patterns and Voting / Asif Ekbal ; Sivaji Bandyopadhyay
Research on Automatic Chinese Multi-word Term Extraction Based on Term Component / Wei Kang ; Zhifang Sui
A Novel Method of Automobiles' Chinese Nickname Recognition / Cheng Wang ; Wenyuan Yu ; Wenxin Li ; Zhuoqun Xu
Fast Semantic Role Labeling for Chinese Based on Semantic Chunking / Weiwei Ding ; Baobao Chang
Validity of an Automatic Evaluation of Machine Translation Using a Word-Alignment-Based Classifier / Katsunori Kotani ; Takehiko Yoshimi ; Takeshi Kutsumi ; Ichiko Sata
Lexicalized Syntactic Reordering Framework for Word Alignment and Machine Translation / Chung-chi Huang ; Wei-teh Chen ; Jason S. Chang
Found in Translation: Conveying Subjectivity of a Lexicon of One Language into Another Using a Bilingual Dictionary and a Link Analysis Algorithm / Jungi Kim ; Hun-Young Jung ; Sang-Hyob Nam ; Yeha Lee ; Jong-Hyeok Lee
Transliteration Based Text Input Methods for Telugu / V.B. Sowmya ; Vasudeva Varma
Harvesting Regional Transliteration Variants with Guided Search / Jin-Shea Kuo ; Haizhou Li ; Chih-Lung Lin
A Simple and Efficient Model Pruning Method for Conditional Random Fields / Hai Zhao ; Chunyu Kit
Query-Oriented Summarization Based on Neighborhood Graph Model / Furu Wei ; Yanxiang He ; Wenjie Li ; Lei Huang
An Extractive Text Summarizer Based on Significant Words / Xiaoyue Liu ; Jonathan J. Webster
Using Proximity in Query Focused Multi-document Extractive Summarization / Sujian Li ; Yu Zhang ; Wei Wang ; Chen Wang
Learning Similarity Functions in Graph-Based Document Summarization / You Ouyang ; Qin Lu
Extracting Domain-Dependent Semantic Orientations of Latent Variables for Sentiment Classification
Mining Cross-Lingual/Cross-Cultural Differences in Concerns and Opinions in Blogs / Hiroyuki Nakasaki ; Mariko Kawaba ; Takehito Utsuro ; Tomohiro Fukuhara
Partially Supervised Phrase-Level Sentiment Classification / Seung-Hoon Na ; Jungi Ki
A Novel Composite Kernel Approach to Chinese Entity Relation Extraction / Ji Zhang ; Yuexian Hou
Automatic Acquisition of Attributes for Ontology Construction / Gaoying Cui ; Yirong Chen
Speech Synthesis for Error Training Models in CALL / Xin Zhang ; Jiping Wan ; Guangguang Ma ; Tin Shing Chiu ; Weiping Ye ; Wenli Zhou ; Qiao Li
Probabilistic Methods for a Japanese Syllable Cipher / Sujith Ravi ; Kevin Knight
Posters
Dialogue Strategies to Overcome Speech Recognition Errors in Form-Filling Dialogue / Sangwoo Kang ; Songwook Lee ; Jungyun Seo
Research on Domain Term Extraction Based on Conditional Random Fields / Dequan Zheng ; Tiejun Zhao ; Jing Yang
PKUNEI - A Knowledge-Based Approach for Chinese Product Named Entity Semantic Identification
Experiment Research on Feature Selection and Learning Method in Keyphrase Extraction
Korean-Chinese Machine Translation Using Three-Stage Verb Pattern Matching / Chang Hao Yin ; Young Ae Seo ; Young-Gil Kim
Domain Adaptation for English-Korean MT System: From Patent Domain to IT Web News Domain / Ki-Young Lee ; Sung-Kwon Choi ; Oh-Woog Kwon ; Yoon-Hyung Roh
Constructing Parallel Corpus from Movie Subtitles / Han Xiao ; Xiaojie Wang
Meta-evaluation of Machine Translation Using Parallel Legal Texts / Billy Tak-Ming Wong
Flattened Syntactical Phrase-Based Translation Model for SMT / Qing Chen ; Tianshun Yao
An Integrated Approach for Concept Learning and Relation Extraction / Qingliang Zhao
Text Editing for Lecture Speech Archiving on the Web / Masashi Ito ; Tomohiro Ohno ; Shigeki Matsubara
Document Clustering Description Extraction and Its Application / Chengzhi Zhang ; Huilin Wang ; Yao Liu ; Hongjiao Xu
Event-Based Summarization Using Critical Temporal Event Term Chain / Maofu Liu ; Xiaolong Zhang
Acquiring Verb Subcategorization Frames in Bengali from Corpora / Dipankar Das
An Investigation of an Interontologia: Comparison of the Thousand-Character Text and Roget's Thesaurus / Sang-Rak Kim ; Jae-Gun Yang ; Jae-Hak J. Bae
Author Index
Regular Papers
A Density-Based Re-ranking Technique for Active Learning for Data Annotations / Jingbo Zhu ; Huizhen Wang ; Benjamin K. Tsou
CRF Models for Tamil Part of Speech Tagging and Chunking / S. Lakshmana Pandian ; T.V. Geetha
63.

電子ブック

EB
Vijay Garg, Takeo Kanade, Kishore Kothapalli, Roger Wattenhofer
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
64.

電子ブック

EB
Fabio Massacci, Takeo Kanade, Samuel T. Redwine, Nicola Zannone
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
65.

電子ブック

EB
Flaminio Squazzoni, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
EPOS-Epistemological Perspectives on Simulation: An Introduction / Ulrich Frank ; Flaminio Squazzoni ; Klaus G. Troitzsch
Invited Papers
The Epistemologies of Social Simulation Research / Nigel Gilbert ; Petra Ahrweiler
From Simulation to Theory (and Backward) / Rosaria Conte
Selected Papers
Talking about ABSS: Functional Descriptions of Models / Scott Moss
What Does Emergence in Computer Simulations? Simulation between Epistemological and Ontological Emergence / Alex Schmid
Emergence as an Explanatory Principle in Artificial Societies. Reflection on the Bottom-Up Approach to Social Theory / Martin Neumann
Reconstruction Failures: Questioning Level Design / Camille Roth
Narrative Scenarios, Mediating Formalisms, and the Agent-Based Simulation of Land Use Change / Nicholas M. Gotts ; J. Gary Polhill
Validation and Verification in Social Simulation: Patterns and Clarification of Terminology / Nuno David
Validation and Verification of Agent-Based Models in the Social Sciences / Paul Ormerod ; Bridget Rosewell
Abductive Fallacies with Agent-Based Modeling and System Dynamics / Tobias Lorenz
Algorithmic Analysis of Production Systems Used as Agent-Based Social Simulation Models / Jim Doran
The Nature of Noise / Bruce Edmonds
Author Index
EPOS-Epistemological Perspectives on Simulation: An Introduction / Ulrich Frank ; Flaminio Squazzoni ; Klaus G. Troitzsch
Invited Papers
The Epistemologies of Social Simulation Research / Nigel Gilbert ; Petra Ahrweiler
66.

電子ブック

EB
Eduardo C?sar, Michael Alexander, Christophe C?rin, Shantenu Jha, Takeo Kanade, Andreas Kn?pfer, Dieter Kranzlm?ller, Achim Streit, Jesper Larsson Tr?ff
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
67.

電子ブック

EB
Carlos Cotta, Peter Cowling, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
68.

電子ブック

EB
Clara Pizzuti, Mario Giacobini, Takeo Kanade, Marylyn D. Ritchie
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
69.

電子ブック

EB
Matthias Ehrgott, Carlos M. Fonseca, Xavier Gandibleux, Jin-Kao Hao, Takeo Kanade, Marc Sevaux
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
70.

電子ブック

EB
Pierpaolo Degano, Joshua Guttman, Takeo Kanade, Fabio Martinelli
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
71.

電子ブック

EB
Giovanni Sommaruga, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Introduction / Giovanni Sommaruga
Philosophical Reflections
Philosophical Conceptions of Information / Luciano Floridi
The Syntactical Approach
Information Theory, Relative Entropy and Statistics / François Bavaud
Information: The Algorithmic Paradigm / Cristian S. Calude
The Semantical Approach
Information Algebra / Jürg Kohlas ; Cesar Schneuwly
Uncertain Information / Christian Eichenberger
Comparing Questions and Answers: A Bit of Logic, a Bit of Language, and Some Bits of Information / Robert van Rooij
Channels: From Logic to Probability / Jeremy Seligman
Beyond the Semantical Approach
Modeling Real Reasoning / Keith Devlin
Philosophical Conclusions
One or Many Concepts of Information?
Author Index
Introduction / Giovanni Sommaruga
Philosophical Reflections
Philosophical Conceptions of Information / Luciano Floridi
72.

電子ブック

EB
Luca Alfaro, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
73.

電子ブック

EB
Marsha Chechik, Takeo Kanade, Martin Wirsing
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
74.

電子ブック

EB
Leonardo Vanneschi, Marc Ebner, Ivanoe Falco, Steven Gustafson, Takeo Kanade, Alberto Moraglio
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
75.

電子ブック

EB
Hana Chockler, Alan J. Hu, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
76.

電子ブック

EB
Denis Lalanne, Takeo Kanade, J?rg Kohlas
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Human Machine Interaction / Part I:
Multimodal Interfaces: A Survey of Principles, Models and Frameworks / Bruno Dumas ; Denis Lalanne ; Sharon Oviatt
Interactive Visualization - A Survey / Dominique Brodbeck ; Riccardo Mazza
Mixed Reality: A Survey / Enrico Costanza ; Andreas Kunz ; Morten Fjeld
Multimodal User Interfaces / Part II:
Intelligent Multi-model Interfaces for Mobile Applications in Hostile Environment (IM-Host) / Claude Stricker ; Jean-Frédéric Wagen ; Guillermo Aradilla ; Hervé Bourlard ; Hynek Hermansky ; Joel Pinto ; Paul-Henri Rey ; Jérôme Théraulaz
Memodules as Tangible Shortcuts to Multimedia Information / Elena Mugellini ; Florian Evéquoz ; Sandro Gerardi ; Anne Le Calvé ; Alexandre Boder ; Rolf Ingold ; Omar Abou Khaled
Why Androids Will Have Emotions: Constructing Human-Like Actors and Communicators Based on Exact Sciences of the Mind / Wolfgang Gessner ; Gesine Lenore Schiewer ; Alex Ringenbach
Interactive Visualization / Part III:
EvoSpaces - Multi-dimensional Navigation Spaces for Software Evolution / Sazzadul Alam ; Sandro Boccuzzo ; Richard Wettel ; Philippe Dugerdil ; Harald Gall ; Michele Lanza
Hovisse - Haptic Osteosynthesis Virtual Intra-operative Surgery Support Environment / Urs Künzler ; Beatrice Amrhein ; Jürgen Eckerle ; Stephan Fischli ; Robert Hauck ; Dominik Hoigné ; Reto Witschi
A Language and a Methodology for Prototyping User Interfaces for Control Systems / Matteo Risoldi ; Vasco Amaral ; Bruno Barroca ; Kaveh Bazargan ; Didier Buchs ; Fabian Cretton ; Gilles Falquet ; Stéphane Malandain ; Pierrick Zoss
Mixed Reality / Part IV:
See ColOr: Seeing Colours with an Orchestra / Benoît Deville ; Guido Bologna ; Michel Vinckenbosch ; Thierry Pun
6th Sense-Toward a Generic Framework for End-to-End Adaptive Wearable Augmented Reality / Damien Perritaz ; Christophe Salzmann ; Denis Gillet ; Olivier Naef ; Jacques Bapst ; Frédéric Barras
Author Index
Human Machine Interaction / Part I:
Multimodal Interfaces: A Survey of Principles, Models and Frameworks / Bruno Dumas ; Denis Lalanne ; Sharon Oviatt
Interactive Visualization - A Survey / Dominique Brodbeck ; Riccardo Mazza
77.

電子ブック

EB
Rupak Majumdar, Takeo Kanade, Paulo Tabuada
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
78.

電子ブック

EB
Feng Bao, Takeo Kanade, Hui Li, Guilin Wang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
79.

電子ブック

EB
Hsinchun Chen, Michael Chau, Takeo Kanade, Shu-Hsing Li, Christopher C. Yang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
80.

電子ブック

EB
Adrian Horia Dediu, Armand Mihai Ionescu, Takeo Kanade, Carlos Mart?n-Vide
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
81.

電子ブック

EB
Peter Bosch, David Gabelaia, Takeo Kanade, J?r?me Lang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
A Computational Grammar for Georgian / Paul Meurer
The Structure of Rigid Frames of Depth 3 Only / Tahsin Oner ; Dick de Jongh
Three Kinds of Event Nominal Negation in Russian / Anna Pazelskaya
A Dynamic Conceptual Model for the Linguistic Structuring of Space: Georgian Preverbs / Rusudan Asatiani
even in Horn Space / Regine Eckardt
On -c and ki Particles in Georgian / Anna Chutkerashvili
Dealing with Polysemy in Russian National Corpus: The Case of Adjectives / Ekaterina V. Rakhilina ; Tatiana I. Reznikova ; Olga Yu. Shemanaeva
Inquisitive Semantics: Two Possibilities for Disjunction / Jeroen Groenendijk
Implicatures of Irrelevant Answers and the Principle of Optimal Completion / Anton Benz
Conceptualization of Pain: A Database for Lexical Typology / Anastassia Bonch-Osmolovskaya ; Ekaterina Rakhilina ; Tatiana Reznikova
Expressing Belief Flow in Assertion Networks / Sujata Ghosh ; Fernando R. Velazquez-Quesada
The Computational Complexity of Quantified Reciprocals / Jakub Szymanik
Quantifiers in Japanese / Sumiyo Nishiguchi
Exceptional Scope as Discourse Reference to Quantificational Dependencies / Adrian Brasoveanu ; Donka F. Farkas
Satisfaction and Friendliness Relations within Classical Logic: Proof-Theoretic Approach / Alexei Y. Muravitsky
Identification through Inductive Verification: Application to Monotone Quantifiers / Nina Gierasimczuk
Enlarging the Diversity of Valency Instantiation Patterns and Its Implications / Igor Boguslavsky
The Modal Formula Is Not First-Order Definable / Ali Karatay
Semantic Characterizations of German Question-Embedding Predicates / Kerstin Schwabe ; Robert Fittler
Processing Definite Determiners: Formal Semantics Meets Experimental Results / Peter Bosch
Terminal Sequence Induction via Games / Clemens Kupke
Dutch Grammar and Processing: A Case Study in TLG / Glyn Morrill ; Oriol Valentin ; Mario Fadda
Author Index
A Computational Grammar for Georgian / Paul Meurer
The Structure of Rigid Frames of Depth 3 Only / Tahsin Oner ; Dick de Jongh
Three Kinds of Event Nominal Negation in Russian / Anna Pazelskaya
82.

電子ブック

EB
Michel R. V. Chaudron, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
83.

電子ブック

EB
Nuno David, Takeo Kanade, Jaime Sim?o Sichman
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Simulation of Economic Behaviour
Modeling Power Distance in Trade / Gert Jan Hofstede ; Catholijn M. Jonker ; Tim Verwaart
Intrusion of Agent-Based Social Simulation in Economic Theory / Bogdan Werth ; Scott Moss
Modelling and Simulation of Social Behaviour
A Model for HIV Spread in a South African Village / Shah Jamal Alam ; Ruth Meyer ; Emma Norling
Understanding Collective Cognitive Convergence / H.V. Parunak ; T.C. Belding ; R. Hilscher ; S. Brueckner
Dynamics of Agent Organizations: Application to Modeling Irregular Warfare / Maksim Tsvetovat ; Maciej Latek
Applications
Using Simulation to Evaluate Data-Driven Agents / Elizabeth Sklar ; Ilknur Icke
Evaluation of Automated Guided Vehicle Systems for Container Terminals Using Multi Agent Based Simulation / Lawrence Henesey ; Paul Davidsson ; Jan A. Persson
MASFMMS: Multi Agent Systems Framework for Malware Modeling and Simulation / Rohan Monga ; Kamalakar Karlapalem
Techniques, Infrastructure and Technologies
Towards a Formal Semantics of Event-Based Multi-agent Simulations / Jean-Pierre Muller
A User Interface to Support Dialogue and Negotiation in Participatory Simulations / Eurico Vasconcelos ; Jean-Pierre Briot ; Marta Irving ; Simone Barbosa ; Vasco Furtado
Towards Agents for Policy Making / Frank Dignum ; Virginia Dignum
Methods and Methodologies
A Quantitative Method for Comparing Multi-agent-Based Simulations in Feature Space / Ryota Arai ; Shigeyoshi Watanabe
Deepening the Demographic Mechanisms in a Data-Driven Social Simulation of Moral Values Evolution / Samer Hassan ; Luis Antunes ; Millan Arroyo
Cross-Disciplinary Views on Modelling Complex Systems / Craig R. Powell ; Bruce Edmonds
Towards a New Approach in Social Simulations: Meta-language / Raif Serkan Albayrak ; Ahmet K. Suerdem
Author Index
Simulation of Economic Behaviour
Modeling Power Distance in Trade / Gert Jan Hofstede ; Catholijn M. Jonker ; Tim Verwaart
Intrusion of Agent-Based Social Simulation in Economic Theory / Bogdan Werth ; Scott Moss
84.

電子ブック

EB
Hiromitsu Hattori, Tsuyoshi Id?, Takeo Kanade, Takahiro Kawamura, Yohei Murakami, Makoto Yokoo
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Awarded Papers / Part I:
Overview of Awarded Papers-The 22nd Annual Conference of JSAI / Makoto Yokoo
A Japanese Input Method for Mobile Terminals Using Surface EMG Signals / Akira Hatano ; Kenji Araki ; Masafumi Matsuhara
Evaluation of Similarity Measures for Ontology Mapping / Ryutaro Ichise
Network Distributed POMDP with Communication / Yuki Iwanari ; Yuichi Yabu ; Makoto Tasaki
Solving Crossword Puzzles Using Extended Potts Model / Kazuki Jimbo ; Hiroya Takamua ; Manabu Okumura
Socialized Computers and Collaborative Learning / Mikihiko Mori ; Kololo Ikeda ; Gaku Hagiwara ; Masaki Saga ; Tetsutaro Uehara ; Hajime Kita
Learnign Communicative Meanings of Uttrances by Robots / Ryo Taguchi ; Naoto Iwahashi ; Tsuneo Nitta
Towards Coordination of Multiple Machine Translation Services / Rie Tanaka ; Toru Ishida ; Yohei Murakami
Ranking Method of Object-Attribute-Evaluation Three-Tuples for Opinion Retrieval / Masaaki Tsuchida ; Hironori Mizuguchi ; Dai Kusui
Logic and Engineering of Natural Language Semantics / Part II:
Overview of Logic and Engineering of Natural Language Semantics (LENLS) 2008 / Yasuo Nakayama
Multiple Subject Constructions in Japanese: A Dynamic Syntax Account / Hiroaki Nakamura ; Kei Yoshimoto ; Yoshiki Mori ; Masahiro Kobayashi
Topic/Subject Coreference in the Hierarchy of Japanese Complex Sentences / Alastair Butler ; Chidori Nakamura
Japanese Reported Speech: Against a Direct-Indirect Distinction / Emar Maier
The Dynamics of Tense under Attitudes - Anaphoricity and de se Interpretation in the Backward Shifted Past / Corien Bary
Argumentative Properties of Pragmatic Inferences / Grégoire Winterstein
Prolegomena to Dynamic Epistemic Preference Logic / Satoru Suzuki
Monads and Meta-lambda Calculus / Daisuke Bekki
Juris-Informatics / Part III:
Overview of JURISIN 2008 / Katsumi Nitta ; Ken Satoh ; Satoshi Tojo
Bootstrapping-Based Extraction of Disctionary Terms from Unsegmented Legal Text / Masato Hagiwara ; Yasuhiro Orgawa ; Katsuhiko Toyama
Computational Dialectics Based on Specialization and Generalization - A New Reasoning Method for Conflict Resolution / Hiroyuki Kido ; Masahito Kurihara
Treatment of Legal Sentences Including Itemized and Referential Expressions - Towards Translation into Logical Forms / Yusuke Kimura ; Makoto Nakamura ; Akira Shimazu
Computing Argumentation Semantics in Answer Set Programmin / Tashiko Wakaki
Laughter in Interaction and Body Movement / Part IV:
LIBM 2008 First International Workshop on Laughter in Interaction and Body Movement / Hitoshi Iida ; Masashi Okamoto ; Katsuya Takanashi
Laughter Around the End of Storytelling in Multi-party Interaction / Mika Enomoto ; Masahi Okamoto ; Masato Ohba
Preliminary Notes on the Sequential Organization of Smile and Laughter / Hiromichi Hosoma
Laughter for Defusing Tesion: Examples from Business Mettings in Japanese and in English / Kazuyo Murata
Robots Make Things Funnier / Jonas Sjöbergh
Laughter: Its Basic Nature and Its Background of Equivocal Impression / Yutaka Tani
Author Index
Awarded Papers / Part I:
Overview of Awarded Papers-The 22nd Annual Conference of JSAI / Makoto Yokoo
A Japanese Input Method for Mobile Terminals Using Surface EMG Signals / Akira Hatano ; Kenji Araki ; Masafumi Matsuhara
85.

電子ブック

EB
Annie Cuyt, Takeo Kanade, Walter Kr?mer, Wolfram Luther, Peter Markstein
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
86.

電子ブック

EB
Sue B. Moon, Takeo Kanade, Renata Teixeira, Steve Uhlig
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
87.

電子ブック

EB
Giuseppe Castagna, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
88.

電子ブック

EB
George Feuerlicht, Takeo Kanade, Winfried Lamersdorf
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
89.

電子ブック

EB
Stefan Kowalewski, Takeo Kanade, Anna Philippou
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
90.

電子ブック

EB
Ioannis Tomkos, Karin Ennser, Takeo Kanade, Martin K?hn, Branko Mikac, Maria Spyropoulou
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Introduction
Introduction (Part I) / Part I:
Novel Transponder Interfaces: Novel Modulation Formats / 1:
Transmission of 8-Level 240 Gb/s RZ-DQPSK-ASK / 1.1:
Four Bits per Symbol 16-ary Transmission Experiments / 1.3:
Optical Rate Conversion Units / 1.4:
Optical Packet Compression and Expansion / 1.4.1:
Optical Compression/Expansion Loop / 1.4.2:
Optical Delay Line Structure / 1.4.3:
Scalable Packet Compression/Expansion Units / 1.4.4:
Transmission Efficiency / 1.4.5:
References
Electronic Channel Equalization Techniques / 2:
Electronic Equalizers / 2.1:
Fundamental Limits of MLSE Performance with Large Number of States / 2.3:
No PD-Filter, 8 Samples/Bit / 2.3.1:
With PD-Filter, 2 Samples/Bit / 2.3.2:
Large Optical Filter, 2 Samples/Bit / 2.3.3:
Large Optical Filter, 1 Sample/Bit / 2.3.4:
Compensation of SPM Using MLSE / 2.3.5:
Nonlinear Electrical Equalization for Different Modulation Formats / 2.4:
Introduction of NL-FFE-DFE / 2.4.1:
System Setups and Parameters / 2.4.2:
EDC Performance for Different Modulation Formats / 2.4.3:
Optical Single Sideband Modulation / 2.5:
Compensation of Optical Dispersion / 2.5.1:
Reduction of Nonlinear Transmission Effects / 2.5.2:
Enhancing the Performance DML Transmitters / 2.6:
Conclusions / 2.7:
Optical Signal Processing Techniques for Signal Regeneration and Digital Logic / 3:
Optical Regeneration and Wavelength Conversion / 3.1:
640 Gbit/s Wavelength Conversion Based on XPM in HNLF / 3.1.1:
Wavelength Conversion and Regeneration Based on Supercontinuum Generation / 3.1.2:
Multi-Wavelength Conversion at 10 Gb/s and 40 GHz Using a Hybrid Integrated SOA Mach-Zehnder Interferometer / 3.1.3:
All-Optical Multi-Wavelength Regeneration Based on Quantum-Dot Semiconductor Optical Amplifiers for High Bit Rates / 3.1.4:
Optoelectronic Clock Recovery, Retiming and OTDM Demultiplexing / 3.2:
320 Gbit/s Clock Transmission and Channel Identification / 3.2.1:
Filtering-Assisted Cross-Phase Modulation in a Semiconductor Optical Amplifier Enabling 320 Gb/s Clock Recovery / 3.2.2:
640 Gbit/s Data Transmission and Clock Recovery Using an Ultra-Fast Periodically Poled Lithium Niobate Device / 3.2.3:
All-Optical Clock Extraction Circuit Based on a Mode-Locked Ring Laser Comprising SOA and FP Filter / 3.2.4:
OTDM Demux Based on Induced Modulation on an Auxiliary Carrier by Means of Super-Continuum Generation / 3.2.5:
160 Gb/s Retiming Using Rectangular Pulses Generated Using a Superstructured Fibre Bragg Grating / 3.2.6:
Timing Jitter Tolerant 640 Gb/s Demultiplexing Using a Long-Period Fibre Grating-Based Flat-Top Pulse Shaper / 3.2.7:
Evolution of Optical Access Networks / 4:
Introduction: FTTX Developments / 4.1:
FTTX Architectures / 4.1.1:
Current Standard PON Deployment Worldwide / 4.1.2:
Emerging Standards for 100 Gbit Ethernet Access and Beyond / 4.2:
Introduction - Why Higher Speed Ethernet? / 4.2.1:
100 Gbit Ethernet Challenges / 4.2.2:
Transparent Optical Transmission For 100 Gbit Ethernet / 4.2.3:
Future Directions / 4.2.4:
Interoperability of TDM and WDM PONs / 4.3:
Network Architecture / 4.3.1:
Network Routing Performance / 4.3.3:
3G Radio Distribution over Fibre / 4.3.4:
Optical Wireless for Last Mile Access / 4.4.1:
FSO Networks / 4.5.1:
Propagation Results / 4.5.3:
Dynamic Bandwidth Allocation Protocols over GPONs / 4.5.4:
Dynamic Bandwidth Allocation Protocols / 4.6.1:
Innovative Architecture and Control Plane for Metro-Access Convergence / 4.6.3:
Motivation for Metro-Access Convergence / 4.7.1:
Unified Metro-Access Networks Criteria / 4.7.2:
A Few Examples of Unified Metro-Access Networks (UMAN) / 4.7.3:
The Success + Network / 4.7.4:
The Success + Network Topology / 4.7.5:
The Success + UMAN Control Plane / 4.7.6:
Conclusion / 4.7.7:
Protection Schemes for PONs / 4.8:
Evolution of PON Protection Schemes / 4.8.1:
Recent PON Protection Architectures / 4.8.2:
Hybrid WDM/TDM PON / 4.8.3:
Reliability Performance Evaluation / 4.8.4:
Novel Switch Architectures / 5:
Application of Quantum-Dot SOAs for the Realization of All-Optical Buffer Architectures up to 160 Gb/s / 5.1:
Multiwavelength Optical Buffers / 5.3:
New Buffer Architectures / 5.3.1:
Scheduling Algorithms / 5.3.2:
Performance Evaluation / 5.3.3:
Multi-Stage Optical Switches with Optical Recirculation Buffers / 5.4:
The Switching Fabric Architecture / 5.4.1:
Scheduling Algorithms for the Single-Stage Shared FDL Switch / 5.4.2:
Scheduling Algorithms for the Three-Stage Shared FDL Optical Clos-Network Switch / 5.4.3:
Simulation Experiments / 5.4.4:
Optical Asynchronous Packet Switch Architectures / 5.5:
All-Optical Buffer Technologies / 5.5.1:
Node Architectures / 5.5.2:
Future Outlook (Part I) / 5.5.3:
Introduction (Part II) / Part II:
Cross-Layer Optimization Issues for Realizing Transparent Mesh Optical Networks / 6:
An Impairment Aware Networking Approach for Transparent Mesh Optical Networks / 6.1:
Transparent Optical Network Challenges / 6.1.1:
Proposed Approach / 6.1.3:
Mutual Impact of Physical Impairments and Traffic Grooming Capable Nodes with Limited Number of O/E/O / 6.2:
Motivation / 6.2.1:
Modelling the Physical Layer Impairments / 6.2.2:
The Routing Model / 6.2.3:
Simulation Results / 6.2.4:
Performance Issues in Optical Burst/Packet Switching / 6.3:
OBS/OPS Performance / 7.1:
Introduction and State-of-the-Art / 7.2.1:
On the Use of Balking for Estimation of the Blocking Probability for OBS Routers with FDL Lines / 7.2.2:
A Performance Comparison of Synchronous Slotted OPS Switches / 7.2.3:
A Performance Comparison of OBS and OpMiGua Paradigms / 7.2.4:
Burstification Mechanisms / 7.3:
Delay-Throughput Curves for Timer-Based OBS Burstifiers with Light Load / 7.3.2:
Performance Evaluation of Adaptive Burst Assembly Algorithms in OBS Networks with Self-Similar Traffic Sources / 7.3.3:
QoS Provisioning / 7.4:
Performance Overview of QoS Mechanisms in OBS Networks / 7.4.1:
Evaluation of Preemption Probabilities in OBS Networks with Burst Segmentation / 7.4.3:
Routing Algorithms / 7.5:
Optimization of Multi-Path Routing in Optical Burst Switching Networks / 7.5.1:
TCP over OBS Networks / 7.6:
Burst Reordering Impact on TCP over OBS Networks / 7.6.1:
Multi-layer Traffic Engineering (MTE) in Grooming Enabled ASON/GMPLS Networks / 7.7:
Routing and Grooming in Multi-layer Networks / 8.1:
Basic Schemes / 8.2.1:
Adaptive Integrated Multi-layer Routing / 8.2.2:
Simulation Study / 8.2.3:
Improvements for Multi-layer Routing and Grooming Schemes / 8.3:
Online Optimization at Connection Teardown / 8.3.1:
Admission Control for Improving Fairness / 8.3.2:
Evaluation of Traffic and Network Patterns / 8.4:
Network Resilience in Future Optical Networks / 9:
Terminology / 9.1:
Basic Resilience Techniques and Failure Management / 9.3:
Resilient Network Performance Improvement, Evaluation Methods and Parameters / 9.4:
Availability Calculation in Optical Network / 9.4.1:
Recovery Time / 9.4.2:
Network Performance Improvement through Differentiated Survivability / 9.4.3:
Security Issues in Transparent Optical Networks / 9.5:
Multilayer Resilience / 9.6:
Single Layer Recovery in Multilayer Networks / 9.6.1:
Interworking between Layers / 9.6.2:
Multilayer Survivability Strategies / 9.6.3:
Logical Topology Design / 9.6.4:
Optical Storage Area Networks / 9.7:
Storage Area Networks (SANS) / 10.1:
Data Mirroring Techniques / 10.1.2:
Network Architectures / 10.2:
Proposed Mirroring Technique / 10.3:
Single Section Ring Architecture / 10.4:
Two Sections Ring Architecture / 10.4.2:
Future Outlook (Part II) / 10.5:
Introduction (Part III) / Part III:
Software Tools and Methods for Modelling Physical Layer Issues / 11:
Modelling of Optoelectronic Components (Lasers and Semiconductor Optical Amplifiers) / 11.1:
Frequency-Domain Approaches / 11.1.1:
Time-Domain Models / 11.1.3:
Lumped-Element Models / 11.1.4:
Distributed Time-Domain Models / 11.1.5:
Modeling of Hybrid Mode-Locked Lasers / 11.1.6:
Modelling of Travelling-Wave Semiconductor Optical Amplifiers / 11.1.7:
Simulation Tool MOVE-IT / 11.2:
Numerical Models for Simulation of Transient Effect in Raman Fibre Amplifiers / 11.3:
Split-Step-Fourier-Method in Modeling of WDM Links / 11.4:
Pre-simulated Local Errors S-SSMF / 11.4.1:
Results / 11.4.2:
Software Tools and Methods for Research and Education in Optical Networks / 11.4.3:
Models and Simulations / 12.1:
Modelling / 12.1.1:
Simulation Techniques / 12.1.2:
Simulation and Model Verification / 12.1.3:
Summary on Modelling / 12.1.4:
Tool Integration Perspectives / 12.2:
Integration: Definitions / 12.2.1:
Obstacles to Integration and Possible Diversions / 12.2.2:
Conclusions and Future Outlook / 12.2.3:
Modelling with OPNET: A Practical Example / 12.3:
OPNET Domains / 12.3.1:
The OPNET Project Editor / 12.3.2:
Developing Models with OPNET: Conclusion / 12.3.3:
Simulation of ASON/GMPLS Using OMNET++ Simulator / 12.4:
The OMNET Simulator and the INET Framework / 12.4.1:
IP/MPLS over ASON/GMPLS Simulator / 12.4.2:
WDM Network Planning: The MatPlanWDM Tool / 12.4.3:
Distinctions Between Planning Problems / 12.5.1:
Integrated Tool / 12.5.2:
Extension of the Tool / 12.5.3:
The Javanco Environment / 12.6:
History and Predecessors / 12.6.1:
General Architecture / 12.6.2:
Utilisations / 12.6.3:
Future Developments and Conclusion / 12.6.4:
IKR Simulation Library / 12.7:
Conceptual Structure / 12.7.1:
Libraries / 12.7.2:
Application of the Simulation Library / 12.7.3:
Summary / 12.7.4:
Future Outlook (Part III)
Future Outlook
Introduction
Introduction (Part I) / Part I:
Novel Transponder Interfaces: Novel Modulation Formats / 1:
91.

電子ブック

EB
Marina L. Gavrilova, Takeo Kanade, Edward David Moreno, C. J. Kenneth Tan
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Hardware Mechanisms for Memory Authentication: A Survey of Existing Techniques and Engines / Reouven Elbaz ; David Champagne ; Catherine Gebotys ; Ruby B. Lee ; Nachiketh Potlapally ; Lionel Torres
Behavioural Characterization for Network Anomaly Detection / Victor P. Roche ; Unai Arronategui
The Power of Anonymous Veto in Public Discussion / Feng Hao ; Piotr Zielinski
Collusion-Resistant Message Authentication in Overlay Multicast Communication / Emad Eldin Mohamed ; Hussein Abdel-Wahab
A Model for Authentication Credentials Translation in Service Oriented Architecture / Emerson Ribeiro de Mello ; Michelle S. Wangham ; Joni da Silva Fraga ; Edson T. de Camargo ; Davi da Silva Boger
Secure and Efficient Group Key Agreements for Cluster Based Networks / Ratna Dutta ; Tom Dowling
An Integrated ECC-MAC Based on RS Code / Jaydeb Bhaumik ; Dipanwita Roy Chowdhury
Optimizing Pseudonym Updation in Vehicular Ad-Hoc Networks / Brijesh Kumar Chaurasia ; Shekhar Verma ; G.S. Tomar ; Ajith Abraham
Security Analysis of Role Based Access Control Models Using Colored Petri Nets and CPNtools / Hind Rakkay ; Hanifa Boucheneb
Role Based Access Control with Spatiotemporal Context for Mobile Applications / Subhendu Aich ; Samrat Mondal ; Shamik Sural ; Arun Kumar Majumdar
A Method for Estimation of the Success Probability of an Intrusion Process by Considering the Temporal Aspects of the Attacker Behavior / Jaafar Almasizadeh ; Mohammad Abdollahi Azgomi
A Hardware Architecture for Integrated-Security Services / Fabio Dacencio Pereira ; Edward David Moreno Ordonez
Evaluating Resistance of MCML Technology to Power Analysis Attacks Using a Simulation-Based Methodology / Francesco Regazzoni ; Thomas Eisenbarth ; Axel Poschmann ; Johann Grobschadl ; Frank Gurkaynak ; Marco Macchetti ; Zeynep Toprak ; Laura Pozzi ; Christof Paar ; Yusuf Leblebici ; Paolo Ienne
Putting Trojans on the Horns of a Dilemma: Redundancy for Information Theft Detection / Jedidiah R. Crandall ; John Brevik ; Shaozhi Ye ; Gary Wassermann ; Daniela A.S. de Oliveira ; Zhendong Su ; S. Felix Wu ; Frederic T. Chong
Author Index
Hardware Mechanisms for Memory Authentication: A Survey of Existing Techniques and Engines / Reouven Elbaz ; David Champagne ; Catherine Gebotys ; Ruby B. Lee ; Nachiketh Potlapally ; Lionel Torres
Behavioural Characterization for Network Anomaly Detection / Victor P. Roche ; Unai Arronategui
The Power of Anonymous Veto in Public Discussion / Feng Hao ; Piotr Zielinski
92.

電子ブック

EB
Per Stenstr?m, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Special Section on High-Performance Embedded Architectures and Compilers / Part I:
Introduction / Per Stenstrom ; David Whalley
Recruiting Decay for Dynamic Power Reduction in Set-Associative Caches / Georgios Keramidas ; Polychronis Xekalakis ; Stefanos Kaxiras
Compiler-Assisted Memory Encryption for Embedded Processors / Vijay Nagarajan ; Rajiv Gupta ; Arvind Krishnaswamy
Branch Predictor Warmup for Sampled Simulation through Branch History Matching / Simon Kluyskens ; Lieven Eeckhout
Data Cache Techniques to Save Power and Deliver High Performance in Embedded Systems / Major Bhadauria ; Sally A. McKee ; Karan Singh ; Gary S. Tyson
Combining Edge Vector and Event Counter for Time-Dependent Power Behavior Characterization / Chunling Hu ; Daniel A. Jimenez ; Ulrich Kremer
Regular Papers / Part II:
Accurate Instruction Pre-scheduling in Dynamically Scheduled Processors / Woojin Choi ; Seok-Jun Park ; Michel Dubois
Fetch Gating Control through Speculative Instruction Window Weighting / Hans Vandierendonck ; Andre Seznec
Fast Code Generation for Embedded Processors with Aliased Heterogeneous Registers / Minwook Ahn ; Yunheung Paek
Linux Kernel Compaction through Cold Code Swapping / Dominique Chanet ; Javier Cabezas ; Enric Morancho ; Nacho Navarro ; Koen De Bosschere
Complexity Effective Bypass Networks / Aneesh Aggarwal
A Context-Parameterized Model for Static Analysis of Execution Times / Christine Rochange ; Pascal Sainrat
Reexecution and Selective Reuse in Checkpoint Processors / Amit Golander ; Shlomo Weiss
Compiler Support for Code Size Reduction Using a Queue-Based Processor / Arquimedes Canedo ; Ben Abderazek ; Masahiro Sowa
Power-Aware Bus Coscheduling for Periodic Realtime Applications Running on Multiprocessor SoC / Khaled Z. Ibrahim ; Smail Niar
Performance Characterization for the Implementation of Content Addressable Memories Based on Parallel Hashing Memories / Patrick Mahoney ; Yvon Savaria ; Guy Bois ; Patrice Plante
Author Index
Special Section on High-Performance Embedded Architectures and Compilers / Part I:
Introduction / Per Stenstrom ; David Whalley
Recruiting Decay for Dynamic Power Reduction in Set-Associative Caches / Georgios Keramidas ; Polychronis Xekalakis ; Stefanos Kaxiras
93.

電子ブック

EB
Kurt Jensen, Wil M. P. Aalst, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Process-Aware Information Systems: Lessons to Be Learned from Process Mining / Wil M.P. van der Aalst
Model-Based Software Engineering and Process-Aware Information Systems / Ekkart Kindler
Petri Net Transformations for Business Processes - A Survey / Niels Lohmann ; Eric Verbeek ; Remco Dijkman
A Look Around the Corner: The Pi-Calculus / Frank Puhlmann ; Mathias Weske
newYAWL: Towards Workflow 2.0 / Nick Russell ; Arthur H.M. ter Hofstede
A Formal Model for Organisational Structures behind Process-Aware Information Systems / Michael Kohler-Buβmeier ; Matthias Wester-Ebbinghaus ; Daniel Moldt
Flexibility in Process-Aware Information Systems / Manfred Reichert ; Stefanie Rinderle-Ma ; Peter Dadam
Business Grid: Combining Web Services and the Grid / Ralph Mietzner ; Dimka Karastoyanova ; Frank Leymann
Does My Service Have Partners? / Karsten Wolf
Deciding Substitutability of Services with Operating Guidelines / Christian Stahl ; Peter Massuthe ; Jan Bretschneider
A Framework for Linking and Pricing No-Cure-No-Pay Services / K.M. van Hee ; H.M.W. Verbeek ; C. Stahl ; N. Sidorova
Empirical Studies in Process Model Verification / Jan Mendling
Process Mining: Overview and Outlook of Petri Net Discovery Algorithms / B.F. van Dongen ; A.K. alves de Medeiros ; L. Wen
Construction of Process Models from Example Runs / Robin Bergenthum ; Jorg Desel ; Sebastian Mauser ; Robert Lorenz
Online Interaction Analysis Framework for Ad-Hoc Collaborative Processes in SOA-Based Environments / Hong-Linh Truong ; Schahram Dustdar
Exploiting Inductive Logic Programming Techniques for Declarative Process Mining / Federico Chesani ; Evelina Lamma ; Paola Mello ; Marco Montali ; Fabrizio Riguzzi ; Sergio Storari
Author Index
Process-Aware Information Systems: Lessons to Be Learned from Process Mining / Wil M.P. van der Aalst
Model-Based Software Engineering and Process-Aware Information Systems / Ekkart Kindler
Petri Net Transformations for Business Processes - A Survey / Niels Lohmann ; Eric Verbeek ; Remco Dijkman
94.

電子ブック

EB
Christos Kaklamanis, Takeo Kanade, Flemming Nielson
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
95.

電子ブック

EB
Sandip Das, Takeo Kanade, Ryuhei Uehara
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
96.

電子ブック

EB
Roberto Bruni, Takeo Kanade, Karsten Wolf
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
97.

電子ブック

EB
Utz Roedig, Takeo Kanade, Cormac J. Sreenan
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
98.

電子ブック

EB
Yong Gao, Nathalie Japkowicz, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
AI in Web Advertising: Picking the Right Ad Ten Thousand Times a Second (Abstract) / Evgeniy Gabrilovich
Living with Constraints (Abstract) / Alan K. Mackworth
Computer (and Human) Perfection at Checkers (Abstract) / Jonathan Schaeffer
Regular Papers
Decision Tree Learning Using a Bayesian Approach at Each Node / Mirela Andronescu ; Mark Brodie
Generating Satisfiable SAT Instances Using Random Subgraph Isomorphism / Calin Anton ; Lane Olson
Enhancing the Bilingual Concordancer TransSearch with Word-Level Alignment / Julien Bourdaillet ; Stéphane Huet ; Fabrizio Gotti ; Guy Lapalme ; Philippe Langlais
Financial Forecasting Using Character N-Gram Analysis and Readability Scores of Annual Reports / Matthew Butler ; Vlado KeÃœelj
Statistical Parsing with Context-Free Filtering Grammar / Michael Demko ; Gerald Penn
Machine Translation of Legal Information and Its Evaluation / Atefeh Farzindar
An Iterative Hybrid Filter-Wrapper Approach to Feature Selection for Document Clustering / Mohammad-Amin Jashki ; Majid Makki ; Ebrahim Bagheri ; Ali A. Ghorbani
Cost-Based Sampling of Individual Instances / William Klement ; Peter Flach ; Nathalie Japkowicz ; Stan Matwin
Context Dependent Movie Recommendations Using a Hierarchical Bayesian Model / Daniel Pomerantz ; Gregory Dudek
Automatic Frame Extraction from Sentences / Martin Scaiano ; Diana Inkpen
Control of Constraint Weights for a 2D Autonomous Camera / Md. Shafiul Alam ; Scott D. Goodwin
Training Global Linear Models for Chinese Word Segmentation / Dong Song ; Anoop Sarkar
A Concurrent Dynamic Logic of Knowledge, Belief and Certainty for Multi-agent Systems / Lijun Wu ; Jinshu Su ; Xiangyu Luo ; Zhihua Yang ; Qingliang Chen
Enumerating Unlabeled and Root Labeled Trees for Causal Model Acquisition / Yang Xiang ; Zoe Jingyu ; Yu Li
Compiling the Lexicographic Inference Using Boolean Cardinality Constraints / Safa Yahi ; Salem Benferhat
Short Papers
Improving Document Search Using Social Bookmarking / Hamidreza Baghi ; Yeugen Biletskiy
Rank-Based Transformation in Measuring Semantic Relatedness / Bartosz Broda ; Maciej Piasecki ; Stan Szpakowicz
Optimizing a Pseudo Financial Factor Model with Support Vector Machines and Genetic Programming
Novice-Friendly Natural Language Generation Template Authoring Environment / Maria Fernanda Caropreso ; Shahzad Khan ; Fazel Keshtkar
A SVM-Based Ensemble Approach to Multi-Document Summarization / Yllias Chali ; Sadid A. Hasan ; Shafiq R. Joty
Co-Training on Handwritten Digit Recognition / Jun Du ; Charles X. Ling
Evaluation Methods for Ordinal Classification / Lisa Gaudette
STFLS: A Heuristic Method for Static and Transportation Facility Location Allocation in Large Spatial Datasets / Wei Gu ; Xin Wang ; Liqiang Geng
An Ontology-Based Spatial Clustering Selection System / Danielle Ziebelin
Exploratory Analysis of Co-Change Graphs for Code Refactoring / Hassan Khosravi ; Recep Colak
Classifying Biomedical Abstracts Using Committees of Classifiers and Collective Ranking Techniques / Alexandre Kouznetsov ; Amir H. Razavi ; Oana Frunza ; Morvarid Sehatkar ; Leanne Seaward ; Peter O'Blenis
Large Neighborhood Search Using Constraint Satisfaction Techniques in Vehicle Routing Problem / Hyun-Jin Lee ; Sang-Jin Cha ; Young-Hoon Yu ; Geun-Sik Jo
Valuable Change Detection in Keyword Map Animation / Takuya Nishikido ; Wataru Sunayama ; Yoko Nishihara
The WordNet Weaver: Multi-criteria Voting for Semi-automatic Extension of a Wordnet / Michal Marcinczuk
Active Learning with Automatic Soft Labeling for Induction of Decision Trees / Jiang Su ; Sayyad Shirabad Jelber ; Jin Huang
A Procedural Planning System for Goal Oriented Agents in Games / Yingying She ; Peter Grogono
An Empirical Study of Category Skew on Feature Selection for Text Categorization / Mondelle Simeon ; Robert Hilderman
Opinion Learning without Emotional Words / Marina Sokolova
Belief Rough Set Classifier / Salsabil Trabelsi ; Zied Elouedi ; Pawan Lingras
Graduate Student Symposium
Automatic Extraction of Lexical Relations from Analytical Definitions Using a Constraint Grammar / Olga Acosta
Grid-Enabled Adaptive Metamodeling and Active Learning for Computer Based Design / Dirk Gorissen
Reasoning about Movement in Two-Dimensions / Joshua Gross
Executable Specifications of Fully General Attribute Grammars with Ambiguity and Left-Recursion / Rahmatullah Hafiz
K-MORPH: A Semantic Web Based Knowledge Representation and Context-Driven Morphing Framework / Sajjad Hussain
Background Knowledge Enriched Data Mining for Interactome Analysis / Mikhail Jiline
Modeling and Inference with Relational Dynamic Bayesian Networks / Cristina Manfredotti
A Semi-supervised Approach to Bengali-English Phrase-Based Statistical Machine Translation / Maxim Roy
Author Index
Invited Talks
AI in Web Advertising: Picking the Right Ad Ten Thousand Times a Second (Abstract) / Evgeniy Gabrilovich
Living with Constraints (Abstract) / Alan K. Mackworth
99.

電子ブック

EB
Wen Yu, Haibo He, Takeo Kanade, Nian Zhang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
100.

電子ブック

EB
Wen Yu, Haibo He, Takeo Kanade, Nian Zhang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼