2362 search results - page 224 / 473 » Programming in Standard ML |
184
click to vote
CRV
2006
IEEE
16 years 19 days ago
2006
IEEE
This paper describes a new variational method for estimating disparity from stereo images. The stereo matching problem is formulated as a convex programming problem in which an ob...
132
click to vote
DDECS
2006
IEEE
16 years 19 days ago
2006
IEEE
Abstract— In this paper, we describe a system for transforming a code given in ANSI C into an equivalent SystemC description. In order to synthesize parallel C codes into hardwar...
178
click to vote
CP
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Constraint Programming is a proven successful technique, but it requires skill in modeling problems, and knowledge on how algorithms interact with models. What can be a g...
168
click to vote
FOSSACS
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed, to study historybased access control. It allows for security policies with a possibly nested, local scope. We define a type ...
162
click to vote
LPAR
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...