18209 search results - page 30 / 3642 » Some Remarks on the Paper |
157
click to vote
CAGD
2002
15 years 6 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...
157
click to vote
VSTTE
2005
Springer
15 years 11 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...
185
click to vote
ICIP
2004
IEEE
16 years 7 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...
159
click to vote
ICTAI
2008
IEEE
16 years 16 days ago
2008
IEEE
Boolean satisfiability (SAT) finds a wide range of practical applications, including Artificial Intelligence and, more recently, Bioinformatics. Although encoding some combinat...
155
click to vote
ICIP
2007
IEEE
16 years 13 days 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...