Abstract: In recent years, we've witnessed the remarkable growth of computer vision applications in both maritime and fresh water domains. These technologies have played pivotal roles in search and ...

Pupil dilation provides a physiological readout of information gain during the brain's internal process of belief updating in the context of associative learning.

Ask the publishers to restore access to 500,000+ books. An icon used to represent a menu that can be toggled by interacting with this icon. A line drawing of the Internet Archive headquarters building ...

Abstract: Model checking is a fundamental technique for verifying finite state concurrent systems. Traditionally, model designs were initially created to facilitate the application of model checking.