4276 search results - page 22 / 856 » Techniques for Empirical Validation |
ICSM
2009
IEEE
14 years 2 months ago
2009
IEEE
Model checking is a promising technique for verifying program behavior and is increasingly finding usage in industry. To date, however, researchers have primarily considered mode...
FLAIRS
2004
13 years 9 months ago
2004
This paper presents a case study of our experience conducting HCI experiments to inform multimedia cue generation. We analyze the interrelated HCI and NLG issues that a complete m...
ICPR
2008
IEEE
14 years 8 months ago
2008
IEEE
Here, a versatile data-driven application independent method to extend the depth of field is presented. The principal contribution in this effort is the use of features extracted ...
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
Performance and workload modeling has numerous uses at every stage of the high-end computing lifecycle: design, integration, procurement, installation and tuning. Despite the trem...
ACL
2006
13 years 9 months ago
2006
This paper focuses on the use of advanced techniques of text analysis as support for collocation extraction. A hybrid system is presented that combines statistical methods and mul...