3522 search results - page 129 / 705 » Modeling and Aspect Weaving |
GECCO
2005
Springer
14 years 3 months ago
2005
Springer
We discuss a number of fundamental areas in which biologically inspired computing has so far failed to mirror biological reality. These failures make it difficult for those who st...
PET
2004
Springer
14 years 3 months 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...
CG
2006
Springer
13 years 11 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 ...
IJCAI
1997
13 years 11 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...
ICCV
2011
IEEE
12 years 9 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...