close
1.

図書

図書
Devdas Menon
出版情報: Oxford : Alpha Science International, c2009  xiv, 685 p. ; 25 cm
所蔵情報: loading…
2.

図書

図書
Umeshwar Dayal ... [et al.] (eds.)
出版情報: Berlin : Springer, c2009  xiii, 362 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 5701
所蔵情報: loading…
3.

図書

図書
Javier E. Hasbun
出版情報: Sudbury, Mass. : Jones and Bartlett Publishers, c2009  xvi, 548 p. ; 24 cm
所蔵情報: loading…
4.

図書

図書
International Astronautical Congress ; International Astronautical Federation
出版情報: Paris : International Astronautical Federation , Red Hook, NY : Printed from e-media with permission by Curran Associates, 2009, c2008  15 v. (10127 p.) ; 28 cm
所蔵情報: loading…
5.

図書

図書
hosted by Changsha University of Science and Technology, China ; co-sponsored by ASCE Geo-Institute, USA ... [et al.] ; edited by Liaqat Ali ... [et al.]
出版情報: Reston, Va. : American Society of Civil Engineers, c2009  xii, 290 p. ; 22 cm
シリーズ名: Geotechnical special publication ; no. 192
所蔵情報: loading…
6.

図書

図書
hosted by Changsha University of Science and Technology, China ; co-sponsored by ASCE Geo-Institute, USA ... [et al.] ; edited by Dar-Hao Chen ... [et al.]
出版情報: Reston, Va. : American Society of Civil Engineers, c2009  x, 196 p. ; 22 cm
シリーズ名: Geotechnical special publication ; no. 193
所蔵情報: loading…
7.

図書

図書
hosted by Changsha University of Science and Technology, China ; co-sponsored by ASCE Geo-Institute, USA ... [et al.] ; edited by Louis Ge ... [et al.]
出版情報: Reston, Va. : American Society of Civil Engineers, c2009  x, 109 p. ; 22 cm
シリーズ名: Geotechnical special publication ; no. 194
所蔵情報: loading…
8.

図書

図書
hosted by Changsha University of Science and Technology, China ; co-sponsored by ASCE Geo-Institute, USA ... [et al.] ; edited by Halil Ceylan ... [et al.]
出版情報: Reston, Va. : American Society of Civil Engineers, c2009  x, 173 p. ; 22 cm
シリーズ名: Geotechnical special publication ; no. 195
所蔵情報: loading…
9.

図書

図書
hosted by Changsha University of Science and Technology, China ; co-sponsored by ASCE Geo-Institute, USA ... [et al.] ; edited by Moon Won ... [et al.]
出版情報: Reston, Va. : American Society of Civil Engineers, c2009  x, 175 p. ; 22 cm
シリーズ名: Geotechnical special publication ; no. 196
所蔵情報: loading…
10.

図書

図書
sponsored by the Pavements Committee of the Geo-Institute of the American Society of Civil Engineers ... [et al.] ; edited by Zhanping You, Ala R. Abbas, Linbing Wang
出版情報: Reston, Va. : American Society of Civil Engineers, c2009  x, 163 p. ; 22 cm
シリーズ名: Geotechnical special publication ; no. 184
所蔵情報: loading…
11.

図書

図書
sponsored by the Geo-Institute of the American Society of Civil Engineers, International Association of Foundation Drilling (ADSC), Pile Driving Contractors Association (PDCA) ; edited by Magued Iskander, Debra F. Laefer, Mohamad H. Hussein
出版情報: Reston, Va. : American Society of Civil Engineers, c2009  xxii, 650 p. ; 23 cm
シリーズ名: Geotechnical special publication ; no. 185
所蔵情報: loading…
12.

図書

図書
sponsored by the Geo-Institute of the American Society of Civil Engineers, International Association of Foundation Drilling (ADSC), Pile Driving Contractors Association (PDCA) ; edited by Magued Iskander, Debra F. Laefer, Mohamad H. Hussein
出版情報: Reston, Va. : American Society of Civil Engineers, c2009  xxii, 668 p. ; 23 cm
シリーズ名: Geotechnical special publication ; no. 186
所蔵情報: loading…
13.

図書

