Abstract. We present an extension to linear-time temporal logic (LTL) that combines the temporal specification with the collection of statistical data. By collecting statistics ove...
Can we discover common object shapes within unlabeled
multi-category collections of images? While often a critical
cue at the category-level, contour matches can be difficult
to...
Yong Jae Lee (University of Texas at Austin), Kris...
Even though software is developed by humans, research in software engineering primarily focuses on the technologies, methods and processes they use while disregarding the importan...
Robert Feldt, Richard Torkar, Lefteris Angelis, Ma...
We present a novel data-driven algorithm that leverages online image repositories such as Flickr for automatically generating tourist maps. Our hypothesis is that, given a large e...
Collaborative tagging systems have emerged in recent years to become popular tools for organising information on the Web. While collaborative tagging offers many advantages, they ...
Ching-man Au Yeung, Nicholas Gibbins, Nigel Shadbo...