1667 search results - page 48 / 334 » Extended clause learning |
ENTCS
2006
13 years 9 months ago
2006
Parkinson, Bornat, and Calcagno recently introduced a logic for partial correctness in which program variables are treated as resource, generalizing earlier work based on separati...
JAR
2002
13 years 8 months ago
2002
Satisfiability algorithms for propositional logic have improved enormously in recently years. This improvement increases the attractiveness of satisfiability methods for first-orde...
JLP
2010
13 years 3 months ago
2010
We present a general framework for the analysis of quantitative and qualitative properties of reactive systems, based on a notion of weighted transition systems. We introduce and ...
ICALT
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper explored whether a consideration of the personality type of each learner would extend collaborative learning experiences under a distant learning or e-learning environm...
IADIS
2004
13 years 10 months ago
2004
This paper looks at the use of Interactive Learning Objects in teaching using a number of media types, we refer to these as Multimedia Interactive Learning Objects (MILO's) T...