Sciweavers

6014 search results - page 870 / 1203
» Structural Testing with Use Cases
Sort
View
JEI
2008
93views more  JEI 2008»
15 years 5 months ago
Novel workflow for image-guided gamut mapping
We introduce a novel workflow that will hopefully open new directions of processing and improvement in image reproduction. Existing gamut mapping algorithms can be classified into ...
Asaf Golan, Hagit Hel-Or
130
Voted
ENTCS
2007
126views more  ENTCS 2007»
15 years 5 months ago
Nominal Reasoning Techniques in Coq: (Extended Abstract)
d Abstract) Brian Aydemir Aaron Bohannon Stephanie Weirich Department of Computer and Information Science University of Pennsylvania Philadelphia, PA, USA We explore an axiomatize...
Brian E. Aydemir, Aaron Bohannon, Stephanie Weiric...
139
Voted
SIAMSC
2008
116views more  SIAMSC 2008»
15 years 5 months ago
A New Asymptotic Preserving Scheme Based on Micro-Macro Formulation for Linear Kinetic Equations in the Diffusion Limit
We propose a new numerical scheme for linear transport equations. It is based on a decomposition of the distribution function into equilibrium and non-equilibrium parts. We also us...
Mohammed Lemou, Luc Mieussens
159
Voted
SIGSOFT
2008
ACM
15 years 5 months ago
Efficient online monitoring of web-service SLAs
If an organization depends on the service quality provided by another organization it often enters into a bilateral service level agreement (SLA), which mitigates outsourcing risk...
Franco Raimondi, James Skene, Wolfgang Emmerich
129
Voted
IJVR
2007
124views more  IJVR 2007»
15 years 5 months ago
The Effect of Gaps Between Displays on Spatial Perception and Cognition Tasks in Virtual Environments
—We propose the concept of Gap Between Displays (GBD) as a component of immersion in virtual environment systems. We hypothesized that GBD may reduce users’ task performance in...
Yi Wang, Kunmi Otitoju, Tong Liu, Sijung Kim, Doug...