Sciweavers

4167 search results - page 519 / 834
» Evolutionary functional testing
Sort
View
POPL
2009
ACM
16 years 7 months ago
Automatic modular abstractions for linear constraints
c Modular Abstractions for Linear Constraints David Monniaux VERIMAG June 27, 2008 se a method for automatically generating abstract transformers for static by abstract interpreta...
David Monniaux
172
Voted
KDD
2004
ACM
117views Data Mining» more  KDD 2004»
16 years 7 months ago
Regularized multi--task learning
Past empirical work has shown that learning multiple related tasks from data simultaneously can be advantageous in terms of predictive performance relative to learning these tasks...
Theodoros Evgeniou, Massimiliano Pontil
RECOMB
2002
Springer
16 years 7 months ago
Combining pairwise sequence similarity and support vector machines for remote protein homology detection
One key element in understanding the molecular machinery of the cell is to understand the meaning, or function, of each protein encoded in the genome. A very successful means of i...
Li Liao, William Stafford Noble
CVPR
2010
IEEE
1413views Computer Vision» more  CVPR 2010»
16 years 3 months ago
Free-Shape Subwindow Search for Object Localization
Object localization in an image is usually handled by searching for an optimal subwindow that tightly covers the object of interest. However, the subwindows considered in previous ...
Zhiqi Zhang, Yu Cao, Dhaval Salvi, Kenton Oliver, ...
DATE
2009
IEEE
87views Hardware» more  DATE 2009»
16 years 1 months ago
Efficient compression and handling of current source model library waveforms
—This paper describes a waveform compression technique suitable for the efficient utilization, storage and interchange of the emerging current source model (CSM) based cell libra...
Safar Hatami, Peter Feldmann, Soroush Abbaspour, M...