Sciweavers

7395 search results - page 1152 / 1479
» Social Modeling and i*
Sort
View
TAAS
2008
125views more  TAAS 2008»
15 years 6 months ago
Agile dynamic provisioning of multi-tier Internet applications
Dynamic capacity provisioning is a useful technique for handling the multi-time-scale variations seen in Internet workloads. In this paper, we propose a novel dynamic provisioning...
Bhuvan Urgaonkar, Prashant J. Shenoy, Abhishek Cha...
IM
2007
15 years 6 months ago
Real Number Labelings for Paths and Cycles
The problem of radio channel assignments with multiple levels of interference depending on distance can be modeled using graph theory. The authors previously introduced a model of...
Jerrold R. Griggs, Xiaohua Teresa Jin
BMCBI
2005
92views more  BMCBI 2005»
15 years 6 months ago
A decoy set for the thermostable subdomain from chicken villin headpiece, comparison of different free energy estimators
Background: Estimators of free energies are routinely used to judge the quality of protein structural models. As these estimators still present inaccuracies, they are frequently e...
Federico Fogolari, Silvio C. E. Tosatto, Giorgio C...
TOG
2008
109views more  TOG 2008»
15 years 6 months ago
Geometric skinning with approximate dual quaternion blending
Skinning of skeletally deformable models is extensively used for real-time animation of characters, creatures and similar objects. The standard solution, linear blend skinning, ha...
Ladislav Kavan, Steven Collins, Jirí Z&aacu...
AML
2002
94views more  AML 2002»
15 years 6 months ago
H-theories, fragments of HA and PA-normality
For a classical theory T, H(T) denotes the intuitionistic theory of T-normal (i.e. locally T) Kripke structures. S. Buss has asked for a characterization of the theories in the ra...
Morteza Moniri
« Prev « First page 1152 / 1479 Last » Next »