Since the state space of most games is a directed graph, many game-playing systems detect repeated positions with a transposition table. This approach can reduce search effort by ...
There has been a recent and increasing interest in computer analysis and recognition of human motion. Previously we presented an efficient real-time approach for representing huma...
I briefly review the history of the unfolding approach to model checking. Carl Adam Petri passed away on July 2, 2010. I learnt about his death three days later, a few hours after ...
Personalized search is a promising way to better serve different users' information needs. Search history is one of the major information sources for search personalization. ...
This paper uses a simple method for representing motion in successively layered silhouettes that directly encode system time termed the timed Motion History Image (tMHI). This rep...