502 search results - page 93 / 101 » Development and Application of a Formal Agent Framework |
138
click to vote
CORR
2004
Springer
15 years 3 months ago
2004
Springer
The field of machine learning (ML) is concerned with the question of how to construct algorithms that automatically improve with experience. In recent years many successful ML app...
132
click to vote
ITP
2010
15 years 8 months ago
2010
CertiCrypt is a general framework to certify the security of cryptographic primitives in the Coq proof assistant. CertiCrypt adopts the code-based paradigm, in which the statement ...
142
click to vote
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
125
Voted
IJCAI
2007
15 years 5 months ago
2007
Temporal reasoning is widely used within both Computer Science and A.I. However, the underlying complexity of temporal proof in discrete temporal logics has led to the use of simp...
143
click to vote
APCCM
2006
15 years 5 months ago
2006
UML is posited as the "swiss army knife" for systems modelling and design activities. It embodies a number of modelling formalisms that have broad applicability in captu...