581 search results - page 41 / 117 » Translating dependency into parametricity |
ESA
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. We consider the problem of finding shortest paths in a graph with independent randomly distributed edge lengths. Our goal is to maximize the probability that the path len...
JFP
2006
13 years 9 months ago
2006
We investigate a technique from the literature, called the phantom-types technique, that uses parametric polymorphism, type constraints, and unification of polymorphic types to mo...
FSS
2007
13 years 9 months ago
2007
This paper presents a new fuzzy framework for main motion estimation in video sequences. The estimation is performed using a fuzzy representation of pixel gray levels. The motion ...
APAL
1999
13 years 9 months ago
1999
Coalgebra develops a general theory of transition systems, parametric in a functor T; the functor T specifies the possible one-step behaviors of the system. A fundamental question...
AWIC
2005
Springer
14 years 3 months ago
2005
Springer
This paper explores the feasibility of a multilingual question answering approach based on the Web redundancy. The paper introduces a system prototype that combines a translation m...