12981 search results - page 2280 / 2597 » Model Checking (Abstract) |
139
Voted
IVA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper presents a set of mechanisms oriented to incorporate social information into the decision taking of task-oriented 3DIVA. The aim of this approach is to integra...
134
click to vote
IVA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The ability to generate narrative is of importance to computer systems that wish to use story effectively for entertainment, training, or education. One of the focuses of...
115
click to vote
IWINAC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Due to the lot of different Genetic Algorithm variants, encodings, and attacked problems, very little general theory is available to explain the internal functioning of ...
174
click to vote
JSAI
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This research aims at promoting sharing of knowledge about functionality of artifacts among engineers, which tends to be implicit in practice. In order to provide a conce...
140
click to vote
LOCA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper investigates the efficiency of in-door next location prediction by comparing several prediction methods. The scenario concerns people in an office building vis...