6906 search results - page 1096 / 1382 » An algorithm for modelling key terms |
248
click to vote
SIGIR
2008
ACM
15 years 7 months ago
2008
ACM
In many Web applications, such as blog classification and newsgroup classification, labeled data are in short supply. It often happens that obtaining labeled data in a new domain ...
246
click to vote
BMCBI
2005
15 years 7 months ago
2005
Background: Two central problems in computational biology are the determination of the alignment and phylogeny of a set of biological sequences. The traditional approach to this p...
366
click to vote
SIGECOM
2011
ACM
14 years 10 months ago
2011
ACM
Market making refers broadly to trading strategies that seek to profit by providing liquidity to other traders, while avoiding accumulating a large net position in a stock. In th...
266
click to vote
PAMI
2012
13 years 9 months ago
2012
— Language and image understanding are two major goals of artificial intelligence which can both be conceptually formulated in terms of parsing the input signal into a hierarchi...
234
click to vote
PPOPP
2009
ACM
16 years 7 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...