— This paper considers the problem of model based control of the joints of a snake robot without wheels. The potential range of applications for snake robots are numerous, and de...
Aksel Andreas Transeth, Nathan van de Wouw, Alexey...
It has recently been shown, for the Constraint Satisfaction Problem (CSP), that the state associated with a node of the search tree built by a backtracking algorithm can be exploit...
We present an operational model for describing random reactive systems. Some models have already been proposed for this purpose, but they generally aim at performing global reason...
With the ubiquity of camera phones, it is now possible to capture digital still and moving images anywhere, raising a legitimate concern for many organizations and individuals. Alt...
Khai N. Truong, Shwetak N. Patel, Jay Summet, Greg...
Universal Coalgebra provides the notion of a coalgebra as the natural mathematical generalization of state-based evolving systems such as (infinite) words, trees, and transition s...