1208 search results - page 32 / 242 » Uniform eventown problems |
CADE
2008
Springer
16 years 3 hour ago
2008
Springer
Abstract. We consider the problem of computing the logical difference between distinct versions of description logic terminologies. For the lightweight description logic EL, we pre...
ICRA
2007
IEEE
15 years 6 months ago
2007
IEEE
— Synthesis of robot behaviors towards nontrivial goals often requires reasoning about both discrete and continuous aspects of the underlying domain. Existing approaches in build...
IWBRS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. This paper investigates the score normalization technique for enhancing the performance of face authentication. We firstly discuss the thresholding approach for face auth...
SIAMNUM
2011
14 years 2 months ago
2011
The Green function of the Poisson equation in two dimensions is not contained in the Sobolev space H1(Ω) such that finite element error estimates for the discretization of a prob...
PKC
2004
Springer
15 years 5 months ago
2004
Springer
Boneh and Venkatesan have proposed a polynomial time algorithm in a non-uniform model for recovering a ”hidden” element α ∈ IFp, where p is prime, from very short strings of...