24286 search results - page 4768 / 4858 » Research as Design-Design as Research |
VSTTE
2010
Springer
13 years 8 months ago
2010
Springer
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...
WCET
2010
13 years 8 months ago
2010
The assumption of task independence has long been consubstantial with the formulation of many schedulability analysis techniques. That assumption is evidently advantageous for the...
WEBI
2010
Springer
13 years 8 months ago
2010
Springer
While much research has been performed on query logs collected for major Web search engines, query log analysis to enhance search on smaller and more focused collections has attrac...
ACL
2009
13 years 8 months ago
2009
Most NLP applications work under the assumption that a user input is error-free; thus, word segmentation (WS) for written languages that use word boundary markers (WBMs), such as ...
ACMACE
2009
ACM
13 years 8 months ago
2009
ACM
In this paper we propose a novel approach for generating expressive caricatures from an input image. The novelty of this work comes from combining an Active Appearance Model facia...