Sciweavers

1204 search results - page 125 / 241
» Hybrid Probabilistic Programs
Sort
View
HICSS
2009
IEEE
109views Biometrics» more  HICSS 2009»
15 years 7 months ago
The Construction of Peers and Artifacts: The Organizing Role of "Programming Guidelines"
In this paper, we1 study new organizational forms for production processes that emerge in large scale Free/Libre Open Source Software (FLOSS) projects. We will focus on the textua...
Vincenzo D'Andrea, Stefano De Paoli, Maurizio Teli
91
Voted
ESOP
2007
Springer
15 years 7 months ago
Principal Type Schemes for Modular Programs
Abstract. Two of the most prominent features of ML are its expressive module system and its support for Damas-Milner type inference. However, while the foundations of both these fe...
Derek Dreyer, Matthias Blume
123
Voted
NETWORKS
2008
15 years 22 days ago
New dynamic programming algorithms for the resource constrained elementary shortest path problem
The resource-constrained elementary shortest path problem arises as a pricing subproblem in branch-and-price algorithms for vehicle routing problems with additional constraints. W...
Giovanni Righini, Matteo Salani
121
Voted
ANOR
2002
128views more  ANOR 2002»
15 years 19 days ago
Crew Assignment via Constraint Programming: Integrating Column Generation and Heuristic Tree Search
The Airline Crew Assignment Problem (ACA) consists of assigning lines of work to a set of crew members such that a set of activities is partitioned and the costs for that assignmen...
Meinolf Sellmann, Kyriakos Zervoudakis, Panagiotis...
ICRA
2005
IEEE
142views Robotics» more  ICRA 2005»
15 years 6 months ago
Grasp Recognition for Programming by Demonstration
— The demand for flexible and re-programmable robots has increased the need for programming by demonstration systems. In this paper, grasp recognition is considered in a program...
Staffan Ekvall, Danica Kragic