Filter your results
- 28
- 1
- 28
- 1
- 29
- 1
- 4
- 3
- 3
- 5
- 2
- 1
- 1
- 4
- 2
- 2
- 2
- 29
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Pebbles: User-Configurable Device Network for Robot Navigation14th 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
|
||
|
Bubble Clouds: 3D Display Composed of Soap Bubble Cluster16th 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
|
||
|
Smartphone-Based Gait Measurement Application for Exercise and Its Effects on the Lifestyle of Senior Citizens15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.80-98, ⟨10.1007/978-3-319-22698-9_7⟩
Conference papers
hal-01609403v1
|
||
|
Turing-Completeness of Asynchronous Non-camouflage Cellular Automata23th 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
|
||
|
Updating Policies in CP-ABE-Based Access Control: An Optimized and Secure Service5th 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
|
||
|
Flexible Harmonic Temporal Structure for Modeling Musical Instrument9th 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
|
||
|
Identifying Rush Strategies Employed in StarCraft II Using Support Vector Machines16th 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
|
||
|
Vegetation Interaction Game: Digital SUGOROKU of Vegetation Succession for Children9th 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
|
||
|
Overview Scrollbar: A Scrollbar Showing an Entire Document as an Overview14th 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
|
||
|
Efficient User-Assisted Content Distribution over Information-Centric Network11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.1-12, ⟨10.1007/978-3-642-30045-5_1⟩
Conference papers
hal-01531115v1
|
||
|
Method Shells: Avoiding Conflicts on Destructive Class Extensions by Implicit Context Switches12th 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
|
||
|
Design and Implementation of Integrated ICN and CDN as a Video Streaming Service17th 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
|
||
|
Self-stabilizing Distributed Algorithms by Gellular Automata26th 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
|
||
|
Inclusive Side-Scrolling Action Game Securing Accessibility for Visually Impaired People16th 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
|
||
|
Role and Value of Character Design of Social Robots19th 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
|
||
|
Implementing Feature Interactions with Generic Feature Modules12th 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
|
||
|
Elderly User Evaluation of Mobile Touchscreen Interactions13th 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
|
||
|
Learning to Identify Rush Strategies in StarCraft17th 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
|
||
|
Parametric updates in parametric timed automata39th 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
|
||
|
SDAC: Porting Scientific Data to Spark RDDs14th 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
|
||
|
Self-enhancing GPS-Based Authentication Using Corresponding Address34th 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
|
||
|
Fibrational Bisimulations and Quantitative Reasoning14th 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
|
||
|
Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces13th 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
|
||
|
Automatically Generating Programming Questions Corresponding to Rubrics Using Assertions and Invariants1st 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
|
||
|
Generic Weakest Precondition Semantics from Monads Enriched with Order12th 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
|
||
|
Co-Sound: An interactive medium with WebAR and spatial synchronization19th 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
|
||
|
An Intersection Type System for Deterministic Pushdown Automata7th 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
|
||
|
Categorical Büchi and Parity Conditions via Alternating Fixed Points of Functors14th 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 ScienceSpringer, LNCS-9608, 2016, Coalgebraic Methods in Computer Science, 978-3-319-40369-4. ⟨10.1007/978-3-319-40370-0⟩
Books
hal-01446038v1
|