Sciweavers

10997 search results - page 73 / 2200
» On the Structure of Complete Sets
Sort
View
STACS
2009
Springer
16 years 18 days ago
Strong Completeness of Coalgebraic Modal Logics
ABSTRACT. Canonical models are of central importance in modal logic, in particular as they witness strong completeness and hence compactness. While the canonical model construction...
Lutz Schröder, Dirk Pattinson
BMCBI
2005
81views more  BMCBI 2005»
15 years 5 months ago
Evolutionary sequence analysis of complete eukaryote genomes
Background: Gene duplication and gene loss during the evolution of eukaryotes have hindered attempts to estimate phylogenies and divergence times of species. Although current meth...
Jaime E. Blair, Prachi Shah, S. Blair Hedges
CIVR
2005
Springer
102views Image Analysis» more  CIVR 2005»
15 years 11 months ago
A Complete Keypics Experiment with Size Functions
Abstract. Keypics are graphical metadata intended for indexing of images on the Internet. They are conceived as hand-drawn sketches, not restricted to a definite set. An obvious d...
Andrea Cerri, Massimo Ferri, Daniela Giorgi
SODA
2003
ACM
103views Algorithms» more  SODA 2003»
15 years 7 months ago
On the rectilinear crossing number of complete graphs
We prove a lower bound of 0.3288   n 4¡ for the rectilinear crossing number cr(Kn) of a complete graph on n vertices, or in other words, for the minimum number of convex quadril...
Uli Wagner
CORR
2008
Springer
151views Education» more  CORR 2008»
15 years 6 months ago
Exact Matrix Completion via Convex Optimization
We consider a problem of considerable practical interest: the recovery of a data matrix from a sampling of its entries. Suppose that we observe m entries selected uniformly at ran...
Emmanuel J. Candès, Benjamin Recht