4290 search results - page 615 / 858 » Formal Approaches to Teamwork |
204
click to vote
PKDD
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper focuses on Active Learning with a limited number of queries; in application domains such as Numerical Engineering, the size of the training set might be limite...
159
Voted
CCS
2001
ACM
15 years 11 months ago
2001
ACM
The events of a security protocol and their causal dependency can play an important role in the analysis of security properties. This insight underlies both strand spaces and the ...
169
click to vote
ECSQARU
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. A great deal of research has been devoted to nontrivial reasoning in inconsistent knowledge bases. Coherence-based approaches proceed by a consolidation operation which s...
152
Voted
APSEC
2000
IEEE
15 years 11 months ago
2000
IEEE
Current object-oriented formalisms, such as UML, focus on describing class models and use instance models only for depicting scenarios. Little attention is being devoted to defini...
156
click to vote
ACMSE
2000
ACM
15 years 11 months ago
2000
ACM
Scenarios are narratives that illustrate future possibilities, such as proposed systems or plans, and help policy makers and designers choose among alternative courses of action. ...