Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

29 results
Page :
sorted by
Image document

Pebbles: User-Configurable Device Network for Robot Navigation

 Kentaro Ishii , Haipeng Mi , Lei Ma , Natsuda Laokulrat , Masahiko Inami , et al.
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.420-436, ⟨10.1007/978-3-642-40480-1_28⟩
Conference papers hal-01501760v1
Image document

Bubble Clouds: 3D Display Composed of Soap Bubble Cluster

 Yuki Kubo , Hirobumi Tomita , Shuta Nakamae , Takayuki Hoshi , Yoichi Ochiai
16th International Conference on Entertainment Computing (ICEC), Sep 2017, Tsukuba City, Japan. pp.14-23, ⟨10.1007/978-3-319-66715-7_2⟩
Conference papers hal-01771251v1
Image document

Smartphone-Based Gait Measurement Application for Exercise and Its Effects on the Lifestyle of Senior Citizens

 Takahiro Miura , Ken-Ichiro Yabu , Atsushi Hiyama , Noriko Inamura , Michitaka Hirose , et al.
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.80-98, ⟨10.1007/978-3-319-22698-9_7⟩
Conference papers hal-01609403v1
Image document

Turing-Completeness of Asynchronous Non-camouflage Cellular Automata

 Tatsuya Yamashita , Teijiro Isokawa , Ferdinand Peper , Ibuki Kawamata , Masami Hagiya
23th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2017, Milan, Italy. pp.187-199, ⟨10.1007/978-3-319-58631-1_15⟩
Conference papers hal-01656362v1
Image document

Updating Policies in CP-ABE-Based Access Control: An Optimized and Secure Service

 Somchart Fugkeaw , Hiroyuki Sato
5th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2016, Vienna, Austria. pp.3-17, ⟨10.1007/978-3-319-44482-6_1⟩
Conference papers hal-01638598v1
Image document

Flexible Harmonic Temporal Structure for Modeling Musical Instrument

 Jun Wu , Yu Kitano , Takuya Nishimoto , Nobutaka Ono , Shigeki Sagayama
9th International Conference on Entertainment Computing (ICEC), Sep 2010, Seoul, South Korea. pp.416-418, ⟨10.1007/978-3-642-15399-0_46⟩
Conference papers hal-01055616v1
Image document

Identifying Rush Strategies Employed in StarCraft II Using Support Vector Machines

 Teguh Budianto , Hyunwoo Oh , Yi Ding , Zi Long , Takehito Utsuro
16th International Conference on Entertainment Computing (ICEC), Sep 2017, Tsukuba City, Japan. pp.357-361, ⟨10.1007/978-3-319-66715-7_39⟩
Conference papers hal-01771286v1
Image document

Vegetation Interaction Game: Digital SUGOROKU of Vegetation Succession for Children

 Akiko Deguchi , Shigenori Inagaki , Fusako Kusunoki , Etsuji Yamaguchi , Yoshiaki Takeda , et al.
9th International Conference on Entertainment Computing (ICEC), Sep 2010, Seoul, South Korea. pp.493-495, ⟨10.1007/978-3-642-15399-0_70⟩
Conference papers hal-01055590v1
Image document

Overview Scrollbar: A Scrollbar Showing an Entire Document as an Overview

 Ko Mizoguchi , Daisuke Sakamoto , Takeo Igarashi
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.603-610, ⟨10.1007/978-3-642-40498-6_51⟩
Conference papers hal-01510496v1
Image document

Efficient User-Assisted Content Distribution over Information-Centric Network

 Hyunyong Lee , Akihiro Nakao
11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.1-12, ⟨10.1007/978-3-642-30045-5_1⟩
Conference papers hal-01531115v1
Image document

Method Shells: Avoiding Conflicts on Destructive Class Extensions by Implicit Context Switches

 Wakana Takeshita , Shigeru Chiba
12th International Conference on Software Composition (SC), Jun 2013, Budapest, Hungary. pp.49-64, ⟨10.1007/978-3-642-39614-4_4⟩
Conference papers hal-01492776v1
Image document

Design and Implementation of Integrated ICN and CDN as a Video Streaming Service

 Chengkai Yan , Quang Ngoc Nguyen , Ilias Benkacem , Daisuke Okabe , Akihiro Nakao , et al.
17th International Conference on Wired/Wireless Internet Communication (WWIC), Jun 2019, Bologna, Italy. pp.194-206, ⟨10.1007/978-3-030-30523-9_16⟩
Conference papers hal-02881749v1
Image document

Self-stabilizing Distributed Algorithms by Gellular Automata

 Taiga Hongu , Masami Hagiya
26th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Aug 2020, Stockholm, Sweden. pp.86-98, ⟨10.1007/978-3-030-61588-8_7⟩
Conference papers hal-03659466v1
Image document