図書
sponsored by the Geo-Institute of the American Society of Civil Engineers, International Association of Foundation Drilling (ADSC), Pile Driving Contractors Association (PDCA) ; edited by Magued Iskander, Debra F. Laefer, Mohamad H. Hussein
出版情報: Reston, Va. : American Society of Civil Engineers, c2009  xxii, 629 p. ; 23 cm
シリーズ名: Geotechnical special publication ; no. 187
所蔵情報: loading…
14.

図書

図書
hosted by Changsha University of Science and Technology, China ; co-sponsored by ASCE Geo-Institute, USA ... [et al.] ; edited by Xiong Zhang ... [et al.]
出版情報: Reston, Va. : American Society of Civil Engineers, c2009  xi, 196 p. ; 22 cm
シリーズ名: Geotechnical special publication ; no. 189
所蔵情報: loading…
15.

図書

図書
hosted by Changsha University of Science and Technology, China ; co-sponsored by ASCE Geo-Institute, USA ... [et al.] ; edited by Lubinda F. Walubita ... [et al.]
出版情報: Reston, Va. : American Society of Civil Engineers, c2009  x, 206 p. ; 22 cm
シリーズ名: Geotechnical special publication ; no. 190
所蔵情報: loading…
16.

図書

図書
hosted by Changsha University of Science and Technology, China ; co-sponsored by ASCE Geo-Institute, USA ... [et al.] ; edited by Wynand JvdM Steyn, Kim J. Jenkins, Mansour Solaimanian
出版情報: Reston, Va. : American Society of Civil Engineers, c2009  x, 203 p. ; 22 cm
シリーズ名: Geotechnical special publication ; no. 191
所蔵情報: loading…
17.

図書

図書
edited by Osman Balci ... [et al.] ; sponsored by the Society for Modeling and Simulation International
出版情報: San Diego, CA : Society for Modeling and Simulation International, c2009  489 p. ; 28 cm
シリーズ名: Simulation series ; v. 41, no. 3
所蔵情報: loading…
18.

図書

図書
日本機械学会
出版情報: 東京 : 日本機械学会, 2009.4  226p ; 30cm
所蔵情報: loading…
19.

図書

図書
出版情報: [東京] : 日経BP社 , 東京 : 日経BP出版センター (発売), 2009.6-  冊 ; 20cm
所蔵情報: loading…
20.

図書

図書
東京工業大学学勢調査2008スタッフ一同
出版情報: [東京] : [東京工業大学], 2009.3  147p ; 30cm
所蔵情報: loading…
21.

図書

図書
Sandra Fital-Akelbek
出版情報: Saarbrücken : VDM, c2009  vi, 130 p. ; 22 cm
所蔵情報: loading…
22.

図書

図書
U.S. Symposium on Rock Mechanics ; US-Canada Rock Mechanics Symposium ; American Rock Mechanics Association
出版情報: Alexandria, Va. : American Rock Mechanics Association , Red Hook, NY : Printed from e-media with permission by Curran Associates, 2009, c2008  484 p. ; 27 cm
所蔵情報: loading…
23.

図書

図書
U.S. Symposium on Rock Mechanics ; US-Canada Rock Mechanics Symposium ; American Rock Mechanics Association
出版情報: Alexandria, Va. : American Rock Mechanics Association , Red Hook, NY : Printed from e-media with permission by Curran Associates, 2009, c2008  p. 485-963 ; 27 cm
所蔵情報: loading…
24.

図書

図書
Andrei A. Gakh, editor ; Kenneth L. Kirk, editor ; sponsored by the ACS Division of Fluorine Chemistry
出版情報: Washington, DC : American Chemical Society, c2009  xvii, 360 p. ; 24 cm
シリーズ名: ACS symposium series ; 1003
所蔵情報: loading…
25.

雑誌

雑誌
出版情報: New York : Liss, c1986-[2009]
巻次年月次: Vol. 6, no. 1 (1986)-v. 66, no. 12 (Dec. 2009)
所蔵情報: loading…
26.

コンピュータファイル

コンピュータファイル
日本科学技術情報センター
出版情報: 東京 : 日本科学技術情報センター, -2009
巻次年月次: -2008 (2008)
所蔵情報: loading…
27.

コンピュータファイル

コンピュータファイル
日本科学技術情報センター
出版情報: 東京 : 日本科学技術情報センター, -2009  CD-ROM枚 ; 12cm
巻次年月次: -2008 (2008)
所蔵情報: loading…
28.

コンピュータファイル

