close
1.

電子ブック

EB
SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Tony Allen, Richard Ellis, Miltos Petridis, British Computer Society.
出版情報: Springer eBooks Computer Science , Springer London, 2009
所蔵情報: loading…
目次情報: 続きを見る
Energy Efficient Information Processing in Wireless Sensor Networks
Topology Management for Wireless Sensor Networks
Coverage in Wireless Sensor Networks
Routing in Wireless Sensor Networks
Geometric Routing in Wireless Sensor Networks
Cooperative Relaying in Wireless Sensor Networks
Data-Centricity in Wireless Sensor Networks
Congestion and Flow Control in Wireless Sensor Networks
Data Transport Control in Wireless Sensor Networks
Fault Tolerant Algorithms/Protocols in Wireless Sensor Networks
Self-organizing and Self-healing Schemes in Wireless Sensor Networks
Quality of Service in Wireless Sensor Networks
Embedded Operating Systems in Wireless Sensor Networks
Adaptive Distributed Resource Allocation for Sensor Networks
Scheduling Activities in Wireless Sensor Networks
Energy-Efficient Medium Access Control in Wireless Sensor Networks
Energy Efficient Resource Management Techniques in Wireless Sensor Networks
Transmission Power Control Aware MAC in Wireless Sensor Networks
Security in Wireless Sensor Networks
Key Management in Wireless Sensor Networks
Secure Data Aggregation in Wireless Sensor Networks
Wireless Multimedia Sensor Networks
Middleware for Wireless Sensor Networks
Wireless Mobile Sensor Networks: Protocols and Mobility Strategies Analysis Methods for Sensor Networks
Bio-inspired Communications in Wireless Sensor Networks
Mobile Ad Hoc and Sensor Systems for Global and Homeland Security Applications
Energy Efficient Information Processing in Wireless Sensor Networks
Topology Management for Wireless Sensor Networks
Coverage in Wireless Sensor Networks
2.

電子ブック

EB
Heinz Gerh?user, Christos Efstratiou, Janina Heppner, J?rgen Hupp, J?rgen Hupp
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Smart Design for Human Performance
Smart Design for Human Performance in the Office of the Future Requirements towards Services and Technical Advises for Tomorrows Office Work / Johannes Kriegel ; Franziska Jehle ; Christos Efstratiou ; Lambert Zaad ; Janina Heppner ; Jürgen Hupp
Intelligent Objects for the Internet of Things
Functional Requirements of a Middleware to Integrate Wireless Sensor Networks (WSN) into Smart Objects Applications / Fritz Meier
Scientific Workshop 4: The Internet of Things State-of-the-Art and Perspectives for Future Research / Dirk Liekenbrock
Scientific Workshop 4: Intelligent Objects for the Internet of Things: Internet of Things - Application of Sensor Networks in Logistics / Christian Flügel ; Volker Gehrmann
When Ambient Intelligence Meets Web 2.0: Wiki-City - A City Interacts with Its Citizen
New Tools for Mobiles and Handhelds Make Life Easier / Gerhard Baier ; Hellmut Beckstein
AmbiSense: Identifying and Locating Objects with Ambient Sensors / Christian Hoene
Scientific Workshop 6: When Ambient Intelligence Meets Web 2.0: Wiki-City - A City Interacts with Its Citizens / Steffen Meyer
Scientific Workshop 6: When Ambient Intelligence Meets Web 2.0: Seamless Localization Technologies in Cities / Thorsten Vaupel
Soprano, Persona, Netcarity & Mpower, Conjoint Workshop on Ambient-Assisted Living
Architectures and Platfroms for AMI: Workshop Summary Report / B.A. Farshchian ; E. Berg ; M. Divitini ; K. Doolin ; R. Pascotto
A Pervasive Environment Based on Personal Self-improving Smart Spaces / Michael Crotty ; Nich Taylor ; Howard Williams ; Korbinian Frank ; Ioanna Roussaki ; Mark Roddy
A Product Line Approach for Aml Environments / Jon Imanol Durán ; Josu Cobelo ; Joseba Laka
ASTRA Awareness Connectivity Platfrom Based on Service Oriented Concepts / Irene Mavrommati ; Ioannis Calemis
Mobile Ontology: Its Creation and Its Usage / Xiaomeng Su ; Stian Alapnes ; Mazen Malek Shiaa
Using Semantic Technology in Pervasive Service Platform / Xiaomeny Su ; Babak Farshchian ; Reidar Martin Svendsen ; Erik Berg
Realizing Context Aware Collaborations Using Grids / Stefan Wesner ; Georgina M. Gallizo ; Alexander Kipp ; Matthias Assel
Capturing Ambient Assisted Living Needs
Proceedings of AMI'08 Workshop: "Capturing Ambient Assisted Living Needs" / Arjan Geven ; Özge Subasi ; Cristina Buiza ; Marianna Obrist ; Wolfgang Reitberger ; Manfred Tscheligi
Author Index
Smart Design for Human Performance
Smart Design for Human Performance in the Office of the Future Requirements towards Services and Technical Advises for Tomorrows Office Work / Johannes Kriegel ; Franziska Jehle ; Christos Efstratiou ; Lambert Zaad ; Janina Heppner ; Jürgen Hupp
Intelligent Objects for the Internet of Things
3.

電子ブック

