Sciweavers

2121 search results - page 276 / 425
» Experimental Analysis of BRDF Models
Sort
View
LPAR
2010
Springer
13 years 5 months ago
Interpolating Quantifier-Free Presburger Arithmetic
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
Daniel Kroening, Jérôme Leroux, Phili...
ICIP
2009
IEEE
13 years 5 months ago
An objective video quality metric based on spatiotemporal distortion
This paper proposes an objective video quality metric based on an analysis of spatial and temporal distortions. Spatial quality features extracted from the spatiotemporal region o...
Junyong You, Miska M. Hannuksela, Moncef Gabbouj
3DOR
2010
13 years 3 months ago
SHREC'10 Track: Large Scale Retrieval
This paper is a report on the 3D Shape Retrieval Constest 2010 (SHREC'10) track on large scale retrieval. This benchmark allows evaluating how wel retrieval algorithms scale ...
Remco C. Veltkamp, Geert-Jan Giezeman, Hannah Bast...
WWW
2009
ACM
14 years 8 months ago
Discovering users' specific geo intention in web search
Discovering users' specific and implicit geographic intention in web search can greatly help satisfy users' information needs. We build a geo intent analysis system that...
Xing Yi, Hema Raghavan, Chris Leggetter
BMCBI
2006
117views more  BMCBI 2006»
13 years 8 months ago
A method for estimation of elasticities in metabolic networks using steady state and dynamic metabolomics data and linlog kineti
Background: Dynamic modeling of metabolic reaction networks under in vivo conditions is a crucial step in order to obtain a better understanding of the (dis)functioning of living ...
I. Emrah Nikerel, Wouter A. van Winden, Walter M. ...