Follow
Hiroshi Hosobe
Hiroshi Hosobe
Professor, Hosei University
Verified email at hosei.ac.jp - Homepage
Title
Cited by
Cited by
Year
A modular geometric constraint solver for user interface applications
H Hosobe
Proceedings of the 14th annual ACM symposium on User Interface Software and …, 2001
552001
A scalable linear constraint solver for user interface construction
H Hosobe
International Conference on Principles and Practice of Constraint …, 2000
492000
Locally simultaneous constraint satisfaction
H Hosobe, K Miyashita, S Takahashi, S Matsuoka, A Yonezawa
International Workshop on Principles and Practice of Constraint Programming …, 1994
481994
Generalized local propagation: A framework for solving constraint hierarchies
H Hosobe, S Matsuoka, A Yonezawa
Principles and Practice of Constraint Programming—CP96: Second …, 1996
441996
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
392011
ハイブリッド制約言語 HydLa の宣言的意味論
上田和紀, 細部博史, 石井大輔
コンピュータ ソフトウェア 28 (1), 1_306-1_311, 2011
342011
A high-dimensional approach to interactive graph visualization
H Hosobe
Proceedings of the 2004 ACM symposium on Applied computing, 1253-1257, 2004
322004
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
292015
A foundation of solution methods for constraint hierarchies
H Hosobe, S Matsuoka
Constraints 8, 41-59, 2003
282003
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
222010
A constraint-based approach for visualization and animation
S Takahashi, S Matsuoka, K Miyashita, H Hosobe, T Kamada
Constraints 3, 61-86, 1998
201998
A hand gesture-based method for biometric authentication
S Imura, H Hosobe
Human-Computer Interaction. Theories, Methods, and Human Issues: 20th …, 2018
182018
A simplex-based scalable linear constraint solver for user interface applications
H Hosobe
2011 IEEE 23rd International Conference on Tools with Artificial …, 2011
182011
Interval-based solving of hybrid constraint systems
D Ishii, K Ueda, H Hosobe, A Goldsztejn
IFAC Proceedings Volumes 42 (17), 144-149, 2009
142009
制約概念に基づくハイブリッドシステムモデリング言語 HydLa
上田和紀
第五回システム検証の科学技術シンポジウム, 2008, 6-11, 2008
142008
Speculative constraint processing in multi-agent systems
K Satoh, P Codognet, H Hosobe
Pacific Rim International Workshop on Multi-Agents, 133-144, 2003
142003
Interactive high-dimensional visualization of social graphs
K Wakita, M Takami, H Hosobe
2015 IEEE Pacific Visualization Symposium (PacificVis), 303-310, 2015
132015
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
122009
A hierarchical method for solving soft nonlinear constraints
H Hosobe
Procedia Computer Science 62, 378-384, 2015
112015
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
112012
The system can't perform the operation now. Try again later.
Articles 1–20