4757 search results - page 103 / 952 » Monads for Functional Programming |
129
Voted
ECCV
2000
Springer
16 years 4 months ago
2000
Springer
This paper focuses on matching 1D structures by variational methods. We provide rigorous rules for the construction of the cost function, on the basis of an analysis of properties ...
115
click to vote
JCT
2000
15 years 2 months ago
2000
We give a strongly polynomial-time algorithm minimizing a submodular function f given by a value-giving oracle. The algorithm does not use the ellipsoid method or any other linear ...
HASKELL
2005
ACM
15 years 8 months ago
2005
ACM
A type-indexed function is a function that is defined for each member of some family of types. Haskell’s type class mechanism provides collections of open type-indexed function...
101
Voted
HICSS
1999
IEEE
15 years 6 months ago
1999
IEEE
Assessing the reliability of a software system has always been an elusive target. A program may work very well for a number of years and this same program may suddenly become quit...
123
click to vote
CONCUR
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We study the decidability and complexity of verification problems for timed automata over time intervals of fixed, bounded length. One of our main results is that time-bo...