A modular geometric constraint solver for user interface applications H Hosobe Proceedings of the 14th annual ACM symposium on User Interface Software and …, 2001 | 55 | 2001 |
A scalable linear constraint solver for user interface construction H Hosobe International Conference on Principles and Practice of Constraint …, 2000 | 50 | 2000 |
Locally simultaneous constraint satisfaction H Hosobe, K Miyashita, S Takahashi, S Matsuoka, A Yonezawa International Workshop on Principles and Practice of Constraint Programming …, 1994 | 49 | 1994 |
Generalized local propagation: A framework for solving constraint hierarchies H Hosobe, S Matsuoka, A Yonezawa Principles and Practice of Constraint Programming—CP96: Second …, 1996 | 44 | 1996 |
An interval-based SAT modulo ODE solver for model checking nonlinear hybrid systems D Ishii, K Ueda, H Hosobe International Journal on Software Tools for Technology Transfer 13 (5), 449-461, 2011 | 39 | 2011 |
ハイブリッド制約言語 HydLa の宣言的意味論 上田和紀, 細部博史, 石井大輔 コンピュータ ソフトウェア 28 (1), 1_306-1_311, 2011 | 35 | 2011 |
A high-dimensional approach to interactive graph visualization H Hosobe Proceedings of the 2004 ACM symposium on Applied computing, 1253-1257, 2004 | 32 | 2004 |
A programming environment for visual block-based domain-specific languages A Kurihara, A Sasaki, K Wakita, H Hosobe Procedia Computer Science 62, 287-296, 2015 | 31 | 2015 |
A foundation of solution methods for constraint hierarchies H Hosobe, S Matsuoka Constraints 8, 41-59, 2003 | 28 | 2003 |
A hand gesture-based method for biometric authentication S Imura, H Hosobe Human-Computer Interaction. Theories, Methods, and Human Issues: 20th …, 2018 | 22 | 2018 |
Including ordinary differential equations based constraints in the standard CP framework A Goldsztejn, O Mullier, D Eveillard, H Hosobe International Conference on Principles and Practice of Constraint …, 2010 | 22 | 2010 |
A constraint-based approach for visualization and animation S Takahashi, S Matsuoka, K Miyashita, H Hosobe, T Kamada Constraints 3, 61-86, 1998 | 20 | 1998 |
A simplex-based scalable linear constraint solver for user interface applications H Hosobe 2011 IEEE 23rd International Conference on Tools with Artificial …, 2011 | 18 | 2011 |
制約概念に基づくハイブリッドシステムモデリング言語 HydLa 上田和紀 第五回システム検証の科学技術シンポジウム, 2008, 6-11, 2008 | 15 | 2008 |
Interval-based solving of hybrid constraint systems D Ishii, K Ueda, H Hosobe, A Goldsztejn IFAC Proceedings Volumes 42 (17), 144-149, 2009 | 14 | 2009 |
Speculative constraint processing in multi-agent systems K Satoh, P Codognet, H Hosobe Pacific Rim International Workshop on Multi-Agents, 133-144, 2003 | 14 | 2003 |
Interactive high-dimensional visualization of social graphs K Wakita, M Takami, H Hosobe 2015 IEEE Pacific Visualization Symposium (PacificVis), 303-310, 2015 | 13 | 2015 |
Interaction techniques using a spherical cursor for 3d targets acquisition and indicating in volumetric displays M Naito, B Shizuki, J Tanaka, H Hosobe 2009 13th International Conference Information Visualisation, 607-612, 2009 | 12 | 2009 |
A hierarchical method for solving soft nonlinear constraints H Hosobe Procedia Computer Science 62, 378-384, 2015 | 11 | 2015 |
HydLa: a high-level language for hybrid systems K Ueda, S Matsumoto, A Takeguchi, H Hosobe, D Ishii Proc. Second Workshop on Logics for System Analysis, 3-17, 2012 | 11 | 2012 |