3799 search results - page 715 / 760 » An Engineering Approach to Formal Methods |
149
click to vote
TIP
2008
15 years 3 months ago
2008
Abstract--In this paper, we present a complete and practical algorithm for the approximation of level-set-based curve evolution suitable for real-time implementation. In particular...
143
click to vote
EWC
2010
15 years 2 months ago
2010
When dealing with computationally expensive simulation codes or process measurement data, surrogate modeling methods are firmly established as facilitators for design space explor...
135
click to vote
TIP
2010
15 years 2 months ago
2010
Abstract—We present the results of a recent large-scale subjective study of video quality on a collection of videos distorted by a variety of application-relevant processes. Meth...
135
Voted
WS
2010
ACM
15 years 2 months ago
2010
ACM
For the development of practical semantic applications, ontologies are commonly used with rule extensions. Prominent examples of semantic applications are Semantic Wikis, Semantic...
159
click to vote
ACL
2009
15 years 1 months ago
2009
We present a graph-based semi-supervised learning for the question-answering (QA) task for ranking candidate sentences. Using textual entailment analysis, we obtain entailment sco...