Sciweavers

1559 search results - page 115 / 312
» Fundamentals of Generic Programming
Sort
View
ICLP
2009
Springer
15 years 10 months ago
Constraint Answer Set Solving
We present a new approach to integrating Constraint Processing (CP) techniques into Answer Set Programming (ASP). Based on an alternative semantic approach, we develop an algorithm...
Martin Gebser, Max Ostrowski, Torsten Schaub
CVPR
2010
IEEE
15 years 3 months ago
Polynomial Shape from Shading
We examine the shape from shading problem without boundary conditions as a polynomial system. This view allows, in generic cases, a complete solution for ideal polyhedral objects....
Ady Ecker, Allan Jepson
FPL
2001
Springer
115views Hardware» more  FPL 2001»
15 years 2 months ago
Placing, Routing, and Editing Virtual FPGAs
This paper presents the benefits of using a generic FPGA tool set developed at the university of Brest for programming virtual FPGA structures. From a high level FPGA description,...
Loïc Lagadec, Dominique Lavenier, Erwan Fabia...
WCRE
2000
IEEE
15 years 2 months ago
Applying Traditional Unix Tools during Maintenance: An Experience Report
The Unix programming environment provides a rich and fairly standard set of generic tools for the development and maintenance of software. In an age of advanced software tools and...
Arthur Tateishi, Andrew Walenstein
ECOOP
1998
Springer
15 years 2 months ago
A Statically Safe Alternative to Virtual Types
Parametric types and virtual types have recently been proposed as extensions to Java to support genericity. In this paper we investigate the strengths and weaknesses of each. We su...
Kim B. Bruce, Martin Odersky, Philip Wadler