Sciweavers

438 search results - page 41 / 88
» Temporized and Localized Rule Sets
Sort
View
SIGMETRICS
2000
ACM
14 years 14 hour ago
An analytical model of the working-set sizes in decision-support systems
This paper presents an analytical model to study how working sets scale with database size and other applications parameters in decision-support systems (DSS). The model uses appl...
Magnus Karlsson, Per Stenström
PG
2007
IEEE
14 years 1 months ago
Image-Space Caustics and Curvatures
Caustics are important visual phenomena, as well as challenging global illumination effects in computer graphics. Physically caustics can be interpreted from one of two perspectiv...
Xuan Yu, Feng Li, Jingyi Yu
LPAR
2010
Springer
13 years 6 months ago
A Syntactical Approach to Qualitative Constraint Networks Merging
We address the problem of merging qualitative constraint networks (QCNs) representing agents local preferences or beliefs on the relative position of spatial or temporal entities. ...
Jean-François Condotta, Souhila Kaci, Pierr...
CHARME
2001
Springer
105views Hardware» more  CHARME 2001»
14 years 5 days ago
Net Reductions for LTL Model-Checking
We present a set of reduction rules for LTL model-checking of 1-safe Petri nets. Our reduction techniques are of two kinds: (1) Linear programming techniques which are based on wel...
Javier Esparza, Claus Schröter
ICCV
2001
IEEE
14 years 9 months ago
Modelling Faces Dynamically across Views and Over Time
A comprehensive novel multi-view dynamic face model is presented in this paper to address two challenging problems in face recognition and facial analysis: modelling faces with la...
Yongmin Li, Shaogang Gong, Heather M. Liddell