Fast R-CNN (Region-based Convolutional Network) is a clean and fast framework for object detection. Compared to traditional R-CNN, and its accelerated version SPPnet, Fast R-CNN trains networks using a multi-task loss in a single training stage. The multi-task loss simplifies learning and improves detection accuracy.…
This is a dataset that can be used for training and evaluating knowledge base completion approaches for inferring missing entity type instances. We construct our training snapshot by taking the Freebase snapshot on 3rd September, 2013 and consider entities that have a link to their…
Probabilistic Z3 is a solver for the bounded reachability problem that uses the symbolic approximation technique described in the following paper: Markus N. Rabe, Christoph M. Wintersteiger, Hillel Kugler, Boyan Yordanov, and Youssef Hamadi, Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains,…
Rich Interactive Narratives (RIN) seamlessly combines cinematic experiences with user exploration to create rich interactive and immersive narratives. RIN Studio is an authoring tool for creating Rich Interactive Narratives without coding by providing an interface similar to video editing tools. It produces RIN JSON files…
Understanding how users form and update their opinions through interactions with their friends and neighbors in social networks is a fundamental problem with applications to online advertising, recommendations, and marketing. In our research, we carried out extensive user studies using Amazon Mechanical Turk as part…
Scalable Fabric is a task management system for the Windows desktop. A central focus area, defined by you, contains windows that behave in the traditional way. When you drag a window into the periphery, it becomes smaller and continues to get smaller the closer you…
By acquiring two digital images of a scene, one with flash and one without flash, we let the user subsequently interpolate the images to obtain any continuous flash intensity, and even extrapolate beyond the original images. Last published: October 3, 2003.
A fast, flexible, perl-compliant regular expression template library for C++. Last published: August 25, 2003.
Prolog implementations of two versions of the unfication grammar sentence realization aglorithm described in "A Complete, Efficient Sentence Realization Algorithm for Unification Grammar," appearing in the Proceedings of the International Natural Language Generation Conference, INLG'02, plus other associated code and data files. Last published: May…
Gyro is a set of files that convert an existing installation of the Microsoft Shared Source CLI 1.0 to support generic type definitions and generic methods. Last published: April 22, 2003.
Reference implementations in Perl 5 of several parsing algorithms for context-free grammars. Last published: April 4, 2003.
Pan is an experimental embedded language and compiler for image synthesis and manipulation, based on principles from functional programming. Last published: July 29, 2002.