1615 search results - page 272 / 323 » Computer science and decision theory |
125
click to vote
HICSS
2005
IEEE
15 years 9 months ago
2005
IEEE
Studies have shown that deception in the hiring process is common. Since more people are using computer mediated communication for job interviewing, it is important to understand ...
116
click to vote
LICS
2005
IEEE
15 years 9 months ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemâ€...
105
click to vote
ICALP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper is concerned with the language inclusion problem for timed automata: given timed automata A and B, is every word accepted by B also accepted by A? Alur and Dil...
143
click to vote
MICAI
2005
Springer
15 years 9 months ago
2005
Springer
A powerful and useful approach for modeling knowledge and qualitative reasoning is the Cognitive Map. The background of Cognitive Maps is the research about learning environments c...
117
click to vote
RELMICS
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we present some examples of relational correspondences for not necessarily distributive lattices with modal-like operators of possibility (normal and additive operato...