1180 search results - page 142 / 236 » A generic structure-from-motion framework |
ICFP
2003
ACM
14 years 9 months ago
2003
ACM
We propose a conservative extension of HM(X), a generic constraint-based type inference framework, with bounded existential (a.k.a. abstract) and universal (a.k.a. polymorphic) da...
CVPR
2010
IEEE
14 years 5 months ago
2010
IEEE
Multiplexing is a common technique for encoding highdimensional image data into a single, two-dimensional image. Examples of spatial multiplexing include Bayer patterns to capture...
STACS
2010
Springer
14 years 4 months ago
2010
Springer
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic sem...
PPDP
2009
Springer
14 years 4 months ago
2009
Springer
Traversal strategies are at the heart of transformational programming with rewriting-based frameworks such as Stratego/XT or Tom and specific approaches for generic functional pr...
ICTAI
2008
IEEE
14 years 4 months ago
2008
IEEE
A major challenge in building recommender systems is organizing the recommendation space since, the underlying data organization scheme has a significant impact on the overall pe...