コンピュータファイル
日本科学技術情報センター [編]
出版情報: 東京 : 日本科学技術情報センター, -2009  CD-ROM枚 ; 12cm
巻次年月次: -2008 (2008)
所蔵情報: loading…
29.

コンピュータファイル

コンピュータファイル
日本科学技術情報センター
出版情報: 東京 : 日本科学技術情報センター, -2009  CD-ROM枚 ; 12cm
巻次年月次: -2008 (2008)
所蔵情報: loading…
30.

コンピュータファイル

コンピュータファイル
日本科学技術情報センター
出版情報: 東京 : 日本科学技術情報センター, -2009  CD-ROM枚 ; 12cm
巻次年月次: -2008 (2008)
所蔵情報: loading…
31.

雑誌

雑誌
Chartered Institute of Building (Great Britain)
出版情報: Ascot, Berkshire : Chartered Institute of Building, -2009
巻次年月次: -v. 11, issue 4 (2009)
所蔵情報: loading…
32.

雑誌

雑誌
出版情報: [New York, N.Y.] : Hindawi Pub. Corp., -2009  v. ; 25-28 cm
巻次年月次: -v. 2009 (2009)
所蔵情報: loading…
33.

雑誌

雑誌
出版情報: Cambridge, Mass. : International Press, -2009  v. ; 24 cm
巻次年月次: -v. 16.2 (2009)
所蔵情報: loading…
34.

雑誌

雑誌
出版情報: Stevenson Ranch, Calif. : American Scientific Publishers, -c2009  v. ; 28 cm
巻次年月次: -v. 4, no. 2 (Dec. 2009)
所蔵情報: loading…
35.

雑誌

雑誌
出版情報: Brentwood, U.K. : Multi-Science Publishing, 2009-  v. ; 30 cm
巻次年月次: Vol. 1, no. 1 (Mar. 2009)-
所蔵情報: loading…
36.

雑誌

雑誌
Royal Society of Chemistry (Great Britain)
出版情報: Cambridge, U.K. : Royal Society of Chemistry, 2009-  v. ; 28 cm
巻次年月次: Vol. 1, no. 1 (Jan. 2009)-
所蔵情報: loading…
37.

雑誌

雑誌
出版情報: [Brentwood, UK] : Multi-Science publishing, 2009-  v. ; 28 cm
巻次年月次: Vol. 1, no. 1 (March 2009)-
所蔵情報: loading…
38.

雑誌

雑誌
Royal Society of Chemistry (Great Britain)
出版情報: Cambridge, U.K. : Royal Society of Chemistry, 2009-  v. ; 28 cm
巻次年月次: Vol. 1, no. 1 (Jan. 2009)-
所蔵情報: loading…
39.

雑誌

雑誌
電気学会
出版情報: Hoboken, N.J. : Wiley Subscription Services, 2008-  v. ; 28 cm
巻次年月次: Vol. 91, no. 1 (Jan. 2008)-
所蔵情報: loading…
40.

雑誌

雑誌
Cognitive Science Society
出版情報: Hoboken, N.J. : Wiley-Blackwell, 2009-  v.
巻次年月次: Vol. 1, no. 1 (Jan. 2009)-
所蔵情報: loading…
41.

雑誌

雑誌
出版情報: 東京 : CQ出版, 2009.5-2012  冊 ; 28cm
巻次年月次: 1巻1号 (2009 spring)-no. 15 (2012 autumn)
所蔵情報: loading…
42.

雑誌

雑誌
東京工業大学FLC言語文化研究会 [編]
出版情報: 東京 : 東京工業大学FLC言語文化研究会, 2009.3-2016.3  冊 ; 21cm
巻次年月次: No. 1 (Mar. 2009)-no. 8 (Mar. 2016)
所蔵情報: loading…
43.

雑誌

雑誌
出版情報: Beijing : Chinese Institute of Electronics , Bristol : IOP Publishing, 2009-  v. ; 29 cm
巻次年月次: Vol. 30, no. 1 (Jan. 2009)-
所蔵情報: loading…
44.

雑誌

雑誌
アスキー・メディアワークス
出版情報: 東京 : アスキー・メディアワークス , 東京 : 角川グループパブリッシング (発売), 2009-2011.7  27冊 ; 28cm
巻次年月次: 14巻7号 (2009.7)-16巻9号 (2011.9) = 通巻159号 (2009.7)-通巻185号 (2011.9)
所蔵情報: loading…
45.

