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…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