5090 search results - page 214 / 1018 » Constructing Strategies for Programming |
144
Voted
WFLP
2000
Springer
15 years 6 months ago
2000
Springer
We describe the current status of the development of CFLP, a system which aims at the integration of the best features of functional logic programming (FLP), cooperative constrain...
118
click to vote
ENTCS
2008
15 years 2 months ago
2008
Defence trees are used to represent attack and defence strategies in security scenarios; the aim in such scenarios is to select the best set of countermeasures that are able to st...
232
Voted
EMMCVPR
2011
Springer
14 years 2 months ago
2011
Springer
Abstract. We follow recent work by Schoenemann et al. [25] for expressing curvature regularity as a linear program. While the original formulation focused on binary segmentation, w...
120
Voted
CIS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In this paper, we propose a naive statistics method for constructing a personalized recommendation system for the Electronic Program Guide (EPG). The idea is based on a p...
135
Voted
MPC
1995
Springer
15 years 6 months ago
1995
Springer
Abstract. This paper is about exceptions handling using classical techniques of program extraction. We propose an impredicative formalization in the calculus of constructions and w...