4767 search results - page 251 / 954 » Moving between Contexts |
153
click to vote
MFCS
2005
Springer
16 years 6 days ago
2005
Springer
We prove several results about the relations between injectivity and surjectivity for sand automata. Moreover, we begin the exploration of the dynamical behavior of sand automata ...
144
click to vote
ITICSE
2000
ACM
15 years 11 months ago
2000
ACM
We describe a project exploring the relationships between factors in the learning environment, student well-being and learning outcomes, in the context of a Computing department. ...
147
click to vote
AI
2006
Springer
15 years 10 months ago
2006
Springer
In the context of probabilistic verification, we provide a new notion of trace-equivalence divergence between pairs of Labelled Markov processes. This divergence corresponds to the...
158
click to vote
DLOG
2007
15 years 9 months ago
2007
Abstract. In this paper, we continue the recently started work on integrating action formalisms with description logics (DLs), by investigating planning in the context of DLs. We p...
155
click to vote
FLAIRS
2008
15 years 9 months ago
2008
This paper presents a methodological approach for the semiautomatic refinement and assessment of subgroup patterns using summarization and clustering techniques in the context of ...