2137 search results - page 187 / 428 » Proving Abstract Non-interference |
93
Voted
CONTEXT
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. The ostensive model assumes that a user’s information need is dynamic and developing, thus, a recently accessed object can be seen as more indicative to the current inf...
116
click to vote
CSR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. How could one estimate the total number of clicks a new advertisement could potentially receive in the current market? This question, called the click volume estimation p...
132
click to vote
ECML
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. A clustering method is presented which can be applied to semantically annotated resources in the context of ontological knowledge bases. This method can be used to discov...
124
Voted
ECSQARU
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This work addresses the problem of providing explanation capabilities to an argumentation system. Explanation in defeasible argumentation is an important, and yet undevel...
120
click to vote
FCT
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. The simple intramolecular model for gene assembly in ciliates is particularly interesting because it can predict the correct assembly of all available experimental data, ...