506 search results - page 34 / 102 » Constructor-based observational logic |
101
click to vote
HICSS
1996
IEEE
15 years 4 months ago
1996
IEEE
Parallel simulation is expected to speed up simulation run time in a signi cant way. This paper describes a framework that is used to evaluate the performance of parallel simulati...
104
Voted
AAAI
1998
15 years 1 months ago
1998
We investigate two forms of dependence between variables and/or formulas within a propositional knowledge base: controllability (a set of variables X controls a formula , if there...
92
Voted
CSL
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. We study a weakening of the notion of logical relations, called prelogical relations, that has many of the features that make logical relations so useful but having furth...
DIAGRAMS
2008
Springer
15 years 2 months ago
2008
Springer
We are interested in developing a better understanding of what it is that students find difficult in learning logic. We use both natural language and diagram-based methods for teac...
94
Voted
INFOCOM
2010
IEEE
14 years 11 months ago
2010
IEEE
—We consider network reliability in layered networks where the lower layer experiences random link failures. In layered networks, each failure at the lower layer may lead to mult...