| | Hiroshi HosobeLast updated: 12/04/23 14:10 Papers Numerical Optimization-Based Graph Drawing Revisited Hiroshi Hosobe Proceedings of the 5th IEEE Pacific Visualization Symposium (PacificVis2012) 81-88 Feb 2012 [Refereed] A Simplex-Based Scalable Linear Constraint Solver for User Interface Applications Hiroshi Hosobe Proceedings of the 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI2011) 793-798 Nov 2011 [Refereed] An Interval-Based SAT Modulo ODE Solver for Model Checking Nonlinear Hybrid Systems Daisuke Ishii, Kazunori Ueda, and Hiroshi Hosobe International Journal on Software Tools for Technology Transfer 13(5) 449-461 Oct 2011 [Refereed] Speculative Constraint Processing for Hierarchical Agents Hiroshi Hosobe, Ken Satoh, Jiefei Ma, Alessandra Russo, and Krysia Broda AI Communications 23(4) 373-388 Dec 2010 [Refereed] On the Implementation of Speculative Constraint Processing Jiefei Ma, Alessandra Russo, Krysia Broda, Hiroshi Hosobe, and Ken Satoh Lecture Notes in Artificial Intelligence (Post-Proceedings of CLIMA X) 6214 178-195 Nov 2010 [Refereed] Speculative Abductive Reasoning for Hierarchical Agent Systems Jiefei Ma, Krysia Broda, Randy Goebel, Hiroshi Hosobe, Alessandra Russo, and Ken Satoh Lecture Notes in Artificial Intelligence (Proceedings of CLIMA XI) 6245 49-64 Aug 2010 [Refereed] Including Ordinary Differential Equations Based Constraints in the Standard CP Framework Alexandre Goldsztejn, Olivier Mullier, Damien Eveillard, and Hiroshi Hosobe Lecture Notes in Computer Science (Proceedings of CP2010) 6308 221-235 Sep 2010 [Refereed] Speculative Constraint Processing for Hierarchical Agents Hiroshi Hosobe, Ken Satoh, Jiefei Ma, Alessandra Russo, and Krysia Broda Proceedings of the 7th European Workshop on Multi-Agent Systems (EUMAS2009) Dec 2009 [Refereed] An Interval-based SAT Modulo ODE Solver for Model Checking Nonlinear Hybrid Systems Daisuke Ishii, Kazunori Ueda, and Hiroshi Hosobe Proceedings of the Workshop on Verified Software: Theory, Tools, and Experiments (VSTTE2009) Nov 2009 [Refereed] Constraint Hierarchies as Semiring-Based CSPs Hiroshi Hosobe Proceedings of the 21st IEEE International Conference on Tools with Artificial Intelligence (ICTAI2009) 176-183 Nov 2009 [Refereed] On the Implementation of Speculative Constraint Processing Jiefei Ma, Alessandra Russo, Krysia Broda, Hiroshi Hosobe, and Ken Satoh Proceedings of the 10th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA X) 105-120 Sep 2009 [Refereed] Interval-based Solving of Hybrid Constraint Systems Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe, and Alexandre Goldsztejn Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'09) 144-149 Sep 2009 [Refereed] Interaction Techniques using a Spherical Cursor for 3D Targets Acquisition and Indicating in Volumetric Displays Masaki Naito, Buntarou Shizuki, Jiro Tanaka, and Hiroshi Hosobe Proceedings of the 13th International Conference on Information Visualisation (IV09) 607-612 Jul 2009 [Refereed] Conferences A Projection-Based Method for Interactive Visual Exploration of Complex Graphs in a Three-Dimensional Space Masanori Takami, Hiroshi Hosobe, and Ken Wakita 5th IEEE Pacific Visualization Symposium (PacificVis2012) Feb 2012 Simulation with Guaranteed Accuracy Using Hybrid System Modeling Language HydLa Kakeru Sakuraba, Kazunori Ueda, Hiroshi Hosobe, Shun Shibuya, and Shouta Matsumoto 9th Asian Symposium on Programming Languages and Systems (APLAS2011) Dec 2011 Visualizing Undirected Graphs: Interactivity and Optimization [Invited] Hiroshi Hosobe 2011 Taiwanese-Japanese Workshop on Information Visualization and Graph Drawing Oct 2011 Translation from Hybrid Concurrent Constraint Programming into Real-Time Transition Systems Daisuke Ishii, Kazunori Ueda, and Hiroshi Hosobe 13th International Conference on Hybrid Systems: Computation and Control (HSCC2010) Apr 2010 |
|
|
|
|  |
