Sciweavers

1299 search results - page 175 / 260
» Computing Minimal Diagnoses with Critical Set Algorithms
Sort
View
ACCV
2009
Springer
15 years 4 months ago
Robust Focal Length Estimation by Voting in Multi-view Scene Reconstruction
We propose a new robust focal length estimation method in multi-view structure from motion from unordered data sets, e.g. downloaded from the Flickr database, where jpeg-exif heade...
Martin Bujnak, Zuzana Kukelova, Tomás Pajdl...
RECSYS
2009
ACM
15 years 4 months ago
Preference elicitation with subjective features
Utility or preference elicitation is a critical component in many recommender and decision support systems. However, most frameworks for elicitation assume a predefined set of fe...
Craig Boutilier, Kevin Regan, Paolo Viappiani
CIKM
2008
Springer
14 years 11 months ago
A note on search based forecasting of ad volume in contextual advertising
In contextual advertising, estimating the number of impressions of an ad is critical in planning and budgeting advertising campaigns. However, producing this forecast, even within...
Xuerui Wang, Andrei Z. Broder, Marcus Fontoura, Va...
NN
2007
Springer
267views Neural Networks» more  NN 2007»
14 years 9 months ago
Modeling of gene regulatory networks with hybrid differential evolution and particle swarm optimization
In the last decade, recurrent neural networks (RNNs) have attracted more efforts in inferring genetic regulatory networks (GRNs), using time series gene expression data from micro...
Rui Xu, Ganesh K. Venayagamoorthy, Donald C. Wunsc...
ITP
2010
172views Mathematics» more  ITP 2010»
14 years 8 months ago
Automated Machine-Checked Hybrid System Safety Proofs
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
Herman Geuvers, Adam Koprowski, Dan Synek, Eelis v...