雑誌

雑誌
国際ビジネス研究学会編 = Japan Academy of International Business Studies
出版情報: 東京 : 国際ビジネス研究学会, 2009.4-  冊 ; 30cm
巻次年月次: 1巻1号 (2009.4)- = 通号1号 (2009.4)-
所蔵情報: loading…
46.

雑誌

雑誌
電子情報通信学会 [編]
出版情報: 東京 : 電子情報通信学会, 2009.5-  冊 ; 30cm
巻次年月次: ICSS2009-1〜8 (2009.5)- = Vol. 109, no. 33 (2009.5)-
所蔵情報: loading…
47.

雑誌

雑誌
電子情報通信学会 [編]
出版情報: 東京 : 電子情報通信学会, 2009.5-  冊 ; 30cm
巻次年月次: LOIS2009-1–LOIS2009-8 (2009)-
所蔵情報: loading…
48.

雑誌

雑誌
亚太建筑科技信息研究院, 中国建筑设计研究院 [主办]
出版情報: 北京 : 《建筑技艺》编辑部, 2009-  冊 ; 29 cm
巻次年月次: 2009年4期 (2009.4)- = Vol. 175 (2009.4)-
所蔵情報: loading…
49.

雑誌

雑誌
出版情報: Dordrecht : Springer, c2009-  v. ; 24 cm
巻次年月次: Vol. 17, no. 1 (Mar. 2009)-
所蔵情報: loading…
50.

雑誌

雑誌
Russian Academy of Sciences and the Institute of Physical Chemistry, RAS
出版情報: New York, N.Y. : Pleiades Pub., c2009-  v. ; 28 cm
巻次年月次: Vol. 45, no. 1 (Jan./Feb. 2009)-
所蔵情報: loading…
51.

雑誌

雑誌
ChemPubSoc Europe
出版情報: Weinheim, Germany : Wiley-VCH, 2009-  v. ; 28 cm
巻次年月次: Vol. 1, no. 1 (Sept. 2009)-
所蔵情報: loading…
52.

雑誌

雑誌
the Energy and Resources Institute
出版情報: New Delhi : Teri Press, c2009-  v. ; 24 cm
巻次年月次: Vol. 6, issue 1 (Mar. 2009)-
所蔵情報: loading…
53.

雑誌

雑誌
出版情報: [東京] : [応用物理学会], -2009.3  冊 ; 25cm
巻次年月次: -56回 (2009.3)
所蔵情報: loading…
54.

雑誌

雑誌
Chinese Academy of Sciences
出版情報: Beijing, China : Sciences in China Press, -2009  v. ; 26 cm
巻次年月次: -v. 52, no. 12 (Dec. 2009)
所蔵情報: loading…
55.

雑誌

雑誌
中国建筑设计研究院
出版情報: 北京 : 《建筑技术及设计》编辑部, -2009  冊 ; 29 cm
巻次年月次: -2009年3期 (2009.3) = -v. 174 (2009.3)
所蔵情報: loading…
56.

雑誌

雑誌
Polska Akademia Nauk. Komitet Nauk Chemicznych ; Polska Akademia Nauk. Komisja Chemii Analityczneh
出版情報: Warszawa : Państwowe Wydawnictwo Naukowe, -2009  v. ; 24 cm
巻次年月次: -v. 54, no. 6 (2009)
所蔵情報: loading…
57.

雑誌

雑誌
American Chemical Society. Chemical Abstracts Service
出版情報: Columbus, Ohio : Chemical Abstracts Service, Division of the American Chemical Society, -2009
巻次年月次: -v. 2009, no. 4 (Jan./Dec. 2009)
所蔵情報: loading…
58.

雑誌

雑誌
Dalhousie University. Regional and Urban Studies Centre ; INRS-Urbanisation
出版情報: Halifax, Canada : Regional and Urban Studies Centre, Institute of Public Affairs, Dalhousie University, -2009  v. ; 21 cm
巻次年月次: -v. 32, no. 3 (autumn 2009)
所蔵情報: loading…
59.

雑誌

雑誌
Ergonomics Society (Great Britain). Conference
出版情報: London ; Philadelphia : Taylor & Francis, -[2009]  v. ; 24 cm
巻次年月次: -2009 (2009)
所蔵情報: loading…
60.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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