24444 search results - page 4458 / 4889 » A Data Model for Data Integration |
162
click to vote
ICML
2003
IEEE
16 years 7 months ago
2003
IEEE
Kernel methods have gained a great deal of popularity in the machine learning community as a method to learn indirectly in highdimensional feature spaces. Those interested in rela...
158
Voted
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
The Freebsd, gnu/Linux, Solaris, and Windows operating systems have kernels that provide comparable facilities. Interestingly, their code bases share almost no common parts, while...
186
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
Automatically detecting bugs in programs has been a long-held goal in software engineering. Many techniques exist, trading-off varying levels of automation, thoroughness of covera...
181
Voted
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...
185
Voted
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
This paper develops an energy minimization algorithm to reconstruct the 3D motion of transplanted hearts of small animals (rats) from tagged magnetic resonance (MR) sequences. We ...