6740 search results - page 1195 / 1348 » Using Classification as a Programming Language |
134
click to vote
PPPJ
2009
ACM
15 years 9 months ago
2009
ACM
Reuse distance analysis has been proved promising in evaluating and predicting data locality for programs written in Fortran or C/C++. But its effect has not been examined for ap...
148
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
We propose a lightweight approach for certification of Java bytecode monitor inlining using proof-carrying code. The main purpose of such a framework is to enable development use ...
156
click to vote
WWW
2009
ACM
16 years 5 months ago
2009
ACM
Measuring the similarity between semantic relations that hold among entities is an important and necessary step in various Web related tasks such as relation extraction, informati...
188
click to vote
NORDICHI
2004
ACM
15 years 10 months ago
2004
ACM
One vision of a context-aware pervasive networking environment promises the user a seamless access to surrounding services using her personal mobile device. This requires that the...
156
click to vote
EON
2008
15 years 6 months ago
2008
Abstract. In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator's service logic. This uses an LTL planning (...