Sciweavers

536 search results - page 52 / 108
» A Translational Approach to Constraint Answer Set Solving
Sort
View
CVPR
2010
IEEE
16 years 12 days ago
Simultaneous Foreground, Background, and Alpha Estimation for Image Matting
Image matting is the process of extracting a soft segmentation of an object in an image as defined by the matting equation. Most current techniques focus largely on computing the ...
Bryan Price, Bryan Morse, Scott Cohen
163
Voted
PLANX
2007
15 years 5 months ago
XPath Typing Using a Modal Logic with Converse for Finite Trees
We present an algorithm to solve XPath decision problems under regular tree type constraints and show its use to statically typecheck XPath queries. To this end, we prove the deci...
Pierre Genevès, Nabil Layaïda, Alan Sc...
187
Voted
ICSE
2012
IEEE-ACM
13 years 6 months ago
On the naturalness of software
—Natural languages like English are rich, complex, and powerful. The highly creative and graceful use of languages like English and Tamil, by masters like Shakespeare and Avvaiya...
Abram Hindle, Earl T. Barr, Zhendong Su, Mark Gabe...
135
Voted
CPAIOR
2007
Springer
15 years 10 months ago
A Column Generation Based Destructive Lower Bound for Resource Constrained Project Scheduling Problems
In this paper we present a destructive lower bound for a number of resource constrained project scheduling (RCPS) problems, which is based on column generation. We first look at t...
J. M. van den Akker, Guido Diepen, J. A. Hoogeveen
BTW
2007
Springer
149views Database» more  BTW 2007»
15 years 10 months ago
Instance-based matching of hierarchical ontologies
Abstract: We study an instance-based approach for matching hierarchical ontologies, such as product catalogs. The motivation for utilizing instances is that metadata-based match ap...
Andreas Thor, Toralf Kirsten, Erhard Rahm