11345 search results - page 2015 / 2269 » Foundations of Computer Science |
138
click to vote
MICAI
2005
Springer
15 years 8 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...
106
click to vote
RELMICS
2005
Springer
15 years 8 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...
125
click to vote
TACAS
2005
Springer
15 years 8 months ago
2005
Springer
SAT-based Predicate Abstraction for ANSI-C Edmund Clarke1 Daniel Kroening2 Natasha Sharygina1,3 Karen Yorav4 1 Carnegie Mellon University, School of Computer Science 2 ETH Zuerich,...
119
Voted
TARK
2005
Springer
15 years 8 months ago
2005
Springer
The paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighb...
137
click to vote
WEBI
2005
Springer
15 years 8 months ago
2005
Springer
In this paper we describe the navigational behavior of the students of a e-learning virtual environment, in order to determine whether such navigational patterns are related to th...