4835 search results - page 728 / 967 » Refactoring Functional Programs |
126
Voted
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
For `mixed-criticality' systems that have both critical and non-critical functions, the greatest leverage on dependability may be at the design level. By designing so that ea...
127
Voted
ICDAR
2009
IEEE
14 years 10 months ago
2009
IEEE
MATLAB provides a powerful environment for rapid prototyping of research methods and techniques. Across the wide range of on-line pen computing applications there exists a series ...
136
Voted
ENTCS
2010
14 years 9 months ago
2010
The zipper is a well known design pattern for providing a cursor-like interface to a data structure. However, the classic treatise by Huet only scratches the surface of some of it...
149
click to vote
CVPR
2011
IEEE
14 years 10 months ago
2011
IEEE
We analyze the computational problem of multi-object tracking in video sequences. We formulate the problem using a cost function that requires estimating the number of tracks, as ...
221
Voted
SCP
2011
14 years 7 months ago
2011
In the field of scientific computing there is a manifold of software applications and tools available which provide methods and libraries for the solution of very specific prob...