Sciweavers

6800 search results - page 530 / 1360
» Testing with Functions as Specifications
Sort
View
SIGGRAPH
1992
ACM
15 years 11 months ago
Generative modeling: a symbolic system for geometric modeling
This paper discusses a new, symbolic approach to geometric modeling called generative modeling. The approach allows specification, rendering, and analysis of a wide variety of sha...
John M. Snyder, James T. Kajiya
BMCBI
2007
99views more  BMCBI 2007»
15 years 7 months ago
Identifying allosteric fluctuation transitions between different protein conformational states as applied to Cyclin Dependent Ki
Background: The mechanisms underlying protein function and associated conformational change are dominated by a series of local entropy fluctuations affecting the global structure ...
Jenny Gu, Philip E. Bourne
SENSYS
2009
ACM
16 years 2 months ago
Run time assurance of application-level requirements in wireless sensor networks
Continuous and reliable operation of WSNs is notoriously difficult to guarantee due to hardware degradation and environmental changes. In this paper, we propose and demonstrate a ...
Jingyuan Li, Yafeng Wu, Krasimira Kapitanova, John...
MSS
1999
IEEE
150views Hardware» more  MSS 1999»
15 years 12 months ago
Performance Benchmark Results for Automated Tape Library High Retrieval Rate Applications - Digital Check Image Retrievals
Benchmark tests have been designed and conducted for the purpose of evaluating the use of automated tape libraries in on-line digital check image retrieval applications. This type...
John Gniewek, George Davidson, Bowen Caldwell
GECCO
2009
Springer
109views Optimization» more  GECCO 2009»
16 years 2 months ago
Canonical representation genetic programming
Search spaces sampled by the process of Genetic Programming often consist of programs which can represent a function in many different ways. Thus, when the space is examined it i...
John R. Woodward, Ruibin Bai