9732 search results - page 377 / 1947 » Modelling Adaptivity with Aspects |
199
Voted
PET
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We develop a language-based approach for modeling and verifying aspects of privacy policies. Our approach relies on information-flow control. Concretely, we use the prog...
137
click to vote
CG
2006
Springer
15 years 8 months ago
2006
Springer
In this paper we explore the tactical aspects needed for the creation of an intelligent computer-pool player. The research results in three modifications to our previous model. An ...
145
click to vote
IJCAI
1997
15 years 8 months ago
1997
The paper describes a transition logic, TL, and a deductive formalism for it. It shows how various important aspects (such as ramification, qualification, specificity, simultaneit...
179
click to vote
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
In the security domain a key problem is identifying rare behaviours of interest. Training examples for these behaviours may or may not exist, and if they do exist there will be fe...
173
click to vote
SIGIR
2004
ACM
16 years 7 days ago
2004
ACM
Applying Belief Revision logic to model adaptive information retrieval is appealing since it provides a rigorous theoretical foundation to model partiality and uncertainty inheren...