4835 search results - page 682 / 967 » Refactoring Functional Programs |
102
click to vote
CVPR
2010
IEEE
15 years 8 months ago
2010
IEEE
Graph cuts have proven useful for image segmentation and for volumetric reconstruction in multiple view stereo. However, solutions are biased: the cost function tends to favour ei...
121
Voted
FOSSACS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. The resource calculus is an extension of the λ-calculus allowing to model resource consumption. Namely, the argument of a function comes as a finite multiset of resourc...
122
Voted
PDP
2009
IEEE
15 years 7 months ago
2009
IEEE
SBASCO provides a new programming model for parallel and distributed numerical applications which exploits the combination of software components and skeletons. This paper present...
110
click to vote
COORDINATION
2009
Springer
15 years 7 months ago
2009
Springer
Joins or chords is a concurrency construct that seems to fit well with the object oriented paradigm. Chorded languages are presented with implicit assumptions regarding the fair t...
95
Voted
HYBRID
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We consider the problem of security constrained optimal control for discrete-time, linear dynamical systems in which control and measurement packets are transmitted over ...