4716 search results - page 657 / 944 » Tangible functional programming |
ICSE
2003
IEEE-ACM
15 years 11 months ago
2003
IEEE-ACM
Modeling and analysis is indispensable in engineering. To be safe and effective, a modeling method requires a language with a validated semantics; feature-rich, easy-to-use, depen...
ICSE
2004
IEEE-ACM
15 years 11 months ago
2004
IEEE-ACM
We apply data mining to version histories in order to guide programmers along related changes: "Programmers who changed these functions also changed...." Given a set of e...
ICSE
2007
IEEE-ACM
15 years 11 months ago
2007
IEEE-ACM
Many end user programming tools such as spreadsheets and databases offer poor support for representing a level of abstraction that is intuitive to users. For example, users must w...
CVPR
2010
IEEE
15 years 7 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...
107
click to vote
FOSSACS
2010
Springer
15 years 6 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...