18429 search results - page 444 / 3686 » Typing dynamic typing |
196
click to vote
JANCL
2007
15 years 7 months ago
2007
ABSTRACT. We show how belief revision can be treated systematically in the format of dynamicepistemic logic, when operators of conditional belief are added. The core engine consist...
179
click to vote
FGCS
2000
15 years 7 months ago
2000
More than ever before the Internet is changing computing as we know it. Global access to information and resources is becoming an integral part of nearly every aspect of our lives...
262
click to vote
ICRA
2009
IEEE
15 years 5 months ago
2009
IEEE
This paper describes an approach to surface identification in the context of mobile robotics, applicable to supervised and unsupervised learning. The identification is based on ana...
231
click to vote
CDC
2010
IEEE
15 years 2 months ago
2010
IEEE
The focus of the work in this paper is the evaluation of a model of human decision making relative to experimental data. In sequential two-alternative forced choice decision tasks,...
200
click to vote
CBSE
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. Long running applications often need to adapt due to changing requirements or changing environment. Typically, such adaptation is performed by dynamically adding or remov...