2790 search results - page 63 / 558 » A generative theory of relevance |
173
click to vote
WECWIS
2008
IEEE
16 years 20 days ago
2008
IEEE
We consider the problem of managing advertisements (or ads for short) for ad-hoc online videos, such as those generated by end users. We propose a novel ad selection approach base...
183
click to vote
CIKM
2009
Springer
16 years 26 days ago
2009
Springer
Search engines that support structured documents typically support structure created by the author (e.g., title, section), and may also support structure added by an annotation pr...
233
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Optimization theory has been applied to complex biological systems to interrogate network properties and develop and refine metabolic engineering strategies. For examp...
152
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Given a theory T and two formulas A and B jointly unsatisfiable in T , a theory interpolant of A and B is a formula I such that (i) its non-theory symbols are shared by ...
158
click to vote
KBSE
1998
IEEE
15 years 10 months ago
1998
IEEE
Motivated by NASA's need for high-assurance software, NASA Ames' Amphion project has developed a generic program generation system based on deductive synthesis. Amphion ...