626 search results - page 52 / 126 » When Can Formal Methods Make a Real Difference |
150
Voted
NIPS
2007
15 years 4 months ago
2007
When we have several related tasks, solving them simultaneously is shown to be more effective than solving them individually. This approach is called multi-task learning (MTL) and...
118
Voted
DAGSTUHL
2006
15 years 4 months ago
2006
The methodology of aspect-oriented software engineering has been proposed to factor out concerns that are orthogonal to the core functionality of a system. In particular, this is a...
124
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: Microarray time series studies are essential to understand the dynamics of molecular events. In order to limit the analysis to those genes that change expression over ...
139
click to vote
ICIP
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper addresses the shape-based segmentation problem using level sets. In particular, we propose a fast algorithm to solve the piece-wise constant Chan-Vese segmentation mode...
122
click to vote
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
It is often impossible to obtain a one-size-fits-all solution for high performance algorithms when considering different choices for data distributions, parallelism, transformati...