Search - IFIP Open Digital Library Access content directly

Filter your results

6 results
Structure: Internal structure identifier : 237161
publicationDateY_i : 2020
Page :
sorted by
Image document

Trace Equivalence and Epistemic Logic to Express Security Properties

 Kiraku Minami
40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.115-132, ⟨10.1007/978-3-030-50086-3_7⟩
Conference papers hal-03283228v1
Image document

Psychological Evaluation for Images/Videos Displayed Using Large LED Display and Projector

 Ryohei Nakatsu , Naoko Tosa , Takashi Kusumi , Hiroyuki Takada
19th International Conference on Entertainment Computing (ICEC), Nov 2020, Xi'an, China. pp.382-390, ⟨10.1007/978-3-030-65736-9_34⟩
Conference papers hal-03686040v1
Image document

3D Modeling and 3D Materialization of Fluid Art that Occurs in Very Short Time

 Naoko Tosa , Pan Yunian , Ryohei Nakatsu , Akihiro Yamada , Takashi Suzuki , et al.
19th International Conference on Entertainment Computing (ICEC), Nov 2020, Xi'an, China. pp.409-421, ⟨10.1007/978-3-030-65736-9_37⟩
Conference papers hal-03686045v1
Image document

Learning of Art Style Using AI and Its Evaluation Based on Psychological Experiments

 Cong Hung Mai , Ryohei Nakatsu , Naoko Tosa , Takashi Kusumi , Koji Koyamada
19th International Conference on Entertainment Computing (ICEC), Nov 2020, Xi'an, China. pp.308-316, ⟨10.1007/978-3-030-65736-9_28⟩
Conference papers hal-03686030v1
Image document

Developing Japanese Ikebana as a Digital Painting Tool via AI

 Cong Hung Mai , Ryohei Nakatsu , Naoko Tosa
19th International Conference on Entertainment Computing (ICEC), Nov 2020, Xi'an, China. pp.297-307, ⟨10.1007/978-3-030-65736-9_27⟩
Conference papers hal-03686042v1
Image document

Text Data Analysis on Answers Written in Japanese to Free Text Questions Obtained at Astronomy Lectures

 Seiichiro Aoki , Kazushi Sakka , Keiji Emi , Shinzo Kobayashi , Toshio Okamoto
Open Conference on Computers in Education (OCCE), Jan 2020, Mumbai, India. pp.139-143, ⟨10.1007/978-3-030-59847-1_15⟩
Conference papers hal-03519209v1
Page :