1763 search results - page 9 / 353 » A Formalization of Polytime Functions |
103
click to vote
NLE
2010
14 years 11 months ago
2010
Pyramid annotation makes it possible to evaluate quantitatively and qualitatively the content of machine-generated (or human) summaries. Evaluation methods must prove themselves a...
DATE
1998
IEEE
15 years 5 months ago
1998
IEEE
Despite its importance, we find that a rigorous theoretical foundation for performing timing analysis has been lacking so far. As a result, we have initiated a research project th...
DATE
2006
IEEE
15 years 7 months ago
2006
IEEE
HICSS
2003
IEEE
15 years 6 months ago
2003
IEEE
EDBTW
2010
Springer
15 years 6 months ago
2010
Springer
