3555 search results - page 180 / 711 » Security-Critical System Development with Extended Use Cases |
124
click to vote
AAAI
2011
14 years 4 months ago
2011
Recently the general Game Description Language (GDL) has been extended so as to cover arbitrary games with incomplete/imperfect information. Learningâwithout human interventionâ...
120
click to vote
ACL
2012
13 years 6 months ago
2012
We present a novel text exploration model, which extends the scope of state-of-the-art technologies by moving from standard concept-based exploration to statement-based exploratio...
142
click to vote
APSEC
1999
IEEE
15 years 8 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
190
click to vote
TROB
2002
15 years 3 months ago
2002
The objective of the CyberScout project is to develop an autonomous surveillance and reconnaissance system using a network of all-terrain vehicles. In this paper, we focus on two f...
120
click to vote
AI
2011
Springer
14 years 11 months ago
2011
Springer
Much like relational probabilistic models, the need for relational preference models arises naturally in real-world applications where the set of object classes is ïŹxed, but obj...