3207 search results - page 159 / 642 » A Semantics for HTN Methods |
166
click to vote
HCSE
2010
15 years 1 months ago
2010
In this paper we present a novel method for desktop-to-mobile adaptation. The solution also supports end-users in customizing multi-device ubiquitous user interfaces. In particular...
111
click to vote
ACL
2010
15 years 1 months ago
2010
We present a syntactically enriched vector model that supports the computation of contextualized semantic representations in a quasi compositional fashion. It employs a systematic...
191
click to vote
WSDM
2009
ACM
15 years 10 months ago
2009
ACM
Measuring the similarity between implicit semantic relations is an important task in information retrieval and natural language processing. For example, consider the situation whe...
139
click to vote
CHARME
2003
Springer
15 years 8 months ago
2003
Springer
This paper shows how classic inductive assertions can be used in conjunction with an operational semantics to prove partial correctness properties of programs. The method imposes o...
166
click to vote
SG
2005
Springer
15 years 8 months ago
2005
Springer
This article describes the integration of knowledge based techniques into simulative Virtual Reality (VR) applications. The approach is motivated ltimodal Virtual Construction as a...