Sciweavers

848 search results - page 60 / 170
» A Generative Programming Approach to Developing DSL Compiler...
Sort
View
103
Voted
ENGL
2007
116views more  ENGL 2007»
15 years 15 days ago
Evacuation Planning using Answer Set Programming: An initial approach
—This paper describes a methodology based on Answer Set Programming (ASP) to work with incomplete geographic data. Source geographic data which describes a risk zone is translate...
Claudia Zepeda, David Sol
144
Voted
TACAS
2001
Springer
160views Algorithms» more  TACAS 2001»
15 years 5 months ago
Hardware/Software Co-Design Using Functional Languages
In previous work we have developed and prototyped a silicon compiler which translates a functional language (SAFL) into hardware. Here we present a SAFL-level program transformati...
Alan Mycroft, Richard Sharp
112
Voted
SAIG
2000
Springer
15 years 4 months ago
Generating Data Analysis Programs from Statistical Models
Extracting information from data, often also called data analysis, is an important scienti c task. Statistical approaches, which use methods from probability theory and numerical a...
Bernd Fischer 0002, Johann Schumann, Thomas Pressb...
119
Voted
ML
2002
ACM
167views Machine Learning» more  ML 2002»
15 years 6 days ago
Linear Programming Boosting via Column Generation
We examine linear program (LP) approaches to boosting and demonstrate their efficient solution using LPBoost, a column generation based simplex method. We formulate the problem as...
Ayhan Demiriz, Kristin P. Bennett, John Shawe-Tayl...
125
Voted
PADL
2012
Springer
13 years 8 months ago
Recent Advances in Declarative Networking
Declarative networking is a programming methodology that enables developers to concisely specify network protocols and services, and directly compile these specifications into a d...
Boon Thau Loo, Harjot Gill, Changbin Liu, Yun Mao,...