Sciweavers

1016 search results - page 191 / 204
» Evaluation of Expression Recognition Techniques
Sort
View
129
Voted
BMCBI
2010
161views more  BMCBI 2010»
15 years 2 months ago
CGHpower: exploring sample size calculations for chromosomal copy number experiments
Background: Determining a suitable sample size is an important step in the planning of microarray experiments. Increasing the number of arrays gives more statistical power, but ad...
Ilari Scheinin, Jose A. Ferreira, Sakari Knuutila,...
ICCV
2007
IEEE
16 years 3 months ago
Feature Preserving Image Smoothing Using a Continuous Mixture of Tensors
Many computer vision and image processing tasks require the preservation of local discontinuities, terminations and bifurcations. Denoising with feature preservation is a challeng...
Özlem N. Subakan, Bing Jian, Baba C. Vemuri, ...
CADE
2009
Springer
15 years 8 months ago
Interpolant Generation for UTVPI
Abstract. The problem of computing Craig interpolants in SMT has recently received a lot of interest, mainly for its applications in formal verification. Efficient algorithms for ...
Alessandro Cimatti, Alberto Griggio, Roberto Sebas...
131
Voted
PLDI
2005
ACM
15 years 7 months ago
Jungloid mining: helping to navigate the API jungle
Reuse of existing code from class libraries and frameworks is often difficult because APIs are complex and the client code required to use the APIs can be hard to write. We obser...
David Mandelin, Lin Xu, Rastislav Bodík, Do...
105
Voted
RTSS
1999
IEEE
15 years 6 months ago
A Scalable Solution to the Multi-Resource QoS Problem
The problem of maximizing system utility by allocating a single finite resource to satisfy discrete Quality of Service (QoS) requirements of multiple applications along multiple Q...
Chen Lee, John P. Lehoczky, Daniel P. Siewiorek, R...