626 search results - page 120 / 126 » When Can Formal Methods Make a Real Difference |
147
Voted
CEC
2009
IEEE
15 years 10 months ago
2009
IEEE
—Multi-objective optimization is an essential and challenging topic in the domains of engineering and computation because real-world problems usually include several conflicting...
148
click to vote
BMCBI
2006
15 years 3 months ago
2006
Background: Document classification is a wide-spread problem with many applications, from organizing search engine snippets to spam filtering. We previously described Textpresso, ...
113
click to vote
CHI
2003
ACM
16 years 3 months ago
2003
ACM
This case study describes ethnographic interviews with vehicle buyers to learn how they make purchase decisions. The research was conducted for J. Walter Thompson (JWT), the digit...
131
Voted
CVPR
2008
IEEE
16 years 5 months ago
2008
IEEE
We present a new unsupervised method to learn unified probabilistic object models (POMs) which can be applied to classification, segmentation, and recognition. We formulate this a...
109
click to vote
BMCBI
2010
15 years 3 months ago
2010
Background: There is a vast need to find clinically applicable protein biomarkers as support in cancer diagnosis and tumour classification. In proteomics research, a number of met...