Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
We consider the location and recognition of flashlight projections given the image sequence supplied by a fixed camera monitoring a physical surface. A quotient method extracts a ...
Ahmed Ghali, Jonathan Green, Steve Benford, Tony P...
Abstract--We study the entropy rate of pattern sequences of stochastic processes, and its relationship to the entropy rate of the original process. We give a complete characterizat...
Abstract. We describe the architecture of a virtual machine for executing functional logic programming languages. A distinguishing feature of our machine is that it preserves the o...
Sergio Antoy, Michael Hanus, Jimeng Liu, Andrew P....