Sciweavers

3657 search results - page 591 / 732
» A Study of Practical Deduplication
Sort
View
MANSCI
2010
108views more  MANSCI 2010»
14 years 4 months ago
Capacity Sizing Under Parameter Uncertainty: Safety Staffing Principles Revisited
We study a capacity sizing problem in a service system that is modeled as a single-class queue with multiple servers and where customers may renege while waiting for service. A sa...
Achal Bassamboo, Ramandeep S. Randhawa, Assaf J. Z...
MBEC
2010
122views Communications» more  MBEC 2010»
14 years 4 months ago
Real-time estimation of cerebrospinal fluid system parameters via oscillating pressure infusion
Abstract Hydrocephalus is related to a disturbed cerebrospinal fluid (CSF) system. For diagnosis, lumbar infusion test are performed to estimate outflow conductance, Cout, and pres...
Kennet Andersson, Ian R. Manchester, Jan Malm, And...
NETWORK
2010
88views more  NETWORK 2010»
14 years 4 months ago
Quadrant of euphoria: a crowdsourcing platform for QoE assessment
Existing QoE (Quality of Experience) assessment methods, subjective or objective, suffer from either or both problems of inaccurate experiment tools and expensive personnel cost. ...
Kuan-Ta Chen, Chi-Jui Chang, Chen-Chi Wu, Yu-Chun ...
PUC
2010
105views more  PUC 2010»
14 years 4 months ago
Interactive visual supports for children with autism
Interventions to support children with autism often include the use of visual supports, which are cognitive tools to enable learning and the production of language. Although visual...
Gillian R. Hayes, Sen H. Hirano, Gabriela Marcu, M...
SBMF
2010
Springer
129views Formal Methods» more  SBMF 2010»
14 years 4 months ago
Directed Model Checking for B: An Evaluation and New Techniques
ProB is a model checker for high-level formalisms such as B, Event-B, CSP and Z. ProB uses a mixed depth-first/breadth-first search strategy, and in previous work we have argued th...
Michael Leuschel, Jens Bendisposto