EB
Matteo Baldoni, M. Birna Riemsdijk, J?rg Siekmann, Tran Cao Son, Michael Winikoff
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Specifying and Enforcing Norms in Artificial Institutions / Nicoletta Fornara ; Marco Colombetti
Social Norm Emergence in Virtual Agent Societies / Bastin Tony Roy Savarimuthu ; Maryam Purvis ; Martin Purvis ; Stephen Cranefield
A Distributed Normative Infrastructure for Situated Multi-agent Organisations / Fabio Y. Okuyama ; Rafael H. Bordini ; Antônio Carlos da Rocha Costa
Contributed Papers
A Complete STIT Logic for Knowledge and Action, and Some of Its Applications / Jan Broersen
Combining Multiple Knowledge Representation Technologies into Agent Programming Languages / Mehdi M. Dastani ; Koen V. Hindriks ; Peter Novák ; Nick A.M. Tinnemeier
Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions / Dimitar P. Guelev ; Catalin Dima
JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies / Thomas Klapiscak
Leveraging New Plans in AgentSpeak(PL) / Felipe Meneguzzi ; Michael Luck
Increasing Bid Expressiveness for Effective and Balanced E-Barter Trading / Azzurra Ragone ; Tommaso Di Noia ; Eugenio Di Sciascio ; Francesco M. Donini
Inductive Negotiation in Answer Set Programming / Chiaki Sakama
Mental State Abduction of BDI-Based Agents / Michal P. Sindlar ; Frank Dignum ; John-Jules Ch. Meyer
Iterated Belief Revision in the Face of Uncertain Communication / Yoshitaka Suzuki ; Satoshi Tojo ; Stijn De Saeger
Abstracting and Verifying Strategy-Proofness for Auction Mechanisms / Emmanuel M. Tadjouddine ; Frank Guerin ; Wamberto Vasconcelos
Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming / M. Birna van Riemsdijk
Strategic Agent Communication: An Argumentation-Driven Approach / Jamal Bentahar ; Mohamed Mbarki ; Bernard Moulin
Author Index
Invited Papers
Specifying and Enforcing Norms in Artificial Institutions / Nicoletta Fornara ; Marco Colombetti
Social Norm Emergence in Virtual Agent Societies / Bastin Tony Roy Savarimuthu ; Maryam Purvis ; Martin Purvis ; Stephen Cranefield
4.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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
9.

電子ブック

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

電子ブック

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

電子ブック

EB
Amba Kulkarni, G?rard Huet
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Background of the Ast&abar;dhy&abar;y&ibar; / S.D. Joshi
P&abar;nini's Grammar and Its Computerization: A Construction Grammar Approach / Jan E.M. Houben
Annotating Sanskrit Texts Based on Ś&abar;bdabodha Systems / K.V. Ramkrishnamacharyulu
Modelling the Grammatical Circle of the P&abar;ninian System of Sanskrit Grammar / Anand Mishra
Computational Structure of the Ast&abar;dhy&abar;y&ibar; and Conflict Resolution Techniques / Sridhar Subbanna ; Shrinivasa Varakhedi
Levels in P&abar;nini's Ast&abar;dhy&abar;y&ibar; / Peter M. Scharf
On the Construction of Śivas&ubar;tra-Alphabets / Wiebke Petersen
Tagging Classical Sanskrit Compounds / Brendan S. Gillon
Extracting Dependency Trees from Sanskrit Texts / Oliver Hellwig
Sanskrit Analysis System (SAS) / Manji Bhadra ; Surjit Kumar Singh ; Sachin Kumar ; Subash ; Muktanand Agrawal ; R. Chandrasekhar ; Sudhir K. Mishra ; Girish ; Nath Jha
Translation Divergence in English-Sanskrit-Hindi Language Pairs / Pawan Goyal ; R. Mahesh K. Sinha
Web Concordance of the Prak&ibar;rna-Prak&abar;śa of Hel&abar;r&abar;ja on the J&abar;tisamuddeśa (3.1) of V&abar;kyapad&ibar;ya / Malhar Kulkarni ; Chaitali Dangarikar
Author Index
Background of the Ast&abar;dhy&abar;y&ibar; / S.D. Joshi
P&abar;nini's Grammar and Its Computerization: A Construction Grammar Approach / Jan E.M. Houben
Annotating Sanskrit Texts Based on Ś&abar;bdabodha Systems / K.V. Ramkrishnamacharyulu
12.

電子ブック

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

電子ブック

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

電子ブック

EB
Neil D. Jones, Markus M?ller-Olm
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
15.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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
21.

電子ブック

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

電子ブック

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

電子ブック

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
24.

電子ブック

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
25.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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
30.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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
42.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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
48.

電子ブック

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

電子ブック

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
50.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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
54.

電子ブック

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

電子ブック

EB
David Hutchison, Spyros Denazis, Takeo Kanade, Laurent Lefevre, Gary J. Minden
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
56.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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
62.

電子ブック

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
63.

電子ブック

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

電子ブック

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
65.

電子ブック

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
66.

電子ブック

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

電子ブック

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
68.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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
82.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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
87.

電子ブック

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

電子ブック

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

電子ブック

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
90.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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:
96.

電子ブック

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
97.

電子ブック

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
98.

電子ブック

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
99.

電子ブック

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

電子ブック

EB
Sandip Das, Takeo Kanade, Ryuhei Uehara
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