The goal of this article is to present an effective and robust tracking algorithm for nonlinear feet motion by deploying particle filter integrated with Gaussian process latent v...
A simple to use pointer interface in 2D for producing music is presented as a means for real-time playing and sound generation. The music is produced by simple gestures that are re...
We propose a new version of ATLP (“ATL with plausibility”), a logic for reasoning about the outcome of rational play in game-like scenarios. Unlike in [8], where two different ...
Sound and complete axiomatizations are provided for a number of different logics involving modalities for knowledge and time. These logics arise from different choices for various ...
Joseph Y. Halpern, Ron van der Meyden, Moshe Y. Va...
Protein subcellular locations, as an important property of proteins, are commonly learned using fluorescence microscopy. Previous work by our group has shown that automated analys...