Sciweavers

683 search results - page 108 / 137
» Performing hypothesis tests on the shape of functional data
Sort
View
CAV
2009
Springer
215views Hardware» more  CAV 2009»
16 years 6 months ago
Homer: A Higher-Order Observational Equivalence Model checkER
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...
David Hopkins, C.-H. Luke Ong
ECCV
2010
Springer
15 years 9 months ago
Bundle Adjustment in the Large
Abstract. We present the design and implementation of a new inexact Newton type algorithm for solving large-scale bundle adjustment problems with tens of thousands of images. We ex...
DASFAA
2009
IEEE
195views Database» more  DASFAA 2009»
16 years 22 days ago
The XMLBench Project: Comparison of Fast, Multi-platform XML libraries
The XML technologies have brought a lot of new ideas and abilities in the field of information management systems. Nowadays, XML is used almost everywhere: from small configurati...
Suren Chilingaryan
RT
2005
Springer
15 years 11 months ago
Experimental Analysis of BRDF Models
The Bidirectional Reflectance Distribution Function (BRDF) describes the appearance of a material by its interaction with light at a surface point. A variety of analytical models...
Addy Ngan, Frédo Durand, Wojciech Matusik
ISCAS
2006
IEEE
142views Hardware» more  ISCAS 2006»
15 years 12 months ago
An efficient texture cache for programmable vertex shaders
Vertex texturing is state-of-the-art functionality of vertex. Thus, traditional texture caches used in RE are not the 3D geometry processor. However, it aggravates the always appli...
Seunghyun Cho, Chang-Hyo Yu, Lee-Sup Kim