2646 search results - page 169 / 530 » Local Type Inference |
164
Voted
WACV
2005
IEEE
16 years 12 hour ago
2005
IEEE
Realtime detection and localization of a road from an aerial image is an emerging research area that can be applied to vision-based navigation of unmanned air vehicles. Existing r...
194
Voted
CVPR
2000
IEEE
16 years 8 months ago
2000
IEEE
Inferring both 3D structure and motion of nonrigid objects from monocular images is an important problem in computational vision. The challenges stem not only from the absence of ...
169
Voted
ICDT
2010
ACM
15 years 11 months ago
2010
ACM
We examine schema mappings from a type-theoretic perspective and aim to facilitate and formalize the reuse of mappings. Starting with the mapping language of Clio, we present a ty...
214
click to vote
BMCBI
2006
15 years 6 months ago
2006
Integration of heterogeneous data types is a challenging problem, especially in biology, where the number of databases and data types increase rapidly. Amongst the problems that o...
154
click to vote
JFP
2007
15 years 6 months ago
2007
Functional dependencies are a popular and useful extension to Haskell style type classes. We give a reformulation of functional dependencies in terms of Constraint Handling Rules ...