FLAVERS is a finite-state verification approach that allows an analyst to incrementally add constraints to improve the precision of the model of the system being analyzed. Except ...
— We address the problem of learning terrain traversability properties from visual input, using automatic mechanical supervision collected from sensors onboard an autonomous vehi...
Anelia Angelova, Larry Matthies, Daniel M. Helmick...
— The haptic sense provides continuous information during physical human-machine interaction. Humans can respond very quickly and effectively to such feedback, such as a driver m...
Aaron R. Ferber, Michael A. Peshkin, J. Edward Col...
The continuous growth of media databases necessitates development of novel visualization and interaction techniques to support management of these collections. We present Videotat...
The Map Labelling Problem appears in several applications, mainly in Cartography. Although much research on this problem has been done, it is interesting to note that map-labellin...