Sciweavers

4636 search results - page 352 / 928
» Modelling and Validation with VipTool
Sort
View
MASCOTS
2004
15 years 5 months ago
A Computational Complexity-Aware Model for Performance Analysis of Software Servers
Queueing models are routinely used to analyze the performance of software systems. However, contrary to common assumptions, the time that a software server takes to complete jobs ...
Vipul Mathur, Varsha Apte
EUSFLAT
2003
120views Fuzzy Logic» more  EUSFLAT 2003»
15 years 5 months ago
A Type 2 fuzzy system modelling algorithm
In this paper, a modified fuzzy system modelling algorithm that incorporates Type 2 fuzzy sets, which is based on intervalvalued membership degrees rather than singleton membershi...
Kemal Kilic, Özge Uncu, I. Burhan Türkse...
GRAPHICSINTERFACE
2003
15 years 5 months ago
Input-based Language Modelling in the Design of High Performance Text Input Techniques
We present a critique of language-based modelling for text input research, and propose an alternative inputbased approach. Current language-based statistical models are derived fr...
R. William Soukoreff, I. Scott MacKenzie
NSDI
2004
15 years 5 months ago
Model Checking Large Network Protocol Implementations
Network protocols must work. The effects of protocol specification or implementation errors range from reduced performance, to security breaches, to bringing down entire networks....
Madanlal Musuvathi, Dawson R. Engler
CVPR
2008
IEEE
15 years 4 months ago
Beyond the Lambertian assumption: A generative model for Apparent BRDF fields of faces using anti-symmetric tensor splines
Human faces are neither exactly Lambertian nor entirely convex and hence most models in literature which make the Lambertian assumption, fall short when dealing with specularities...
Angelos Barmpoutis, Ritwik Kumar, Baba C. Vemuri, ...