Hiroshi Hosobe

Orcid: 0000-0002-7975-052X

According to our database1, Hiroshi Hosobe authored at least 72 papers between 1994 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
A Soft Constraint-Based Framework for Ethical Reasoning.
Proceedings of the 16th International Conference on Agents and Artificial Intelligence, 2024

2023
Connecting Rule-Based and Case-Based Representations of Soft-Constraint Norms.
Proceedings of the Legal Knowledge and Information Systems, 2023

Binary Search-Based Methods for Solving Constraint Hierarchies over Finite Domains.
Proceedings of the 35th IEEE International Conference on Tools with Artificial Intelligence, 2023

Video Game Agents with Human-like Behavior using the Deep Q-Network and Biological Constraints.
Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023

Hierarchical Constraint Logic Programming for Multi-Agent Systems.
Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023

Supporting Online Game Players by the Visualization of Personalities and Skills Based on in-Game Statistics.
Proceedings of the 18th International Joint Conference on Computer Vision, 2023

Supporting Nail Art Consultation by Automatic Image Selection and Visual Information Sharing.
Proceedings of the HCI International 2023 Posters, 2023

2022
Upper Confident Bound Fuzzy Q-learning and Its Application to a Video Game.
Proceedings of the 14th International Conference on Agents and Artificial Intelligence, 2022

Classification of Video Viewing Task Types and Recommendation of Videos.
Proceedings of the 14th International Conference on Agents and Artificial Intelligence, 2022

A Hand Gesture-Based Authentication Method that Makes Forgery Difficult.
Proceedings of the HCI for Cybersecurity, Privacy and Trust, 2022

2021
SMT-Based Theorem Verification for Testing-Based Formal Verification.
Proceedings of the ICSCA 2021, 2021

A Flick-based Japanese Tablet Keyboard using Direct Kanji Input.
Proceedings of the 16th International Joint Conference on Computer Vision, 2021

A Video Game-Like Approach to Supporting Novices in Learning Programming.
Proceedings of the Learning and Collaboration Technologies: Games and Virtual Environments for Learning, 2021

A Bimanual Flick-Based Japanese Software Keyboard Using Direct Kanji Input.
Proceedings of the Computer Vision, Imaging and Computer Graphics Theory and Applications, 2021

2020
Clustering Nico Nico Douga Videos by Using the Distribution of Time-Synchronyzed Comments.
Proceedings of the IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology, 2020

Solving Hierarchical Soft Constraints with an SMT Solver.
Proceedings of the ICCAE 2020: 12th International Conference on Computer and Automation Engineering, 2020

A Japanese Bimanual Flick Keyboard for Tablets That Improves Display Space Efficiency.
Proceedings of the 15th International Joint Conference on Computer Vision, 2020

Time-series Visualization of Twitter Trends.
Proceedings of the 15th International Joint Conference on Computer Vision, 2020

Testing Event-Driven Programs in Processing.
Proceedings of the ESSE 2020: 2020 European Symposium on Software Engineering, 2020

2019
Declarative Semantics of the Hybrid Constraint Language HydLa.
CoRR, 2019

2018
Toward an Efficient User Interface for Block-Based Visual Programming.
Proceedings of the 2018 IEEE Symposium on Visual Languages and Human-Centric Computing, 2018

A Graph-Based Visualization of Time-Series Information in Multiple Texts.
Proceedings of the 22nd International Conference Information Visualisation, 2018

A Hand Gesture-Based Method for Biometric Authentication.
Proceedings of the Human-Computer Interaction. Theories, Methods, and Human Issues, 2018

A 2-by-6-Button Japanese Software Keyboard for Tablets.
Proceedings of the 13th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (VISIGRAPP 2018), 2018

A Japanese Software Keyboard for Tablets that Reduces User Fatigue.
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

2017
A dynamic default revision mechanism for speculative computation.
Auton. Agents Multi Agent Syst., 2017

2016
Biometric Authentication Using the Motion of a Hand.
Proceedings of the 2016 Symposium on Spatial User Interaction, 2016

Autonomous Control of Mobile Robots Using Logical Representation of Map and Inference of Location.
Proceedings of the IEEE International Conference on Agents, 2016

Toward a new constraint imperative programming language for interactive graphics.
Proceedings of the Companion Proceedings of the 15th International Conference on Modularity, Málaga, Spain, March 14, 2016

2015
A Programming Environment for Visual Block-Based Domain-Specific Languages.
Proceedings of the 2015 International Conference on Soft Computing and Software Engineering, 2015

A Hierarchical Method for Solving Soft Nonlinear Constraints.
Proceedings of the 2015 International Conference on Soft Computing and Software Engineering, 2015

A Reasoning Module for Distributed Clinical Decision Support Systems.
Proceedings of the Intelligent Distributed Computing IX - Proceedings of the 9th International Symposium on Intelligent Distributed Computing, 2015

