Skolem normal form

Known as: Skolem prenex form, Skolem Standard Form, Skolemization 
In mathematical logic, reduction to Skolem normal form (SNF) is a method for removing existential quantifiers from formal logic statements, often… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2016
Highly Cited
2016
Over the years, datasets and benchmarks have proven their fundamental importance in computer vision research, enabling targeted… (More)
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2012
Highly Cited
2012
Although facial feature detection from 2D images is a well-studied field, there is a lack of real-time methods that estimate… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
Is this relevant?
Highly Cited
2012
Highly Cited
2012
We present a random forest-based framework for real time head pose estimation from depth images and extend it to localize a set… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2011
Highly Cited
2011
Fast and reliable algorithms for estimating the head pose are essential for many applications and higher-level face analysis… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2011
Highly Cited
2011
This paper introduces a simple yet effective method to improve visual word based image retrieval. Our method is based on an… (More)
Is this relevant?
Highly Cited
2010
Highly Cited
2010
Optimization problems with a nuclear norm regularization, such as e.g. low norm matrix factorizations, have seen many… (More)
  • figure 1
  • figure 2
  • table 1
  • table 2
Is this relevant?
Highly Cited
2008
Highly Cited
2008
We present a registration algorithm for pairs of deforming and partial range scans that addresses the challenges of non-rigid… (More)
  • figure 1
  • figure 3
  • figure 2
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2006
Highly Cited
2006
MOTIVATION We report on the development of a generic text categorization system designed to automatically assign biomedical… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
Highly Cited
2000
Highly Cited
2000
Here, we show that the IFN-beta enhanceosome activates transcription by directing the ordered recruitment of chromatin modifying… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?