3207 search results - page 439 / 642 » A Semantics for HTN Methods |
169
click to vote
VEE
2009
ACM
16 years 1 months ago
2009
ACM
r of high-level languages lies in their abstraction over hardware and software complexity, leading to greater security, better reliability, and lower development costs. However, o...
197
click to vote
KDD
2009
ACM
16 years 1 months ago
2009
ACM
In this paper, we introduce a system named Argo which provides intelligent advertising made possible from users’ photo collections. Based on the intuition that user-generated ph...
218
click to vote
ICCS
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. In knowledge bases, the open world assumption and the ability to express variables may lead to an answer redundancy problem. This problem occurs when the returned answers...
170
click to vote
APLAS
2006
ACM
16 years 12 days ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
151
click to vote
NSPW
2006
ACM
16 years 11 days ago
2006
ACM
This paper details a true and striking paradigm shift: the use of E-Prime for (at least) user-centered security, organizational/enterprise security policies and informal security ...