Sciweavers

2588 search results - page 89 / 518
» Applications of Kolmogorov complexity to computable model th...
Sort
View
ICPR
2002
IEEE
15 years 6 months ago
Mutual Information Based Evaluation of 3D Building Models
This paper presents a metric based on information theory principles that compares 3D object models to images. The metric is based on the formulation of the mutual information betw...
Ildiko Suveg, George Vosselman
KDD
2009
ACM
146views Data Mining» more  KDD 2009»
15 years 8 months ago
Online allocation of display advertisements subject to advanced sales contracts
In this paper we propose a utility model that accounts for both sales and branding advertisers. We first study the computational complexity of optimization problems related to bo...
Saeed Alaei, Esteban Arcaute, Samir Khuller, Wenji...
FOIS
2008
15 years 3 months ago
SKIing with DOLCE: toward an e-Science Knowledge Infrastructure
: An ontology of general science knowledge (SKIo) is developed to enhance machine representation and use of scientific theories in emerging e-Science Knowledge Infrastructures. SKI...
Boyan Brodaric, Femke Reitsma, Yi Qiang
APAL
2010
115views more  APAL 2010»
15 years 1 months ago
Kripke semantics for provability logic GLP
A well-known polymodal provability logic GLP is complete w.r.t. the arithmetical semantics where modalities correspond to reflection principles of restricted logical complexity in...
Lev D. Beklemishev
FUN
2007
Springer
87views Algorithms» more  FUN 2007»
15 years 7 months ago
Knitting for Fun: A Recursive Sweater
In this paper we investigate the relations between knitting and computer science. We show that the two disciplines share many concepts. Computer science, in particular algorithm th...
Anna Bernasconi, Chiara Bodei, Linda Pagli