4036 search results - page 74 / 808 » Formal Methods |
147
click to vote
FLAIRS
2006
15 years 6 months ago
2006
In building intelligent tutoring systems, it is critical to be able to understand and diagnose student responses in interactive problem solving. We present a novel application of ...
159
click to vote
FMCAD
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We have formal verified a number of algorithms for evaluating transcendental functions in double-extended precision floating point arithmetic in the Intel
119
click to vote
TYPES
2000
Springer
15 years 8 months ago
2000
Springer
We present a formalization of the halting problem in Agda, a language based on Martin-L
FM
1990
Springer
15 years 8 months ago
1990
Springer
Abstract Ole-Johan Dahl Dept. of Informatics, University of Oslo April 9, 1999
136
click to vote
AAMAS
2004
Springer
15 years 4 months ago
2004
Springer
In this paper we overview one specific approach to the formal development of multi-agent systems. This approach is based on the use of temporal logics to represent both the behavio...