1219 search results - page 146 / 244 » Verification of Equivalent-Results Methods |
POPL
2007
ACM
14 years 10 months ago
2007
ACM
Separation Logic, Ambient Logic and Context Logic are based on a similar style of reasoning about structured data. They each consist of a structural (separating) composition for r...
RECOMB
2002
Springer
14 years 10 months ago
2002
Springer
We present a new statistically optimal approach to estimate transcript levels and ratios from one or more gene array experiments. The Bayesian Estimation of Array Measurements (BE...
DAC
2009
ACM
14 years 4 months ago
2009
ACM
For a computing system to be trusted, it is equally important to verify that the system performs no more and no less functionalities than desired. Traditional testing and verifica...
GPCE
2007
Springer
14 years 4 months ago
2007
Springer
Programs of a software product line can be synthesized by composing modules that implement features. Besides high-level domain constraints that govern the compatibility of feature...
MM
2005
ACM
14 years 3 months ago
2005
ACM
Video data is increasingly being used in medical diagnosis. Due to the quality of the video and the complexities of underlying motion captured, it is difficult for an in-experienc...