Sciweavers

2121 search results - page 108 / 425
» Experimental Analysis of BRDF Models
Sort
View
SPIN
2010
Springer
15 years 2 months ago
An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models
This paper addresses the problem of verifying programs for the relaxed memory models implemented in modern processors. Specifically, it considers the TSO (Total Store Order) relax...
Alexander Linden, Pierre Wolper
BMCBI
2005
250views more  BMCBI 2005»
15 years 4 months ago
FiatFlux - a software for metabolic flux analysis from 13C-glucose experiments
Background: Quantitative knowledge of intracellular fluxes is important for a comprehensive characterization of metabolic networks and their functional operation. In contrast to d...
Nicola Zamboni, Eliane Fischer, Uwe Sauer
ACCV
2006
Springer
15 years 10 months ago
Pseudo Measurement Based Multiple Model Approach for Robust Player Tracking
This paper presents a robust player tracking method for sports video analysis. In order to track agile player stably and robustly, we employ multiple models method, with a mean shi...
Xiaopin Zhong, Nanning Zheng, Jianru Xue
CHI
1997
ACM
15 years 8 months ago
Beyond Fitts' Law: Models for Trajectory-Based HCI Tasks
Trajectory-based interactions, such as navigating through nested-menus, drawing curves, and moving in 3D worlds, are becoming common tasks in modern computer interfaces. Users’ ...
Johnny Accot, Shumin Zhai
SIGIR
2010
ACM
15 years 8 months ago
A two-stage model for blog feed search
We consider blog feed search: identifying relevant blogs for a given topic. An individual’s search behavior often involves a combination of exploratory behavior triggered by sal...
Wouter Weerkamp, Krisztian Balog, Maarten de Rijke