Author pages are created from data sourced from our academic publisher partnerships and public sources.
- Publications
- Influence
Share This Author
An interval-based SAT modulo ODE solver for model checking nonlinear hybrid systems
- Daisuke Ishii, K. Ueda, H. Hosobe
- Computer ScienceInternational Journal on Software Tools for…
- 1 October 2011
TLDR
Locally Simultaneous Constraint Satisfaction, Principles and Practice of Constraint Programming - PCPP '94
- H. Hosobe
- Computer Science
- 1994
Including Ordinary Differential Equations Based Constraints in the Standard CP Framework
- A. Goldsztejn, Olivier Mullier, D. Eveillard, H. Hosobe
- Computer ScienceCP
- 6 September 2010
TLDR
Speculative Abductive Reasoning for Hierarchical Agent Systems
TLDR
A Hand Gesture-Based Method for Biometric Authentication
- Satoru Imura, H. Hosobe
- Computer ScienceHCI
- 15 July 2018
TLDR
A Scalable Linear Constraint Solver for User Interface Construction
- H. Hosobe
- Computer ScienceCP
- 18 September 2000
TLDR
A Programming Environment for Visual Block-Based Domain-Specific Languages
- Azusa Kurihara, A. Sasaki, Ken Wakita, H. Hosobe
- Computer ScienceSCSE
- 2015
Generalized Local Propagation: A Framework for Solving Constraint Hierarchies
- H. Hosobe, S. Matsuoka, A. Yonezawa
- Computer ScienceCP
- 19 August 1996
TLDR
Interval-based Solving of Hybrid Constraint Systems
- Daisuke Ishii, K. Ueda, H. Hosobe, A. Goldsztejn
- Computer ScienceADHS
- 2009
TLDR
Through-the-Lens Cinematography
- M. Christie, H. Hosobe
- Computer ScienceSmart Graphics
- 23 July 2006
This article presents an extension of the Through-the-Lens Camera Control approach proposed by Gleicher and Witkin. It first provides a higher means of control on the camera by using virtual…
...
...