3799 search results - page 703 / 760 » An Engineering Approach to Formal Methods |
154
click to vote
AMKM
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. In this paper, we outline the relation between Knowledge Management (KM) as an application area on the one hand, and software agents as a basic technology for supporting ...
139
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
In this paper, we report on an interactive system and the results ofa formal user study that was carried out with the aim of comparing two approaches to estimating users' int...
147
click to vote
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. This paper shows that we can take advantage of information about the probabilities of the occurrences of events, when this information is available, to refine the classic...
170
Voted
SDM
2004
SIAM
15 years 5 months ago
2004
SIAM
Several application domains such as molecular biology and geography produce a tremendous amount of data which can no longer be managed without the help of efficient and effective ...
145
click to vote
AI
1998
Springer
15 years 3 months ago
1998
Springer
In formal approaches to commonsense reasoning about actions. the Ramification Problem denotes the problem of handling indirect effects which implicitly derive from so-called state...