4099 search results - page 410 / 820 » A Framework for Interactive Proof |
162
click to vote
CAISE
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Understanding and supporting the interaction between software requirements and architectures remains one of the challenging problems in software engineering research. To ...
186
click to vote
GECCO
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Topological crossovers are a class of representation-independent operators that are well-defined once a notion of distance over the solution space is defined. In this pap...
183
click to vote
ISCIS
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. In this paper we describe anomaly-based intrusion detection as a specialized case of the more general behavior detection problem. We draw concepts from the field of etho...
167
click to vote
CAEPIA
2003
Springer
16 years 1 days ago
2003
Springer
Non-classical logics have proven to be an adequate framework to formalize knowledge representation. In this paper we focus on a multimodal approach to formalize order-of-magnitude ...
182
click to vote
IJCAI
2003
15 years 8 months ago
2003
In multiagent environments, forms of social learning such as teaching and imitation have been shown to aid the transfer of knowledge from experts to learners in reinforcement lear...