6906 search results - page 1148 / 1382 » An algorithm for modelling key terms |
145
Voted
JCDL
2009
ACM
15 years 11 months ago
2009
ACM
Users of digital libraries usually want to know the exact author or authors of an article. But different authors may share the same names, either as full names or as initials and...
135
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
This research screens the tuning parameters of a combinatorial optimization heuristic. Specifically, it presents a Design of Experiments (DOE) approach that uses a Fractional Fac...
162
click to vote
NIPS
2008
15 years 6 months ago
2008
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 hierarchical ...
146
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
Many-to-one matching markets exist in numerous different forms, such as college admissions, matching medical interns to hospitals for residencies, assigning housing to college st...
185
click to vote
POPL
2011
ACM
14 years 7 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...