• Publications
  • Influence
An interval-based SAT modulo ODE solver for model checking nonlinear hybrid systems
TLDR
A bounded model checking tool for hybrid systems that translates a reachability problem of a nonlinear hybrid system into a predicate logic formula involving arithmetic constraints and checks the satisfiability of the formula based on a satisfiability modulo theories method.
Including Ordinary Differential Equations Based Constraints in the Standard CP Framework
TLDR
Slightly adapted standard filtering algorithms proposed in the numerical constraint satisfaction problem framework are applied to constraints leading to a branch and prune algorithm that handles ordinary differential equations based constraints.
Speculative Abductive Reasoning for Hierarchical Agent Systems
TLDR
A new abductive framework to hierarchical speculative reasoning is introduced that allows speculative reasoning in the presence of both negation and constraints, enables agents to receive conditional answers and to continue their local reasoning using default answers, thus increasing the parallelism of agents collaboration.
A Hand Gesture-Based Method for Biometric Authentication
TLDR
Using the motions of fingertips and finger joints as biometric data, the method improves the performance of authentication and supports three-dimensional gestures that allow its user to move the user’s hand without touching an input device.
A Scalable Linear Constraint Solver for User Interface Construction
TLDR
This paper shows that HiRise is scalable up to thousands of simultaneous constraints in real-time execution and improves performance by adopting techniques that utilize the sparsity and disjointness of constraint systems.
Generalized Local Propagation: A Framework for Solving Constraint Hierarchies
TLDR
It is shown that global semi- monotonicity in satisfying hierarchies turns out to be a practically useful property in generalized local propagation, and the relevance of generalized local propagate with the previous DETAIL algorithm for solving hierarchies of multi-way equality constraints.
Interval-based Solving of Hybrid Constraint Systems
TLDR
The problem of detecting a discrete change in hybrid systems as a hybrid constraint system (HCS) is formulated, consisting of a flow constraint on trajectories and a guard constraint on states causing discrete changes.
Through-the-Lens Cinematography
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
...
...