We present an information extraction system for automated information extraction from free text. The system, XAR, available open-source to the community, s an extraction applicati...
Abstract. The dependency pair method is a powerful method for automatically proving termination of rewrite systems. When used with traditional simplification orders like LPO and K...
We propose a two-phase heuristic for crossing reduction in circular layouts. While the first algorithm uses a greedy policy to build a good initial layout, an adaptation of the si...
Recent years have witnessed an increasing trend of enterprises outsource their IT services to third parties. A major concern in database outsourcing paradigm is integrity verificat...
At Wellesley College very rarely do the Fine Art and Computer Science faculty cross paths. That was the case until two years ago when we taught an experimental course that brought...