Hardened Flow-Sensitive Trace Formula for Fault Localization.
Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

A Mouse-Like Hands-Free Gesture Technique for Two-Dimensional Pointing.
Proceedings of the HCI International 2015 - Posters' Extended Abstracts, 2015

Interactive high-dimensional visualization of social graphs.
Proceedings of the 2015 IEEE Pacific Visualization Symposium, 2015

2014
Logic-based and robust desicion making for robots in real world.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

2013
An Architecture for Autonomously Controlling Robot with Embodiment in Real World.
CoRR, 2013

Toward Visual Analytics of Unlinked Documents by Textual Analysis and Network Visualization.
Proceedings of the 17th International Conference on Information Visualisation, 2013

2012
Parallel Methods for Constraint Solving and Combinatorial Optimization (NII Shonan Meeting 2012-5).
NII Shonan Meet. Rep., 2012

Composition of engineering web services with universal distributed data-flows framework based on ROA.
Proceedings of the Third International Workshop on RESTful Design, 2012

An Exploratory Analysis Tool for a Long-Term Video from a Stationary Camera.
Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

Distributed Defeasible Speculative Reasoning in Ambient Environment.
Proceedings of the Computational Logic in Multi-Agent Systems, 2012

Numerical optimization-based graph drawing revisited.
Proceedings of the 2012 IEEE Pacific Visualization Symposium, 2012

2011
An interval-based SAT modulo ODE solver for model checking nonlinear hybrid systems.
Int. J. Softw. Tools Technol. Transf., 2011

A Simplex-Based Scalable Linear Constraint Solver for User Interface Applications.
Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011

2010
Speculative constraint processing for hierarchical agents.
AI Commun., 2010

Including Ordinary Differential Equations Based Constraints in the Standard CP Framework.
Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

Speculative Abductive Reasoning for Hierarchical Agent Systems.
Proceedings of the Computational Logic in Multi-Agent Systems, 11th International Workshop, 2010

2009
Simulation of hybrid systems based on hierarchical interval constraints.
Proceedings of the 2nd International Conference on Simulation Tools and Techniques for Communications, 2009

Interaction Techniques Using a Spherical Cursor for 3D Targets Acquisition and Indicating in Volumetric Displays.
Proceedings of the 13th International Conference on Information Visualisation, 2009

Constraint Hierarchies as Semiring-Based CSPs.
Proceedings of the ICTAI 2009, 2009

On the Implementation of Speculative Constraint Processing.
Proceedings of the Computational Logic in Multi-Agent Systems, 2009

Interval-based Solving of Hybrid Constraint Systems.
Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009

2008
An Interactive Large Graph Visualizer.
Proceedings of the Smart Graphics, 8th International Symposium, 2008

A constraint hierarchies approach to geometric constraints on sketches.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

2007
Agent-Based Speculative Constraint Processing.
IEICE Trans. Inf. Syst., 2007

Analysis of a high-dimensional approach to interactive graph drawing.
Proceedings of the APVIS 2007, 2007

2006
Through-the-Lens Cinematography.
Proceedings of the Smart Graphics, 6th International Symposium, 2006

2005
Solving linear and one-way constraints for web document layout.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Speculative Constraint Processing with Iterative Revision for Disjunctive Answers.
Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005

An Extended High-Dimensional Method for Interactive Graph Drawing.
Proceedings of the Asia-Pacific Symposium on Information Visualisation, 2005

2004
A high-dimensional approach to interactive graph visualization.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

Hierarchical nonlinear constraint satisfaction.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

2003
A Foundation of Solution Methods for Constraint Hierarchies.
Constraints An Int. J., 2003

Speculative Constraint Processing in Multi-agent Systems.
Proceedings of the Intelligent Agents and Multi-Agent Systems, 2003

2002
A geometric constraint library for 3D graphical applications.
Proceedings of the 2nd International Symposium on Smart Graphics, 2002

2001
A modular geometric constraint solver for user interface applications.
Proceedings of the 14th Annual ACM Symposium on User Interface Software and Technology, 2001

A Hierarchical Framework for Integrating Constraints with Graph Layouts.
Proceedings of the Human-Computer Interaction INTERACT '01: IFIP TC13 International Conference on Human-Computer Interaction, 2001

2000
A Scalable Linear Constraint Solver for User Interface Construction.
Proceedings of the Principles and Practice of Constraint Programming, 2000

1998
A Constraint-Based Approach for Visualization and Animation.
Constraints An Int. J., 1998

1996
Generalized Local Propagation: A Framework for Solving Constraint Hierarchies.
Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996

1994
Locally Simultaneous Constraint Satisfaction.
Proceedings of the Principles and Practice of Constraint Programming, 1994


  Loading...