Inclusive Side-Scrolling Action Game Securing Accessibility for Visually Impaired People

 Masaki Matsuo , Takahiro Miura , Masatsugu Sakajiri , Junji Onishi , Tsukasa Ono
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.410-414, ⟨10.1007/978-3-319-68059-0_41⟩
Conference papers hal-01679808v1
Image document

Role and Value of Character Design of Social Robots

 Junichi Osada , Keiji Suzuki , Hitoshi Matsubara
19th International Conference on Entertainment Computing (ICEC), Nov 2020, Xi'an, China. pp.338-350, ⟨10.1007/978-3-030-65736-9_31⟩
Conference papers hal-03686023v1
Image document

Implementing Feature Interactions with Generic Feature Modules

 Fuminobu Takeyama , Shigeru Chiba
12th International Conference on Software Composition (SC), Jun 2013, Budapest, Hungary. pp.81-96, ⟨10.1007/978-3-642-39614-4_6⟩
Conference papers hal-01492778v1
Image document

Elderly User Evaluation of Mobile Touchscreen Interactions

 Masatomo Kobayashi , Atsushi Hiyama , Takahiro Miura , Chieko Asakawa , Michitaka Hirose , et al.
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.83-99, ⟨10.1007/978-3-642-23774-4_9⟩
Conference papers hal-01590558v1
Image document

Learning to Identify Rush Strategies in StarCraft

 Teguh Budianto , Hyunwoo Oh , Takehito Utsuro
17th International Conference on Entertainment Computing (ICEC), Sep 2018, Poznan, Poland. pp.90-102, ⟨10.1007/978-3-319-99426-0_8⟩
Conference papers hal-02128626v1
Image document

Parametric updates in parametric timed automata

 Étienne André , Didier Lime , Mathias Ramparison
39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.39-56, ⟨10.1007/978-3-030-21759-4_3⟩
Conference papers hal-02153238v1
Image document

SDAC: Porting Scientific Data to Spark RDDs

 Tian Yang , Kenjiro Taura , Liu Chao
14th IFIP International Conference on Network and Parallel Computing (NPC), Oct 2017, Hefei, China. pp.127-130, ⟨10.1007/978-3-319-68210-5_13⟩
Conference papers hal-01705439v1
Image document

Self-enhancing GPS-Based Authentication Using Corresponding Address

 Tran Phuong Thao , Mhd Irvan , Ryosuke Kobayashi , Rie Shigetomi Yamaguchi , Toshiyuki Nakata
34th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jun 2020, Regensburg, Germany. pp.333-344, ⟨10.1007/978-3-030-49669-2_19⟩
Conference papers hal-03243648v1
Image document

Fibrational Bisimulations and Quantitative Reasoning

 David Sprunger , Shin-Ya Katsumata , Jérémy Dubut , Ichiro Hasuo
14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.190-213, ⟨10.1007/978-3-030-00389-0_11⟩
Conference papers hal-01901092v1
Image document

Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces

 Fan Yang , Tomoyuki Aotani , Hidehiko Masuhara , Flemming Nielson , Hanne Riis Nielson
13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.202-218, ⟨10.1007/978-3-642-21464-6_14⟩
Conference papers hal-01582991v1
Image document

Automatically Generating Programming Questions Corresponding to Rubrics Using Assertions and Invariants

 Masami Hagiya , Kosuke Fukuda , Yoshinori Tanabe , Toshinori Saito
1st International Conference on Sustainable ICT, Education, and Learning (SUZA), Apr 2019, Zanzibar, Tanzania. pp.89-98, ⟨10.1007/978-3-030-28764-1_11⟩
Conference papers hal-02515725v1
Image document

Generic Weakest Precondition Semantics from Monads Enriched with Order

 Ichiro Hasuo
12th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2014), Apr 2014, Grenoble, France. pp.10-32, ⟨10.1007/978-3-662-44124-4_2⟩
Conference papers hal-01408750v1
Image document

Co-Sound: An interactive medium with WebAR and spatial synchronization

 Kazuma Inokuchi , Manabu Tsukada , Hiroshi Esaki
19th International Conference on Entertainment Computing (ICEC), Nov 2020, Xi'an, China. pp.255-263, ⟨10.1007/978-3-030-65736-9_22⟩
Conference papers hal-02942505v1
Image document

An Intersection Type System for Deterministic Pushdown Automata

 Takeshi Tsukada , Naoki Kobayashi
7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.357-371, ⟨10.1007/978-3-642-33475-7_25⟩
Conference papers hal-01556213v1
Image document

Categorical Büchi and Parity Conditions via Alternating Fixed Points of Functors

 Natsuki Urabe , Ichiro Hasuo
14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.214-234, ⟨10.1007/978-3-030-00389-0_12⟩
Conference papers hal-02044648v1

Coalgebraic Methods in Computer Science

 Ichiro Hasuo
Springer, LNCS-9608, 2016, Coalgebraic Methods in Computer Science, 978-3-319-40369-4. ⟨10.1007/978-3-319-40370-0⟩
Books hal-01446038v1
Page :