1763 search results - page 9 / 353 » A Formalization of Polytime Functions |
NLE
2010
13 years 6 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
14 years 9 hour 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
14 years 1 months ago
2006
IEEE
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
EDBTW
2010
Springer
14 years 26 days ago
2010
Springer
