Sciweavers

4218 search results - page 217 / 844
» Complete sets of cooperations
Sort
View
POPL
1994
ACM
14 years 3 months ago
Formally Optimal Boxing
An important implementation decision in polymorphically typed functional programming languages is whether to represent data in boxed or unboxed form and when to transform them fro...
Fritz Henglein, Jesper Jørgensen
BMCBI
2004
119views more  BMCBI 2004»
13 years 10 months ago
Genome SEGE: A database for 'intronless' genes in eukaryotic genomes
Background: A number of completely sequenced eukaryotic genome data are available in the public domain. Eukaryotic genes are either 'intron containing' or 'intronle...
Meena K. Sakharkar, Pandjassarame Kangueane
CVPR
2008
IEEE
15 years 27 days ago
Robust unambiguous parametrization of the essential manifold
Analytic manifolds were recently used for motion averaging, segmentation and robust estimation. Here we consider the epipolar constraint for calibrated cameras, which is the most ...
Raghav Subbarao, Yakup Genc, Peter Meer
ICIP
2008
IEEE
14 years 5 months ago
Globally optimal solution to exploit rigidity when recovering structure from motion under occlusion
Widely used SVD-based matrix factorization approaches to the recovery of 3D rigid structure from motion (SFM), require a set of feature points to be visible in a set of images. Wh...
Pedro M. Q. Aguiar, João M. F. Xavier, Mark...
ILP
2003
Springer
14 years 4 months ago
Complexity Parameters for First-Order Classes
We study several complexity parameters for first order formulas and their suitability for first order learning models. We show that the standard notion of size is not captured by...
Marta Arias, Roni Khardon