2261 search results - page 169 / 453 » Relationships Between Models of Concurrency |
ECIR
2007
Springer
13 years 9 months ago
2007
Springer
We discuss the idea of modelling the statistical distributions of scores of documents, classified as relevant or non-relevant. Various specific combinations of standard statistic...
SLOGICA
2008
13 years 8 months ago
2008
We study the proof-theoretic relationship between two deductive systems for the modal mu-calculus. First we recall an infinitary system which contains an omega rule allowing to de...
JODL
2000
13 years 8 months ago
2000
In this paper we present a new approach for building metadata schemas by integrating existing ontologies and structured vocabularies (thesauri). This integration is based on the s...
ENTCS
2010
13 years 5 months ago
2010
d Set Abstraction using SAT Edd Barrett Andy King School of Computing, University of Kent, CT2 7NF, UK Symbolic decision trees are not the only way to correlate the relationship b...
ITS
2010
Springer
14 years 29 days ago
2010
Springer
Identifying effective tutorial dialogue strategies is a key issue for intelligent tutoring systems research. Human-human tutoring offers a valuable model for identifying effective ...