18209 search results - page 30 / 3642 » Some Remarks on the Paper |
CAGD
2002
13 years 8 months ago
2002
This paper presents a new kind of uniform splines, called hyperbolic polynomial B-splines, generated over the space = span{sinht,cosht,tk-3,tk-4,...,t,1} in which k is an arbitra...
VSTTE
2005
Springer
14 years 2 months ago
2005
Springer
After some general remarks about program verification, we introduce separation logic, a novel extension of Hoare logic that can strengthen the applicability and scalability of pro...
ICIP
2004
IEEE
14 years 10 months ago
2004
IEEE
Light field rendering is a fundamental method for synthesizing free-viewpoint images from a set of multi-viewpoint images. In the simplest case, the scene structure is approximate...
ICTAI
2008
IEEE
14 years 3 months ago
2008
IEEE
Boolean satisfiability (SAT) finds a wide range of practical applications, including Artificial Intelligence and, more recently, Bioinformatics. Although encoding some combinat...
ICIP
2007
IEEE
14 years 3 months ago
2007
IEEE
In the past years, the 3D display technology has become a booming branch of research with fast technical progress. Hence, the 3D conversion of already existing 2D video material i...